Topology
Classification of Surfaces
How many fundamentally different surface shapes are there? Exactly as many as the natural numbers: sphere, torus, double torus, triple torus... plus non-orientable surfaces. The classification theorem is the complete list of all possible 'two-dimensional worlds', a rare case of a total topological census.
- **Graph theory:** the genus of a surface determines the maximum density of a crossing-free graph; V−E+F depends on genus
- **Loss landscape topology:** TDA methods probe the topology of neural network parameter spaces to understand why SGD works
- **Computer graphics:** surface topology (number of handles) determines UV parametrization complexity and rendering
Предварительные знания
Basic Surfaces
A **surface** is a 2-dimensional manifold: every point has a neighborhood homeomorphic to R². Compact surfaces without boundary are **closed surfaces**. Their complete classification is one of the main achievements of classical topology.
| Surface | χ | Orientable? | H₀, H₁, H₂ |
|---|---|---|---|
| Sphere S² | 2 | Yes | ℤ, 0, ℤ |
| Torus T² | 0 | Yes | ℤ, ℤ², ℤ |
| Double torus (g=2) | -2 | Yes | ℤ, ℤ⁴, ℤ |
| Projective plane RP² | 1 | No | ℤ, ℤ/2ℤ, 0 |
| Klein bottle K | 0 | No | ℤ, ℤ⊕ℤ/2ℤ, 0 |
| Genus-g surface | 2−2g | Yes | ℤ, ℤ^{2g}, ℤ |
**Orientability:** a surface is orientable if a consistent 'right-hand' normal can be chosen at every point. Equivalently: it contains no Mobius band as a subspace. Non-orientable surfaces: RP², Klein bottle, and their connected sums.
The Klein bottle cannot be embedded in R³ without self-intersections. Why?
Connected Sum
The **connected sum** X # Y of two surfaces: remove an open disk from each, then glue the resulting boundary circles together. Algebraically: χ(X # Y) = χ(X) + χ(Y) − 2, and genera add: g(X # Y) = g(X) + g(Y).
**Connected sum with RP²:** RP² # RP² = Klein bottle. Three copies: RP² # RP² # RP² = non-orientable surface N₃. Adding any RP² to an orientable surface yields a non-orientable one.
χ(T² # T² # T²) = ?
The Classification Theorem
**Theorem (Classification of compact surfaces):** Every closed compact surface is homeomorphic to exactly one of: 1. **Orientable:** the sphere S², or the connected sum of g tori Σ_g = T²#···#T² (g times), g ≥ 1. 2. **Non-orientable:** the connected sum of k copies of RP², N_k = RP²#···#RP² (k times), k ≥ 1.
**Classification parameters:** For orientable surfaces - **genus** g (number of handles). χ = 2 − 2g. For non-orientable - number k of RP² copies. χ = 2 − k. The pair (χ, orientability) completely determines the surface type.
The classification theorem is a rare example of a **complete** topological classification. For 3-manifolds, the analogous result, the Poincaré conjecture (Perelman's theorem), took a century of effort. For n ≥ 5-manifolds, complete classification is provably impossible (reduces to an undecidable algorithmic problem).
What surface has χ = −6 and is orientable?
Genus in Graph Theory and Loss Landscapes
**Euler's formula on surfaces:** for a graph drawn on a surface of genus g, V − E + F = 2 − 2g. On the sphere (g=0): V − E + F = 2 (planar graphs). The **genus** of a graph is the minimum genus of a surface on which it embeds without edge crossings.
**Loss landscape topology:** Empirical studies of deep-network loss landscapes show complex topology: many saddle points, flat minima, and 'holes'. TDA methods (persistent homology) can quantify this topology, helping explain why SGD finds good solutions despite high-dimensional non-convexity.
K₅ (complete graph on 5 vertices) is non-planar. On which surface can it be drawn without edge crossings?
Key Ideas
- **Basic surfaces:** S², T², RP², Klein bottle K; constructed as identifications of a square
- **Connected sum #:** χ(X#Y) = χ(X)+χ(Y)−2; genera add
- **Classification:** every closed surface = Σ_g (orientable, g ≥ 0) or N_k (non-orientable, k ≥ 1)
- **Two invariants:** (χ, orientability) completely determine the surface type; V−E+F = 2−2g on genus-g surface
Related Topics
Surface classification is the pinnacle of 2D topology and the foundation for 3D and beyond:
- Homology — H₁(Σ_g) = ℤ^{2g}; Betti numbers are the computable invariants in the classification theorem
- Euler Characteristic — χ is the primary numerical invariant of surfaces; links V, E, F, homology, and curvature
Вопросы для размышления
- Prove that T² # RP² ≅ RP² # RP² # RP² (i.e., N₃). This is a surprising fact about connected sums of orientable and non-orientable surfaces.
- Why is there no complete classification of 3-manifolds analogous to the surface theorem? What makes the problem fundamentally harder?
- The graph K₃,₃ is non-planar. What is its genus? Verify using Euler's formula on the minimal surface.