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
A Hodge structure (or pure Hodge structure, for emphasis) is a (bi-)grading structure on cohomology groups – called a Hodge decomposition – of the kind that is exhibited by the de Rham cohomology/complex-ordinary cohomology of compact Kähler manifolds, according to the Hodge theorem. A Hodge structure is said to be of weight $d$ if it behaves like the cohomology of a Kähler manifold of dimension $d$.
If instead of considering a single cohomology group one considers the cohomology groups of a parameterized collection of spaces – hence the cohomology sheaves/stacks – then one speaks of variation of Hodge structure (of a given weight).
By a central theorem of Hodge theory (recalled as theorem below) the traditional (and original) filtration on the complex cohomology of a Kähler manifold induced by the harmonic differential forms generalizes to a filtration of the complex-valued ordinary cohomology of any complex analytic space which is simply given by the canonical degree-filtration of the holomorphic de Rham complex.
This means that ordinary differential cohomology in the guise of Deligne cohomology is nothing but the homotopy pullback of a stage of the Hodge filtration along the “ Chern character ” map from integral to complex cohomology. (A point of view highlighted for instance in Peters-Steenbrink 08, section 7.2). Viewed this way Hodge structures are filtrations of stages of differential form cycle refinements of Chern characters that appear in the general definition/characterization of differential cohomology, as discussed at differential cohomology hexagon starting around the section de Rham coefficients
This modern point of view is also crucial for instance in the characterization of an intermediate Jacobian (see there) as the subgroup of Deligne cohomology that is in the kernel of the map to Hodge-filtering stage of ordinary cohomology. See at intermediate Jacobian – characterization as Hodge-trivial Deligne cohomology.
A mixed Hodge structure is a filtration on cohomology groups – called a Hodge filtration – such that the associated graded object has pure Hodge structure of weight $k$ in each degree $k$. The archetypical example exhibiting this is the cohomology of complex varieties that have singularities (Deligne 71 Deligne 74).
Historically, Hodge structures originate in the special structure induced on the de Rham cohomology groups of a compact Kähler manifold by the existence of harmonic differential forms. Below we first discuss this canonical Hodge structure
But it turns out that this Hodge structure only depends on the natural degree-filtration on the holomorphic de Rham complex and hence more generally there is canonical Hodge structure
Abstracting from here one defines Hodges structures
Let $X$ be a compact Kähler manifold and write $H^{p,q}(X)$ for its space of harmonic differential forms, equivalently, via the Hodge isomorphism, its Dolbeault cohomology in bidegree $(p,q)$.
Notice that by the de Rham theorem there are canonical maps
to ordinary cohomology of $X$ with complex coefficients.
The Hodge filtration on the cohomology of $X$ is the filtered complex structure given by the direct sum
The full Hodge filtration of degree-2 cohomology is
For all $p$ the mid-dimensional Hodge filtration stage in even total degree is
For $X$ a complex analytic space, write
for its holomorphic de Rham complex.
Notice the relation to complex cohomology given by
The holomorphic de Rham complex is naturally filtered by degree with the $p$th filtering stage being
Notice that here $\Omega^p$ is still regarded as sitting in degree $-p$, one just replaces by 0 in the holomorphic de Rham complex the groups of differential forms of degree less than $p$.
The Hodge filtration on $H^\bullet(X,\mathbb{C})$ is defined to be the filtration with $p$th stage the image of the hyper-abelian sheaf cohomology with coefficients in the $p$th filtering stage of the holomorphic de Rham complex inside that with coefficients the full de Rham complex:
(e.g. Voisin 02, def. 8.2, Peters-Steenbrink 08, def. 2.21).
When the compact complex manifold $X$ happens to have the structure of a Kähler manifold then the Frölicher spectral sequence degenerates at the $E_1$ page which implies that def. coincides with the traditional definition via harmonic differential forms, def. :
(e.g. Voisin 02, remark 8.29, Voisin, 1.1.2 Peters-Steenbrink 08, prop 2.22).
The equivalence in theorem is exhibited by the following morphism.
Write
for the holomorphically truncated de Rham complex, as indicated, thought of as the total complex of the Dolbeault double complex
Since this is in each row the Dolbeault resolution of the given sheaf of holomorphic differential forms, this total complex is indeed quasi-isomorphic to the (truncated) holomorphic de Rham complex.
The total complex is in degree $-k$ given by $\underset{k-q \geq p}{\oplus} \Omega^{k-q, q}$ and hence globally defined closed $(k-q \geq p,q)$-forms naturally inject into
Therefore given a representative $\alpha \in \Omega^{p,q}_{cl}(X)$ of $[\alpha] \in H^{p,q}(X)$ it is canonically sent along
This map exhibits the equivalence in theorem (e.g. Voisin, section 1.1.2).
Dually,
This plays a role in the discussion of intermediate Jacobians, where for $dim_{\mathbb{C}}(X)= k+1$ we have
Here a real differential $(2k+1)$-form
injects via its pieces in
For $H_{\mathbb{Z}}$ an abelian group, a Hodge structure of weight $k \in \mathbb{Z}$ on $H_{\mathbb{Z}}$ is a direct sum decomposition of its complexification
into complex vector spaces $H^{p,q}$ with $p +q = k$ of the form
such that $H^{q,p}$ is the complex conjugate of $H^{p,q}$:
This is an equality of the underlying sets of the complex vector spaces.
With this the above def. has the following verbatim generalization
Given a Hodge structure $H_{\mathbb{Z}}, \{H^{p,q}\}$ of weight $k$, def. , then the associated Hodge filtration on $H_{\mathbb{C}}$ is the filtered complex structure given by the direct sum
Textbook accounts include
Claire Voisin, section 7 of Hodge theory and Complex algebraic geometry I,II, Cambridge Stud. in Adv. Math. 76, 77, 2002/3
Claire Voisin, Hodge theory and the topology of compact Kähler and complex projective manifolds (pdf)
Chris Peters, Jozef Steenbrink, Mixed Hodge Structures, Ergebisse der Mathematik (2008) (pdf)
The notion of mixed Hodge structures was introduced in
Pierre Deligne, Théorie de Hodge II, Publ. Math. I.H.E.S, 40, 5–58 (1971)
Pierre Deligne, Théorie de Hodge III, Publ. Math., I. H. E. S, 44, 5-77 (1974)
A review is in section 8.4 of
See also
Jozef Steenbrink, S. Zucker, Variation of mixed Hodge structure I, Invent. Math. 80 (1985), 489-542.
Wikipedia, Hodge structure,
Donu Arapura, Mixed Hodge Structures Associated to
Geometric Variations_ (pdf)
eom,
A.I. Ovseevich Hodge structure, Period mapping,
Michael Hopkins, Gereon Quick, Hodge filtered complex bordism (arXiv:1212.2173)
For orbifold cohomology:
Last revised on June 18, 2020 at 04:13:05. See the history of this page for a list of all contributions to it.