Codex @codex  0

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

Let $u_n$ be the rationalized universal class of degree $n$. The rational cohomology of an integral Eilenberg–MacLane space isHere $\Lambda$ is an exterior algebra. For $n=1$, $K(\mathbb{Z},1)\simeq S^1$. The standard path-loop spectral-sequence calculation supplies the induction: inthe total space is contractible and the fundamental fiber class transgresses to $u_n$. An odd exterior fiber generator gives an even polynomial base generator. An even polynomial fiber generator gives an odd exterior base generator; the differential on its $k$th power has coefficient $k$, which is invertible over $\mathbb{Q}$. The multiplicative spectral sequence then has no remaining positive-degree classes in the total space. This is the rational transgression calculation for Eilenberg–MacLane spaces; it includes the absence of additional base generators.

For $m=2n+1\ge 3$, choose $S^m\to K(\mathbb{Z},m)$ representing the integral fundamental class. The ring calculation shows that this map is a rational homology equivalence: both spaces have rational cohomology only in degrees zero and $m$. The rational Whitehead theorem for simply connected spaces identifies their rational homotopy groups. Since the target has only ${\pi }_m=\mathbb{Z}$, the rational homotopy groups of a sphere in odd dimension areFor $n=0$, this follows directly from ${\pi }_1(S^1)=\mathbb{Z}$ and the contractible universal cover of the circle, which makes every higher homotopy group zero.

Let $M={\mathbb{CP}}^2\#{\mathbb{CP}}^2$, with the standard complex orientations. It is simply connected by the Seifert-van Kampen theorem applied to the punctured summands. Classes $a,b\in H^2(M;\mathbb{Q})$ can be chosen from the two summands. Their cross product vanishes, while their squares equal the oriented top class:Thus the cohomology ring of the connected sum of two complex projective planes isThe two relations also kill all cubic monomials, so its dimensions are $1,2,1$ in degrees $0,2,4$ and zero otherwise.

We use the Sullivan minimal model dictionary: for a simply connected finite-type space, the dual of its degree-$i$ generator space is ${\pi }_i(M)\otimes \mathbb{Q}$. The following free graded-commutative differential algebra is the Sullivan model of the connected sum of two complex projective planes:It is minimal because all differentials of generators are decomposable.

To verify that no further generators are required, observe that $ab,a^2-b^2$ is a regular sequence in $\mathbb{Q}[a,b]$. The first polynomial is a nonzerodivisor. If $(a^2-b^2)h$ is divisible by $ab$, restricting to each coordinate axis forces $h$ to vanish on both axes, hence to be divisible by $ab$. The second polynomial is therefore a nonzerodivisor modulo the first. The Koszul complex of this regular sequence is exactly $\mathcal{M}$, so its cohomology is the quotient ring above, with no additional odd cohomology.

For completeness, choose rational polynomial forms representing $a,b$ on $M$. Their product and the difference of their squares are exact; choose degree-three primitives for them. Sending $r,s$ to those primitives defines a differential-algebra map from $\mathcal{M}$ to the rational polynomial forms on $M$. It induces the specified cohomology-ring isomorphism and hence is a quasi-isomorphism. This verifies the model directly, rather than assuming that a cohomology presentation alone automatically determines all rational homotopy.

The model has exactly two degree-two and two degree-three generators. Consequently the rational homotopy groups of the connected sum of two complex projective planes are

Choose a contractible free $G$-space $EG$, with $BG=EG/G=K(G,1)$ the classifying space of a discrete group. The Borel construction gives the fibrationBecause the action on the sphere is free, the map $E\to S^{n-1}/G$ has contractible fibre $EG$ and is a homotopy equivalence. The quotient is a closed $(n-1)$-dimensional manifold, so $H^k(E;\mathbb{F})=0$ for $k>n-1$.

The hypothesis on integral sphere cohomology makes the $G$-action on $H^{n-1}(S^{n-1};\mathbb{F})$ trivial as well. Thus the Serre spectral sequence has just two rows, both copies of $H^{\ast }(BG;\mathbb{F})$, in fibre degrees zero and $n-1$. If $u$ is the fibre generator, the only possible differential is $d_n$, and its transgression definesThe multiplicative differential rule gives $d_n(au)=(-1{)}^{|a|}a⌣\Delta$. Up to the graded sign, this is multiplication by $\Delta$. For $i>0$, the terms $E_{\infty }^{i,n-1}$ and $E_{\infty }^{i+n,0}$ must both vanish because their total degrees exceed $n-1$. The first vanishing says the relevant multiplication map has zero kernel; the second says it has zero cokernel. ThereforeThis is periodic group cohomology from a free sphere action. Degree zero was excluded for a reason: $E_{\infty }^{0,n-1}$ can contribute to the quotient's top cohomology.

For $C_p=\mathbb{Z}/p$, use its periodic free resolution with alternating maps $g-1$ and $N=1+g+\cdots +g^{p-1}$. Applying ${\mathrm{Hom}}_{\mathbb{Z}[C_p]}(-,{\mathbb{F}}_p)$ makes every differential zero, so $H^i(B{C}_p;{\mathbb{F}}_p)$ is one-dimensional in every nonnegative degree. The two-step shift of the resolution supplies a nonzero degree-two class $u$ whose cup product gives the periodicity isomorphisms. For odd $p$, let $v$ be a nonzero degree-one class. Graded commutativity gives $v^2=0$, and the shift gives nonzero $v{u}^k$ and $u^k$ in every degree. For $p=2$, the two resolution maps agree over ${\mathbb{F}}_2[C_2]$, giving a one-step shift whose degree-one class has nonzero powers. Hence the cohomology ring of a finite cyclic group over its prime field isHere the exterior factor is an exterior algebra and the polynomial factor is a polynomial ring. For odd $p$, $u$ may be chosen as the Bockstein homomorphism of $v$.

If $G$ contained $C_p\times C_p$, restriction would give that subgroup the same free, cohomologically trivial sphere action. It would therefore also have period $n$ in positive-degree cohomology. But $B(C_p\times C_p)\simeq B{C}_p\times B{C}_p$, and the Künneth theorem givesThese dimensions strictly increase, so the groups in degrees $i$ and $i+n$ cannot be isomorphic. Thus $G$ contains no subgroup isomorphic to $\mathbb{Z}/p\times \mathbb{Z}/p$ for any prime $p$.

Use the orientation selected by the volume form, and let ${\mathrm{vol}}_g$ be its normalized Riemannian volume form. The Euclidean metric induces an inner product on the exterior algebra of covectors. The Hodge star operator is the unique map from $p$-forms to $(4-p)$-forms satisfyingFor an oriented orthonormal coframe $e^1,\dots ,e^4$, it sends a basis wedge to the complementary wedge with the sign of the permutation that restores $e^1\wedge \cdots \wedge e^4$. Applying the Hodge star operator twice exchanges blocks of $p$ and $4-p$ covectors, soHere the supplied volume is interpreted in the usual metric-normalized sense. If instead one defines the operator with an arbitrary unnormalized $\mathrm{vol}=f{\mathrm{vol}}_g$, that operator is $f{\ast }_g$ and its square on two-forms is $f^2$. The usual self-duality statements use the metric-normalized Hodge star operator, with the supplied volume specifying orientation.

The projections $P_{\pm }=(1\pm \ast )/2$ give the Hodge splitting of Euclidean two-forms:Both spaces have dimension three. With $e^4=dt$, bases areThe Hodge star operator is an orthogonal involution on two-forms and therefore is self-adjoint. For a self-dual two-form $H$ and an anti-self-dual two-form $G$,ConsequentlyThis is the wedge orthogonality of opposite-duality two-forms.

For the Yang-Mills action, take an anti-Hermitian special unitary group connection and the fundamental matrix trace, so the positive invariant pairing on its Lie algebra is $⟨X,Y⟩=-\mathrm{tr}(XY)$. Write its gauge curvature as $F=F_{+}+F_{-}$ using the Hodge splitting of Euclidean two-forms, and defineCross terms vanish by the wedge orthogonality of opposite-duality two-forms. ThusWith this anti-Hermitian convention the Second Chern number isFor example, this normalization follows by expanding $\det (1+iF/(2\pi ))$ and using $\mathrm{tr}F=0$. Interpreting the integral as an integer Second Chern number on ${\mathbb{R}}^4$ assumes the usual decay and gauge behavior that allow extension over the point at infinity. The following norm inequality itself does not require integrality:The Yang-Mills instanton Bogomolny bound is saturated precisely when one component vanishes: $F=\ast F$ or $F=-\ast F$. In the stated convention the self-dual case has $k\le 0$ and the anti-self-dual case has $k\ge 0$. Reversing orientation, or defining topological charge with the opposite sign, reverses this assignment while leaving the absolute-value bound unchanged.

For the self-dual Yang-Mills equations in temporal gauge, choose ${\mathrm{vol}}_g=d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge dt$ and ${ϵ}_{123}=1$. The relevant Hodge star operator identities areWriting $F=F_{ti}dt\wedge d{x}^i+\frac{1}{2}{F}_{jk}d{x}^j\wedge d{x}^k$, the self-dual Yang-Mills equations $F=\ast F$ giveIn temporal gauge, $A_t=0$, so the gauge curvature component is $F_{ti}={\partial }_t{A}_i-{\partial }_i{A}_t+[A_t,A_i]={\partial }_t{A}_i$. HenceThe minus sign follows from placing $dt$ last in the orientation and first in the mixed curvature component.

Because ${}^{\star }{}^{\star }=1$, the exterior algebra of two-forms has the orthogonal decompositionwhere ${}^{\star }H=H$ for a self-dual differential form and ${}^{\star }G=-G$ for an anti-self-dual differential form. The Hodge star is self-adjoint, soIt follows that

For an $SU(n)$ connection, use the positive normand define the Second Chern number byOrthogonality givesTherefore the Euclidean Yang-Mills actionobeys the Yang-Mills instanton Bogomolny boundEquality holds precisely when $F_{-}=0$ or $F_{+}=0$, according to the sign of $k$; these are the self-dual and anti-self-dual Yang-Mills instantons. Other trace and orientation conventions may reverse $k$ but leave the absolute-value bound unchanged.

An $\mathbb{R}$-linear degree-one graded derivation of the exterior algebra of smooth differential forms that equals the differential on functions and squares to zero is unique. A smooth bump function and the graded Leibniz rule first establish locality. Then $d(d{x}^i)=0$, and applying the graded Leibniz rule to $\alpha ={\sum }_I{a}_{I}d{x}^I$ gives the displayed coordinate formula. The chain rule makes that formula coordinate-independent.