11.1 Hodge structures and Hodge decomposition

Hodge structures and decomposition are key concepts in complex geometry. They provide a powerful framework for understanding the interplay between topology and complex structure in algebraic varieties.

The Hodge decomposition theorem reveals deep connections between cohomology groups and geometric properties. It allows us to extract important invariants like Hodge numbers, shedding light on a variety's complex structure and topology.

Hodge Structures in Complex Geometry

Definition and Properties of Hodge Structures

• A Hodge structure is a finite-dimensional complex vector space $V$ equipped with a decomposition $V = \bigoplus_{p+q=k} V^{p,q}$, where $V^{p,q}$ are complex subspaces satisfying certain compatibility conditions
  • The numbers $h^{p,q} = \dim V^{p,q}$ are called the Hodge numbers of the Hodge structure
  • Hodge numbers satisfy the symmetry property $h^{p,q} = h^{q,p}$ for all $p$ and $q$
• Hodge structures arise naturally from the cohomology of complex algebraic varieties ($\mathbb{P}^n$, elliptic curves)
  • The decomposition is induced by the Dolbeault operators $\partial$ and $\bar{\partial}$
• The existence of a Hodge structure on the cohomology of a complex algebraic variety imposes strong restrictions on its geometry and topology
  • For example, the Hodge numbers of a smooth projective variety determine its Betti numbers and Euler characteristic

Morphisms and Categories of Hodge Structures

• Morphisms between Hodge structures are linear maps that preserve the Hodge decomposition
  • They form a category of Hodge structures, which is abelian and has a tensor product structure
• The study of Hodge structures is central to understanding the interplay between the complex analytic and algebraic properties of complex algebraic varieties
  • Hodge structures provide a bridge between the topological invariants (Betti numbers) and the geometric invariants (Hodge numbers) of a variety
• Variations of Hodge structures describe how Hodge structures change in families of complex algebraic varieties
  • They are closely related to the study of period domains and moduli spaces in algebraic geometry

Hodge Decomposition Theorem

Statement and Implications of the Hodge Decomposition Theorem

• The Hodge decomposition theorem states that for a compact Kähler manifold $X$, the de Rham cohomology $H^k(X, \mathbb{C})$ admits a decomposition $H^k(X, \mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(X)$
  • $H^{p,q}(X) = H^q(X, \Omega^p)$, where $\Omega^p$ is the sheaf of holomorphic $p$-forms on $X$
• The Hodge numbers $h^{p,q}(X) = \dim H^{p,q}(X)$ are invariants of the complex structure of $X$ and satisfy certain symmetries
  • $h^{p,q}(X) = h^{q,p}(X)$ (conjugation symmetry)
  • $h^{p,q}(X) = h^{n-p,n-q}(X)$, where $n$ is the complex dimension of $X$ (Serre duality)
• The Hodge decomposition implies that the Betti numbers $b_k(X) = \dim H^k(X, \mathbb{C})$ can be expressed as sums of Hodge numbers
  • $b_k(X) = \sum_{p+q=k} h^{p,q}(X)$, providing a link between the topology and the complex geometry of $X$

Functoriality and the Hodge Conjecture

• The Hodge decomposition is functorial, meaning that morphisms between Kähler manifolds ($f: X \to Y$) induce morphisms between their Hodge structures ($f^*: H^k(Y, \mathbb{C}) \to H^k(X, \mathbb{C})$)
• The Hodge conjecture, one of the most important open problems in algebraic geometry, predicts that certain Hodge classes (elements of $H^{p,p}(X) \cap H^{2p}(X, \mathbb{Q})$) are algebraic
  • Algebraic classes are those that can be represented by algebraic cycles (formal linear combinations of subvarieties)
  • The Hodge conjecture is known to hold for certain classes of varieties (curves, surfaces, abelian varieties) but remains open in general

Applying Hodge Decomposition

Computing Cohomology Groups using Hodge Decomposition

• For a smooth projective complex algebraic variety $X$, the Hodge decomposition allows the computation of the de Rham cohomology groups $H^k(X, \mathbb{C})$ in terms of the Dolbeault cohomology groups $H^{p,q}(X)$
• The Dolbeault cohomology groups $H^{p,q}(X)$ can be computed using various methods
  • Čech cohomology of the sheaf $\Omega^p$ on a suitable open cover of $X$
  • Dolbeault complex and its associated spectral sequence
• For certain classes of varieties, explicit formulas for the Hodge numbers are known
  • Curves: $h^{1,0} = g$, the genus of the curve
  • Surfaces: $h^{1,1} = b_2 - 2h^{2,0}$, where $b_2$ is the second Betti number
  • Complete intersections: Hodge numbers can be computed using the Lefschetz hyperplane theorem and the Jacobian ring

Lefschetz Hyperplane Theorem and Variation of Hodge Structures

• The Lefschetz hyperplane theorem relates the Hodge structures of a projective variety and its hyperplane sections
  • It provides a powerful tool for inductively computing Hodge numbers
  • For a smooth hypersurface $X \subset \mathbb{P}^{n+1}$, the theorem implies that $h^{p,q}(X) = h^{p,q}(\mathbb{P}^{n+1})$ for $p+q \leq n-1$
• Hodge theory can be used to study the deformation theory of complex structures on algebraic varieties
  • This leads to the notion of variation of Hodge structures, which describes how Hodge structures change in families of complex algebraic varieties
  • Variations of Hodge structures are governed by a system of partial differential equations called the Picard-Fuchs equations

Hodge Structures and Geometry

Hodge Diamond and Geometric Invariants

• The Hodge diamond is a visual representation of the Hodge numbers $h^{p,q}(X)$ of a complex algebraic variety $X$
  • It encodes important geometric information about $X$, such as its Betti numbers, Euler characteristic, and Hodge symmetries
  • Example: For a smooth projective surface $S$, the Hodge diamond has the form

    </>Code
       1
      0 0
     1 h¹¹ 1
      0 0
       1

    where $h¹¹ = b_2 - 2h^{2,0}$
• The Hodge structure on the middle cohomology $H^n(X, \mathbb{C})$ of a smooth projective variety $X$ of dimension $n$ is closely related to the existence of certain special subvarieties
  • Complex tori: If $X$ is a complex torus, then $h^{n,0} = 1$ and $h^{p,q} = \binom{n}{p}$ for all $p+q=n$
  • Abelian varieties: If $X$ is an abelian variety, then $h^{p,q} = \binom{n}{p}$ for all $p+q=n$

Algebraic Cycles and the Hodge Conjecture

• Hodge classes in $H^{p,p}(X) \cap H^{2p}(X, \mathbb{Q})$ correspond to certain algebraic cycles on $X$
  • Algebraic cycles are formal linear combinations of subvarieties of $X$
  • The cycle class map sends an algebraic cycle to its corresponding Hodge class
• The Hodge conjecture, if true, would imply that the Hodge structures on the cohomology of projective algebraic varieties contain essential information about their algebraic subvarieties
  • It predicts that every Hodge class is an algebraic class
  • The conjecture has far-reaching consequences in algebraic geometry and has been a major research focus for decades

Mixed Hodge Structures and Singular Varieties

• The mixed Hodge structure on the cohomology of singular or non-compact algebraic varieties captures both the Hodge-theoretic and the arithmetic properties of these varieties
  • It is a generalization of the pure Hodge structure that allows for the presence of "mixed" terms in the Hodge decomposition
  • Mixed Hodge structures are defined using a weight filtration and a Hodge filtration on the cohomology groups
• The study of mixed Hodge structures has applications in various areas of algebraic geometry
  • Resolution of singularities: Mixed Hodge structures can be used to study the effect of resolving singularities on the cohomology of a variety
  • Arithmetic geometry: Mixed Hodge structures have an arithmetic counterpart called mixed motives, which are essential tools in the study of Diophantine equations and arithmetic varieties