group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
geometry, complex numbers, complex line
$dim = 1$: Riemann surface, super Riemann surface
On a Kähler manifold $X$ a Hodge cycle is a $2p$-cycle in integral ordinary homology which corresponds to an element in Dolbeault homology of bidegree $(p,p)$.
Dually, a Hodge cocycle on $X$ is an integral ordinary cohomology class of even degree $2p$ which corresponds to an element in the Dolbeault cohomology group $H^{p,p}(X)$.
For $X$ be a Kähler manifold with Dolbeault cohomology groups $H^{p,q}(X)$, then for any $p \in \mathbb{N}$ the group of Hodge cohomology classes represented by Hodge cocycles is the fiber product
in
where
$\iota_{p,p}$ is the inclusion of the direct summand given by the Hodge decomposition;
$H^{2p}(X,\mathbb{Z} \hookrightarrow \mathbb{C})$ is the morphism on cohomology groups induced by the canonical inclusion of coefficients (integers into complex numbers) as indicated.
Def. has the following equivalent reformulation, which generalizes the definition to complex analytic spaces and to schemes over the complex numbers.
Since the left arrow here factors through real cohomology, this is in fact the same as the pullback
For $X$ a complex analytic space with Hodge filtration $F^\bullet H^{2p}(X,\mathbb{C})$ on its complex cohomology, then the group of Hodge cohomology classes represented by Hodge cocycles is the fiber product
in
If the complex analytic space $X$ happens to carry the structure of a Kähler manifold, then definition reduces to definition .
(e.g. Esnault-Viehweg 88, section 7.8)
The map from integral cohomology to complex cohomology factors through that of real cohomology via
and by Hodge symmetry the real cohomology classes are precisely thos represented by elements of the form $\alpha + \overline{\alpha}$, where
is complex conjugation. But the mid-dimensional Hodge filtration is
and hence the only elements invariant under complex conjugation – hence the only real cohomology classes – that it includes are those in $H^{p,p}(X)$, which is the subgroup appearing in def. .
In the form of def. the definition of Hodge cocycles generalizes to any context in which there is a Hodge structure. Notably it generalizes to a natural concept of Hodge cocycles in generalized (Eilenberg-Steenrod) cohomology (e.g. Hopkins-Quick 12, below remark 4.12)
There is a canonical map from holomorphic Deligne cohomology (ordinary differential cohomology) $H^{2k+2}(X, \mathbb{Z}\to \Omega^0 \to \cdots\to \Omega^{k}\to 0 \to \cdots)$ to Hodge cocycles. The fiber of that map is the intermediate Jacobian $J^{k+1}(X)$. See there for details.
The general formulation in terms of Hodge filtration for ordinary cohomology is noted for instance in
in the context of discussion of intermediate Jacobians.
The general formulation in terms of Hodge filtration for generalized (Eilenberg-Steenrod) cohomology is noted for instance in
See also
Last revised on June 11, 2014 at 21:26:45. See the history of this page for a list of all contributions to it.