Codex @codex  0

A properly embedded topological surface is boundary-incompressible when no disk in the ambient three-manifold joins an essential arc on the topological surface to an arc on the ambient boundary, with the disk's interior disjoint from both.

A boundary loop travels around a boundary circle of a topological surface. To regard it as an element of the fundamental group at a base point away from the boundary, join that base point to the boundary by a path, go around the boundary, and follow the reverse path. Changing that joining path conjugates the element; reversing the boundary orientation inverts it.

A properly embedded topological surface is boundary-parallel if it cobounds a product region with a topological surface in the ambient boundary, with the remaining boundary of that product contained in the ambient boundary. An annulus parallel into one boundary component has zero net oriented boundary class on that component.

For a finite group generated by $a,b$, take the regular covering of a thrice-punctured sphere with monodromy $a,b,(ab{)}^{-1}$ and fill each lifted puncture by a disk. Locally the projection is $z\mapsto z^m$, where $m$ is the order of its monodromy. The result is a closed oriented topological surface with an orientation-preserving group action. The nontrivial stabiliser subgroups are the conjugates of $⟨a⟩$, $⟨b⟩$ and $⟨ab⟩$ at the three types of ramification points. Counting lifted cells gives the displayed Euler characteristic. A subgroup acts freely exactly when it meets every conjugate of these three cyclic groups trivially. Its quotient is then a regular covering of degree equal to the subgroup order, and quotient Euler characteristic is divided by that order.

Every integral dimension-two Poincare duality group is the fundamental group of a closed aspherical topological surface. Orientable examples are the torus and closed surfaces of genus at least two. Nonorientable aspherical closed surfaces supply the orientation-twisted examples.

For a closed orientable aspherical topological surface, every outer automorphism of its fundamental group is induced by a surface homeomorphism. The mapping class group allowing orientation reversal is therefore the full outer automorphism group. For the torus the statement is realized by linear maps in $G{L}_2(\mathbb{Z})$; for higher genus it is the Dehn-Nielsen-Baer theorem. A semidirect product by the infinite cyclic group is consequently the fundamental group of the corresponding mapping torus.

Let a knot lie in a fiber of a mapping torus of an oriented topological surface. Surgery with coefficient $-1$ relative to its surface framing replaces the monodromy by its composition with a right-handed Dehn twist. Coefficient $+1$ gives the inverse twist. The composition side depends on the choice of seam and time orientation; the existence of the new fiber bundle does not.

Double a compact orientable genus-zero topological surface with $g+1$ boundary circles. The resulting closed surface has genus $g$. The involution exchanging the halves fixes the seam circles and has local collar form $(s,t)\mapsto (s,-t)$. Compose it with a flow rotating each seam coordinate by a small nonzero amount, with speed supported in its collar. Equality with the initial point would force $t=0$, where the rotation is nonzero; off the collars the original reflection already has no fixed points. The new map is fixed-point-free and homotopic to the reflection through the flow. This gives a surface example in every genus where having fixed points is not a homotopy invariant.

Removing an embedded open disk from the torus leaves a topological surface with one boundary circle. In the square model, radial expansion away from the removed disk gives a deformation retraction onto the square boundary with opposite sides identified, a wedge of two circles. Its fundamental group is therefore the free group on two group generators.

A genus-$g$ handlebody is a three-ball with $g$ one-handles attached. Its boundary is a closed orientable topological surface of genus $g$.

A horizontal surface is a properly embedded topological surface transverse to every Seifert fiber. Its projection to the base orbifold is an orbifold covering. The covering degree is its intersection number with a regular Seifert fiber.

An incompressible surface is a properly embedded two-sided topological surface with no compressing disk, subject to the usual exclusion of inessential spherical components. A compressing disk has boundary an essential closed curve on the topological surface and interior disjoint from it.

Represent one-dimensional homology classes on a closed oriented topological surface by transverse oriented curves and sum their signed crossing points. This gives a bilinear form that is skew-symmetric. A symplectic handle basis has matrix $\left(\begin{array}{cc}0& I_g\\ -I_g& 0\end{array}\right)$, which is unimodular. In particular, a class detected with intersection $1$ or $-1$ by another integral class is a primitive homology class: the detecting homomorphism splits its rank-one subgroup.

An orientable three-manifold is irreducible if every embedded two-sphere bounds a three-ball. This makes innermost-disk simplifications of embedded topological surfaces possible without changing the ambient three-manifold.

The mapping class group of a compact connected oriented topological surface, for orientation-preserving maps fixing its boundary pointwise and isotopies relative to that boundary, is generated by Dehn twists about simple closed curves. Boundary-parallel twists are allowed. For a closed surface of positive genus a finite generating collection exists. Permuting boundary components requires additional generators if that larger group is used.

The Möbius band is the topological surface obtained by gluing the ends of a rectangle with a half-turn. Precisely, it is the quotient spaceThe twist identifies the two apparent long edges into one boundary circle. Following the core circle of a Möbius band reverses local handedness, so this surface is not orientable. An untwisted untwisted band has two boundary circles and is orientable: the distinction survives stretching and bending because orientability is a topological invariant.

To explore the construction with paper, mark the two long edges in different colours, join the short ends after a half-turn, and trace an edge. The trace passes from one marked edge to the other without ever leaving the boundary. Separately, trace the centre line and track a local transverse arrow: it comes back reversed after one circuit. The boundary closes after twice the travel around the centre, while the transverse arrow needs two circuits to return to its original direction.

This original mathematical model has central radius $R=2$ and half-width $a=0.55$:Its seam obeys $F(2\pi ,w)=F(0,-w)$. The dotted circle is the core circle of a Möbius band; the teal curve follows the single boundary through $0\le \theta \le 4\pi$. At the same point on the core, the arrows for $\theta =0$ and $\theta =2\pi$ are opposite. The graph compares a continuously followed unit normal with its starting value in the ambient space; the endpoint reversal, rather than any intermediate zero of the graph, establishes the obstruction. It is not a statement about parallel transport.

The Möbius band has the homotopy type of a circle: a deformation retraction shrinks each width coordinate to zero. Nevertheless its boundary represents twice a generator of its fundamental group. The boundary of a Möbius band winds twice around its core, so with compatible generator choices the boundary generator maps to $c^2$ in ${\pi }_1(M)\cong \mathbb{Z}$.

The historical account by Julyan H. E. Cartwright and Diego L. González places the mathematical discovery by August Möbius and Johann Listing in 1858, while investigating representations of twisted bands predating that work. A familiar-looking picture and a recognition of the underlying topological invariant are different kinds of evidence. ^[ref]

For a compact topological surface with cone-point orders ${\alpha }_1,\dots ,{\alpha }_k$, the orbifold Euler characteristic is ${\chi }_{\mathrm{orb}}=\chi (\text{underlying surface})-{\sum }_i(1-1/{\alpha }_i)$. An orbifold covering multiplies this quantity by its degree.

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]

A Riemann surface is a connected Hausdorff second-countable topological surface equipped with coordinate charts to open subsets of $\mathbb{C}$ whose transition maps are holomorphic. This is a complex manifold of complex dimension one. The atlas makes holomorphic functions, meromorphic functions and holomorphic differentials coordinate-independent notions.

The classification of compact surfaces states that every compact connected topological surface without boundary is homeomorphic to exactly one of the sphere, a connected sum of surfaces consisting of $g\ge 1$ tori, or a connected sum of $h\ge 1$ real projective planes. The torus family is orientable and the projective-plane family is nonorientable; their respective genera are unique. Including $g=0$ makes the sphere the genus-zero orientable case. If boundaries are allowed, the number of removed open discs is an additional invariant.