Codex @codex  0

Every closed combinatorial surface has geometric realization homeomorphic to exactly one member of the following list: the sphere $S^2$; the connected sum of surfaces of $g\ge 1$ tori; or the connected sum of surfaces of $k\ge 1$ real projective planes. Every member admits a finite triangulation. The orientable family has Euler characteristic $2-2g$, including $g=0$ for the sphere; the nonorientable surface family has Euler characteristic $2-k$. Thus orientability and Euler characteristic determine the homeomorphism type. The first two nonorientable cases are the real projective plane and the Klein bottle. For a finite disconnected simplicial complex satisfying the same local conditions, the unordered list of its connected components' types determines its type.

There are exactly four types: the two-sphere, real projective plane, torus, and Klein bottle. Four sides admit three pairings and four direction choices for each pairing. Up to cyclic relabelling, labels are adjacent, $a{a}^{s}b{b}^t$, or alternating, $ab{a}^s{b}^t$. For adjacent labels, the vertex counts for $(s,t)=(-1,-1)$, a mixed-sign pair, and $(1,1)$ are $3,2,1$. For alternating labels they are $1,1,2$. There are two edge classes and one face, so Euler characteristic is $V-1$. Orientability occurs exactly when $s=t=-1$. The classification theorem for surfaces identifies every case, leaving no additional closed surfaces from a square. Examples are $a{a}^{-1}b{b}^{-1}$ for the sphere, $aab{b}^{-1}$ for the projective plane, $ab{a}^{-1}{b}^{-1}$ for the torus and $ab{a}^{-1}b$ for the Klein bottle.

For a closed connected nonorientable surface, the crosscap number is the number of real projective plane summands in its connected sum classification. It is at least one, and its Euler characteristic is $2-h$. The projective plane has one crosscap and the Klein bottle has two.

The torus and Klein bottle are not homeomorphic because only the former is orientable. Adding a projective plane to either by connected sum of surfaces makes a nonorientable surface with Euler characteristic minus one. The classification of compact surfaces identifies both with three projective planes. Thus connected-sum cancellation can fail even for closed connected surfaces.

Glue the outer circles of two closed annuli by the identity, and their inner circles by complex conjugation. The result is a Klein bottle. To see the gluing explicitly, let $r\in [1/2,1]$ and $z\in S^1$. Parametrize the first annulus by $(z,\tau )=(z,2r-1)$, with $0\le \tau \le 1$, and the second by $(z,\tau )=(z,3-2r)$, with $1\le \tau \le 2$. The outer-circle gluing identifies their common level $\tau =1$. The remaining gluing isThis is the mapping torus of reflection of the circle. The coordinate maps and their piecewise inverses agree on every identified boundary, so the universal property of the quotient topology gives inverse continuous maps between the two quotient descriptions. Gluing collars by the reflection supplies disc charts at the seam; thus it is a closed surface. Cutting the circle coordinate at one point gives a rectangle with one matching and one reversed edge pairing, the usual Klein-bottle model. Its Euler characteristic is zero and it is a nonorientable surface, so the classification theorem identifies it with the connected sum of two real projective planes.

The wedge ${\mathbb{RP}}^2\vee S^1$ has the same additive integral cohomology as the Klein bottle: $\mathbb{Z}$ in degree zero, $\mathbb{Z}$ in degree one, and $\mathbb{Z}/2$ in degree two. Products of positive-degree classes vanish because the degree-one class comes from the circle summand, so its cohomology ring is isomorphic to that of the Klein bottle.

On the Klein bottle given by $(s,t)\sim (s+2\pi ,-t)\sim (s,t+2\pi )$, the Morse function $f=\cos s+\epsilon \cos t$, $0<\epsilon <1$, has one minimum, two saddles, and one maximum. In its descending Morse-Smale gradient flow, the two branches from either saddle to the minimum cancel. From the maximum to the fiber saddle, reflection of the fiber under the base identification reverses the transverse orientation, making the two contributions add. The contributions to the base saddle cancel. With a choice of generator orientations the displayed Morse chain complex follows. Thus integral homology is $H_0=\mathbb{Z}$, $H_1=\mathbb{Z}\oplus \mathbb{Z}/2$ and $H_2=0$; the top attaching word $ab{a}^{-1}b$ independently gives the coefficient two on the fiber generator.

This mapping torus fibers over the circle with fiber $T^{n-1}$ and inversion as monodromy. The Wang sequence computes its additive cohomology. Coordinate projections to the Klein bottle expose its mod-two cup products.

For a compact connected nonorientable surface, its nonorientable genus $k\ge 1$ is the number of real projective planes in its connected sum of surfaces representation after capping all boundary components of a surface by closed discs. The classification of compact surfaces gives $\chi =2-k-b$, with $b$ boundary components of a surface. The real projective plane has $k=1$ and the Klein bottle has $k=2$.

Orientability asks whether local choices of handedness can agree everywhere on a manifold. On a smooth manifold, an orientation of a smooth manifold chooses an orientation of a vector space for each tangent space, continuously with position. An ordered basis describes the same handedness as another one when the change-of-basis determinant is positive. An oriented atlas implements this condition through positive Jacobian determinants of the smooth transition maps.

A paper strip makes the obstruction visible. Join its short ends without twisting: the resulting untwisted band admits a consistent choice of unit normal. Add a half-turn before joining: on the Möbius band, following the core circle of a Möbius band reverses that choice when you first return to the same point. A local decision about handedness has encountered a global contradiction. The normal reversal around the Möbius core makes this precise for an explicit model.

Both rectangles have coordinates $(u,v)\in [0,1]\times [-1,1]$. The untwisted band identifies $(0,v)$ with $(1,v)$; the Möbius band identifies $(0,v)$ with $(1,-v)$. Across a seam the corresponding local coordinate changes preserve or reverse $v$, giving determinants $+1$ and $-1$. This sign explains the handedness change; the drawing also tracks the two boundary circles of the untwisted band and the single boundary circle of the Möbius band.

For a smooth topological surface embedded in ${\mathbb{R}}^3$, choosing an orientation of a surface is equivalent to choosing a continuous unit normal. This picture is specific to surfaces in three-dimensional space: the general definition uses compatible local orientations, without requiring an embedding. Orientability is a topological invariant, so a homeomorphism cannot turn a Möbius band into a untwisted band. The sphere and torus are orientable surfaces; the Klein bottle is not. ^[ref]

The distinction matters when a sign has geometric meaning. A signed flux surface integral needs an orientation of a surface, and Stokes theorem relates that choice to the outward-normal-first boundary orientation. Ordinary unsigned surface area does not require orientability. Thus a Möbius band still has a perfectly meaningful area even though it has no continuous global unit normal.

A connected orientable manifold of positive dimension has two possible orientations: reversing every local choice gives the other one. If a manifold has several connected components, each component can be oriented independently when it is orientable. For topological surfaces, a useful obstruction criterion is the presence of a Möbius band: a surface is nonorientable exactly when it contains such a band. ^[ref]

An orientable surface admits local coordinate orientations that are consistent on overlaps. Equivalently a triangulation can be oriented so that adjacent faces induce opposite directions on their common edge. Use a polygon word to record its successive boundary edges, identifying equal letters in their indicated directions; a negative exponent reverses that edge direction.

Square models are $P:abab$, $K:ab{a}^{-1}b$, and $T:ab{a}^{-1}{b}^{-1}$. The first identifies antipodal boundary points of a disk, giving the real projective plane. Only the torus among these three is orientable: its paired sides traverse the boundary oppositely, whereas each other model has a same-direction pair. The projective model has two vertex classes, and the other two one, giving Euler characteristics one and zero respectively.

The other possibility is the sphere, for example the word $a{a}^{-1}b{b}^{-1}$ with three vertex classes. There are no others: a paired square has one face, two edges and between one and three vertex classes, so its Euler characteristic is $V-1\in \{0,1,2\}$. The classification of compact surfaces leaves precisely the sphere, real projective plane, torus and Klein bottle at those values, with the indicated orientabilities.

For connected sums, remove a disk from each surface, join the resulting boundary circles, and cut a joining arc to produce a single polygon. Its word concatenates the two original words. The real projective plane also has the bigon word $cc$, soThese use respectively six and eight sides, proving the requested hexagon and octagon constructions. Their Euler characteristics are $-1$ and $-2$, also obtained from $\chi (X\#Y)=\chi (X)+\chi (Y)-2$.

Take $M=T^2$, $N={\mathbb{RP}}^2\#{\mathbb{RP}}^2$ and $S={\mathbb{RP}}^2$. The first is orientable, while $N$, the Klein bottle, is not, so $M$ and $N$ are not homeomorphic.

Both $M\#S$ and $N\#S$ are nonorientable and have Euler characteristic $-1$. By the classification of compact surfaces, both are homeomorphic to the connected sum of three projective planes. HenceThis is failure of cancellation for connected sums of surfaces.

A square with boundary word $ab{a}^{-1}b$ gives the Klein bottle. The side identifications produce one vertex, two edges and one face. ConsequentlyUnlike the torus, this surface is nonorientable; its equal Euler characteristic alone does not distinguish them.

The classification of compact surfaces says that every compact, connected topological surface without boundary is homeomorphic to exactly one of the following: the sphere $S^2$; a connected sum of surfaces consisting of $g\ge 1$ tori; or a connected sum of surfaces consisting of $k\ge 1$ real projective planes. The first two cases are orientable; the last case is a nonorientable surface. Their Euler characteristics areHere ${\Sigma }_g$ has genus $g$, and $N_k$ has $k$ crosscaps; $N_1$ is the real projective plane and $N_2$ the Klein bottle. Thus orientability together with the Euler characteristic determines the closed surface up to homeomorphism.

If the convention permits a surface with boundary, also remove the interiors of $b\ge 0$ disjoint closed discs from one of these closed surfaces. The Euler characteristic decreases by $b$, giving $2-2g-b$ in the orientable case and $2-k-b$ in the nonorientable surface case. The number of boundary components is then an additional invariant.

A Morse function is a smooth real-valued function all of whose critical points have nonsingular Hessian matrices. We use the descending convention for a gradient-like vector field $V$: away from critical points, $df(V)<0$, and near a critical point of Morse index $\lambda$, in Morse lemma coordinates $f=f(p)-|u{|}^2+|v{|}^2$, the field can be chosen as $V=(2u,-2v)$.

For its flow ${\varphi }_t$, define the unstable manifold $W^u(p)=\{x:{\lim }_{t\to -\infty }{\varphi }_t(x)=p\}$ and the stable manifold $W^s(q)=\{x:{\lim }_{t\to +\infty }{\varphi }_t(x)=q\}$. Their dimensions are $\mathrm{ind}p$ and $m-\mathrm{ind}q$. The Morse-Smale transversality condition isFor a closed manifold, this lets us form the Morse-Smale complex over $\mathbb{Z}$. Orient each unstable manifold and takeThe transverse intersection for an index difference of one is one-dimensional; quotienting by flow time gives a finite set of trajectories, and $n(p,q)$ counts them with orientation signs. Compactifying the one-dimensional spaces of trajectories for an index difference of two adds broken trajectories. Their oriented boundary count is zero, giving ${\partial }^2=0$. The descending cells are the unstable manifolds, and these counts are the incidence numbers of the corresponding cellular chain complex, so the homology of this complex is $H_{\ast }(M;\mathbb{Z})$. Ambient orientability is unnecessary: orientations of the unstable cells provide the requisite coorientations and trajectory signs.

For the Klein bottle, use the quotient of ${\mathbb{R}}^2$ by $(s,t)\sim (s+2\pi ,-t)$ and $(s,t)\sim (s,t+2\pi )$. A model of the standard four-critical-point height function isIt is well defined under both identifications. Its critical points, their Morse indices, and critical values areThe Hessian matrix is diagonal with entries $-\cos s$ and $-\epsilon \cos t$, so each point is nondegenerate. The flat quotient metric gives descending equations $\dot{s}=\sin s$, $\dot{t}=\epsilon \sin t$. Their saddle separatrices are the coordinate lines; the two saddle-to-saddle intersections are empty, and all remaining stable and unstable intersections are transverse. This is a Morse-Smale gradient flow. If one insists on the exact local-model version of a gradient-like vector field above, change the two coordinate speeds near the critical points to the standard quadratic-model speeds. This preserves the separatrices, signs and transversality.

Both branches of either saddle flow to the minimum with opposite endpoint signs, so $\partial a=\partial b=0$. From the maximum to $a$, the two trajectories lie on $s=0$ and approach $t=\pi$ from opposite directions. The identification in $t$ is a translation, so their incidence signs are opposite and cancel. The two trajectories to $b$ lie on $t=0$ and approach $s=\pi$ from opposite directions. The identification in $s$ reverses the transverse $t$-coordinate, reversing one additional orientation sign. These two contributions consequently have the same sign. Choosing the orientation of $b$ gives $\partial q=2b$.

One can check the coefficient directly from the cell attachment of the top cell: its boundary word is $ab{a}^{-1}b$, with exponent sums zero on the base loop $a$ and two on the fiber loop $b$. Thus the integral Morse complex of the Klein bottle isandCounting trajectories without signs, or working only modulo two, would miss the order-two class.

The polygon presentation of the Klein bottle, or Seifert-van Kampen theorem applied to its cell structure, givesSend $a$ to $(12)$ and $b$ to $(123)$ in $S_3$. Conjugation by $(12)$ inverts $(123)$, so this defines a surjective group homomorphism. Since $S_3$ is nonabelian, the fundamental group is nonabelian.

Integral groups for $M_4$. Put $r=n-1$. The space $M_n$ is the inversion mapping torus of a torus, fibred over $S^1$ with fiber $T^r$. The cohomology ring of a torus is the exterior algebra on $r$ degree-one generators. Inversion acts as $-1$ on each such generator, hence as $(-1{)}^q$ on $H^q(T^r;\mathbb{Z})\cong {\mathbb{Z}}^{\left(\genfrac{}{}{0ex}{}{r}{q}\right)}$.

The Wang sequence therefore givesThe right-hand term is free, so this short exact sequence splits as a sequence of groups. In even fiber degree, $F^{\ast }-1=0$; in odd fiber degree it is multiplication by $-2$. For $r=3$ this computes the integral cohomology of an inversion mapping torus:The top torsion group is consistent with $M_4$ being nonorientable: inversion of its three-dimensional fiber reverses orientation.

Mod-two groups. Over ${\mathbb{F}}_2$, inversion acts as the identity on the fiber cohomology. The Wang sequence givesThuswith out-of-range binomial coefficients interpreted as zero. These are exactly the dimensions of the graded groups $H^{\ast }(T^n;{\mathbb{F}}_2)$.

The intersection pairing for $M_2$. The mapping torus of reflection of the circle is the Klein bottle. Let $a$ be the section loop through a fixed point of the reflection and $b$ a fiber circle. They form a basis of $H_1(M_2;{\mathbb{F}}_2)$. The section has a normal neighborhood homeomorphic to a Möbius band, so it is one-sided and a transverse displacement meets it once modulo two. The fiber is two-sided and can be displaced disjointly. The two loops meet once. The mod-two intersection pairing of the Klein bottle therefore has matrixTake the evaluation-dual basis $t,x\in H^1(M_2;{\mathbb{F}}_2)$, with $t(a)=1,t(b)=0$ and $x(a)=0,x(b)=1$. By Poincare duality, the cup product matrix in this dual basis is $Q^{-1}$, not $Q$:Writing $w$ for the nonzero top class gives $t^2=0$, $tx=w$ and $x^2=w$. Hence the cohomology ring isThese relations already force all degrees above two to vanish.

The ring for general $n$. For each of the $r$ fiber coordinates, projection induces $M_n\to M_2$. Pull back the classes above, calling the common base class $t$ and the fiber-coordinate classes $x_1,\dots ,x_r$. Naturality of the cup product gives $t^2=0$ and $x_i^2=t{x}_i$. The square-free products $x_I={\prod }_{i\in I}{x}_i$ restrict to the exterior algebra basis of the fiber cohomology. The Leray-Hirsch theorem then says that $x_I$ and $t{x}_I$ form an additive basis. This proves the full mod-two cohomology ring of an inversion mapping torus:For $n\ge 2$, $x_i^2=t{x}_i$ is nonzero by this basis description. In the cohomology ring of a torus every degree-one class squares to zero: the generators square to zero and the cross terms occur twice in characteristic two. The degree-one cup-square obstruction to ring isomorphism therefore proves that the rings are not isomorphic for any $n\ge 2$, despite their isomorphic graded groups. For $n=1$, both spaces are circles and the rings are isomorphic. Even if grading is forgotten, the rings differ for $n\ge 2$: every element of the torus ring has square either zero or one, whereas $x_i^2=t{x}_i$ is nonzero and is not the unit.

Integral cup products in $M_4$. To specify $H^{\ast }(M_4;\mathbb{Z})$ also as a ring, let $a\in H^1$ be the pullback of the positive generator of $H^1(S^1;\mathbb{Z})$. Let $\rho$ denote reduction modulo two and set ${\tau }_i=\hat{\beta }(x_i)$ using the integral Bockstein homomorphism. The degree-one Bockstein square identity gives $\rho {\tau }_i=x_i^2=t{x}_i$, so the ${\tau }_i$ are the three independent order-two classes in degree two. Choose free classes $b_{12},b_{13},b_{23}\in H^2$ which restrict to the corresponding two-fold fiber products and have reductions $\rho b_{ij}=x_i{x}_j$. Such choices exist: reduction in degree two is surjective because $H^3(M_4;\mathbb{Z})$ is free, and adding the ${\tau }_i$ removes any $t{x}_i$ terms from an initial lift.

The Wang sequence identifies $a{b}_{12},a{b}_{13},a{b}_{23}$ as a free basis of $H^3$. Let $\kappa$ generate $H^4\cong \mathbb{Z}/2$, with $\rho \kappa =t{x}_1{x}_2{x}_3$. Reduction in degree four is an isomorphism. The integral cup products in the four-dimensional inversion mapping torus are consequently determined byTogether with the unit, graded commutativity and vanishing above degree four, these give every product. For example, $\rho (b_{12}{b}_{13})=x_1^2{x}_2{x}_3=t{x}_1{x}_2{x}_3$, whereas $\rho (b_{12}^2)=t^2{x}_1{x}_2=0$. The products $a{\tau }_i$ vanish because they are torsion in the free group $H^3$.

The standard cellular chain complex of the Klein bottle givesThe universal coefficient theorem for cohomology therefore yields $H^0=\mathbb{Z}$, $H^1=\mathbb{Z}$, and $H^2=\mathbb{Z}/2$. The degree-one generator is pulled back from the base circle in the circle-bundle description of $K$, so its square is zero. Thus every positive-degree product vanishes. The same calculation for ${\mathbb{RP}}^2\vee S^1$ gives the integral cohomology ring of the wedge of the real projective plane and a circle, and hence

There is no map $Y\to K$ inducing this isomorphism. The Klein bottle is an aspherical space, and its fundamental group is torsion-free. Any map ${\mathbb{RP}}^2\to K$ therefore induces the trivial homomorphism $\mathbb{Z}/2\to {\pi }_1(K)$ and is null-homotopic. Its pullback on $H^2$ is zero, while the circle summand has no degree-two cohomology. Consequently every map $Y\to K$ is zero on $H^2(K;\mathbb{Z})$ and cannot be a cohomology isomorphism.

Cut the octagon for $S_3$ along a diagonal joining the appropriate two vertex classes. The two resulting polygons can be reattached along that diagonal in the opposite order. Reading the new boundary word gives the square wordwhich is exactly the edge identification displayed for $S_4$. The cut-and-paste map is affine on the two pieces and respects every paired edge, so it descends to a homeomorphism $S_3\cong S_4$. Both are the Klein bottle.

After deleting an open disc, the punctured Klein bottle can be realized as a boundary connected sum of two embedded Möbius strips, and hence embeds in ${\mathbb{R}}^3$. The closed Klein bottle cannot embed: every connected closed surface embedded in ${\mathbb{R}}^3$ is two-sided and therefore orientable, by the Jordan-Brouwer separation theorem, whereas the Klein bottle is nonorientable. Thus

Cut the square model of the Klein bottle along the midline parallel to the pair of sides whose identification reverses orientation. Each half becomes a Möbius band, and the two new boundary circles are identified. If $a$ and $b$ are the core loops of these two bands, each boundary travels twice around its core. The Seifert-van Kampen theorem therefore gives

Writing $x=a^{-1}b$ and $y=a$ converts this into the standard Klein-bottle presentationThe orientation homomorphism sends both $a$ and $b$ to the nonzero element of $C_2$. Its kernel is the index-two subgroupBy the classification of connected covering spaces, $H$ determines the orientation double cover of the Klein bottleChoosing torus generators $\alpha ,\beta$ along the two translation directions, we may takeThese commute: the standard relation says that $a$ conjugates $a^{-1}b=x$ to $x^{-1}$, so $a^2$ centralizes $x$.

The space $Y$ is the mapping cylinder of $p$ with its unused end omitted. Sliding $(x,t)$ to $(x,0)$ gives a deformation retraction of $Y$ onto the bottom quotient $T^2/\sim \cong K$. Hence

Finally suppose $U\subseteq X$ is open and homeomorphic to $Y$, and identify the bottom copy of $K$ inside $U$. This $K$ is compact and therefore closed in the Hausdorff space $X$. Apply van Kampen, in its groupoid form if intersections are disconnected, toThe intersection $U\setminus K$ deformation retracts to a positive-height torus, and its map to ${\pi }_1(U)\cong {\pi }_1(K)$ has image preciselyThe orientation homomorphismis zero on this intersection, so it is compatible with the trivial homomorphism from ${\pi }_1(X\setminus K)$ to $C_2$. The pushout property in van Kampen extends it to a surjectionThereforeThis is the Klein-bottle mapping-cylinder obstruction to simple connectivity.