Abstract
We present a simple proof of the surface classification theorem using normal curves. This proof is analogous to Kneser’s and Milnor’s proof of the existence and uniqueness of the prime decomposition of 3manifolds. In particular, we do not need any invariants from algebraic topology to distinguish surfaces.
1 Introduction
One of the central problems in topology asks for the classification of manifolds in a fixed dimension, where often the simplifying assumption is imposed that the manifolds are connected, orientable and closed (i.e. compact and without boundary). While it is not hard to show that any 1manifold is homeomorphic to the 1dimensional circle \(S^{1}\) (we refer to [6, Sect. 7.1] for a detailed proof, a different proof for smooth 1manifolds is given in [17]) the first nontrivial classification result is the classification of surfaces. Throughout this paper, we will use the word surface to describe a closed, connected, orientable, triangulated, and smooth 2dimensional manifold.
Theorem 1.1
For any surface \(F\) there exist a unique nonnegative integer \(g\), the genus of \(F\), such that \(F\) is diffeomorphic to \(\#_{g} T^{2}\), the \(g\)fold connected sum of 2tori.
Where in the above theorem \(\#_{0} T^{2}\) is defined to be the 2sphere \(S^{2}\) and \(\#_{1} T^{2}\) just denotes a 2torus \(T^{2}=S^{1}\times S^{1}\). Theorem 1.1 is often attributed to Radó [21], who proved that any topological 2manifold can be triangulated, cf. [18]. Given a triangulated surface \(F\) it is not difficult to actually construct a smooth structure on \(F\). For a direct proof (not using any triangulation) that any surface admits a smooth structure, we refer to [10] where the smooth structure is constructed using Kirby’s torus trick which is one of the main ingredients to study the existence of PL structures on higher dimensional manifolds [13]. Moreover, it is known that every homeomorphism between smooth surfaces is isotopic to a diffeomorphism, see [10] for a modern proof. It follows that Theorem 1.1 remains also true for topological surfaces.
In the classical proof of Theorem 1.1 one chooses a triangulation of a given surface \(F\) and modifies this triangulation without changing the diffeomorphism type of the underlying surface by cut and paste topology into a standard form from which one can readoff that \(F\) is diffeomorphic to a connected sum of tori, see for example the classical [25].
A modern, more elegant, approach is given by using handle decompositions (as done in [7] or [6, Chap. 108]) which need the surface to admit a smooth structure. A similar approach is taken in Conway’s ZIP proof [5].
To conclude the proof in both approaches, in the classical and the modern approach, one needs to argue that \(\#_{g} T^{2}\) and \(\#_{g'} T^{2}\) are not homeomorphic if \(g\neq g'\). This can be achieved by computing invariants from algebraic topology such as the Euler characteristic, the (abelization of the) fundamental group or the homology groups.
In this note, we will discuss a different proof of Theorem 1.1 using normal curves which is analogous to Kneser’s and Milnor’s proof of the existence and uniqueness of the prime decomposition of 3manifolds [14, 16]. For more details on the prime decompositions of 3manifolds, we also refer to Chap. 3 of [11]. In particular, our proof will not use any invariants from the machinery of algebraic topology. On the other hand, we have to appeal to the Schoenflies theorem [23], which can be shown by elementary methods (see for example Chap. 3 of [18]).
In Sect. 2 we will briefly introduce the necessary background on normal curves. Using normal curves we will show in Sect. 3 that \(T^{2}\) is a prime surface (i.e. it cannot be decomposed nontrivially as a connected sum) and that the only other prime surface is \(S^{2}\). To conclude the proof of Theorem 1.1 we will show in Sects. 4 and 5 that any surface admits a unique prime decomposition. Finally, in Sect. 6 we will briefly relate our approach to results for higher dimensional manifolds.
Conventions:
We work in the smooth category. All manifolds, maps, and ancillary objects are assumed to be smooth. All arguments would also work in the PL category.
2 Normal Curves on Triangulated Surfaces
The idea to prove Theorem 1.1 is that the collection of curves on a given surface \(F\) will determine \(F\). To actually make the collection of curves into an object that we can handle effectively we will restrict to a simple subclass of curves that contain still all interesting curves but admit a nice countable structure. These are the socalled normal curves.
In this section we will introduce the needed concepts about normal curves. More on normal curves can be found in Sect. 3.2 of [15], another source is [24].
First, we recall the concept of a singular triangulation of a surface. We denote by \(\Delta \) a 2dimensional triangle seen as a subspace of \(\mathbb{R}^{2}\). A (singular) simplicial complex is obtained by taking finitely many copies of \(\Delta \) and identifying all their edges in pairs via affine homeomorphisms. A (singular) triangulation \(T\) of a surface \(F\) is a homeomorphism of \(F\) to a singular simplicial complex.
Remark 2.1
In contrast to a genuine triangulation a singular triangulation needs much fewer triangles to build a given surface. Since the theory of normal curves works equally well for singular triangulations, we choose to work with singular triangulations here.
We denote by \(F\) always a surface with a fixed choice of a triangulation. We denote the triangles in the triangulation of \(F\) by
A closed 1dimensional submanifold \(c\) of \(F\) is called curve system and if \(c\) is connected just curve. By general position, we can assume after a small perturbation of \(c\) that \(c\) intersects the edges \(E\) of the triangles transversely and does not intersect the vertices \(V\). Then it follows from the Schoenflies theorem [23] that any component of \(c\cap \Delta _{i}\) is either a closed curve bounding a disk in the interior of \(\Delta _{i}\), an embedded arc that connects two points on the same edge of \(\Delta _{i}\) or an embedded arc connecting two different edges of \(\Delta _{i}\), as depicted in Fig. 2.
A curve system \(c\) on \(F\) is called normal if for any triangle \(\Delta _{i}\) of the triangulation every component of \(c\cap \Delta _{i}\) is an arc connecting two different edges of \(\Delta _{i}\).
Actually, it is not a real restriction to restrict to normal curves as the next result shows.
Theorem 2.2
Any curve system c on a surface \(F\) can be deformed into a normal curve system by isotopy and possibly removing components bounding disks in \(F\).
Proof
Let \(c\) be a curve system on \(F\). We will describe an algorithm, called normalization, that deforms \(c\) into a normal curve system.
To show that our algorithm terminates in finite time, we define the complexity \(d(c)\) of a curve system \(c\) as the sum of the number of components of \(c\) and the intersection points of \(c\) with the edges of the triangulation. We emphasize the obvious fact that \(d\) is bounded from below by 0.
Step 1: If one component of \(c\) bounds a disk inside a triangle \(\Delta \) as in Fig. 2 (left), we remove that component. This will decrease the complexity \(d(c)\) by one and thus after finitely many executions of Step 1, we end up with a curve system, \(c'\) without configurations as on the left of Fig. 2.
The curve system \(c'\) is not isotopic to \(c\) but only differs from \(c\) by finitely many curves that bound disks in \(F\). This is the only place where the curves are not changed by isotopy. For simplicity we denote \(c'\) again by \(c\).
Step 2: If there exists a triangle \(\Delta \) such that one component of \(c\cap \Delta \) is an arc that connects two points on the same edge of \(\Delta \) as in the middle of Fig. 2 we take the innermost of those components and isotope it into the nearby triangle, as shown in Fig. 3. (Here we use again the Schoenflies theorem.) This isotopy will reduce a pair of intersection points with an edge and thus reduce the complexity \(d(c)\) by two. Then we continue again with Step 1.
Since in both steps the complexity is reduced, the algorithm will terminate after finitely many executions and end with a curve system \(c\) that is normal. □
We remark that a curve (if it bounds a disk) might be deformed to the empty set by the above algorithm. For an essential curve (i.e. one that does not bound a disk) the above deformation is always an isotopy and in particular, we can always choose a representative that is normal.
One main feature of normal curves is that we can describe them uniquely (up to isotopy through normal curves) by nonnegative integer solutions of simple linear equations. For that we enumerate the angles in all triangles of the triangulation by \(1,\ldots , 3n\) and assign to a given normal curve system \(c\) an integral vector \(x(c)\in \mathbb{N}_{0}^{3n}\) with \(i\)th entry \(x_{i}\) the number of arcs in \(c\) that run through the \(i\)th angle.
We observe that for any edge \(e\) of the triangulation there are exactly 4 adjacent angles. Let \(x_{i}\) and \(x_{j}\) the coordinates belonging to the angles on one side of \(e\) and \(x_{k}\) and \(x_{l}\) the coordinates belonging to the other side of \(e\). Then we observe that \(x_{i}+x_{j}=x_{k}+x_{l}\), since the number of components of \(c\) on both sides of \(e\) has to be equal. This yields the socalled matching system
Theorem 2.3
The map
is a bijection from the set of normal curves (up to normal isotopy) to the solutions of the matching system.
Proof
To construct the inverse we assign to any solution of the matching system a normal curve as follows. For any angle \(i\) we draw \(x_{i}\) parallel arcs that join the sides of the angle. If \(x\) is a solution of the matching system, the number of arcs coming from one side to an edge equals the number of arcs coming from the other side. Thus there is a unique way to connect these arcs to a normal curve system \(c\) belonging to the solution \(x\). □
Example 2.4
We consider the triangulation of \(T^{2}\) shown in Fig. 4 and fix the labeling of the angles as depicted in that figure. Then the matching system is given by
We solve the matching system and set \(m:=x_{1}=x_{2}\), \(l:=x_{3}=x_{4}\), and \(k:=x_{5}=x_{6}\). Thus we see that the set of normal curves \(\mathcal {N}\) on \(T^{2}\) is given by
By Theorem 2.2 every essential curve on \(T^{2}\) is contained in \(\mathcal {N}\).
3 Classification of Prime Surfaces
In this section, we will classify all prime surfaces. More concretely we will show that any prime surface is diffeomorphic to \(S^{2}\) or \(T^{2}\). We will start by showing that these two surfaces are prime.
We recall that a surface \(F\) is prime if there is no description of \(F\) as \(F_{1}\#F_{2}\) for surfaces \(F_{1}\) and \(F_{2}\) that are both not diffeomorphic to \(S^{2}\). And thus a surface is prime if and only if it does not contain a reducing curve, i.e. an essential and separating curve.
Lemma 3.1
\(S^{2}\) is prime.
Proof
The Schoenflies theorem [23] implies that any curve on \(S^{2}\) bounds a disk and thus \(S^{2}\) does not contain any essential curve. □
Lemma 3.2
\(T^{2}\) is prime.
Proof
We will show that any essential curve on the 2torus is nonseparating. For that, we use the triangulation and the matching system \(\mathcal {N}\) from Example 2.4. By Theorem 2.2 any essential curve is isotopic to a normal curve and Theorem 2.3 implies that any essential curve is given by a solution of the matching system \(\mathcal {N}\).
First, we observe in Fig. 5 that any normal curve \(C_{m,l,k}\) with \(m,l,k\geq 1\) contains a curve that bounds a disk and is thus nonessential. So it is enough to consider only normal curves with at least one of \(m,l\), or \(k\) vanishing.
We choose the standard meridianlongitude pair \((\mu ,\lambda )\) on \(T^{2}\) inducing the standard orientation on \(T^{2}\) such that \(\mu =C_{1,0,0}\) and \(\lambda =C_{0,1,0}\) (as unoriented curves), see Fig. 5. Then it follows that \(C_{0,0,1}=\mu \lambda \). Therefore, we have
We remark here that \(C_{m,l,0}=m\mu +l\lambda \) and \(C_{0,l+m,m}=m\mu +l\lambda \) are isotopic (although not isotopic as normal curves). Similarly \(C_{m,0,k}=(m+k)\mu k\lambda \) and \(C_{0,m,m+k}=(m+k)\mu k\lambda \) are isotopic.
It follows that any essential curve on \(T^{2}\) can be written (up to isotopy) as \(p\mu +q\lambda \) with \(p\in \mathbb{N}_{0}\) and \(q\in \mathbb{Z}\). Finally, it is not hard to see that a normal curve system \(p\mu +q\lambda \) is connected if and only if \(p\) and \(q\) are coprime and in that case the complement is connected. We have shown that \(T^{2}\) does not contain any essential separating curve. □
Remark 3.3
That any essential curve on a 2torus is isotopic to a curve of the form \(p\mu +q\lambda \) for \(p\) and \(q\) coprime is already a nontrivial result, see for example [22, Chap. 2] for a different proof.
Next, we will show that these two examples are actually the only prime surfaces.
Proposition 3.4
Let \(F\) be a prime surface, then \(F\) is diffeomorphic to \(S^{2}\) or \(T^{2}\).
Proof
First, we show that any triangulated surface \(F\) admits a polygonal description, i.e. \(F\) can be obtained from a triangulated convex polygon \(P\) in the plane by identifying pairs of boundary edges of the polygon. We construct \(P\) inductively. We start with an arbitrary triangle \(\Delta _{1}\) in the triangulation of \(F\) and set \(P_{1}=\Delta _{1}\). Next, we glue to one of its edges a different adjacent triangle \(\Delta _{2}\) to obtain the polygon \(P_{2}\), which we can deform to be convex. We continue inductively by gluing an adjacent triangle \(\Delta _{i}\) to the polygon \(P_{i1}\) along one of its edges to get the polygon \(P_{i}\) which we again deform to be convex. Here we always choose a triangle \(\Delta _{i}\) that is not yet contained in \(P_{i1}\). It is straightforward to show that after finitely many steps we are left with a triangulated polygon \(P\) in the plane that contains all triangles in the triangulation. From \(P\) we can obtain \(F\) by identifying pairs of boundary edges.
Now we assume that \(F\) is prime. We take two edges \(e_{1}\) and \(e_{2}\) of the triangulated polygon that get identified and choose an embedded normal arc \(c\) in the polygon connecting \(e_{1}\) and \(e_{2}\) that induces a normal curve on \(F\), see Fig. 6. Such a normal arc \(c\) exists by performing the normalization process from the proof of Theorem 2.2 in this setting.
First, we discuss the case that \(F\setminus c\) is pathconnected. Then we can find a normal curve \(c'\) intersecting \(c\) transversely in a single point, see Fig. 6 (left). Since \(F\) is orientable a regular neighborhood \(\nu \) of \(c\cup c'\) is diffeomorphic to \(T^{2}\setminus D^{2}\). Now we observe that the boundary \(\partial \nu \) of \(\nu \) is a curve in \(F\) and since \(F\) is prime \(\partial \nu \) has to bound a disk in \(F\) and we conclude that \(F\) is diffeomorphic to \(T^{2}\).
In the other case, when \(F\setminus c\) consists of two components \(F_{1}\) and \(F_{2}\), we will argue that we can simplify the triangulated polygon. Indeed, since \(F\) is prime, we know that \(c\) bounds a disk in \(F\), and thus one of the components of its complement, say \(F_{1}\), has to be a disk \(D^{2}\). It follows that collapsing \(F_{1}\) to a point will not change the topology of \(F\). Thus we get a polygon \(P'\) with fewer edges also describing \(F\) as follows. We cut \(P\) along \(c\), remove the part of \(P\) that belongs to \(F_{1}\), and collapse the part of the boundary belonging to \(c\), \(e_{1}\) and \(e_{2}\), see Fig. 6 (right).
After finitely many of those steps we either find a normal curve with connected complement and deduce that \(F\) is diffeomorphic to a 2torus or we reduce the polygon to the bigon polygon describing \(S^{2}\). □
4 The Existence of the Prime Decomposition for Surfaces
In this section, we will show that any surface can be decomposed into prime surfaces. This implies that any surface is diffeomorphic to the connected sum of some number of 2tori.
Theorem 4.1
Any surface \(F\) can be decomposed into prime factors, i.e. \(F\) is diffeomorphic to \(F_{1}\#\ldots \#F_{g}\) with \(F_{i}\) prime surfaces.
Proof
The proof follows the naive approach of repeatedly cutting the surface along separating essential curves until only prime pieces remain. We need to argue why this process stops after finite time. (In fact, this process will, in general, not stop in higher dimensions, see Sect. 6.)
For that, we will show that there exists for every surface \(F\) a natural number \(g\), such that for any curve system \(c\) consisting of \(g\) disjoint separating essential curves \(c_{1},\ldots c_{g}\) at least two curves \(c_{i}\) and \(c_{j}\) are isotopic.
We choose a triangulation \(\{\Delta _{1},\ldots ,\Delta _{n}\}\) of \(F\). By Theorem 2.2 we can assume that \(c\) is normal. We observe that for any triangle \(\Delta _{i}\) in the triangulation the complement \(\Delta _{i}\setminus c\) of \(c\) consists of quadrilaterals \(Q_{j}\) and at most four other exceptional pieces \(E_{j}\), see Fig. 7 (left). Every quadrilateral has the property that two opposite edges are subsets of \(c\) and the other two edges are subsets of the edges of the triangulation. Since the triangulation consists of \(n\) triangles \(\Delta _{i}\) we see that the complement of \(c\) decomposes as
where \(l\), the total number of exceptional pieces, is at most \(4n\) and thus bounded by a quantity that only depends on the triangulation of the surface \(F\) and not on \(c\). On the other hand, we know that all \(c_{i}\) are separating and thus \(F\setminus c\) decomposes as disjoint union of \(g+1\) pieces, i.e.
If we now choose \(g\geq 4n\geq l\), it follows that at least one \(F_{k}\) does not contain any exceptional pieces \(E_{j}\) and thus \(F_{k}\) is obtained by gluing together quadrilaterals \(Q_{j}\), see Fig. 7 (right). Since the surface \(F\) is orientable, we conclude that \(F_{k}\) is an annulus between two curves \(c_{i}\) and \(c_{j}\) and thus \(c_{i}\) is isotopic to \(c_{j}\).
□
As a direct corollary, we obtain the following.
Corollary 4.2
For any surface \(F\) there exists a nonnegative integer \(g\) such that \(F\) is diffeomorphic to \(\#_{g} T^{2}\).
Proof
From Theorem 4.1 we know that \(F\) is diffeomorphic to \(F_{1}\#\ldots \#F_{g'}\) with \(F_{i}\) prime surfaces. But from Proposition 3.4 we know that any \(F_{i}\) is diffeomorphic to a 2torus or a 2sphere. □
5 The Uniqueness of the Prime Decomposition for Surfaces
To finish the proof of Theorem 1.1 it remains to argue that the genus of a surface is actually an invariant of its diffeomorphism type. In this section, we will achieve this by showing that the prime decomposition of a surface is unique (up to adding \(S^{2}\)factors).
Theorem 5.1
If \(\#_{g} T^{2}\) is diffeomorphic to \(\#_{g'} T^{2}\) then \(g\) and \(g'\) are equal.
For the proof of Theorem 5.1 we will need the following two wellknown observations about diffeomorphisms of surfaces.
Lemma 5.2
Alexander trick
Any diffeomorphism of \(S^{1}=\partial D^{2}\) extends to a diffeomorphism of \(D^{2}\).
Proof
Let \(f\colon S^{1}\rightarrow S^{1}\) be a diffeomorphism. After possibly composing with a reflection that extends over \(D^{2}\) we can assume that \(f\) is orientation preserving. We will show that \(f\) is isotopic to the identity. First, we observe that after an isotopy we can assume that \(f\) preserves \(0\in S^{1}=\mathbb{R}/{2\pi \mathbb{Z}}\). We write \(\tilde{f}\) for the lift of \(f\) to a map \(\mathbb{R}\rightarrow \mathbb{R}\). Then we observe that the linear interpolation between \(\tilde{f}\) and the identity is equivariant and thus induces an isotopy between \(f\) and the identity. By performing this isotopy on a tubular neighborhood of \(S^{1}\) in \(D^{2}\) we deduce that \(f\) extends over \(D^{2}\). □
Lemma 5.3
Let \(c\) and \(c'\) be nonseparating curves on a surface \(F\). Then there exists a diffeomorphism of \(F\) that sends \(c\) to \(c'\).
Proof
It is not hard to explicitly construct such a diffeomorphism as a composition of Dehn twists. Instead of repeating this standard argument here we refer for example to Lemma 13.3 in [20] for a detailed proof. □
Proof of Theorem 5.1
Let \(F\) be a surface that is diffeomorphic to two connected sum decompositions, to \(F_{1}\#\cdots \# F_{g}\) and to \(F'_{1}\#\cdots \# F'_{g'}\), with \(F_{1},\ldots ,F_{g}\) and \(F'_{1},\ldots ,F'_{g'}\) prime surfaces that are not 2spheres. From Proposition 3.4 it follows that any \(F_{i}\) and any \(F'_{i}\) is diffeomorphic to a 2torus. From the Schoenflies theorem, it follows that any curve on \(S^{2}\) separates \(S^{2}\). On the other hand, for any \(g\geq 1\) there exists a curve on \(\#_{g} T^{2}\) that does not separate. Thus \(g=0\) if and only if \(g'=0\) and we assume without loss of generality that \(g,g'>0\).
Next, we want to show that if we remove a prime surface, say \(F_{g}=T^{2}\) and \(F'_{g'}=T^{2}\), from both connected sum decompositions, the resulting surfaces are still diffeomorphic. Then we can conclude by induction. For that we choose a curve \(S^{1}\times \{p\}\subset T^{2}\) that is mapped under the diffeomorphisms to \(F_{g}\) and \(F'_{g'}\) to curves \(c\subset F_{g}\) and \(c'\subset F'_{g'}\) that are disjoint from the disks in \(F_{g}\) and \(F'_{g'}\) used for the connected sums. In particular, \(c\) and \(c'\) also represent curves on \(F\). If we cut \(F\) along \(c\) and glue two 2disks to the resulting boundary components we get \(F_{1}\#\cdots \#F_{g1}\). Similarly, if we cut \(F\) along \(c'\) and fill the boundary components with 2disks, we obtain \(F'_{1}\#\cdots \#F'_{g'1}\). Since \(c\) and \(c'\) are nonseparating, Lemma 5.3 gives us a diffeomorphism of \(F\) that maps \(c\) to \(c'\). Its restriction \(F\setminus c\to F\setminus c'\) extends by Lemma 5.2 over the gluedin 2disks to a diffeomorphism from \(F_{1}\#\cdots \#F_{g1}\) to \(F'_{1}\#\cdots \#F'_{g'1}\). We conclude by induction that \(g=g'\). □
Remark 5.4
We will close with two remarks.

Some authors define the genus of a closed, connected, oriented surface as the maximum number of components in a nonseparating curve system. Theorem 5.1 implies that a surface of genus \(g\) (with this alternative definition) is diffeomorphic to \(\#_{g} T^{2}\).

Our arguments extend also to nonorientable surfaces. We briefly comment on the necessary changes. Similar as in Lemma 3.2 we can show that the real projective plane \(\mathbb{R}P^{2}\) is prime. By extending Proposition 3.4 we see that \(\mathbb{R}P^{2}\) is the only nonorientable prime surface [24]. The existence of the prime decomposition works exactly the same. (Here we only need to notice that a separating curve on a surface always has an orientable neighborhood.)
The uniqueness is slightly more involved. If \(F\) is a nonorientable surface then it is not hard to see that \(F\#T^{2}\) is diffeomorphic to \(F\#\mathbb{R}P^{2}\#\mathbb{R}P^{2}\) and thus the prime decomposition is in general not unique. Now let \(F\) be a nonorientable surface that is diffeomorphic to two connected sum decompositions, to \(F_{1}\#\cdots \# F_{g}\) and to \(F'_{1}\#\cdots \# F'_{g'}\), with \(F_{1},\ldots ,F_{g}\) and \(F'_{1},\ldots ,F'_{g'}\) prime surfaces that are not 2spheres. First we use the relation \(F\#T^{2}=F\#\mathbb{R}P^{2}\#\mathbb{R}P^{2}\) to replace any \(T^{2}\)summand by an \(\mathbb{R}P^{2}\#\mathbb{R}P^{2}\)summand. Thus Proposition 3.4 implies that all \(F_{i}\) and \(F'_{i}\) are \(\mathbb{R}P^{2}\). Then we use an extension of Lemma 5.3 to nonorientable surfaces, to inductively remove \(\mathbb{R}P^{2}\#\mathbb{R}P^{2}\)summands from the two different connected sum decompositions as in the proof of Theorem 5.1. Like this we can reduce one of the two connected sum decompositions to \(S^{2}\) or \(\mathbb{R}P^{2}\). From the primeness and the orientability it follows that the other reduced connected sum decomposition is the same.
6 Higher Dimensional Manifolds
Since the proofs presented here are inspired by the 3dimensional proofs they naturally extend into dimension 3, where Kneser and Milnor proved that any closed oriented 3manifold admits a unique (up to reordering and adding \(S^{3}\)factors) prime decomposition [14, 16]. On the other hand, it is not hard to show that there exist infinitely many nonhomeomorphic prime 3manifolds (for example the lens spaces) and thus the classification of 3manifolds is not an implication of the prime decomposition theorem. Nevertheless, the algorithmic classification of 3manifolds is possible and normal surfaces play a crucial role in them as in many other algorithmic results in 3manifold topology. We refer to [4, 9, 15] for more details. On the other hand, it is not hard to construct for any given finitely presented group \(G\) and any integer \(n\geq 4\) a closed oriented \(n\)manifold with fundamental group isomorphic to \(G\). Since the isomorphism problem of finitely presented groups is unsolvable [2, 19] there is also no algorithmic classification of manifolds of dimension at least 4. Nevertheless, manifolds of dimension at least 5 are classified, although not algorithmically, via surgery theory, see for example [3, 26].
Finally, we refer to [1] for a discussion of the prime decompositions of higher dimensional manifolds. In particular, we want to emphasize the observation that the connected sum decomposition of higher dimensional smooth manifolds is often not unique and the naive approach of cutting a manifold along essential separating spheres will in general not terminate uniquely in finite time. Here we mention two different ways to see this. First, we have the Kervaire–Milnor theorem that states that there are exactly 28 nondiffeomorphic smooth 7manifolds that are all homeomorphic to \(S^{7}\) and that these 28 manifolds together with the connected sum form a group isomorphic to \(\mathbb{Z}_{28}\) [12]. Second, we know that for any closed simplyconnected smooth 4manifold \(W\) there exist natural numbers \(a,b,c,d\) such that \(W\#_{a}\mathbb{C}P^{2}\#_{b} \mathbb{C}P^{2}\) is diffeomorphic to \(\#_{c}\mathbb{C}P^{2}\#_{d}\mathbb{C}P ^{2}\), where \(\mathbb{C}P^{2}\) denotes the complex projective space and \(\mathbb{C}P^{2}\) the complex projective space with opposite orientation [8].
References
Bokor, I., Crowley, D., Friedl, S., Hebestreit, F., Kasprowski, D., Land, M., Nicholson, J.: Connected sum decompositions of highdimensional manifolds. In: 2019–20 MATRIX Annals. MATRIX Book Ser., vol. 4, pp. 5–30. Springer, Berlin (2021)
Boone, W.: The word problem. Proc. Natl. Acad. Sci. 44, 1061–1065 (1958)
Browder, W.: Surgery on SimplyConnected Manifolds. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 65. Springer, New York (1972)
Burton, B., Budney, R., Pettersson, W., et al.: Regina: software for lowdimensional topology. http://reginanormal.github.io
Francis, G., Weeks, J.: Conway’s ZIP proof. Am. Math. Mon. 106, 393–399 (1999)
Friedl, S.: Lecture notes for Algebraic Topology. Available online at his homepage. https://www.uniregensburg.de/Fakultaeten/nat_Fak_I/friedl/
Geiges, H.: How to depict 5dimensional manifolds. Jahresber. Dtsch. Math.Ver. 119, 221–247 (2017)
Gompf, R., Stipsicz, A.: 4Manifolds and Kirby Calculus. Grad. Stud. Math., vol. 8. Am. Math. Soc., Providence (1999)
Haken, W.: Theorie der Normalflächen. Acta Math. 105, 245–375 (1961)
Hatcher, A.: The Kirby Torus Trick for surfaces. arXiv:1312.3518
Hempel, J.: 3Manifolds. Ann. of Math. Studies, vol. 86. Princeton University Press/University of Tokyo Press, Princeton/Tokyo (1976)
Kervaire, M., Milnor, J.: Groups of homotopy spheres: I. Ann. Math. (2) 77, 504–537 (1963)
Kirby, R., Siebenmann, L.: Foundational Essays on Topological Manifolds, Smoothings, and Triangulations. Annals of Mathematics Studies, vol. 88. Princeton University Press, Princeton (1977)
Kneser, H.: Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten. Jahresber. Dtsch. Math.Ver. 38, 248–260 (1929)
Matveev, S.: Algorithmic Topology and Classification of 3Manifolds. Algorithms and Computation in Mathematics, vol. 9. Springer, Berlin (2007)
Milnor, J.: A unique decomposition theorem for 3manifolds. Am. J. Math. 84, 1–7 (1962)
Milnor, J.: Topology from the Differentiable Viewpoint, Based on Notes by David W. Weaver. Princeton Landmarks in Mathematics. Princeton University Press, Princeton (1997). Revised reprint of the 1965 original
Moise, E.: Geometric Topology in Dimensions 2 and 3. Graduate Texts in Mathematics, vol. 47. Springer, New York (1977)
Novikov, S.: On the algorithmic unsolvability of the word problem in group theory. Tr. Mat. Inst. Steklova 44 (1955)
Prasolov, V., Sossinsky, A.: Knots, Links, Braids and 3Manifolds. Translations of Mathematical Monographs, vol. 154. Am. Math. Soc., Providence (1976)
Radó, T.: Über den Begriff der Riemannschen Fläche. Acta Szeged 2, 101–121 (1926)
Rolfsen, D.: Knots and Links. (1976) Publish or Perish
Schoenflies, A.: Beiträge zur Theorie der Punktmengen. III. Math. Ann. 62, 286–328 (1906)
Schultens, J.: Introduction to 3Manifolds. Graduate Studies in Mathematics, vol. 151. Am. Math. Soc., Providence (2014)
Seifert, H., Threlfall, W.: Lehrbuch der Topologie. Teubner, Leipzig (1934)
Wall, C.: Surgery on Compact Manifolds. London Mathematical Society Monographs, vol. 1. Academic Press, London (1970)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ayaz, F., Kegel, M. & Mohnke, K. The Classification of Surfaces via Normal Curves. Jahresber. Dtsch. Math. Ver. 125, 121–134 (2023). https://doi.org/10.1365/s13291022002655
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1365/s13291022002655
Keywords
 Classification of surfaces
 Normal curves
 Prime decomposition of manifolds
Mathematics Subject Classification (2020)
 57M25
 57R65
 57M12