[Paper Review] Mixed Hodge structures associated to geometric variations

Donu Arapura|ArXiv.org|Nov 27, 2006

Algebraic Geometry and Number Theory13 references3 citations

TL;DR

This paper establishes the equivalence between the naive mixed Hodge structure on the cohomology of a geometric variation of Hodge structure—constructed as a subquotient of the total space’s mixed Hodge structure—and the more refined mixed Hodge structure arising from Saito’s theory of mixed Hodge modules. By outlining key aspects of mixed Hodge module theory and explicitly describing Saito’s construction, the author shows that both approaches yield identical mixed Hodge structures, resolving a foundational question in Hodge theory and clarifying a hidden assumption in a prior lemma via filtered resolutions and décalage.

ABSTRACT

The purpose of this note is prove that the mixed Hodge structure constructed by the author in math.AG/0301140 [The Leray spectral sequence is motivic, Invent. 2005] for geometric variations of Hodge structure coincides with the structure coming from M. Saito's mixed Hodge module theory. This note also contains a small erratum for the earlier paper.

Motivation & Objective

• To establish the equivalence between the naive mixed Hodge structure on cohomology of a geometric variation and Saito’s mixed Hodge module construction.
• To make Saito’s abstract theory of mixed Hodge modules accessible by outlining its essential components in a more concrete, explicit form.
• To correct a hidden assumption in Lemma 3.13 of a prior work by analyzing filtered acyclic resolutions and the décalage operation.
• To demonstrate that direct images in the category of mixed Hodge modules naturally yield mixed Hodge structures on cohomology, aligning with geometric intuition.
• To provide a self-contained exposition that bridges classical Hodge theory and modern D-module theory for researchers in algebraic geometry and Hodge theory.

Proposed method

• Utilizes the Riemann-Hilbert correspondence to relate holonomic D-modules with perverse sheaves, forming the foundation for mixed Hodge modules.
• Applies the theory of filtered D-modules and perverse sheaves, with a focus on holonomicity and characteristic varieties, to define the category of mixed Hodge modules.
• Employs an inductive construction based on vanishing cycles to define the class of mixed Hodge modules, ensuring compatibility with restriction to subvarieties.
• Introduces a weight filtration with additional constraints to distinguish mixed Hodge modules from pure ones, aligning with Hodge-theoretic expectations.
• Uses the direct image functor in the category of mixed Hodge modules to construct mixed Hodge structures on cohomology, particularly for geometric variations.
• Applies filtered derived category techniques, including the décalage operation and Godement resolutions, to correct a hidden assumption in a prior lemma involving filtered acyclic resolutions.

Experimental results

Research questions

• RQ1 Does Saito’s theory of mixed Hodge modules reproduce the same mixed Hodge structure on the cohomology of a geometric variation as the naive construction?
• RQ2 Can the abstract machinery of mixed Hodge modules be made explicit and accessible through a detailed exposition of its core components?
• RQ3 What is the precise role of the décalage operation in the context of filtered resolutions, and how does it affect the behavior of filtered acyclic resolutions?
• RQ4 How does the restriction of a mixed Hodge module to a subvariety behave, and what conditions ensure it remains within the category of mixed Hodge modules?
• RQ5 What corrections are needed in prior proofs involving filtered resolutions when the décalage operation is involved?

Key findings

• The naive mixed Hodge structure on the cohomology of a geometric variation is isomorphic to the one constructed via Saito’s theory of mixed Hodge modules.
• Saito’s theory of mixed Hodge modules provides a robust and Hodge-theoretically meaningful framework that generalizes variations of Hodge structure to singular families.
• The category of mixed Hodge modules is closed under direct images, ensuring that cohomology of such modules naturally carries a mixed Hodge structure.
• The correction of Lemma 3.13 in the appendix resolves a hidden assumption by showing that the décalage operation commutes with Godement’s canonical flasque resolution in the filtered setting.
• The explicit description of Saito’s mixed Hodge structure in §4.15 provides a concrete realization of the abstract theory, making it accessible for computation and comparison.
• The proof of equivalence between the naive and Saito’s constructions is established through a detailed analysis of filtered derived categories and filtered acyclic resolutions.