Mixed Hodge structure

Mixed Hodge structure
Name	Mixed Hodge structure
Field	Algebraic geometry, Hodge theory
Introduced	1960s
Notable	Pierre Deligne, Phillip Griffiths, Wilfried Schmid, Jean Leray

Mixed Hodge structure

A Mixed Hodge structure is an algebraic and linear-algebraic framework enriching cohomology groups of algebraic and analytic varieties with two filtrations reflecting geometric and topological complexity. Conceived in the context of Hodge theory, it generalizes pure Hodge structures arising in the work of Bernhard Riemann, Émile Picard, Hermann Weyl, and Henri Poincaré and was formalized largely through contributions by Pierre Deligne, Phillip Griffiths, Wilfried Schmid, and collaborators. Mixed Hodge structures underpin deep results connecting algebraic cycles, arithmetic, and topology, intersecting the legacies of Alexander Grothendieck, Andre Weil, John Tate, and Alexander Beĭlinson.

Introduction

The theory situates within a lineage including Carl Friedrich Gauss's analytic functions, Bernhard Riemann's surfaces, André Weil's conjectures, and Alexander Grothendieck's schemes. The concept arose to treat cohomology of singular, noncompact, or degenerating varieties, complementing pure Hodge structures studied by W.V.D. Hodge and extended by Phillip Griffiths in the context of period domains related to Pierre Deligne's work on L-functions and Jean-Pierre Serre's insights. Mixed Hodge structures are central to modern interactions among the schools of Harvard University, Institut des Hautes Études Scientifiques, Princeton University, and Clay Mathematics Institute-supported programs.

Definitions and basic properties

A Mixed Hodge structure on an abelian group or vector space is defined by a finite increasing weight filtration W_* and a finite decreasing Hodge filtration F^* satisfying a purity condition on graded pieces. The formulation follows methods developed by Pierre Deligne in his foundational works and relies on tools from Jean Leray's spectral sequences and Jean-Pierre Serre's cohomological frameworks. Basic properties include functorial exactness constraints inspired by Alexander Grothendieck's derived categories and stability under tensor, dual, and Hom operations examined by researchers in the traditions of Grothendieck, Max Karoubi, and Alexander Beĭlinson.

Examples and constructions

Classical examples include the cohomology of smooth projective varieties such as those studied by André Weil, with pure Hodge structures on cohomology groups of projective hypersurfaces in projective spaces central to Phillip Griffiths's period mapping. Mixed examples arise for open varieties like complements of divisors in varieties treated by Pierre Deligne and for degenerations studied by Wilfried Schmid and Phillip Griffiths via nilpotent orbits related to David Mumford's moduli problems. Constructions employ relative cohomology from Jean Leray's spectral sequence, simplicial resolutions inspired by Alexander Grothendieck's hypercoverings, and log geometry techniques associated with Kazuya Kato and Luc Illusie.

Functoriality and morphisms

Morphisms of Mixed Hodge structures respect weight and Hodge filtrations and induce morphisms on graded pieces compatible with functors from derived categories rooted in Alexander Grothendieck's six operations. Functoriality under proper pushforward and smooth pullback mirrors principles established by Pierre Deligne and connects to the formalism of motives promoted by Alexander Beĭlinson, James Milne, and Uwe Jannsen. Compatibility with cycle class maps links to conjectures by John Tate, comparisons with étale cohomology developed by Jean-Pierre Serre, and interactions with regulators studied by Spencer Bloch and Kazuya Kato.

Weights, filtrations, and spectral sequences

The weight filtration W_* organizes contributions from strata of varieties and interacts with the Hodge filtration F^* through spectral sequences descending from Jean Leray's work. The weight spectral sequence, conceptualized by Pierre Deligne, relates to the monodromy weight filtration of nilpotent endomorphisms examined by Wilfried Schmid and Kazuya Kato. Convergence and degeneration properties echo results of Jean Leray and Phillip Griffiths and play roles in comparisons across cohomology theories championed by Alexander Grothendieck and André Weil.

Mixed Hodge complexes and cohomological origins

Mixed Hodge complexes provide the homological algebra scaffolding formulated by Pierre Deligne that yields Mixed Hodge structures on hypercohomology groups. These complexes use injective and projective resolutions in derived categories following Alexander Grothendieck's apparatus and exploit logarithmic forms tied to ideas from Kazuya Kato and Luc Illusie. The cohomological origins trace through sheaf-theoretic techniques of Jean Leray and comparison theorems linking de Rham, Betti, and étale realizations, rooted in approaches by Jean-Pierre Serre and André Weil.

Applications and relations to other theories

Mixed Hodge structures interface with the theory of motives advocated by Alexander Grothendieck, with regulators and special values examined by Don Zagier and Alexei Beĭlinson, and with arithmetic geometry pursued by John Tate and Gerd Faltings. They inform the study of moduli spaces central to David Mumford and Phillip Griffiths, influence variations of Hodge structure relevant to Wilfried Schmid and Claire Voisin, and contribute to mirror symmetry themes associated with Maxim Kontsevich and Shing-Tung Yau. Interconnections extend to representation theory like that in Pierre Deligne's work on weights, to perverse sheaves developed by Alexander Beĭlinson and Joseph Bernstein, and to nonabelian Hodge theory explored by Carlos Simpson.

Category:Algebraic geometry