Fact-checked by Grok 2 weeks ago

Hodge structure

In mathematics, particularly in algebraic geometry and complex geometry, a Hodge structure is a type of algebraic structure defined on a finitely generated free abelian group H_\mathbb{Z} of finite rank, equipped with a decomposition of its complexification H_\mathbb{C} = H_\mathbb{Z} \otimes \mathbb{C} into a direct sum \bigoplus_{p+q = n} H^{p,q} of complex subspaces, where n is the weight of the structure and each H^{p,q} is the complex conjugate of H^{q,p}.^[1] This decomposition, known as the Hodge decomposition, captures the interplay between the topological, analytic, and algebraic aspects of certain geometric objects, such as the de Rham cohomology groups of compact Kähler manifolds. The concept originates from the work of W.V.D. Hodge in the 1930s and 1940s, who developed Hodge theory to study harmonic forms on Riemannian manifolds, proving that the cohomology of a compact Kähler manifold admits such a decomposition compatible with the manifold's complex structure.^[2] Specifically, for a compact Kähler manifold X of complex dimension d, the nth cohomology group decomposes as H^n(X, \mathbb{C}) = \bigoplus_{p+q=n} H^{p,q}(X), where H^{p,q}(X) \cong H^q(X, \Omega^p_X) via the Dolbeault isomorphism, and the Hodge numbers h^{p,q} = \dim H^{p,q}(X) satisfy h^{p,q} = h^{q,p}.^[1] This pure Hodge structure of weight n is equivalently described by a decreasing filtration F^\bullet on H_\mathbb{C}, called the Hodge filtration, with F^p H_\mathbb{C} = \bigoplus_{r \geq p} H^{r, n-r}.^[3] Hodge structures form an abelian category under direct sums, tensor products, and duals, allowing them to be preserved under morphisms between Kähler manifolds.^[3] They extend to mixed Hodge structures, introduced by Pierre Deligne in the early 1970s, which apply to more general spaces like algebraic varieties with singularities. A mixed Hodge structure on H_\mathbb{Z} consists of an increasing weight filtration W_\bullet on H_\mathbb{Q} = H_\mathbb{Z} \otimes \mathbb{Q} and a decreasing Hodge filtration F^\bullet on H_\mathbb{C}, such that each graded piece \mathrm{Gr}^k_W H_\mathbb{Q} carries a pure Hodge structure of weight k induced by F^\bullet.^[3] Deligne proved that the cohomology of any complex algebraic variety admits a mixed Hodge structure, bridging algebraic and transcendental geometry. Beyond their foundational role in Hodge theory, Hodge structures underpin key developments in modern mathematics, including variations of Hodge structure—families of Hodge structures parametrized by a base space, studied by Phillip Griffiths—which encode period maps and relate to moduli spaces of geometric objects.^[1] They also feature prominently in the Hodge conjecture, one of the Clay Millennium Problems, which posits that on a smooth projective variety, the subspace of Hodge classes (rational classes of type (p,p)) is generated by algebraic cycles.^[4] Applications extend to motives, mirror symmetry, and arithmetic geometry, where Hodge structures help distinguish transcendental extensions of number fields.^[2]

Pure Hodge Structures

Definition of Pure Hodge Structures

A pure Hodge structure of weight n on a finite-dimensional vector space V over \mathbb{Q} consists of a decomposition of its complexification V_{\mathbb{C}} = V \otimes_{\mathbb{Q}} \mathbb{C} into a direct sum \bigoplus_{p+q=n} V^{p,q}, where each V^{p,q} is a complex subspace satisfying \overline{V^{p,q}} = V^{q,p} under complex conjugation.^[5] This decomposition induces a decreasing Hodge filtration F^{\bullet} on V_{\mathbb{C}} defined by F^p V_{\mathbb{C}} = \bigoplus_{i \geq p} V^{i, n-i}, with the property that the filtration is strictly decreasing and opposed to its conjugate.^[5] The subspaces V^{p,q} are the (p,q)-components of this structure, and the projection operator onto V^{p,q} is given by the component projection in the direct sum decomposition.^[6] The Hodge numbers associated to the structure are the dimensions h^{p,q} = \dim_{\mathbb{C}} V^{p,q}, which satisfy the symmetry h^{p,q} = h^{q,p} due to the conjugation condition.^[6] These numbers provide invariants that encode the distribution of the decomposition across the possible bidegrees summing to n. In geometric applications, such as cohomology of algebraic varieties, weights are non-negative integers aligning with cohomological degrees.^[5] In the context of mixed Hodge structures, the pure case features a trivial weight filtration: an increasing filtration W_{\bullet} on V such that W_n = V and W_{n-1} = 0, concentrating the structure in a single weight.^[7] Pure Hodge structures often motivate the study of de Rham cohomology on smooth projective varieties, where the Hodge theorem yields such a decomposition on the cohomology groups.^[7]

Integral and Rational Variants

A rational Hodge structure of weight n \in \mathbb{Z} consists of a finite-dimensional vector space V over \mathbb{Q} together with a decomposition of its complexification V \otimes_{\mathbb{Q}} \mathbb{C} = \bigoplus_{p+q=n} V^{p,q} such that \overline{V^{p,q}} = V^{q,p}.^[6] This structure captures the arithmetic aspects of the complex Hodge decomposition by incorporating a rational lattice.^[6] An integral Hodge structure extends this by starting with a free \mathbb{Z}-module H of finite rank, equipped with a rational Hodge structure on H \otimes_{\mathbb{Z}} \mathbb{Q}, and thus inducing a decomposition (H \otimes_{\mathbb{Z}} \mathbb{C}) = \bigoplus_{p+q=n} H^{p,q} with \overline{H^{p,q}} = H^{q,p}.^[6] To incorporate a notion of positivity and compatibility with the geometry of varieties, a polarization is added: a morphism of Hodge structures Q: \bigwedge^2 H \to \mathbb{Z}(-n) that is non-degenerate and positive definite in the sense that for u, v \in H^{p,q} with p \geq q, the form satisfies Q(u, v) = i^{p-q} Q(u, \bar{v}) > 0 when restricted appropriately, where Q is symmetric if n is even and skew-symmetric if n is odd.^[6] More precisely, the Riemann bilinear relations require that Q is a bilinear form on H such that its extension to H \otimes \mathbb{C} vanishes on H^{p,q} \times H^{p',q'} unless p' = q and q' = p, and that (-1)^{n(n-1)/2} i^{p-q} Q(\xi, \xi) > 0 for nonzero \xi \in H^{p,q}.^[6] The endomorphisms of a polarized Hodge structure are described by its Mumford-Tate group, defined as the smallest algebraic \mathbb{Q}-subgroup G \subset \mathrm{[GL](/page/GL)}(H) such that G_{\mathbb{R}} contains the image of the representation \rho: S \to \mathrm{[GL](/page/GL)}(H_{\mathbb{R}}) from the Deligne torus S = \mathrm{Res}_{\mathbb{C}/\mathbb{R}} \mathbb{G}_m, where the weight is encoded by the action t \mapsto t^{-n} on the real part.^[8] This group parametrizes the automorphisms preserving both the Hodge filtration and the polarization, providing a Tannakian framework for the category generated by the structure.^[8] Polarized Hodge structures of weight 1 are in one-to-one correspondence with abelian varieties, where the structure on H^1(A, \mathbb{Z}) for an abelian variety A of dimension g has \dim H^{1,0} = g and the polarization arises from the cup product form \int_A \xi \wedge \bar{\eta}.^[6]

Mixed Hodge Structures

Definition of Mixed Hodge Structures

A mixed Hodge structure on a finite-dimensional \mathbb{Q}-vector space V is defined as the data of two filtrations: a decreasing Hodge filtration F^\bullet on V_\mathbb{C} := V \otimes_\mathbb{Q} \mathbb{C} and an increasing weight filtration W_\bullet on V, satisfying the condition that for each integer l, the associated graded space \mathrm{Gr}_l^W(V)_\mathbb{C} := (W_l / W_{l-1}) \otimes_\mathbb{Q} \mathbb{C} carries the structure of a pure Hodge structure of pure weight l. This generalizes the notion of a pure Hodge structure, where the weight filtration is trivial and concentrated in a single degree, by allowing the weights to vary across the space.^[9] The Hodge filtration F^\bullet induces a filtration on each graded piece \mathrm{Gr}_l^W(V)_\mathbb{C}, and the structure is required to be strict in the sense that F^p \mathrm{Gr}_l^W(V)_\mathbb{C} = \bigoplus_{i \geq p} \mathrm{Gr}_l^{W, i, l-i}(V)_\mathbb{C}, where \mathrm{Gr}_l^{W, p, q}(V)_\mathbb{C} denotes the (p,q)-component of the Hodge decomposition on the graded piece. This strictness ensures compatibility between the filtrations, allowing the pure Hodge structure on each \mathrm{Gr}_l^W(V)_\mathbb{C} to be defined via the induced F^\bullet and the complex conjugation operator, which acts as the anti-involution \overline{F^p} = F^{l-p} on the weight-l piece.^[9] The associated graded modules \mathrm{Gr}_\bullet^W(V) thus decompose into pure Hodge structures, providing a bigrading on \mathrm{Gr}_l^W(V)_\mathbb{C} = \bigoplus_{p+q=l} I^{p,q}, where the pieces are given by I^{p,q} = F^p \cap W_l / (F^{p+1} + W_{l-1}) \cap \overline{F}^q, with \overline{F}^q the complex conjugate filtration, and these satisfy I^{p,q} = \overline{I^{q,p}} as induced from the pure case. In the context of variations of Hodge structure, an additional monodromy weight filtration may arise abstractly on the weight filtration, refining the structure while preserving the graded pure components, though the core definition remains axiomatic.^[9] For applications to the cohomology of algebraic varieties, the weights in a mixed Hodge structure typically range from 0 to $2 \dim X, reflecting the possible bidegrees in the cohomology groups. This range captures both compact and non-compact cases, where the weight filtration accounts for the mixing of degrees beyond the pure weight n seen in smooth projective varieties.^[9]

Deligne's Theorem on Cohomology

In 1971, Pierre Deligne resolved Alexander Grothendieck's program for extending Hodge theory to singular and non-compact varieties by proving the existence of canonical mixed Hodge structures on their cohomology groups. Specifically, Deligne's theorem states that for any quasiprojective complex algebraic variety X, the rational Betti cohomology group H^k(X, \mathbb{Q}) carries a canonical mixed Hodge structure that is compatible with the cup product, making the cohomology ring into a graded-commutative algebra of mixed Hodge structures. The weight filtration of this structure is designed to reflect the singularities and non-completeness of X, with graded pieces carrying pure Hodge structures of appropriate weights. The construction proceeds via hypercohomology of a mixed Hodge complex derived from a smooth projective compactification \bar{X} of X, where \bar{X} \setminus X is a normal crossings divisor D. The algebraic side employs the logarithmic de Rham complex \Omega^\bullet_{\bar{X}}(\log D) with its natural Hodge filtration (the stupid filtration by degree) and a weight filtration adjusted to account for the components of D. To handle singularities, Deligne incorporates nearby and vanishing cycle functors from the theory of perverse sheaves, ensuring the resulting hypercohomology yields a bifiltered complex whose associated graded is a direct sum of pure Hodge structures. Key properties of this mixed Hodge structure include functoriality with respect to morphisms of varieties, which preserves the filtrations, and compatibility with specialization maps in families of varieties. Additionally, Deligne established the monodromy theorem, which relates the weight filtration to the monodromy filtration arising from degenerations, showing that the former is the unique filtration compatible with the latter up to shift in a certain sense. For a smooth projective variety X, the theorem recovers the classical pure Hodge structure of weight k on H^k(X, \mathbb{Q}) from Hodge theory. The weight filtration satisfies W_k H^k(X, \mathbb{Q}) = \operatorname{im}\left( H^k(\bar{X}, \mathbb{Q}) \to H^k(X, \mathbb{Q}) \right), the subspace of classes on X that extend to \bar{X}. For l < k, W_l H^k(X, \mathbb{Q}) is defined as the image of the map H^k(X \cup D_{\geq k-l+1}, \mathbb{Q}) \to H^k(X, \mathbb{Q}), where D_{\geq m} denotes the union of strata of D of codimension at least m, with jumps corresponding to codimensions of singular strata in D.^[9]

Examples from Varieties

A fundamental example of a pure Hodge structure arises in the cohomology of smooth projective curves. For a smooth projective curve X of genus g over \mathbb{C}, the first cohomology group H^1(X, \mathbb{Q}) carries a pure Hodge structure of weight 1. The Hodge decomposition is H^1(X, \mathbb{C}) = H^{1,0}(X) \oplus H^{0,1}(X), where \dim H^{1,0}(X) = g and \dim H^{0,1}(X) = g, reflecting the dimension of the space of holomorphic differentials and its conjugate.^[10]^[11] When singularities are introduced, such as in nodal curves, the cohomology acquires a mixed Hodge structure. Consider an irreducible nodal curve X of arithmetic genus g with a single node; its normalization \tilde{X} is a smooth projective curve of genus g-1. The group H^1(X, \mathbb{Q}) has a mixed Hodge structure with weight filtration $0 \subset W_0 \subset W_1 = H^1(X, \mathbb{Q}), where W_0 is spanned by the vanishing cycle associated to the node. The graded piece \mathrm{Gr}^W_1 H^1(X, \mathbb{Q}) \cong H^1(\tilde{X}, \mathbb{Q}) carries the pure Hodge structure of weight 1 from the normalization. For a curve with \delta nodes, the Hodge numbers shift by \delta in the (0,1) and (1,0) parts compared to the smooth case, accounting for the contributions from the singularities.^[11]^[10] Open varieties provide further illustrations of mixed Hodge structures, where the weight filtration reflects the topology of the compactification. For the affine curve \mathbb{C}^* \cong \mathbb{P}^1 \setminus \{0, \infty\}, the group H^1(\mathbb{C}^*, \mathbb{Q}) carries a pure Hodge structure of weight 1. A detailed computation for an elliptic curve E minus a point p, yielding U = E \setminus \{p\}, shows that H^1(U, \mathbb{Q}) carries a pure Hodge structure of weight 1, with the inclusion-induced map H^1(E, \mathbb{Q}) \to H^1(U, \mathbb{Q}) an isomorphism.^[3] These examples demonstrate how Deligne's mixed Hodge structures capture the topology and tame singularities of varieties, such as nodes, by encoding the contributions from normalizations and compactifications in the weight filtration.

Variations of Hodge Structure

Definition and Properties

A variation of Hodge structure provides a framework for studying families of Hodge structures parametrized by a base manifold, capturing how the Hodge filtration evolves under a compatible flat connection. Introduced by Phillip Griffiths in the 1960s to analyze periods of abelian integrals on algebraic families of manifolds, the concept was formalized by Wilfried Schmid in 1973 as a tool for understanding period mappings and their singularities. Formally, a variation of Hodge structure of weight n over a connected complex manifold S consists of a flat complex vector bundle H_{\mathbb{C}} \to S equipped with a flat connection \nabla (the Gauss-Manin connection), a flat real structure H_{\mathbb{R}} \subset H_{\mathbb{C}}, and a flat integer lattice H_{\mathbb{Z}} \subset H_{\mathbb{R}} such that each fiber H_{\mathbb{C},s} at s \in S carries a pure Hodge structure of weight n. This structure is polarized by a flat, nondegenerate bilinear form S on H_{\mathbb{C}}, which is rational over H_{\mathbb{Z}} and symmetric (resp., skew-symmetric) if n is even (resp., odd). Additionally, there is a decreasing filtration \{F^p\} by holomorphic subbundles of H_{\mathbb{C}} such that, for each s \in S, the fibers \{F^p_s\} form the Hodge filtration of the pure Hodge structure on H_{\mathbb{C},s}, with H_{\mathbb{C},s} = \bigoplus_{p+q=n} H^{p,q}_s where H^{p,q}_s = F^p_s \cap \overline{F^q_s}. The defining differential condition is Griffiths transversality, which ensures the filtration varies compatibly with the connection: \nabla(\mathcal{O}(F^p)) \subset \mathcal{O}(F^{p-1} \otimes T^*S) for each p. Infinitesimally, for a local holomorphic coordinate t on S, this takes the form \frac{\partial}{\partial t}(F^p_s) \subset F^{p-1}_s. The flatness of \nabla implies integrability of the connection, meaning the horizontal distribution—defined as the kernel of the map T_sS \to \mathrm{Hom}(F^p_s / F^{p+1}_s, H_{\mathbb{C},s} / F^p_s) induced by transversality—is involutive and governs infinitesimal variations of the Hodge filtration. Further properties include the existence of finite variations, where the period map lifts locally to the universal cover, reflecting the global structure of the family. In algebraic geometric contexts, such as smooth proper families of varieties over S, the monodromy representation associated to the local system H_{\mathbb{Z}} has quasi-unipotent image, ensuring controlled behavior under degeneration.

Period Maps and Domains

In the study of variations of Hodge structure, period domains serve as classifying spaces that parametrize polarized Hodge structures of a fixed type and weight. These domains, denoted D, are Hermitian symmetric spaces constructed from the Grassmannian of filtered vector spaces equipped with compatible complex structures and polarizations. For instance, in the case of weight 1 polarized Hodge structures on a vector space of dimension $2g, the period domain is the Siegel upper half-plane \mathcal{H}_g, which classifies principally polarized abelian varieties. More generally, for higher weights, D is a finite disjoint union of bounded symmetric domains, reflecting the possible Hodge types, and it carries a natural action by the special orthogonal or unitary groups preserving the polarization. A period map \phi: \mathcal{M} \to D arises from a family of algebraic varieties parametrized by a moduli space \mathcal{M}, mapping each point to the polarized Hodge structure on the cohomology of the fiber. This holomorphic map is induced by the Gauss-Manin connection on the cohomology bundle over \mathcal{M}, ensuring that the image of \phi lies within a horizontal slice of D, where horizontality means the map satisfies the infinitesimal period relation. Specifically, for a local coordinate t on \mathcal{M}, the differential satisfies d\phi(\partial/\partial t) \in T^{\text{hor}} D, where the horizontal tangent space is defined as

T^{\text{hor}} D = \{ v \in T D \mid v(F^p) \subset F^{p-1} \}

for the filtration F^\bullet defining the Hodge structure. This relation guarantees that nearby Hodge structures vary continuously while preserving the Hodge filtration up to first order. Key results establish the geometric properties of these maps and domains. The Griffiths-Schmid existence theorem asserts that period maps are locally surjective onto horizontal slices near points with finite isotropy, implying that the image of \phi is open in the horizontal submanifold and providing a local parametrization of variations. Complementing this, Borel's theorem proves that arithmetic subgroups of the real special orthogonal group acting on D act properly discontinuously on the complement of a thin set, ensuring the existence of fundamental domains and quotients that model moduli spaces of polarized varieties. These theorems underpin the global study of period maps, linking the analytic geometry of D to algebraic moduli problems. In specific contexts, such as families of Calabi-Yau threefolds, period domains parametrize variations of Hodge structure of weight 3 on the middle cohomology, connecting to special geometry where the period map encodes the Kähler and complex structure moduli through a prepotential function. Recent developments in the 2020s have extended these ideas to integral p-adic variations of Hodge structure, incorporating crystalline cohomology and exploring p-adic period domains as rigid analytic spaces, though these remain an active area of research beyond the classical complex setting.

Applications

In Algebraic Geometry

In algebraic geometry, Hodge structures play a central role in relating the topology of complex projective varieties to their algebraic subvarieties through cohomology. The Hodge conjecture posits that for a smooth projective variety X over \mathbb{C}, every Hodge class in H^{2p}(X, \mathbb{Q})—a rational cohomology class lying in the (p,p)-component of the Hodge decomposition—is a \mathbb{Q}-linear combination of classes of algebraic cycles of codimension p.^[4] This conjecture bridges transcendental and algebraic aspects of varieties, suggesting that Hodge classes are algebraic in origin.^[12] The cycle class map provides a key connection, sending elements of the Chow group CH^p(X)_{\mathbb{Q}} to H^{2p}(X, \mathbb{Q}(p)), where \mathbb{Q}(p) denotes the Tate twist, and this map preserves the Hodge structure by landing in the subspace of Hodge classes H^{p,p}(X).^[12] For instance, the class of a smooth subvariety of codimension p maps to a Hodge class of type (p,p). The Lefschetz (1,1)-theorem affirms the Hodge conjecture in codimension one: every integral Hodge class in H^{1,1}(X, \mathbb{Z}) arises from the first Chern class of an ample line bundle, hence is algebraic; this holds fully for the (1,1)-part, while higher codimensions rely on standard conjectures for partial results.^[13] However, Claire Voisin's 2002 construction provides a counterexample to a related form of the conjecture for Kähler varieties, showing that not all Hodge classes in higher codimensions are generated by Chern classes of coherent sheaves, though the conjecture remains affirmative for surfaces where the relevant classes are fully algebraic.^[14] Hodge structures are particularly instrumental in classifying K3 surfaces, where the transcendental lattice's Hodge structure determines the periods, parametrizing the 20-dimensional space of holomorphic 2-forms up to the action of the automorphism group of the lattice H^2(X, \mathbb{Z}); this period domain serves as the moduli space for marked K3 surfaces, with the image of the period map describing the geometry of the 19-dimensional moduli space of polarized K3s.^[15] Despite these successes, the integral Hodge conjecture—asserting that integral Hodge classes arise from integral algebraic cycles—remains elusive, with recent work by Ottem and Suzuki constructing smooth projective threefolds of Kodaira dimension zero that violate it, highlighting ongoing challenges even for varieties with controlled Chow groups.^[16]

In Arithmetic and Number Theory

In arithmetic and number theory, Hodge structures play a crucial role in comparing complex and p-adic realizations of Galois representations, facilitating deep connections between transcendental and arithmetic data. A foundational result is Tate's comparison theorem, which relates the Hodge-Tate decomposition of a representation \rho: \Gal(\overline{\Q}/\Q) \to \GL(V), where V is a vector space equipped with a Hodge structure, to its p-adic realizations via filtered \phi-modules.^[17] This theorem asserts that for a Hodge-Tate representation, the associated weakly admissible filtered \phi-module recovers the jumps in the Hodge filtration, enabling the classification of p-adic Galois representations through their Hodge-theoretic invariants.^[18] Hodge structures also arise as the Betti realizations in the conjectural category of motives introduced by Deligne, where pure Hodge structures of weight n correspond to the Betti cohomology of pure motives, and mixed Hodge structures capture the realizations of mixed motives.^[19] In this framework, the Hodge filtration on the Betti realization encodes the weight filtration on the motive, providing a complex counterpart to étale and de Rham realizations.^[20] Deligne's construction in 1990 emphasizes that these realizations are compatible under the tannakian formalism, linking arithmetic motives to periods and L-functions.^[19] A key application appears in the Birch and Swinnerton-Dyer conjecture, where the rank of the elliptic curve E(\mathbb{Q}) is predicted to equal the order of vanishing \ord_{s=1} L(E,s) of its L-function at s=1. This is informed by the mixed Hodge structure on H^1(E(\mathbb{C}), \mathbb{Q}), whose graded pieces relate to the periods and constrain the analytic rank, with the corank of the p-adic Selmer group \Sel_p(E/\mathbb{Q}) expected to match the rank. Faltings' theorem on the finiteness of isomorphism classes of abelian varieties over a fixed number field with bounded conductor relies on Hodge structures to control the heights and periods of these varieties.^[21] Specifically, the theorem proves that there are only finitely many such varieties up to isogeny by bounding the Faltings height using the Arakelov degree of line bundles tied to their Hodge structures.^[22] In p-adic settings, the Hodge-Tate weights of a representation are the integers k such that \gr^{-k} D_{\dR}(V) \neq 0, with the multiplicity given by \dim_K \gr^{-k} D_{\dR}(V), ensuring compatibility between the Galois action and the differential structure.^[23] Post-2010 developments have extended these ideas to integral models, linking Hodge structures to crystalline cohomology through prismatic cohomology, which provides integral refinements of filtered \phi-modules for schemes over \mathcal{O}_{\C_p}.^[24] This framework, developed by Bhatt, Morrow, and Scholze, unifies integral p-adic Hodge theory with crystalline invariants, enabling finiteness results for integral Galois representations beyond classical Hodge-Tate cases.

Advanced Developments

Hodge Modules

Hodge modules provide a sheaf-theoretic framework that generalizes Hodge structures to the setting of D-modules on complex manifolds or algebraic varieties, allowing the study of variations of Hodge structures with singularities. Developed by Morihiko Saito in the 1980s and 1990s, this theory associates to certain D-modules a compatible system of filtrations that mimic the Hodge and weight filtrations on cohomology. Recent work has extended the theory to algebraic stacks, providing a derived category with a six-functor formalism.^[25] A Hodge module on a smooth complex manifold X is defined as a coherent \mathcal{D}_X-module M equipped with a good filtration F_\bullet M by submodules, such that the associated graded module \mathrm{Gr}_F^\bullet M is isomorphic to a direct sum of shifts of the structure sheaf \mathcal{O}_X. The filtration must be compatible with a rational structure on M and induce a mixed Hodge structure on the stalks, ensuring regularity and quasi-unipotence conditions. More precisely, Saito's theory focuses on polarizable Hodge modules of weight w, which are equipped with an underlying perverse sheaf K \in \mathrm{MHM}(X) and a polarization morphism that is non-degenerate and satisfies Hodge symmetry. These modules form an abelian category closed under direct images, inverse images, and duality, with the weight filtration W_\bullet realizing a mixed Hodge structure on the cohomology of global sections. For mixed Hodge structures arising from global sections of a Hodge module, the weight filtration aligns with Deligne's construction on the cohomology groups. A key property is that intersection cohomology complexes carry mixed Hodge modules: for a smooth stratification of X and a local system L of weight 0 on the top stratum U, the intersection cohomology complex \mathrm{IC}_U(L)[\dim X] underlies a polarizable mixed Hodge module of weight \dim X. This endows the intersection cohomology groups with canonical mixed Hodge structures. Regular holonomic \mathcal{D}_X-modules supported on subvarieties with rational singularities admit natural Hodge module structures, extending the theory to singular settings while preserving the polarizability. In relation to variations of Hodge structure, algebraic variations of pure Hodge structure on a Zariski-open subset correspond to unipotent polarizable Hodge modules, where the monodromy is unipotent and the filtration is strict under nearby and vanishing cycle functors.

Absolute and Motivic Hodge Structures

Absolute Hodge structures extend the notion of Hodge structures by incorporating compatibility with the action of automorphisms of the complex numbers, ensuring a form of arithmetic invariance. Formally, an absolute Hodge structure on a rational vector space V consists of a collection of Hodge structures (V_\sigma, F^\bullet_\sigma, K_\sigma) for each \sigma \in \Aut(\mathbb{C}/\mathbb{Q}), equipped with comparison isomorphisms \iota_\sigma: (V_\sigma, F^\bullet_\sigma) \cong \sigma^{-1} \cdot (V \otimes_\mathbb{Q} \mathbb{C}, F^\bullet) that are compatible with the weight filtrations and the real structure. This framework was introduced by Deligne to study Hodge cycles in a way that transcends the choice of embedding \mathbb{Q} \hookrightarrow \mathbb{C}, allowing for the definition of absolute Hodge tensors—elements preserved under these automorphisms via the isomorphisms.^[26] Key properties include the formation of the generic dR-absolute Mumford-Tate group G_{\mathrm{AH}}, which fixes all de Rham absolute Hodge tensors in the associated variation of Hodge structure, acting as a reductive subgroup of the full Mumford-Tate group. Deligne conjectured that every Hodge cycle is an absolute Hodge cycle, implying that the Mumford-Tate group coincides with the absolute one (G_Z = G_{\mathrm{AH},Z}) for the Hodge structure on the cohomology of a variety. This conjecture remains open but has implications for the arithmetic of period maps, where subvarieties with constant absolute Hodge tensors are termed dR-absolutely special. For polarized absolute Hodge structures, the Tannakian group is reductive and characterized by its Lie algebra invariants under the absolute action.^[27] Motivic Hodge structures arise as the Hodge-theoretic realizations of motives, providing a geometric subcategory within the broader class of absolute Hodge structures. A mixed Hodge structure is motivic if it is isomorphic to the Hodge realization of an effective motive in the category of mixed motives over \mathbb{C}, often defined via Nori's effective cohomological motives or André's triangulated category of motives. These structures inherit the absolute compatibility from their motivic origin but are distinguished by their geometric provenance, such as arising from the cohomology of smooth projective varieties or their intersections. The general Hodge conjecture posits that effective Tate twists of motivic Hodge structures remain motivic, linking them to algebraic cycles.^[28]^[29] In the context of variations, a motivic variation of Hodge structure is an absolute variation over a base where, on a dense open subset, the fiberwise Hodge structures realize motives supported by de Rham absolute Hodge cycles, ensuring a "geometric" flavor. This notion bridges absolute Hodge theory with motivic cohomology, as seen in reductions of Deligne's conjecture to special points in motivic variations, where weakly non-factor special subvarieties are dR-absolutely special. Motivic Hodge modules further generalize this, forming a derived category with a six-functor formalism that recovers Deligne's mixed Hodge structures on étale motives, enhancing compatibility with weights and realizations.^[27]^[27]^[30]

References

[1]
[1412.8499] An Introduction to Hodge Structures - arXiv
Dec 29, 2014 · We begin by introducing the concept of a Hodge structure and give some of its basic properties, including the Hodge and Lefschetz decompositions.
[2]
[PDF] Introduction to the hodge theory of algebraic varieties - Purdue Math
Hodge theory involves the Hodge theorem, which states any de Rham cohomology class has a unique harmonic representative, and Hodge structures, which are ...<|control11|><|separator|>
[3]
[PDF] Hodge Structures and Mixed Hodge Structures - Penn Math
Jun 24, 2010 · A Hodge structure has a group HZ and a decomposition of HC into subspaces Hp,q, where Hp,q = Hp,q. A mixed Hodge structure has a group HZ, an ...Missing: mathematics | Show results with:mathematics
[4]
[PDF] the hodge conjecture
Statement. We recall that a pseudo complex structure on a C∞-manifold X of dimension. 2N is a C-module structure on the tangent bundle TX.Missing: original | Show results with:original
[5]
[PDF] Théorie de Hodge : II - Numdam
THÉORIE DE HODGE, II. 7 décroissantes; sauf mention explicite du ... DELIGNE, Equations différentielles à points singuliers réguliers. Lectures ...
[6]
https://arxiv.org/pdf/1412.8499.pdf
[7]
[PDF] Intro to mixed Hodge structures; Hodge theory for smooth varieties
Oct 29, 2021 · In Hodge II, Deligne proves that all smooth varieties X carry mixed Hodge structures. ... A pure Hodge structure H of weight n is naturally ...
[8]
https://arxiv.org/pdf/2308.16164.pdf
[9]
Théorie de Hodge : II
- **Title**: Théorie de Hodge : II
[10]
[PDF] Ubiquitous techniques in Hodge theory - Parth Shimpi
Let X be a smooth projective curve of genus g ⩾ 1 and choose a base point p0 ∈ X. Then the Abel–Jacobi map X(g−1) → Pic0 X is birational and surjective ...
[11]
[PDF] From classical Hodge theory to Hodge modules - Purdue Math
Mar 18, 2015 · Given a pure Hodge structure H of weight k, if we set Wk = HQ and Wk−1 = 0 then this becomes a mixed Hodge structure. Example 2.2. If X is a ...
[12]
Mixed Hodge structure with examples - Math Stack Exchange
Nov 17, 2016 · Simple example: C× (complex plane deprived of origin), H1=Z, but its weight cannot be one (if so, it would have to have even rank). In fact, the ...Branch points of a projection to $[X:Y] = \Bbb{CP}^1$ using ...Ramification at infinity for a cyclic cover of $\Bbb P^1More results from math.stackexchange.com
[13]
[PDF] The Hodge conjecture - IMJ-PRG
The Hodge conjecture stands between algebraic geometry and complex geom- etry. It relates data coming from topology (a Betti cohomology class), complex.
[14]
[PDF] arXiv:2105.04695v1 [math.AG] 10 May 2021
May 10, 2021 · The Lefschetz theorem on (1, 1)- classes is the Hodge conjecture with integral coefficients in codimension one.
[15]
[PDF] A Counterexample to the Hodge Conjecture Extended to Kähler ...
2002, No. 20. A Counterexample to the Hodge Conjecture. Extended to Kähler ... algebraic subvarieties of codimension p of X are Hodge classes of degree 2p.
[16]
[PDF] Lectures on K3 surfaces Daniel Huybrechts
Algebraic K3 surfaces can be defined over arbitrary fields. Over the field of complex numbers a more general notion exists that includes non-algebraic K3 ...
[17]
[2010.06079] An $\mathcal{O}$-acyclic variety of even index - arXiv
Oct 12, 2020 · Title:An \mathcal{O}-acyclic variety of even index. Authors:John Christian Ottem, Fumiaki Suzuki ... integral Hodge conjecture; and universality ...
[18]
[PDF] Hodge-Tate Theory - Berkeley Math
The p-adic Hodge theory provides a framework for analyzing and understanding p-adic Galois representations, and we take a brief digression to remark upon the ...
[19]
[PDF] Theory of p-adic Galois Representations
5.1 Hodge-Tate representations . ... Faltings, Hodge-Tate structures and modular forms, Math. Ann. 278. (1987) ...
[20]
[PDF] FINAL FORM. SHIMURA VARIETIES AND MOTIVES J. S. Milne ...
Feb 24, 1993 · Every Hodge structure of CM-type is the Betti realization of an abelian motive. Proof. This is well known. For a proof, see (Milne 1993, 4.6).
[21]
motive in nLab
Apr 8, 2025 · Deligne motives. Pierre Deligne gave a definition of a category of mixed motives over number fields as compatible systems of realizations, ...<|separator|>
[22]
Arakelov's Theorem for Abelian Varieties. - EuDML
Arakelov's Theorem for Abelian Varieties. G. Faltings · Inventiones mathematicae (1983) ... Peters, Rigidity for variations of Hodge structure and Arakelov-type ...
[23]
[PDF] Finiteness Theorems for Abelian Varieties over Number Fields
Calculus on arithmetic surfaces. Ann. Math. [6] Faltings, G. Arakelov's theorem for abelian varieties. Invent. Math., 73 (1983),.Missing: structures | Show results with:structures
[24]
[PDF] Hodge-Tate theory.
Feb 9, 2012 · Thought of as a 2-dimensional representation of ΓK then its Hodge-Tate weights are 0 and −1. But in fact D(V ) is free of rank 1 over E ⊗qp K, ...
[25]
[PDF] Integral p-adic Hodge theory
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of Cp. It takes values in a mixed-characteristic analogue of ...Missing: post- | Show results with:post-
[26]
[PDF] Absolutely special subvarieties and absolute Hodge cycles - arXiv
May 27, 2022 · forms a sub-absolute Hodge structure of. ((Vσ sσ )⊗(m,n))σ and is therefore preserved by GAH s . 3 dR-absolutely special subvarieties. In ...
[27]
https://arxiv.org/pdf/2111.00216
[28]
[PDF] arXiv:2308.16164v1 [math.AG] 30 Aug 2023
Aug 30, 2023 · Definition 1.1. The Mumford-Tate group of the Hodge structure H is the smallest algebraic Q-subgroup G of GL(H) such that GR contains the image ...
[29]
[PDF] Hodge theory and geometry - Institute for Advanced Study
Formal Hodge theory consists of the study of the above objects and, especially, their interrelationships. Of particular importance for this expository paper are ...Missing: WVD | Show results with:WVD
[30]
[PDF] Motivic Hodge modules - arXiv
Jan 30, 2018 · Hodge cohomology. Summary. • In Definition 9.2, we recall the expected compatibilities between weight structures and. Grothendieck's six ...