Codex @codex  0

On a closed connected Riemannian manifold with nonnegative Ricci curvature, harmonic one-forms are parallel under nonnegative Ricci curvature. Evaluation at one point injects their space into the cotangent space. The Hodge decomposition theorem identifies its dimension with the first Betti number, giving $b_1(M)\le \dim M$. For example, a genus-two closed orientable surface times a circle has dimension three and first Betti number five, so no Riemannian metric on that product has nonnegative Ricci curvature.

Let $X$ be a finite CW complex, with $c_i$ topological cells of dimension $i$ and none above $d$. Its Euler characteristic is the displayed alternating sum. For a finite simplicial complex, $c_i$ counts its $i$-dimensional simplexes, each counted once rather than once for each containing simplex. In dimension two this becomes $V-E+F$. A topological cell's interior is counted; identified parts of its boundary are counted in their own lower-dimensional topological cells.^[ref]

The cellular homology theorem identifies cellular homology with singular homology, so the count equals the alternating rational Betti numbers. These are the free ranks of integral homology; torsion subgroups do not contribute to them. Over any field, the alternating homology dimensions still give the same Euler characteristic, although individual Betti numbers can depend on the field.

For a map $f:M\to N$ of connected closed oriented four-manifolds, naturality of the cup product givesWhen $\mathrm{deg}f\ne 0$, nondegeneracy makes $f^{\ast }:H^2(N;\mathbb{Q})\to H^2(M;\mathbb{Q})$ injective. Consequently the target intersection form, multiplied by the mapping degree, must embed into the source form. For equal second Betti numbers, a matrix $P$ for pullback satisfies $P^{\mathsf{T}}{Q}_{M}P=(\mathrm{deg}f)Q_N$; taking determinants often rules out nonzero degrees. In particular, a two-dimensional indefinite source form cannot realize a nonzero multiple of a two-dimensional definite target form.

The Euler characteristic compresses a finite CW complex's homology into one integer: count its topological cells with alternating signs, or count its Betti numbers with the same signs. A filled triangle has Euler characteristic one; its cycle graph boundary has Euler characteristic zero. The missing face changes the answer even though the vertices and edges are identical.

For a finite CW complex $X$, including the geometric realization of a finite simplicial complex,Here $b_i={\dim }_{\mathbb{Q}}{H}_i(X;\mathbb{Q})$ is the rational Betti number. More generally this ordinary homology definition makes sense whenever every rational homology group is finite-dimensional and only finitely many are nonzero. An arbitrary infinite CW complex need not satisfy these assumptions; its formal infinite alternating cell count is not a definition of this invariant.

The usefulness is that a finite description can reveal something about a space without computing every homology group. By the cell-count formula for Euler characteristic, count pieces rather than solve all the boundary operators. If two spaces give different answers, topological invariance of Euler characteristic rules out a homeomorphism, and even a homotopy equivalence. Equal answers are less decisive: the Euler characteristic of an annulus and the Euler characteristic of a torus are both zero, while their homology groups differ. This is a compact diagnostic, with a clearly defined limit on what it can tell us.

Identify opposite sides of a square by translations to obtain a torus. All four corners become one vertex; the horizontal sides give one topological cell $a$ and the vertical sides one topological cell $b$. The open square supplies one two-dimensional topological cell. Thus $(c_0,c_1,c_2)=(1,2,1)$ and $\chi =0$. The cellular boundary of each one-dimensional topological cell is zero because its endpoints agree. Traversing the face boundary gives the group commutator $ab{a}^{-1}{b}^{-1}$, whose signed counts of both $a$ and $b$ vanish. Hence its cellular boundary is also zero, and $(b_0,b_1,b_2)=(1,2,1)$.^[ref]

The boundary of a tetrahedron is a two-sphere, with four vertices, six edges and four triangular topological cells: $\chi =4-6+4=2$. Its rational Betti numbers are $(1,0,1)$ by homology of a sphere. The torus's two independent one-dimensional homology classes cancel its degree-zero and degree-two contributions. The torus and annulus both have Euler characteristic zero, yet different homology groups; one integer cannot recover all of homology.

For a closed oriented manifold of dimension $4r+2$, Poincare duality pairs all rational Betti numbers except the middle one, making their total contribution to the Euler characteristic even. The middle cohomology degree is odd, so its nondegenerate Poincare duality pairing is an alternating bilinear form and has even dimension. Hence the Euler characteristic is even. Nonorientable manifolds can have odd Euler characteristic, as Real projective space of even dimension demonstrates.

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.

For a continuous map of nonzero mapping degree between closed connected oriented surfaces, rational cohomology injectivity of a nonzero-degree map gives an injection on $H^1$. Since the first Betti number of an oriented surface of genus $g$ is $2g$, the source genus is at least the target genus.

For a compact three-manifold $W$, let $L=\ker (H_1(\partial W;{\mathbb{F}}_2)\to H_1(W;{\mathbb{F}}_2))$. The boundary intersection pairing satisfies $L^{\perp }=L$: the long exact sequence in relative homology identifies $L$ with boundaries of relative surfaces, and the boundary-interior adjoint identity identifies its orthogonal complement with the same kernel. Hence $2\dim L=\dim H_1(\partial W;{\mathbb{F}}_2)$. This also implies that a closed surface with odd first mod-two Betti number, such as ${\mathbb{RP}}^2$, cannot be the entire boundary of a compact three-manifold.

This closed flat Riemannian manifold is the mapping torus of $-I$ on a two-dimensional flat torus. Equivalently, take planar lattice translations and the screw $(v,z)\mapsto (-v,z+1/2)$ in Euclidean three-space. Its square is a unit axial translation, its holonomy is $C_2$, and its first Betti number is one.

The closed orientable flat Riemannian manifold with holonomy $C_2\times C_2$ can be presented by Euclidean screws $\alpha (x,y,z)=(x+1/2,-y,-z)$ and $\beta (x,y,z)=(-x,y+1/2,-z+1/2)$. Their squares and the square of their product generate the unit translation lattice. Each nonidentity holonomy coset has a half-integer displacement along its fixed axis, so acts freely. The holonomy has no common fixed vector, giving first Betti number zero and a finite isometry group for every flat metric.

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.

The Kähler Laplacian identity makes the space of complex harmonic differential forms of degree $r$ the direct sum of its $(p,q)$ parts with $p+q=r$. Conjugation identifies the $(p,q)$ and $(q,p)$ harmonic spaces. If $r$ is odd these are distinct and pair off, so the Betti number in degree $r$ is even. This is a topological obstruction to existence of a Kähler metric, exhibited by a Hopf surface with first Betti number one.

The graph of a pants decomposition has one vertex per pair of pants and one edge per glued cuff. It is a connected trivalent multigraph, possibly with loops. A closed surface of genus $g$ gives $2g-2$ vertices and $3g-3$ edges, so its first Betti number is $g$. The graph records a decomposition rather than the homeomorphism class alone, and omits cuff lengths and twists.

Work over $\mathbb{Q}$ and put $b_i=\dim H^i(M;\mathbb{Q})$. For a closed orientable six-dimensional manifold, Poincare duality gives $b_i=b_{6-i}$, soThe remaining Betti number is even. Indeed, the cup product pairingis nondegenerate by duality and skew-symmetric by graded commutativity, since $(-1{)}^{3\cdot 3}=-1$. If its dimension were odd, a matrix $A$ for it would satisfy $\det A=\det (-A^T)=-\det A$, forcing $\det A=0$ in characteristic zero, a contradiction. Thus $b_3$ is even andThis is the Euler characteristic parity in dimensions congruent to two modulo four. If the manifold has several components, apply the argument to each component and add.

The orientability assumption is essential. The Real projective space ${\mathbb{RP}}^6$ has one cell in each dimension from zero to six, givingIt is nonorientable: its double cover $S^6$ has the orientation-reversing antipodal deck transformation, of degree $(-1{)}^7=-1$.

For the construction, ${\mathbb{CP}}^3$ is a closed orientable real six-dimensional manifold with cells in dimensions $0,2,4,6$, hence Euler characteristic four. The product $S^3\times S^3$ is also closed and orientable, with Euler characteristic $\chi (S^3{)}^2=0$. The six-sphere has Euler characteristic two.

In dimension six, removing an open ball subtracts one from the Euler characteristic. To see this, write $M$ as the punctured manifold joined to a closed ball along $S^5$, whose Euler characteristic is zero, and apply the cellular inclusion-exclusion formula. Gluing two punctured manifolds along $S^5$ therefore givesA connected sum of $r$ copies of ${\mathbb{CP}}^3$ and $s$ copies of $S^3\times S^3$ haswith the empty sum interpreted as $S^6$. Given any even integer $n$, takeBoth are nonnegative integers and the displayed Euler characteristic equals $n$. Hence every even integer is the Euler characteristic of a closed oriented six-manifold, including zero and negative integers; the construction is connected.

Let $\Gamma ={\pi }_1(M)$. A compact connected smooth manifold has finite CW complex homotopy type, hence a finitely generated fundamental group. Its universal cover with the lifted Riemannian metric is complete by the lifted-geodesic argument in part 2(b) and has nonnegative Ricci curvature. The deck transformations act freely and properly discontinuously by isometries. Part (a) givesThe degree-one Hurewicz theorem identifies $H_1(M;\mathbb{Z})$ with the abelianization of $\Gamma$. This finitely generated abelian group has free rank $b=b_1(M)$, so there is a surjection $\Gamma \to {\mathbb{Z}}^b$. Choose lifts ${\gamma }_1,\dots ,{\gamma }_b$ of a basis and let $A\ge 1$ bound their word lengths. For every $(z_1,\dots ,z_b)$ with $\sum |z_i|\le m$, the product ${\gamma }_1^{z_1}\cdots {\gamma }_b^{z_b}$ has word length at most $Am$ and maps to that vector. Distinct vectors therefore give distinct group elements. The integer cube $|z_i|\le \lfloor m/b\rfloor$ shows, for $b>0$, thatfor some $c>0$ and all sufficiently large $m$. Comparing with the degree-$n$ upper bound forces $b\le n$; the case $b=0$ is immediate. ThusThis is the first Betti-number bound from polynomial fundamental-group growth.

The standard connectedness convention for a Riemannian manifold is needed here. If disconnected manifolds are allowed, the bound applies to each connected component; a disjoint union of two flat $n$-tori has first Betti number $2n$ and contradicts a global bound by $n$.

True. The Künneth theorem gives the Poincaré polynomialso $b_2=6$ and $b_4=2$. The proposed equality also gives $b_0=b_8=1$. Even if compactness was not stated separately, these two numbers force the putative eight-manifold to be connected and compact: the top ordinary real cohomology of a connected noncompact manifold is zero.

The auxiliary Hard Lefschetz theorem on de Rham cohomology says that, on a compact Kähler manifold of complex dimension $n$, $L^{n-k}:H^k\to H^{2n-k}$ is an isomorphism, where $L\alpha =[\omega ]⌣\alpha$. Here $n=4$, so $L^2:H^2\to H^6$ is injective. If $L\alpha =0$, then $L^2\alpha =0$ and therefore $\alpha =0$. Thus $L:H^2\to H^4$ is injective, forcing $b_2\le b_4$. The inequality $6\le 2$ is impossible. Hence these Betti numbers cannot occur for a Kähler eight-manifold.

A simply connected manifold is connected and orientable: its orientation character is a group homomorphism ${\pi }_1(X)\to \{\pm 1\}$, and this group is trivial. Choose an orientation. The Hurewicz theorem in degree one gives $H_1(X;\mathbb{Z})=0$. The universal coefficient theorem for cohomology then gives $H^1(X;\mathbb{Z})=0$ andbecause the possible $\mathrm{Ext}(H_1(X),\mathbb{Z})$ term is zero.

The homology groups are finitely generated for a closed manifold. The displayed dual group is therefore free abelian. Poincare duality identifies $H_2(X;\mathbb{Z})$ with $H^2(X;\mathbb{Z})$, so $H_2$ itself has no torsion. Since the second Betti number is one, both groups are isomorphic to $\mathbb{Z}$. This torsion argument is essential: rank one by itself would not rule out finite summands.

Again by Poincare duality, $H^3(X;\mathbb{Z})\cong H_1(X;\mathbb{Z})=0$, and $H^4(X;\mathbb{Z})\cong H_0(X;\mathbb{Z})=\mathbb{Z}$. Thus the only nonzero cohomology groups are $\mathbb{Z}$ in degrees $0,2,4$.

Let $u$ generate $H^2$. The integral intersection formis unimodular. Indeed, cap product with $[X]$ is the Poincare duality isomorphism to $H_2$, and the preceding universal-coefficient identification makes evaluation the full integral dual. Composing these isomorphisms identifies the pairing with an isomorphism $H^2\to \mathrm{Hom}(H^2,\mathbb{Z})$. In rank one its matrix must therefore be $[1]$ or $[-1]$. Consequently $⟨u^2,[X]⟩=\pm 1$, so $u^2$ generates $H^4$.

All products in degrees above four vanish. Hence the assignment of the degree-two generator giveswhich is the cohomology ring of complex projective space for ${\mathbb{CP}}^2$. If the intersection form is negative, this ring isomorphism reverses the chosen top orientation generator; preserving that additional orientation is not part of the requested ring isomorphism.

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

The possible ranks and the corresponding homeomorphism types areThere is no example for $n=2$ or $n\ge 4$. The uniqueness here is topological, not uniqueness of a Riemannian metric.

To see the restrictions, use the prime decomposition of a closed orientable three-manifold. Its fundamental group is the free product of the prime three-manifold groups. A free product of two nontrivial groups is nonabelian, so at most one summand can have nontrivial fundamental group. The remaining simply connected summands are three-spheres by the Poincaré conjecture. If the nontrivial summand is not irreducible, it is $S^2\times S^1$, giving rank one. If it is irreducible and has infinite fundamental group, the sphere theorem for three-manifolds makes it aspherical. Its fundamental group is then a dimension-three Poincare duality group. But ${\mathbb{Z}}^n$ is a duality group of dimension $n$, as seen from the torus classifying space or its Koszul resolution, so $n=3$.

For rank three, the flat case of the geometrization theorem says that a closed irreducible orientable three-manifold with fundamental group ${\mathbb{Z}}^3$ admits a flat metric. Write it as ${\mathbb{R}}^3/\Gamma$. By the Bieberbach theorem, $\Gamma$ contains a full-rank translation lattice $\Lambda$. If $g=(R,v)\in \Gamma$ commutes with translation by each $\lambda \in \Lambda$, then $R\lambda =\lambda$ for every lattice vector, forcing $R=I$. Since $\Gamma$ itself is abelian, it consists entirely of translations. Its quotient is therefore the three-torus. Rank zero follows directly from the Poincaré conjecture, and rank one was already determined by the prime decomposition of a closed orientable three-manifold. Historically, before the Poincare theorem, the uniqueness conclusions were phrased allowing connected sums with homotopy three-spheres; the modern theorem removes that ambiguity.

The six flat types below mean the six closed orientable flat three-manifold types. There are infinitely many individual flat metrics and there are additional noncompact flat Riemannian manifolds. In each closed case the universal cover is Euclidean space and the deck transformation group is a torsion-free crystallographic group. The holonomy groups of closed orientable flat three-manifolds are $1,C_2,C_3,C_4,C_6,C_2\times C_2$.

The first is a flat torus ${\mathbb{R}}^3/\Lambda$, with trivial holonomy. For each cyclic case choose a planar lattice $L$ admitting the relevant rotation $R_m$, and generate the deck transformation group by translations in $L$ and the screwIts $m$th power is unit translation along the axis. A nontrivial holonomy element has nonzero axial displacement modulo integers, so has no fixed point. All transformations preserve orientation. A compact prism fundamental domain gives compactness. Equivalently, the manifold is a torus mapping torus with finite-order monodromy. In planar lattice bases one may takeThe half-turn uses any planar lattice, the quarter-turn a square lattice, and the third- and sixth-turns a hexagonal lattice. These give respectively the half-turn flat three-manifold, third-turn flat three-manifold, quarter-turn flat three-manifold, and sixth-turn flat three-manifold. Their holonomies have orders $2,3,4,6$, and their first Betti numbers are all one, since the only fixed direction of holonomy is the screw axis.

The sixth type is the Hantzsche-Wendt manifold. A concrete group is generated byTheir linear parts are commuting half-turns about perpendicular axes. Moreover ${\alpha }^2$, ${\beta }^2$ and $(\alpha \beta {)}^2$ are translations by $(1,0,0)$, $(0,1,0)$ and $(0,0,-1)$. Their translation subgroup is the unit cubic lattice and their linear quotient is $C_2\times C_2$. In each nontranslation coset, the displacement along the fixed axis is a half-integer, so the action is free. The quotient is compact and orientable. No vector is fixed by both linear parts, so its first Betti number is zero. Bieberbach classification gives precisely these six affine types; the explicit screw descriptions distinguish them without identifying arbitrary finite quotients with holonomy.