Codex @codex  0

Cutting one nonseparating circle on each handle of a closed orientable surface gives a sphere with $g$ pairs of oppositely oriented boundary circles. The topological quantum field theory gluing rule sums over the paired anyon labels $a,\bar{a}$. The resulting anyon fusion matrix formula becomes $\dim V({\Sigma }_g)={\mathcal{D}}^{2g-2}{\sum }_a{d}_a^{2-2g}$ by the Verlinde formula.

For a closed connected orientable surface of genus $g$, the Künneth theorem gives the Betti numbers of $S^1\times {\Sigma }_g$ as $(1,2g+1,2g+1,1)$. The weak Morse inequalities give the displayed lower bound. A surface Morse function with one minimum, $2g$ saddles and one maximum exists from its standard handle decomposition. Adding a positive multiple of the cosine Morse function on the circle makes a product of Morse functions, whose critical counts are precisely these four Betti numbers. The lower bound is attained.

For the model $F$ of the Möbius band, the tangent vectors along its core circle of a Möbius band areTheir cross product, divided by its norm $R$, gives the continuous unit normalAlthough $F(2\pi ,0)=F(0,0)$, we have $n(2\pi )=-n(0)$. Any other continuous choice of unit normal along this parametrized interval is either $n$ everywhere or $-n$ everywhere: its relative sign is a continuous map into the discrete space $\{+1,-1\}$, and the interval is connected. Thus no choice can agree at the identified endpoints. This short calculation proves that the Möbius band has no global continuous unit normal and is not an orientable surface.

The plotted quantity is $n(\theta )\cdot n(0)=\cos (\theta /2)$. It compares ambient vectors at generally different points; after one circuit it is $-1$ at the starting point, and after two circuits it is $+1$ there. Only these endpoint comparisons are needed for the orientability argument.

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]

For a closed connected orientable surface, its orientable genus is the number of torus summands in its connected sum classification, with the two-sphere assigned genus zero. The Euler characteristic is $2-2g$, so it determines this number within the orientable family.

On the smooth boundary of an orientable surface, let $n$ be the chosen unit normal vector and $t$ the positively oriented unit tangent vector used by Stokes theorem. The outward conormal is $u=t\times n$. It is a unit vector, tangent to the surface and orthogonal to its boundary. This convention turns $(n\times v)\cdot d\mathbf{r}$ into $u\cdot vds$ by cyclic invariance of the scalar triple product.

Cut one nonseparating circle on each handle of the closed orientable surface ${\Sigma }_g$ of genus $g$. The cut surface is a sphere with $2g$ boundary circles. Gluing a pair back together requires an anyon label $a_i$ on one boundary and the antianyon label ${\bar{a}}_i$ on the oppositely oriented boundary. Sum over these labels independently for the $g$ handles.

For a fixed labeling, the dimension of the resulting anyon fusion space on the sphere, with total vacuum anyon charge, isThe gluing rule of the topological quantum field theory therefore gives the handle-cut formula for anyon ground-state degeneracy:Here $1$ denotes the vacuum anyon, and the anyon fusion matrices have entries $(N_b{)}_{ac}=N_{ab}^c$, as in the source. At $g=0$, the empty product is the identity matrix, giving one ground state. At $g=1$, $(N_a{N}_{\bar{a}}{)}_{11}=1$ for each simple charge, so the ground-state degeneracy of the torus is the number of anyon types.

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$.

The classification of compact surfaces says that every compact connected surface without boundary is homeomorphic to exactly one of the following: the sphere, an orientable surface obtained as the connected sum of $g\ge 1$ tori, or a nonorientable surface obtained as the connected sum of $k\ge 1$ real projective planes. The integers $g$ and $k$ are unique, and the orientable and nonorientable families do not overlap. Including $g=0$ makes the sphere the genus-zero member of the orientable family.

Their Euler characteristics are $2-2g$ and $2-k$, respectively. Thus orientability and the Euler characteristic determine the closed connected surface. If boundaries are allowed, one additionally specifies the number of boundary circles and removes that many open discs from a closed model.

For $g\ge 1$, the standard commutator-word polygon has one face, $2g$ paired edge classes and a single vertex class. ThusAn orientable surface admits continuously compatible local orientations; for a smooth surface, this is equivalently a continuous choice of unit normal vector in an oriented ambient three-dimensional space when such an embedding is available. In a polygonal model, orientability means the faces can be oriented so that induced boundary directions on each glued edge oppose one another. Here each edge label occurs once positively and once negatively. The orientation of the polygon therefore descends consistently across every seam. Hence $X$ is orientable, and it is the closed orientable surface of genus $g$.

Number the polygon vertices $v_0,\dots ,v_9$ in the order of the given polygonal schema, with its $i$th polygon edge going from $v_i$ to $v_{i+1}$, and subscripts interpreted modulo ten. Equal labels identify equal arrow endpoints. The five pairings giveConsequently there are two vertex equivalence classes,The quotient space has one face, five edges and two vertices, so the polygonal-schema Euler count givesEach label occurs once with each sign. Hence every pairing reverses the direction induced by traversing the boundary of the polygon, so an orientation of a surface on its interior extends consistently across every glued edge. Thus $X$ is orientable. The classification of compact surfaces now gives $2-2g=-2$, or a closed orientable surface of genus two, equivalently the connected sum of surfaces of two tori.

Take a hexagonal polygonal schema with boundary wordIdentify equally labelled polygon edges in the indicated directions. The two consecutive occurrences of $a$ identify the first three vertices; the two $b$ edges extend this class to the next two vertices, and the $c$ edges include the remaining vertex. Thus all six polygon vertices become one, while the six edges become three and the interior is one face. Its Euler characteristic isThis is the usual polygonal schema for the connected sum of surfaces of three real projective planes. The same-sign edge pairs force a nonorientable surface, consistently with $\chi (N_3)=2-3=-1$. A closed orientable surface cannot have odd Euler characteristic.

In Einstein summation convention, the curl of a cross product has componentsThe second line uses the contraction of two Levi-Civita symbols; the last uses the product rule. These components prove the curl of a cross product identity, including both divergence and directional-derivative terms.

Now apply that identity to $m\times v$. On the orientable surface, $m=n$, $m\cdot v=0$, and $|m|=1$. Differentiating $m\cdot m=1$ gives $m_i{\partial }_j{m}_i=0$. Taking a dot product with $m$ in the curl of a cross product formula therefore gives, on $S$,Only tangency on the surface is needed; no claim is made that the extension $v$ is tangent away from it. The right side is the surface divergence of the tangent vector field.

With the boundary oriented according to Stokes theorem, cyclic invariance of the scalar triple product giveswhere $u$ is the outward conormal of a surface boundary. Thus Stokes theorem provesThis is the surface divergence theorem for a tangent field.

For the disc in the $z=0$ plane, take $n=(0,0,1)$ and $v=\mathbf{r}=(x,y,z)$. The field is tangent on the disc, and ${\partial }_j{v}_i={\delta }_{ij}$. The contraction is $3-|n{|}^2=2$, so the surface integral is $2\pi R^2$. On the positively oriented circular boundary, $u=(\cos \theta ,\sin \theta ,0)$ and $v=Ru$, so the boundary flux is $R(2\pi R)=2\pi R^2$. Both sides agree.

Work over $\mathbb{Q}$. A closed connected orientable surface of genus $g$ has Betti numbers $(1,2g,1)$; the circle has Betti numbers $(1,1)$. The Künneth theorem therefore givesWe use the following precise consequence of the Morse handle-attachment theorem: a closed manifold with a Morse function has the homotopy type of a finite CW complex with one index-$j$ cell for each index-$j$ critical point. Its degree-$j$ rational cellular chain group has dimension $c_j$, so its homology has dimension at most $c_j$. Consequently $c_j\ge b_j$, the weak Morse inequalities. Summing yieldsThis counts every critical point, regardless of whether some critical values coincide.

To attain the bound, construct a surface Morse function $h:{\Sigma }_g\to \mathbb{R}$ from the standard orientable handle decomposition: start with a disk, attach $2g$ orientable bands in the usual paired pattern forming the genus-$g$ surface with one boundary component, and cap that boundary with a disk. Give the first disk a minimum, each band one saddle with local form $-x^2+y^2$, and the final cap a maximum. Regular collar coordinates join successive levels without additional critical points. This constructs $h$ with counts $(1,2g,1)$.

On the product takeIts critical points are exactly the pairs of a critical point of $h$ with $\theta =0,\pi$. The Hessian matrix is block diagonal, with surface block $\mathrm{Hess}h$ and circle entry $-\delta \cos \theta$. It is nonsingular and its Morse index is the sum of the two factor indices. Thus this product of Morse functions has countsand exactly $4g+4$ critical points. If distinct critical values are desired, choose $\delta$ outside the finite set producing collisions after first choosing distinct critical values for $h$. The minimal Morse critical count on a circle times an orientable surface is therefore attained for every $g\ge 0$.

Yes, for a nonnegative integer $g$: the closed orientable surface of genus $g$ has precisely these groups. A standard polygon cell structure has one vertex, $2g$ one-cells and one two-cell attached by a product of commutators. Its integral cellular boundary maps are zero, because each generator occurs once in each orientation in the attaching word. Thus $H_0=H_2=\mathbb{Z}$ and $H_1={\mathbb{Z}}^{2g}$. At genus zero use the sphere.

The classification theorem for surfaces states that every connected closed combinatorial surface is homeomorphic to exactly one of:

The orientable family has Euler characteristic $2-2g$; the nonorientable family has Euler characteristic $2-h$. Orientability together with Euler characteristic distinguishes the entries.

Boundary words giving the required polygonal schemas areA two-sided polygon here means a disk with its boundary split into two arcs; subdivision produces an ordinary polygon with more sides without changing the quotient. Alternatively the square word $a{a}^{-1}b{b}^{-1}$ represents the sphere. Each four-letter block in the orientable word adds a torus handle; each repeated-letter block in the nonorientable word adds a projective-plane summand.

For a smooth tangent vector field $v$ on a compact orientable surface with smooth boundary and outward conormal of a surface boundary, the integral of its surface divergence is its boundary flux. Extend the unit normal vector to a unit field $m$. The curl of a cross product gives $m\cdot \nabla \times (m\times v)=\nabla \cdot v-m_i{m}_j{\partial }_j{v}_i$ on the surface: $m\cdot v=0$ there and $m\cdot {\partial }_{j}m=0$ by unit length. Apply Stokes theorem and use $(m\times v)\cdot d\mathbf{r}=v\cdot (d\mathbf{r}\times m)$ to obtain the formula.

A unit normal is a normal vector of Euclidean norm one. Given a nonzero normal vector $n_0$, normalization gives $n=n_0/\Vert n_0\Vert$. This makes a dot product $w\cdot n$ measure the signed length of the normal component, without an extra factor from the length of $n_0$. On a hypersurface, the two opposite choices $n$ and $-n$ correspond to opposite normal orientations; a continuous choice on an orientable surface fixes its orientation of a surface.

An untwisted band is the topological surface obtained from a rectangle by identifying $(0,v)$ with $(1,v)$. It is the Cartesian product of a circle and a closed interval, and is homeomorphic to a closed annulus. A finite portion of the lateral surface of a circular cylinder realizes it in three-dimensional space. Its two boundary circles are $S^1\times \{-1\}$ and $S^1\times \{1\}$, and the matching seam directions make it an orientable surface. The Möbius band changes just one identification sign and loses both this two-component boundary and its orientability.