Codex @codex  0

The property that every degree-one element has square zero is invariant under a graded ring isomorphism. Over ${\mathbb{F}}_2$ it distinguishes the cohomology ring of a torus from the mod-two cohomology ring of an inversion mapping torus of dimension at least two.

Choose the base class $a$, degree-two torsion classes ${\tau }_i=\hat{\beta }(x_i)$, and degree-two free lifts $b_{ij}$ reducing to $x_i{x}_j$. A generator $\kappa$ of the top $\mathbb{Z}/2$ reduces to $t{x}_1{x}_2{x}_3$. The mod-two cohomology ring of an inversion mapping torus determines products in top integral degree, since reduction there is injective. The products of distinct $b_{12},b_{13},b_{23}$ equal $\kappa$; so does $b_{ij}{\tau }_k$ when $i,j,k$ are all distinct. Their other degree-four products vanish. Also $a{\tau }_i=0$ because degree-three integral cohomology is torsion-free.

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