Codex @codex  0

For a free smooth action of a finite group $G$ on a smooth manifold $M$, the quotient projection inducesInvariant differential forms descend uniquely through local inverse branches of the covering map. Averaging by $|G{|}^{-1}{\sum }_{g\in G}{g}^{\ast }$ commutes with the exterior derivative, produces invariant representatives of invariant classes, and produces an invariant primitive for every invariant exact form. Hence taking invariant forms and taking invariant cohomology give the same result over the real numbers.

For $d\ge 1$ and $n>1$, no factor-permutation-invariant map $f:(S^d{)}^n\to S^d$ restricts to the identity on the diagonal. The Künneth theorem makes the degree-$d$ cohomology a direct sum of $n$ copies of $\mathbb{Z}$. Symmetry forces $f^{\ast }\alpha =a{\sum }_i{u}_i$ for one integer $a$. Pulling back to the diagonal multiplies this coefficient by $n$, so the identity restriction would give $na=1$. The contradiction uses integral coefficients and applies in both even and odd sphere dimensions.

A graded algebra equipped with a degree-one differential satisfying $d(ab)=d(a)b+(-1{)}^{|a|}ad(b)$ and $d^2=0$. Its cohomology inherits a graded algebra structure. In rational homotopy, a Sullivan minimal model is a free graded-commutative differential graded algebra with decomposable generator differentials.

The Borel version of equivariant cohomology is the ordinary cohomology of the Borel construction. It retains information about both the space and its group action. For a point it is the cohomology of the classifying space; for a free action with the usual bundle hypotheses it is the cohomology of the orbit space.

The excess measures the minimum degree on which an admissible Steenrod monomial can be nonzero. Strict excess below $n$ picks out polynomial generators in the mod-two cohomology of $K(\mathbb{Z}/2,n)$; equality can correspond to a square, rather than a new generator.

The Ext functors are the right derived functors of the Hom functor. They can be computed by applying ${\mathrm{Hom}}_R(-,N)$ to a projective resolution of $M$ and taking cohomology.

The First Chern class turns the tensor product of vector bundles of complex line bundles into addition in integral cohomology. This follows by computing the universal complex line bundle on the product of two Complex projective spaces and restricting to each factor. The proof retains torsion elements, which differential forms alone cannot detect.

A space is formal over $\mathbb{Q}$ if its rational cochain commutative differential graded algebra is joined to $(H^{\ast }(X;\mathbb{Q}),0)$ by quasi-isomorphisms. Equivalently in the usual simply connected Sullivan-model setting, its minimal model has a quasi-isomorphism to its cohomology algebra with zero differential. This says its rational homotopy type can be recovered from the cohomology algebra; zero cup products alone do not imply formality of a topological space without an additional argument.

A generalized cohomology theory assigns graded groups contravariantly to suitable topological pairs, with homotopy invariance, excision and a natural long exact sequence for each pair. It omits the dimension axiom of ordinary cohomology, so its coefficient groups at a point can occur in degrees other than zero. A multiplicative theory also has compatible external and relative cup products.

On a graded algebra, a left derivation of degree $r$ satisfies the displayed rule for homogeneous $a$. A right derivation of degree $r$ satisfies $R(ab)=aR(b)+(-1{)}^{r|b|}R(a)b$. For odd $r$, these reduce to the familiar parity sign rules. The left Gerstenhaber bracket makes $[u,-]$ a left derivation of degree $|u|-1$ on Hochschild cohomology; this rule holds for the induced cohomology operations, not necessarily for their cochain representatives.

For a proper holomorphic map and a coherent sheaf flat over the base, local constancy of the fibre-cohomology dimension makes its higher direct image locally free and gives the displayed base-change identification. Applied to relative holomorphic forms in a smooth proper Kähler family, this constructs the holomorphic cohomology bundles entering its variation of Hodge structure.

For $\mathbb{Z}G$-modules $M_1,M_2$,because the Hom functor into a finite direct sum splits degree by degree and taking cohomology preserves that splitting.

Let $E$ be an oriented real vector bundle of positive even rank $r$, with zero Euler class, and suppose the integral cohomology of $B$ is torsion-free. The Gysin sequence gives $0\to H^j(B)\to H^j(S(E))\to H^{j-r+1}(B)\to 0$. Choose an odd-degree class $a\in H^{r-1}(S(E))$ with ${\pi }_{!}a=1$. The projection formula for sphere bundle integration identifies the cohomology additively with ${\pi }^{\ast }{H}^{\ast }(B)\oplus {\pi }^{\ast }{H}^{\ast }(B)a$. It is torsion-free, so graded commutativity of the cup product gives $a^2=0$ from $2a^2=0$. These facts establish the displayed ring isomorphism, not just a decomposition of groups.

Homological algebra studies chain complexes, homology, cohomology, and the derived constructions that measure failure of exactness.

Homotopic continuous maps induce the same map on cohomology. In particular, a homotopy equivalence induces an isomorphism of cohomology rings.

For $\varphi :S^{2q-1}\to S^q$, $q>1$, its mapping cone has integral cohomology generators $a$ in degree $q$ and $b$ in degree $2q$. The integer defined by $a⌣a=H(\varphi )b$, with fixed cell orientations, is the Hopf invariant. It measures how an attaching map changes multiplication without changing the additive groups. The complex Hopf fibration has invariant one because its mapping cone is ${\mathbb{CP}}^2$; a constant attaching map has invariant zero.

For an endomorphism of a finite-dimensional bounded chain complex over a field, the alternating chain trace equals the alternating trace on homology. Split each chain space into boundaries, representatives for homology, and a complement mapping isomorphically to the preceding boundaries. The chain-map relation makes the traces on the first and third summands cancel in successive degrees, leaving the homology traces. Over a field the induced cohomology maps are dual and have the same traces. This identity turns the absence of diagonal simplex contributions into a vanishing Lefschetz number.

Hypercohomology applies the derived global-section functor to a complex of sheaves. One may resolve the complex by an injective double complex, take global sections, and take the cohomology of its total complex. For a complex concentrated in degree zero it is ordinary sheaf cohomology. The relative de Rham complex uses this construction to compute fibre cohomology and its Hodge filtration.