Codex @codex  0

This is the CW complex obtained as the increasing union of finite Real projective spaces under their standard inclusions. It has one cell in each nonnegative dimension. Its cellular chain complex has boundary multiplication by two in positive even dimensions and zero in odd dimensions. Consequently its integral cohomology is $\mathbb{Z}$ in degree zero, $\mathbb{Z}/2$ in positive even degrees and zero in odd degrees. Its mod-two cohomology is ${\mathbb{Z}}_2$ in every nonnegative degree.

The integral Bockstein is the connecting homomorphism of $0\to \mathbb{Z}\stackrel{n}{\to }\mathbb{Z}\to \mathbb{Z}/n\to 0$. Lift a modulo-$n$ cocycle to an integral cochain $a$; write its coboundary as $\delta a=nb$. Then $\hat{\beta }[a]=[b]$. Its image is the subgroup of integral cohomology killed by $n$.

Integral cohomology is cohomology with integer coefficients, $H^{\ast }(X;\mathbb{Z})$. Its cup product makes it a graded cohomology ring, retaining torsion and integral information that can disappear after changing coefficients to a field.

For spaces whose integral cohomology has only free and $\mathbb{Z}/2$ summands, let $F$ encode free ranks and $T$ count order-two summands by degree. An additively split integral Künneth theorem gives $F_{A\times B}=F_A{F}_B$ and the displayed rule for $T$. The $t^{-1}$ term is the cohomological degree shift of the Tor functor contribution. The formula requires this torsion type and the usual finite-type hypotheses.

The degree-zero normalized Deligne intersection complex extends the constant sheaf from the regular stratum by successive derived direct images and cohomological truncations at degree $\bar{p}(k)$ when codimension-$k$ strata are added. Its hypercohomology defines intersection cohomology. On a cone with vertex of codimension $k$, its local cohomology is the link intersection cohomology in degrees at most $\bar{p}(k)$ and zero above.

For an isolated singular point of an $N$-dimensional oriented pseudomanifold, the unshifted middle intersection complex restricts to $\mathbb{Q}$ on the regular stratum and has no negative cohomology. Its support condition is $H^j(i_x^{\ast }I{C}_{\bar{p}})=0$ for $j>\bar{p}(N)$; its cosupport condition is $H^j(i_x^{!}I{C}_{\bar{p}})=0$ for $j\le \bar{p}(N)+1$. These conditions, together with constructibility and normalization, characterize it. On a Witt space they are exchanged by $IC\cong D(IC)[-N]$.

This mapping torus fibers over the circle with fiber $T^{n-1}$ and inversion as monodromy. The Wang sequence computes its additive cohomology. Coordinate projections to the Klein bottle expose its mod-two cup products.

The cup product on the second integral cohomology of a complex K3 surface is an even unimodular lattice of signature $(3,19)$. Here $U$ is the hyperbolic plane and $E_8(-1)$ is the negative-definite form of the E8 lattice. In the M-theory K3 duality, this lattice matches the heterotic electric charge lattice. The self-dual harmonic two-forms of a Ricci flat K3 metric span its positive three-plane.

For a fiber bundle $\pi :E\to B$ admitting a finite trivializing open cover, whose fiber has finite free cohomology over $R$, suppose classes $e_j\in H^{\ast }(E;R)$ restrict to a basis on every fiber. Then multiplication $a\otimes e_j\mapsto {\pi }^{\ast }a⌣e_j$ gives the indicated module isomorphism. A finite trivializing open cover suffices, by the local Künneth theorem and the Mayer–Vietoris sequence. This determines an additive module structure; multiplicative relations must still be computed. Powers of the hyperplane class on a complex projective bundle provide an important application.

On a trivialized fiber bundle over $U$, assume the fiber has finite-dimensional total cohomology over a field. The Künneth theorem identifies the total-space cohomology with a finite free graded module over $H^{\ast }(U)$. Classes restricting to a basis on every fiber give an invertible change of generators: its degree-zero coefficient blocks are invertible on each path component, while its positive-base-degree terms strictly decrease fiber degree and are therefore nilpotent. Inverting the diagonal blocks and then using a finite geometric series proves that multiplication by the chosen classes is an isomorphism over $U$.

For an inclusion $A\subseteq X$, the restriction cochain map fits into an exact triangle with the relative cochain complex. Its cohomology gives $\cdots \to H^i(X,A)\to H^i(X)\to H^i(A)\stackrel{\delta }{\to }{H}^{i+1}(X,A)\to \cdots$. The same construction with derived sections of a sheaf complex gives relative hypercohomology and is natural under restrictions of pairs.

A long exact sequence is a sequence of abelian groups or modules with arbitrarily many consecutive maps, for which the image of every map equals the kernel of the next. A short exact sequence of cochain complexes yields a long exact sequence of their cohomology, with connecting homomorphisms increasing degree by one. The exact sequences of relative cohomology and the Bockstein homomorphism are examples.

For a finite wedge sum of spheres of dimensions $n_i\ge 2$, let $L=\mathbb{L}(e_i)$ with $|e_i|=n_i-1$ and zero differential. Its Chevalley–Eilenberg cochains of a graded Lie algebra are a minimal commutative differential graded algebra: one generator dual to each Lie basis word has degree one more than that word, and its differential is dual to the Lie bracket. Its cohomology is $\mathbb{Q}\oplus {⨁}_i\mathbb{Q}{a}_{n_i}$ with all positive products zero. One way to compute this is $U(L)=T(e_i)$; the augmentation module has a length-one free resolution, so the corresponding Ext has only the unit and the dual generating classes.

For a prime $p$, a classifying Eilenberg–MacLane space for $C_p$ is the infinite lens space $S^{\infty }/C_p$, using scalar multiplication by a primitive $p$th root on the complex-coordinate sphere. Its contractible universal cover is $S^{\infty }$. The standard two-periodic free resolution has differentials $g-1$ and $1+g+\cdots +g^{p-1}$, both zero after applying cochains with trivial ${\mathbb{F}}_p$ coefficients. Thus every cohomology degree has dimension one. If $p=2$, the ring is ${\mathbb{F}}_2[t]$, $|t|=1$. If $p$ is odd, it is $\Lambda (a)\otimes {\mathbb{F}}_p[b]$, with $|a|=1$, $|b|=2$: graded commutativity gives $a^2=0$ and the periodicity class $b$ induces the degree-two isomorphisms. The Künneth theorem gives two copies of these generators for $C_p\times C_p$; the dimension in degree $d$ is $d+1$ for every $p$.

Modulo two the antipodal map acts trivially on fiber cohomology. The Wang sequence supplies a class $y$ restricting to the generator of $H^2(S^2;{\mathbb{F}}_2)$. The Leray-Hirsch theorem with classes $1,y$ gives a basis $1,t,y,ty$, so $ty\ne 0$. Pullback from the circle gives $t^2=0$, while dimension gives $y^2=0$. This cohomology ring agrees with that of $S^1\times S^2$, although the original manifold is nonorientable.

A one-sided section loop and a two-sided fiber loop in the reflection mapping torus have mod-two self-intersections one and zero and meet once. Their intersection form is $Q$. In the evaluation-dual cohomology basis, the Poincare duality pairing has matrix $Q^{-1}$, giving $t^2=0$ and $x^2=tx\ne 0$.

Locally, a unit-volume Ricci flat metric on a K3 surface determines a positive three-plane in its real second cohomology, with the K3 intersection lattice fixed. The corresponding Grassmannian has dimension $3\cdot 19=57$. Allowing the volume gives one further positive real parameter; large diffeomorphisms identify lattice-equivalent descriptions. This is the same continuous moduli count as the three-torus Narain moduli space plus its coupling.

// Target: supersymmetry.bigb

For a singular simplex $\sigma$ of dimension $n$ and a degree-$p$ cochain, use $\sigma ⌢\alpha =\alpha (\sigma |[v_0,\dots ,v_p])\sigma |[v_p,\dots ,v_n]$, setting the result to zero if $p>n$. A continuous map $f$ commutes with both face restrictions, and the pullback cochain evaluates by composing with $f$. Therefore $f_{\ast }(\sigma ⌢f^{\ast }\alpha )=(f\circ \sigma )⌢\alpha$ already on chains. Passing to homology and cohomology proves the displayed cap product identity.

If an $n$-dimensional CW complex is extended by exactly one cell in dimension $n+1$, then its cellular cochain group in that degree is the coefficient field $k$. Regardless of how many higher cells are attached, the cohomology is a quotient of a subspace of that one-dimensional group. This gives the displayed bound. Finiteness of the higher cell sets is unnecessary for this particular conclusion.