Monodromic Mixed Hodge Modules

• Monodromic mixed Hodge modules are structures that integrate mixed Hodge theory with monodromy data from nearby and vanishing cycles.
• They employ algebraic and sheaf-theoretic formulations to study singularities, Milnor fibers, and Fourier transforms, yielding explicit monodromy invariants via Newton-polyhedral analysis.
• Their framework provides deep insights into degenerations, toric geometry, and hypergeometric systems, influencing various areas of singularity theory and mirror symmetry.

Monodromic mixed Hodge modules are mixed Hodge-theoretic objects equipped with monodromy data, and they arise most naturally from nearby and vanishing cycles. In one formulation, for an algebraic variety with a $\mathbb{C}^\ast$-action, they form the full subcategory of mixed Hodge modules whose underlying constructible complexes are monodromic along $\mathbb{C}^\ast$-orbits; in another, for a vector bundle $E\to X$, a mixed Hodge module is called monodromic when its underlying $\mathcal{D}_E$-module is monodromic with respect to the Euler vector field on the fibers. These frameworks meet in the study of Milnor fibers, limit mixed Hodge structures, Fourier transforms, and Newton-polyhedral formulas for monodromy and Hodge invariants (Virk, 22 Jul 2025, Saito, 2022, Saito, 2017).

1. Foundational formulations

Saito’s category $\mathrm{MHM}(X,A)$ is defined as a full subcategory of weakly mixed Hodge modules $\mathrm{MHW}(X,A)$ by induction on the dimension of the support, using two local conditions: on a dense smooth open set one requires an admissible variation of mixed Hodge structure, and along a local function $g$ one requires well-defined nearby and vanishing cycles together with the condition that $\varphi_{g,1}$ remain in $\mathrm{MHM}$. The well-definedness of nearby and vanishing cycles is expressed through compatibility of the filtrations $F,W,V$ and the existence of a relative monodromy filtration $\mathbb{C}^\ast$0; in the normal crossing case one further requires compatibility of several $\mathbb{C}^\ast$1-filtrations and the existence of relative monodromy filtrations $\mathbb{C}^\ast$2 for commuting nilpotent operators $\mathbb{C}^\ast$3 (Saito, 2013). The same linear-algebraic package appears in the theory of admissible variations of mixed Hodge structure, where canonical extensions, nilpotent orbits, infinitesimal mixed Hodge structures, and relative monodromy filtrations provide the local model for degeneration (Brosnan et al., 2013).

A sheaf-theoretic formulation of monodromicity is available for any algebraic $\mathbb{C}^\ast$4-variety $\mathbb{C}^\ast$5. A constructible complex $\mathbb{C}^\ast$6 is monodromic when each cohomology sheaf $\mathbb{C}^\ast$7 restricts to a local system on every $\mathbb{C}^\ast$8-orbit, and the monodromic mixed Hodge modules on $\mathbb{C}^\ast$9 are precisely those $E\to X$0 whose image under the conservative, $E\to X$1-exact functor $E\to X$2 is monodromic. This definition is formal and stable under the standard functors that preserve monodromicity on the underlying constructible side (Virk, 22 Jul 2025).

For a vector bundle $E\to X$3 of rank $E\to X$4 with fiber coordinates $E\to X$5, the Euler vector field is $E\to X$6. A $E\to X$7-module $E\to X$8 is monodromic if locally it decomposes as

$E\to X$9

with $\mathcal{D}_E$0 nilpotent on $\mathcal{D}_E$1; a mixed Hodge module is monodromic when its underlying $\mathcal{D}_E$2-module is monodromic in this sense. For regular holonomic $\mathcal{D}_E$3-modules this algebraic definition matches cohomological local constancy along $\mathcal{D}_E$4-orbits on the perverse-sheaf side (Chen et al., 2021, Saito, 2022).

2. Nearby cycles, Milnor fibers, and limit mixed Hodge structures

The basic monodromic mixed Hodge module attached to a function $\mathcal{D}_E$5 is the nearby-cycle object $\mathcal{D}_E$6. For a polynomial $\mathcal{D}_E$7 with $\mathcal{D}_E$8, the object

$\mathcal{D}_E$9

carries a monodromy automorphism, and its fiber at the origin,

$\mathrm{MHM}(X,A)$0

has cohomology objects equal to the mixed Hodge structures on the Milnor fiber cohomology $\mathrm{MHM}(X,A)$1. On the $\mathrm{MHM}(X,A)$2-eigenspace, the underlying vector space is $\mathrm{MHM}(X,A)$3, and the nilpotent logarithm of the unipotent part of monodromy defines the monodromy filtration (Saito, 2017).

For isolated hypersurface singularities, the classical theorem of Steenbrink identifies the weight filtration on $\mathrm{MHM}(X,A)$4 with the relative monodromy filtration centered at $\mathrm{MHM}(X,A)$5 for $\mathrm{MHM}(X,A)$6 and at $\mathrm{MHM}(X,A)$7 for $\mathrm{MHM}(X,A)$8. In the non-isolated case this identification fails in general, but for a non-degenerate polynomial at $\mathrm{MHM}(X,A)$9 and for eigenvalues outside the finite set $\mathrm{MHW}(X,A)$0 determined by extremal faces of the Newton polyhedron, the reduced cohomology of the Milnor fiber is concentrated in degree $\mathrm{MHW}(X,A)$1, and the induced filtration on $\mathrm{MHW}(X,A)$2 coincides with the monodromy filtration centered at $\mathrm{MHW}(X,A)$3 (Saito, 2017).

The same picture governs degenerating families over a punctured disk. Nearby cycles $\mathrm{MHW}(X,A)$4 and vanishing cycles $\mathrm{MHW}(X,A)$5 recover the Milnor cohomology of a family $\mathrm{MHW}(X,A)$6, and the limit mixed Hodge structure is the mixed Hodge structure on the nearby-cycle object together with its quasi-unipotent monodromy. In motivic form, the motivic Milnor fiber $\mathrm{MHW}(X,A)$7 or the motivic nearby fiber of a family has Hodge realization equal to the alternating sum of the cohomology of the nearby-cycle mixed Hodge module, so the motivic and Hodge-theoretic descriptions are two presentations of the same monodromic object (Saito et al., 2016, Takeuchi, 2023).

3. Filtrations, specialization, and local structure

For monodromic $\mathrm{MHW}(X,A)$8-modules on a vector bundle, the Kashiwara–Malgrange $\mathrm{MHW}(X,A)$9-filtration along the zero section becomes especially simple: $g$0 This identifies nearby and vanishing cycles with Euler-eigenspace data and turns the $g$1-filtration into an explicit monodromic decomposition. In this setting the Hodge filtration is compatible with the decomposition,

$g$2

and the weight filtration is the relative monodromy filtration for the global nilpotent operator assembled from the generalized eigenspaces. In the pure case each generalized eigenspace is in fact an honest eigenspace (Chen et al., 2021).

The interaction of $g$3-filtration and Hodge filtration also controls restriction functors. For a closed immersion $g$4 of smooth varieties, Chen–Dirks construct Koszul-type complexes $g$5 and $g$6 from the $g$7-filtration and prove that they compute $g$8 and $g$9, respectively, as mixed Hodge complexes. After specialization to the normal bundle $\varphi_{g,1}$0, the resulting object is monodromic, and the complexes $\varphi_{g,1}$1 and $\varphi_{g,1}$2 become explicit in terms of Euler-eigenspaces (Chen et al., 2021).

In the singularity-theoretic setting, an analogous localization phenomenon appears for nearby cycles. For a non-degenerate polynomial at $\varphi_{g,1}$3 and $\varphi_{g,1}$4, the natural morphism

$\varphi_{g,1}$5

is an isomorphism, and the same remains true on each weight truncation. This eliminates contributions from strata away from the origin on the $\varphi_{g,1}$6-part and is the key technical step behind both cohomological concentration and the identification of weight and monodromy filtrations for good eigenvalues (Saito, 2017).

4. Fourier–Sato and Fourier–Laplace transforms

For a vector bundle $\varphi_{g,1}$7 with dual $\varphi_{g,1}$8, the classical Fourier–Sato transform of a monodromic constructible complex can be written as

$\varphi_{g,1}$9

where $\mathrm{MHM}$0, $\mathrm{MHM}$1 is the evaluation pairing, and $\mathrm{MHM}$2 is the vanishing-cycle functor for the coordinate $\mathrm{MHM}$3 on $\mathrm{MHM}$4. This description lifts formally to mixed Hodge modules: for $\mathrm{MHM}$5 monodromic,

$\mathrm{MHM}$6

and one has

$\mathrm{MHM}$7

The transform is compatible with Verdier duality through

$\mathrm{MHM}$8

where $\mathrm{MHM}$9 (Virk, 22 Jul 2025).

On the $F,W,V$0-module side, monodromic Fourier–Laplace transform preserves monodromicity. If $F,W,V$1 is a monodromic mixed Hodge module on a vector bundle $F,W,V$2 of rank $F,W,V$3, then its Fourier–Laplace transform $F,W,V$4 is again monodromic, and the Euler decomposition transforms by

$F,W,V$5

More strongly, the Hodge filtration on a monodromic mixed Hodge module is compatible with the Euler decomposition before transform, and after transform one has the explicit formula

$F,W,V$6

The same transformed object also carries an irregular Hodge filtration, and for all integer indices this irregular filtration coincides with the Hodge filtration of the transformed mixed Hodge module (Saito, 2022).

These results admit a rank-one gluing description. For monodromic perverse sheaves or mixed Hodge modules on $F,W,V$7, nearby and vanishing cycles together with the canonical and variation morphisms define a quiver category, and Fourier transform acts by exchanging the nearby- and vanishing-cycle data. A plausible implication is that the categorical involutivity of Fourier transform in monodromic settings is best understood as a symmetry of the local monodromy package $F,W,V$8 rather than as a direct manipulation of filtered $F,W,V$9-modules (Virk, 22 Jul 2025).

5. Newton polyhedra, motivic Milnor fibers, and explicit monodromy

One of the most developed applications of monodromic mixed Hodge modules is the Newton-polyhedral analysis of Milnor fibers and degenerations. Denef–Loeser’s motivic Milnor fiber $\mathbb{C}^\ast$00 has the property that its equivariant Hodge realization recovers the equivariant Hodge–Deligne polynomial of the Milnor fiber: $\mathbb{C}^\ast$01 For non-degenerate singularities at the origin, this gives explicit formulas for $\mathbb{C}^\ast$02 in terms of compact faces of the Newton polyhedron, weighted limit mixed $\mathbb{C}^\ast$03-polynomials, and local $\mathbb{C}^\ast$04-polynomials. For $\mathbb{C}^\ast$05, these formulas acquire the symmetry expected from the equality of weight and monodromy filtrations and determine the Jordan normal form of the middle monodromy from the graded pieces of the weight filtration (Saito, 2017).

For schön families $\mathbb{C}^\ast$06, the motivic nearby fiber takes the explicit form

$\mathbb{C}^\ast$07

where $\mathbb{C}^\ast$08 is the projected upper-half Newton polyhedron, $\mathbb{C}^\ast$09 runs through cells of the induced subdivision, and each $\mathbb{C}^\ast$10 carries a canonical finite-order automorphism. The refined limit mixed Hodge polynomial $\mathbb{C}^\ast$11 is then expressed by weighted refined limit mixed $\mathbb{C}^\ast$12-polynomials. For eigenvalues outside the finite exceptional set determined by boundary faces, the limit mixed Hodge structure is concentrated in middle degree and pure of the expected weight, and Jordan block counts are obtained from local $\mathbb{C}^\ast$13-polynomials and their primitive decompositions (Saito et al., 2016).

A parallel local-and-global theory describes geometric monodromies of polynomials via nearby and vanishing cycles, together with equivariant mixed Hodge numbers of motivic Milnor fibers. In this language, the nearby-cycle mixed Hodge module $\mathbb{C}^\ast$14 decomposes into primitive pieces indexed by strata in a normal-crossing resolution, and Newton polyhedra control both the semisimple spectrum and the nilpotent Jordan data of monodromy. This yields explicit formulas for local monodromies, monodromy at infinity, and equivariant mixed Hodge numbers of motivic Milnor fibers in terms of faces, lattice distances, and combinatorial invariants of the relevant polyhedra (Takeuchi, 2023).

6. Specialized settings and applications

Monodromic mixed Hodge modules also organize several other research directions. For GKZ hypergeometric systems $\mathbb{C}^\ast$15, the Fourier–Laplace description via torus embeddings and Radon transforms shows that, for homogeneous $\mathbb{C}^\ast$16 and integral $\mathbb{C}^\ast$17 outside the strong resonance loci, the system underlies a mixed Hodge module. For rational $\mathbb{C}^\ast$18, $\mathbb{C}^\ast$19 is a direct summand of the $\mathbb{C}^\ast$20-module underlying a mixed Hodge module, and its underlying perverse sheaf therefore has quasi-unipotent local monodromy (Reichelt, 2012).

In the theory of Alexander modules attached to a morphism $\mathbb{C}^\ast$21 to an affine torus, the maximal Artinian submodule $\mathbb{C}^\ast$22 carries a natural mixed Hodge structure, the $\mathbb{C}^\ast$23-action is quasi-unipotent, and for any monodromy operator $\mathbb{C}^\ast$24 with $\mathbb{C}^\ast$25 unipotent,

$\mathbb{C}^\ast$26

is a morphism of mixed Hodge structures. This does not introduce a separate category of monodromic mixed Hodge modules, but it fits the same pattern: a mixed Hodge structure together with quasi-unipotent monodromy and a logarithm of Hodge type $\mathbb{C}^\ast$27 (Elduque et al., 2021).

For degenerations of compact hyperkähler manifolds, nearby cycles produce limit mixed Hodge structures in every degree. When the monodromy on $\mathbb{C}^\ast$28 is maximally unipotent, the limit mixed Hodge structures on all cohomology groups are of Hodge–Tate type, so the monodromic mixed Hodge module of nearby cycles has only Tate-type graded pieces in every degree (Soldatenkov, 2018). In toric geometry, mixed Hodge module techniques on the trivial Hodge module $\mathbb{C}^\ast$29 and its dual show that the singular cohomology of any proper toric variety is mixed of Hodge–Tate type, while the local cohomology sheaves of an affine toric variety inherit a detailed mixed Hodge module structure controlled by the stratification by torus orbits (Kim et al., 15 May 2025).

Taken together, these developments show that monodromic mixed Hodge modules are not a narrowly local construction but a unifying formalism for nearby-cycle phenomena, Euler-monodromic $\mathbb{C}^\ast$30-modules, Fourier transforms, Newton-polyhedral singularity theory, and cohomological structures with quasi-unipotent monodromy across singularity theory, toric geometry, and representation-theoretic $\mathbb{C}^\ast$31-module theory.