nLab
Hodge structure

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Complex geometry

Contents

Idea

Pure Hodge structure

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 dd if it behaves like the cohomology of a Kähler manifold of dimension dd.

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

Mixed Hodge structure

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 kk in each degree kk. The archetypical example exhibiting this is the cohomology of complex varieties that have singularities (Deligne 71 Deligne 74).

Definition

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

On the cohomology of a Kähler manifold

Let XX be a compact Kähler manifold and write H p,q(X)H^{p,q}(X) for its space of harmonic differential forms, equivalently, via the Hodge isomorphism, its Dolbeault cohomology in bidegree (p,q)(p,q).

Notice that by the de Rham theorem there are canonical maps

H p,q(X)H p+q(X,) H^{p,q}(X)\to H^{p+q}(X,\mathbb{C})

to ordinary cohomology of XX with complex coefficients.

Definition

The Hodge filtration on the cohomology of XX is the filtered complex structure given by the direct sum

F pH k(X,)kqpH kq,q(X). F^p H^k(X, \mathbb{C}) \coloneqq \underset{k-q \geq p}{\oplus} H^{k-q,q}(X) \,.
Example

The full Hodge filtration of degree-2 cohomology is

F 0H 2(X,) =H 0,2(X)H 1,1(X)H 2,0(X) F 1H 2(X,) =H 1,1(X)H 2,0(X) F 2H 2(X,) =H 2,0(X) \begin{aligned} F^0 H^2(X,\mathbb{C}) & = H^{0,2}(X) \oplus H^{1,1}(X) \oplus H^{2,0}(X) \\ F^1 H^2(X,\mathbb{C}) & = \;\;\;\;\;\;\; H^{1,1}(X) \oplus H^{2,0}(X) \\ F^2 H^2(X,\mathbb{C}) & = \;\;\;\;\;\;\;\;\;\;\;\;\;\;\; H^{2,0}(X) \end{aligned}
Example

For all pp the mid-dimensional Hodge filtration stage in even total degree is

F pH 2p=H p,p(X)H p+1,p1(X)H 2p,0(X). F^p H^{2p} = H^{p,p}(X) \oplus H^{p+1,p-1}(X) \oplus \cdots \oplus H^{2p,0}(X) \,.

On the cohomology of a complex analytic space

Definition

For XX a complex analytic space, write

Ω X (𝒪 XΩ X 1Ω 2(X)) \Omega^\bullet_X \coloneqq (\mathcal{O}_X \stackrel{\partial}{\longrightarrow} \Omega^1_X \stackrel{\partial}{\longrightarrow} \Omega^2(X) \stackrel{\partial}{\longrightarrow} \cdots)

for its holomorphic de Rham complex.

Remark

Notice the relation to complex cohomology given by

H k(X,)H k(X,Ω X ). H^k(X,\mathbb{C}) \simeq H^k(X,\Omega^\bullet_X) \,.
Remark

The holomorphic de Rham complex is naturally filtered by degree with the ppth filtering stage being

F pΩ X (0Ω X pΩ p+1). F^p \Omega^\bullet_X \coloneqq (0 \to \cdots \to \Omega^p_X \stackrel{\partial}{\longrightarrow} \Omega^{p+1} \stackrel{\partial}{\longrightarrow} \cdots) \,.

Notice that here Ω p\Omega^p is still regarded as sitting in degree p-p, one just replaces by 0 in the holomorphic de Rham complex the groups of differential forms of degree less than pp.

Definition

The Hodge filtration on H (X,)H^\bullet(X,\mathbb{C}) is defined to be the filtration with ppth stage the image of the hyper-abelian sheaf cohomology with coefficients in the ppth filtering stage of the holomorphic de Rham complex inside that with coefficients the full de Rham complex:

F pH k(X,)im(H k(X,F pΩ X )H k(X,Ω X )) F^p H^k(X,\mathbb{C}) \coloneqq im \left( H^k(X, F^p \Omega^\bullet_X) \to H^k(X, \Omega^\bullet_X) \right)

(e.g. Voisin 02, def. 8.2, Peters-Steenbrink 08, def. 2.21).

Theorem

When the compact complex manifold XX happens to have the structure of a Kähler manifold then the Frölicher spectral sequence degenerates at the E 1E_1 page which implies that def. 3 coincides with the traditional definition via harmonic differential forms, def. 1:

kqpH kq,q(X)im(H k(X,F pΩ X )H k(X,Ω X )). \underset{k-q \geq p}{\oplus} H^{k-q,q}(X) \simeq im \left( H^k(X, F^p \Omega^\bullet_X) \to H^k(X, \Omega^\bullet_X) \right) \,.

(e.g. Voisin 02, remark 8.29, Voisin, 1.1.2 Peters-Steenbrink 08, prop 2.22).

Remark

The equivalence in theorem 1 is exhibited by the following morphism.

Write

tot(Ω p,,d=+¯) tot(\Omega^{\bullet \geq p, \bullet}, \mathbf{d}= \partial + \bar \partial)

for the holomorphically truncated de Rham complex, as indicated, thought of as the total complex of the Dolbeault double complex

Ω p,0 ¯ Ω p1,1 ¯ Ω p+1,0 ¯ Ω p,1 ¯ . \array{ \Omega^{p,0} &\stackrel{\bar \partial}{\to}& \Omega^{p-1,1} &\stackrel{\bar \partial}{\to}& \cdots \\ \downarrow^{\mathrlap{\partial }} && \downarrow^{\mathrlap{\partial }} \\ \Omega^{p+1,0} &\stackrel{\bar \partial}{\to}& \Omega^{p,1} &\stackrel{\bar \partial}{\to}& \cdots \\ \downarrow^{\mathrlap{\partial }} && \downarrow^{\mathrlap{\partial }} \\ \vdots && \vdots } \,.

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-k given by kqpΩ kq,q\underset{k-q \geq p}{\oplus} \Omega^{k-q, q} and hence globally defined closed (kqp,q)(k-q \geq p,q)-forms naturally inject into

H k(X,tot(Ω p,,d=+¯))H 0(X,tot(Ω p,,d=+¯)[k]). H^k(X, tot(\Omega^{\bullet\geq p, \bullet}, \mathbf{d} = \partial + \bar \partial) ) \simeq H^0(X,tot(\Omega^{\bullet\geq p, \bullet}, \mathbf{d} = \partial + \bar \partial)[-k]) \,.

Therefore given a representative αΩ cl p,q(X)\alpha \in \Omega^{p,q}_{cl}(X) of [α]H p,q(X)[\alpha] \in H^{p,q}(X) it is canonically sent along

kqpΩ cl p,q(X)kqpH 0(X,Ω cl p,q)H 0(X,tot(Ω p,,d=+¯)[k]). \underset{k-q\geq p}{\oplus} \Omega^{p,q}_{cl}(X) \simeq \underset{k-q\geq p}{\oplus} H^0(X, \Omega^{p,q}_{cl}) \to H^0(X,tot(\Omega^{\bullet\geq p, \bullet}, \mathbf{d} = \partial + \bar \partial)[-k]) \,.

This map exhibits the equivalence in theorem 1 (e.g. Voisin, section 1.1.2).

Dually,

Ω hol ktot(Ω k,). \Omega_{hol}^{\leq k} \simeq tot( \Omega^{\bullet \leq k, \bullet}) \,.

This plays a role in the discussion of intermediate Jacobians, where for dim (X)=k+1dim_{\mathbb{C}}(X)= k+1 we have

H 2k+1(X,)H 2k+1(X,)/F k+1H 2k+1(X,)H 2k+1(X,Ω hol k). H^{2k+1}(X,\mathbb{R}) \simeq H^{2k+1}(X,\mathbb{C}) / F^{k+1} H^{2k+1}(X,\mathbb{C}) \simeq H^{2k+1}(X, \Omega_{hol}^{\bullet \leq k}) \,.

Here a real differential (2k+1)(2k+1)-form

α=α 0,2k+1¯+α 1,2k¯++α 1,2k+α 0,2k+1 \alpha = \overline{\alpha^{0,2k+1}} + \overline{\alpha^{1, 2k}} + \cdots + \alpha^{1, 2k} + \alpha^{0,2k+1}

injects via its pieces in

Ω pk,2k+1p(X)H 0(X,Ω pk,2k+1p)H 0(X,tot(Ω k,)[k])H k(Ω hol k). \Omega^{p \leq k, 2k+1-p}(X) \simeq H^0(X, \Omega^{p \leq k, 2k+1-p}) \to H^0(X, tot(\Omega^{\bullet \leq k, \bullet})[-k]) \simeq H^k(\Omega_{hol}^{\bullet\leq k}) \,.

Generally on an abelian group

Definition

For H H_{\mathbb{Z}} an abelian group, a Hodge structure of weight kk \in \mathbb{Z} on H H_{\mathbb{Z}} is a direct sum decomposition of its complexification

H H H_{\mathbb{C}}\coloneqq H_{\mathbb{Z}} \otimes_{\mathbb{Z}} \mathbb{C}

into complex vector spaces H p,qH^{p,q} with p+q=kp +q = k of the form

H p+q=kH p,q H_{\mathbb{C}} \simeq \underset{p+q = k}{\oplus} H^{p,q}

such that H q,pH^{q,p} is the complex conjugate of H p,qH^{p,q}:

H p,q=H q,p¯. H^{p,q} = \overline{H^{q,p}} \,.

This is an equality of the underlying sets of the complex vector spaces.

With this the above def. 1 has the following verbatim generalization

Definition

Given a Hodge structure H ,{H p,q}H_{\mathbb{Z}}, \{H^{p,q}\} of weight kk, def. 4, then the associated Hodge filtration on H H_{\mathbb{C}} is the filtered complex structure given by the direct sum

F pH kqpH kq,q. F^p H_{\mathbb{C}} \coloneqq \underset{k-q \geq p}{\oplus} H^{k-q,q} \,.

References

Textbook accounts include

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

Revised on November 25, 2015 07:59:53 by Sean Tilson? (131.173.41.23)