Surfaces & the Classification Theorem
Surfaces & the Classification Theorem
Every compact orientable surface is homeomorphic to either a sphere $S^2$ or a connected sum of $g$ tori $T^2\#\cdots\#T^2$ (genus $g$). Non-orientable surfaces include the Klein bottle and $\mathbb{RP}^2$. The Euler characteristic $\chi=V-E+F$ is a topological invariant — the same for any triangulation. The classification theorem lists all surfaces by $\chi$ and orientability, giving a complete topological invariant.
Euler Characteristic & Surface Classification
The Euler characteristic of a triangulated surface is $\chi=V-E+F$ (vertices-edges-faces), independent of triangulation (Euler's theorem). For orientable closed surfaces: sphere $\chi=2$; torus $\chi=0$; genus-$g$ surface $\chi=2-2g$. Non-orientable: $\mathbb{RP}^2$: $\chi=1$; Klein bottle: $\chi=0$. Classification: every compact surface is homeomorphic to exactly one of $S^2$, $T_g=\#^g T^2$ (orientable genus $g\geq 1$), or $N_k=\#^k\mathbb{RP}^2$ (non-orientable, $k\geq 1$).
Connected Sum & Polygon Models
Connected sum $X\#Y$: remove a disk from each, glue along boundaries. Polygon model: represent surface as a $2n$-gon with edges identified. $T^2$: square with $aba^{-1}b^{-1}$ identification. Klein bottle: $abab^{-1}$. $\mathbb{RP}^2$: $aa$. Genus-$g$ surface: $a_1b_1a_1^{-1}b_1^{-1}\cdots a_gb_ga_g^{-1}b_g^{-1}$ (word of length $4g$). The genus classifies orientable surfaces; non-orientable identified by number of crosscaps.
Example 1
Compute $\chi$ for the torus from a triangulation.
Solution: Standard triangulation: divide the square into 2 triangles. Identify edges: the square has 4 vertices, all identified to 1; 4 edges, identified in pairs (2 distinct); 2 faces. $\chi=V-E+F=1-2+2=1$? Wait — for the torus: 4 corners→1 vertex; 4 edges→2 edges ($a$ and $b$); 2 faces. $\chi=1-2+2=1$? That's wrong. Refine: subdivide each face into 3 triangles for a proper triangulation. Better: minimal triangulation of $T^2$ has $V=1, E=3, F=2$: $\chi=1-3+2=0$. ✓ Torus $\chi=0$.
Example 2
Show $\mathbb{RP}^2$ is not homeomorphic to $S^2$.
Solution: $\chi(S^2)=2$ and $\chi(\mathbb{RP}^2)=1\neq 2$. Since $\chi$ is a homeomorphism invariant (it's the same for any triangulation, and homeomorphisms preserve triangulations), $\mathbb{RP}^2\ncong S^2$. Moreover, $S^2$ is orientable but $\mathbb{RP}^2$ is not: any orientation-reversing path in $\mathbb{RP}^2$ returns to the start with reversed orientation.
Practice
- Compute $\chi$ for the Klein bottle and genus-2 surface using polygon models.
- Show the torus $T^2$ and Klein bottle $K^2$ have the same $\chi=0$ but are not homeomorphic (one is orientable, the other not).
- Verify the classification: what surface has $\chi=-3$ and is orientable?
- Compute $\pi_1(T^2)$ using van Kampen's theorem applied to the polygon model.
Show Answer Key
1. Klein bottle: polygon $aba^{-1}b$ has $V=1,E=2,F=1$, so $\chi=1-2+1=0$. Genus-2 surface: polygon $a_1b_1a_1^{-1}b_1^{-1}a_2b_2a_2^{-1}b_2^{-1}$ has $V=1,E=4,F=1$, $\chi=1-4+1=-2$.
2. Both have $\chi=0$, but $T^2$ is orientable (the polygon identification $aba^{-1}b^{-1}$ is orientation-preserving) while $K^2$ is non-orientable (the identification $aba^{-1}b$ reverses orientation along one edge). Orientability is a topological invariant, so they cannot be homeomorphic.
3. For a closed orientable surface of genus $g$: $\chi=2-2g$. If $\chi=-3$, then $2-2g=-3$, $g=5/2$ — not an integer. So no closed orientable surface has $\chi=-3$.
4. $T^2$ as a polygon with edges $a,b,a^{-1},b^{-1}$. Van Kampen's theorem with a small disk removed: $\pi_1=\langle a,b\mid aba^{-1}b^{-1}=1\rangle\cong\mathbb{Z}\times\mathbb{Z}$.