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.

For two projective triangles in a projective plane over a field, perspectivity from a point implies perspectivity from a line. The usual nondegenerate form assumes that the corresponding-side intersections are well defined and distinct. Its dual is the converse, by point-line duality. The result holds in the real projective plane; it is not an axiom valid in every abstract incidence plane.

One linear algebra proof explains the collinearity. Choose a representative $o$ of the center. Rescale the paired representatives to $p^{\prime }=p+\alpha o$, $q^{\prime }=q+\beta o$, and $r^{\prime }=r+\gamma o$, with nonzero coefficients in a nondegenerate configuration whose vertices differ from the center. The first corresponding-side intersection is represented by $x=\beta p-\alpha q=\beta p^{\prime }-\alpha q^{\prime }$. Similarly choose $y=\gamma q-\beta r$ and $z=\alpha r-\gamma p$. Then $\gamma x+\alpha y+\beta z=0$, so the three representatives are linearly dependent. Their projective points are consequently collinear.

Dualize a noncollinear finite point set in the real projective plane to projective lines. Their intersection vertices and consecutive line segments form an embedded graph. A vertex incident to $k$ lines has graph degree $2k$ and corresponds to a primal line containing $k$ points. Ordinary lines correspond to degree-four vertices. The faces are polygons with at least three sides.

For a concrete example of cellular homology of real projective space, the real projective plane ${\mathbb{RP}}^2$ has one topological cell in each of dimensions zero, one and two. Its one-dimensional topological cell is a loop, and the face attaches around that loop twice. Choose orientations so that the cellular chain complex over the integers iswith nonzero chain groups in degrees two, one and zero. The twice-around attachment is why the first boundary operator shown is multiplication by two.^[ref]

Over the rational numbers, multiplication by two is invertible, so $H_2$ and $H_1$ vanish, while $H_0\cong \mathbb{Q}$. Over the finite field ${\mathbb{F}}_2$, two equals zero. Both boundary operators then vanish, giving one-dimensional homology groups in all three degrees. Their respective Betti numbers areNevertheless,The direct cell count is also $1-1+1=1$.

This calculation makes the strength and loss of information visible. The Euler characteristic survives a change of the field used for coefficients, while individual homology groups can change. Over the integers, the same chain complex has $H_1\cong \mathbb{Z}/2\mathbb{Z}$ and $H_2=0$: a torsion subgroup that rational Betti numbers do not record. The rank cancellation in the Euler-Poincare formula explains why the alternating total still agrees with the cell count.

Let $G=⟨x,y\mid y^2=1⟩$. For each $n\ge 2$, a free basis of a subgroup of rank $n$ isA covering-space proof uses $r=n-1$ spheres double-covering the real projective plane, with antipodal points $a_j,b_j$ over the wedge point. Add lifted $x$ edges in a cyclic order through the $a_j$, and an $x$ loop at each $b_j$. This is a connected $2r$-sheeted cover of a circle wedged with a projective plane. After collapsing one connecting arc in each simply connected sphere, its fundamental group is that of a graph with $r$ vertices and $2r$ edges, hence free of rank $r+1$.

A spanning tree along the first $r-1$ cyclic edges gives the displayed words: the closing cycle is $x^r$, and the loop reached through $a_j,b_j$ is $x^{j}yxy{x}^{-j}$. Injectivity of the induced fundamental-group map of a covering map proves they form a free basis in $G$.

Glue the boundary of a Möbius band to the projective line in the real projective plane by a mapping degree $n$. The band is the mapping cylinder of the degree-two boundary covering of its core. Collapsing the connecting tree in the resulting double mapping cylinder gives a CW complex with one vertex, edges $a,b$, and two attaching words $a^2$ and $a^{-n}{b}^2$. Its cellular chain complex has degree-two boundary matrix $\left(\begin{array}{cc}2& -n\\ 0& 2\end{array}\right)$. Its determinant is four, so $H_2=0$. The Smith normal form gives $H_1\cong \mathbb{Z}/4$ for odd $n$ and $(\mathbb{Z}/2{)}^2$ for even $n$; $H_0=\mathbb{Z}$ and higher homology vanishes. The space cannot be homotopy equivalent to a closed manifold: mod-two homology forces a potential manifold to be a surface, and its Euler characteristic is one, whereas the only such closed connected surface is the projective plane, with different integral $H_1$.

Each real projective plane has cells $e_0,e_1,e_2$ with $d{e}_2=2e_1$ and $d{e}_1=0$. Their product cellular chain complex has ranks $1,2,3,2,1$. Its degree-two cycle $e_1\times e_1$ has order two in homology. The degree-three cycle $e_2\times e_1+e_1\times e_2$ also has order two, because its double is $d(e_2\times e_2)$. Consequently $H_0=\mathbb{Z}$, $H_1=(\mathbb{Z}/2{)}^2$, $H_2=H_3=\mathbb{Z}/2$ and all other groups vanish. The degree-three torsion is also the Tor functor term in the Künneth theorem.

The cohomology ring of the product of two real projective planes is ${\mathbb{F}}_2[x,y]/(x^3,y^3)$, with $|x|=|y|=1$. Pairing against $x^2$, $xy$ and $y^2$ identifies the Poincare dual of the diagonal as $x^2+xy+y^2$. For a self-map $f$ with $f^{\ast }x=\epsilon x$, the graph pullback evaluates on the mod-two fundamental class as $1+\epsilon +{\epsilon }^2=1$. Thus no graph of a map on the whole projective plane can avoid the diagonal. The argument uses a relative Thom class and does not assume transverse intersections.

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

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

Here the surface is the real projective plane, with Euler characteristic one. The bound gives $V\ge 6$. The following ten triangles on vertices $1,\dots ,6$ attain it:Take these as the maximal simplices of an abstract simplicial complex, identifying edges with the same vertex labels. Every one of the 15 pairs of vertices occurs as an edge in exactly two triangles. The links of the six vertices are single five-cycles; listed cyclically they areThus every point has a disk neighborhood, and the realization is a connected closed surface. Its Euler characteristic is $6-15+10=1$, so the classification of compact surfaces identifies it with the real projective plane. This is an explicit triangulation, proving $\boxed{V_{\min }=6}$.

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.

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.

Use the standard CW complex structure on the real projective plane, with one cell $e_r$ for each $r=0,1,2$. The attaching map of the two-cell winds twice around the one-cell, so the cellular chain complex has $d{e}_2=2e_1$ and $d{e}_1=0$.

The product cells $e_{ij}=e_i\times e_j$, $0\le i,j\le 2$, give nine cells, in dimensions $0,1,2,3,4$ with counts $1,2,3,2,1$. The cellular chains of a product of finite CW complexes have boundary $d(e_i\times e_j)=d{e}_i\times e_j+(-1{)}^i{e}_i\times d{e}_j$. In the ordered basesthe nonzero matrices areIn particular $d_2{d}_3=d_3{d}_4=0$. The degree-one homology is ${\mathbb{Z}}^2/2{\mathbb{Z}}^2$. The degree-two cellular cycles are $\mathbb{Z}{e}_{11}$, and the cellular boundaries there are $2\mathbb{Z}{e}_{11}$. The degree-three cycles are $\mathbb{Z}(e_{21}+e_{12})$, whose double is the boundary of $e_{22}$. Finally $d_4$ is injective. This computes the integral homology of two real projective planes:The degree-three torsion is the Tor functor contribution in the Künneth theorem; it would be missed by retaining only tensor products of the two factors' homology groups.

For the triangle quotient, the universal coefficient theorem for homology gives $H_j(X;{\mathbb{F}}_2)=0$ for every $j>0$, because its only positive integral homology is $\mathbb{Z}/3$. A connected positive-dimensional closed manifold has a nonzero top mod-two fundamental class, independently of orientability. Thus this quotient cannot be homotopy equivalent to such a manifold. A connected zero-dimensional closed manifold is a point, which its nonzero $H_1(X;\mathbb{Z})$ also excludes.

For the attached-band space, the same universal coefficient theorem for homology gives nonzero $H_2(X;{\mathbb{F}}_2)$ and zero homology above degree two. A connected closed manifold homotopy equivalent to it would consequently have dimension two. Its Euler characteristic would be one. The classification theorem for surfaces says that a closed connected surface of Euler characteristic one is the real projective plane. But its integral $H_1$ is $\mathbb{Z}/2$, differing from both possibilities computed in part 2. Thus this space is never homotopy equivalent to a closed manifold.

The antipodal mapping torus is already a closed manifold: gluing the two boundary components of $S^n\times [0,1]$ by a diffeomorphism gives a smooth $(n+1)$-manifold without boundary. For $n\ge 1$, it is orientable exactly when $(-1{)}^{n+1}=1$, namely when $n$ is odd. In that case $-I$ on ${\mathbb{R}}^{n+1}$ is isotopic to the identity through rotations, so the mapping torus is diffeomorphic to $S^n\times S^1$. The $n=0$ case is a circle as above. Only the third family can be homotopy equivalent to a closed manifold.

The quotient map $q:S^2\to X$ is continuous and surjective by the quotient topology, so $X$ is compact as a continuous image of a compact space. To prove the Hausdorff property explicitly, let $[u]\ne [v]$ and set $d=\min (\Vert u-v\Vert ,\Vert u+v\Vert )>0$. Choose $r<d/3$. The saturated open setsare disjoint by the triangle inequality. Each contains both antipodes of every one of its points, so $q^{-1}(qU)=U$ and similarly for $V$. Consequently $qU,qV$ are disjoint open quotient neighborhoods separating the classes. Thus the quotient is compact and Hausdorff. It is the real projective plane; equivalently the metric on the antipodal sphere quotient is $d_X([u],[v])=\min (\Vert u-v\Vert ,\Vert u+v\Vert )$ and induces this topology.

An ordinary line contains exactly two points of the configuration. We give a cubic covering from few ordinary lines by using point-line duality, a defect count and cubic interpolation. Cubics may be reducible: a line with equation $L=0$ is contained in the cubic $L^3=0$, and a conic can be multiplied by a linear factor.

Pass to the real projective plane, which preserves collinearities and ordinary-line counts. If all points are collinear, one cubic already suffices. Otherwise dualize each point $p=[a:b:c]$ to the line $p^{\ast }:aX+bY+cZ=0$. The dual lines form an embedded graph $\Gamma$: its vertices are their intersections and its edges are the consecutive segments on each projective line. A vertex where $k$ dual lines meet has graph degree $2k$ and corresponds to a primal line containing $k$ points.

Let $t_k$ count vertices incident to exactly $k$ dual lines, and let $f_j$ count faces with $j$ sides. In particular $t_2<5n$. If $v,e,f$ are the graph's numbers of vertices, edges and faces, thenThe Euler characteristic of the projective plane is one, so $v-e+f=1$. Substituting the counts gives the Euler defect identity for a projective line arrangementThus both sums measuring departure from a degree-six triangular grid are $O(n)$.

Call an edge a good dual-arrangement edge if both endpoints have degree six and both adjacent faces are triangles; call it bad otherwise. Count all edge incidences at the defective vertices and faces. Since $k\le 4(k-3)$ for $k\ge 4$ and $j\le 4(j-3)$ for $j\ge 4$,This controls actual bad edges, not merely the number of defective vertices.

Strengthen the local condition: an edge is a safe dual-arrangement edge if every edge on every path of length at most two from either endpoint is good. The bounded-radius propagation of edge defects says that only $O(n)$ edges fail this test. Indeed, trace from an unsafe edge to the first bad edge. Every intervening edge is good, so the intermediate vertices have degree six. Reversing such paths offers only a bounded number of choices, at most a fixed constant times the bad-edge count. Every edge belongs to exactly one dual line, so the pigeonhole principle gives a dual line $p^{\ast }$ containing only $O(1)$ unsafe edges.

The algebraic input is cubic propagation along a triangular strip: a consecutive strip of safe edges on $p^{\ast }$ has all of its crossing dual lines represented by primal points on a single cubic. Here is the mechanism, rather than an appeal to the desired covering theorem. The triangles on either side extend two cells outward into three indexed line families. After dualizing back, their points $a_i,b_j,c_k$ satisfy collinearities whenever $i+j+k=0$. Adjacent three-by-three blocks are the eight-point cubic completion for two triples of lines configuration. A nonzero homogeneous cubic can be fitted to nine starting points because its coefficient space has dimension ten; each successive block has eight points already on that cubic and forces its remaining point onto it. Continuing along the strip keeps every crossing point on the same cubic. One concrete seed is $a_{-1},a_0,a_1,a_2,b_{-3},b_{-2},b_{-1},c_1,c_2$. The first overlapping block forces $c_3$, the next forces $b_{-4}$, and the next forces $c_4$; another block then forces $a_{-2}$. Alternating these completion steps extends the $b$ and $c$ families for the full length of the strip.

For clarity, the completion fact has a short algebraic proof. Let $F=L_1{L}_2{L}_3$ and $G=M_1{M}_2{M}_3$, with the two line triples meeting in nine distinct points, and let a cubic $H$ vanish at all but $L_3\cap M_3$. On $L_1$, both $H$ and $G$ have the same three zeros, so $H-\lambda G$ is divisible by $L_1$ for a suitable scalar $\lambda$. Its quadratic quotient vanishes at the three intersections on $L_2$, hence is divisible by $L_2$. The remaining linear quotient vanishes at the two known intersections on $L_3$, hence is a multiple of $L_3$. Thuswhich also vanishes at the ninth point. This is the line-triple case of the Cayley-Bacharach theorem. In the strip construction, degree-six vertices and the two-cell neighbourhood ensure that the local nine points are distinct; the initial nine-point interpolation and repeated completion provide the required cubic.

It remains to account for every point, including defects and degeneracies. If some dual line has at most two distinct intersection vertices, all other dual lines pass through one of them. Dualizing back covers $P$ by at most two primal lines, hence by cubics, and we are done. Otherwise every dual line has at least three vertices, and the local strip construction applies.

On the chosen $p^{\ast }$, cut the cyclic edge sequence at its $b=O(1)$ unsafe edges, adding one arbitrary cut if necessary. There are at most $b+1$ safe runs, each covered by a cubic via the strip argument. Intersection vertices incident to cut or unsafe edges number at most $2b+2$. At each such exceptional vertex $w$, all crossing dual lines represent primal points on the single primal line $w^{\ast }$, which is itself contained in a cubic. Include one further cubic through $p$ if it has not already been covered. Every other primal point is accounted for by where its dual line intersects $p^{\ast }$. ThereforeThe absolute bound on $b$ comes from $t_2<5n$ and does not depend on the number of points. This completes the requested proof sketch.

The exterior derivative is an $\mathbb{R}$-linear map $d:{\Omega }^p(M)\to {\Omega }^{p+1}(M)$, agrees with the differential $df$ of a smooth function, satisfies the graded Leibniz rule $d(\alpha \wedge \beta )=d\alpha \wedge \beta +(-1{)}^p\alpha \wedge d\beta$ for $\alpha \in {\Omega }^p(M)$, and has $d^2=0$. These properties determine it locally and hence globally. To see locality directly, if a differential form $\alpha$ vanishes near $x$, choose a smooth bump function $\chi$ equal to one near $x$ and supported where $\alpha =0$. The identity $d(\chi \alpha )=d\chi \wedge \alpha +\chi d\alpha$ gives $(d\alpha {)}_x=0$. Thus global forms can be computed using local extensions in a manifold chart.

In coordinates write $\alpha ={\sum }_I{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_p}$. Since $d(d{x}^i)=d^2{x}^i=0$, the graded Leibniz rule forcesThis is the uniqueness of the exterior derivative from its axioms. The coordinate formula also establishes existence: it has the stated properties, and the chain rule shows that coordinate changes give the same operator.

The de Rham cohomology is the real quotient vector spaceThus a cohomology class records a closed differential form modulo an exact differential form. In degree zero there are no exact forms; closed functions are locally constant. The Poincaré lemma says that every closed form of positive degree on a star-shaped open subset of ${\mathbb{R}}^n$ is exact, and hence that positive-degree closed forms are locally exact on a smooth manifold.

For the first de Rham cohomology of the two-sphere, let $U=S^2\setminus \{N\}$ and $V=S^2\setminus \{S\}$. Stereographic projection identifies each with ${\mathbb{R}}^2$, so a closed one-form $\alpha$ has primitives $f_U,f_V$. On the connected overlap $U\cap V$, the derivative of $f_U-f_V$ is zero, so this difference is a constant. Subtracting that constant from $f_U$ makes the primitives agree. They glue to a global smooth primitive. Therefore $H_{\mathrm{dR}}^1(S^2)=0$.

Let $q:S^2\to {\mathbb{RP}}^2$ be the double covering map and $a$ the antipodal map. The pullback of a differential form identifies forms downstairs with $a$-invariant forms upstairs. Averaging $(\eta +a^{\ast }\eta )/2$ commutes with $d$. If an invariant form is exact upstairs, averaging its primitive proves it exact downstairs. Conversely an invariant cohomology class has an invariant representative by the same averaging. This proves the de Rham cohomology of a finite quotient identification $H_{\mathrm{dR}}^p({\mathbb{RP}}^2)\cong H_{\mathrm{dR}}^p(S^2{)}^{a^{\ast }}$. In degree zero the sphere is connected and $a^{\ast }$ fixes constants; degree one is zero; in degree two the granted action is multiplication by $-1$, whose invariant real subspace is zero. Forms of degree greater than two vanish. HenceThis is real de Rham cohomology; it does not detect the integral two-torsion of the real projective plane.