Infinitesimal Variations of Hodge Structure

• Infinitesimal variations of Hodge structure are first-order changes in the Hodge filtration that reveal how the complex structures of algebraic varieties deform.
• They extend classical Hodge theory into singular and mixed settings using tools like logarithmic geometry and residue calculus, with links to Jacobian rings.
• Concrete computations via the residue–Jacobian formalism and Lie-theoretic classifications enable rigorous analysis of period maps and Torelli-type properties.

The concept of infinitesimal variations of Hodge structure (IVHS) formalizes the behavior of the Hodge filtration under infinitesimal deformations of algebraic or analytic varieties. IVHS is central to the study of period maps, moduli spaces, Torelli-type theorems, and deformation theory. Modern approaches extend classical Hodge-theoretic constructions to singular, equisingular, and mixed settings, integrating tools from logarithmic geometry and residue theory. Fundamental links exist between IVHS and algebraic invariants such as Jacobian rings, and crucial applications appear in relating deformation-theoretic phenomena to explicit algebraic data.

1. Classical Framework: IVHS for Smooth Projective Families

For a smooth projective morphism π:𝒳→S with fibers X_s of dimension $n$, the primitive cohomology $H^n_{\mathrm{prim}}(X_s,\mathbb{C})$ admits a Hodge decomposition and filtration

$$H^n_{\mathrm{prim}}(X_s,\mathbb{C}) = \bigoplus_{p+q=n} H^{p,q}(X_s),\quad F^p = \bigoplus_{r\ge p} H^{r,n-r}(X_s).$$

The local system $R^n\pi_*\mathbb{C}$ is equipped with the Gauss–Manin connection

$$\nabla : \mathcal{O}_S \otimes R^n\pi_*\mathbb{C} \to \Omega_S^1 \otimes R^n\pi_*\mathbb{C}$$

satisfying Griffiths transversality: $\nabla(F^p) \subset \Omega^1_S \otimes F^{p-1}.$ First-order deformations are classified by the Kodaira–Spencer map: $$\mathrm{KS}_s: T_{S,s} \to H^1\left(X_s, T_{X_s}\right).$$ Composing with cup-product and contraction yields the infinitesimal period map

$$\Phi_s: T_{S,s} \to \bigoplus_{p+q=n} \operatorname{Hom}\left(H^{p,q}(X_s), H^{p-1,q+1}(X_s)\right),$$

whose injectivity equates to the infinitesimal Torelli property (Nisse, 20 Jan 2026).

2. Logarithmic Geometry and Singular/Equisingular Settings

Logarithmic geometry generalizes the analysis of IVHS to spaces with singularities or prescribed divisor structures. For a divisor $\mathcal{C} \subset V$, the sheaf of logarithmic differentials $\Omega^1_{V/S}(\log \mathcal{C})$ and its dual $T_{V/S}(-\log \mathcal{C})$ govern local structures and equisingular deformations. Logarithmic vector fields $\theta$ satisfy $\theta(f_i) \in (f_1,\dots, f_r)$ for defining equations $f_i$ of $\mathcal{C}$, encoding the directions in deformation space which preserve the singularity type.

For a family $X \to S$ with controlled singularities, the logarithmic Kodaira–Spencer class lives in $H^1(X, T_{X/S}(-\log \mathcal{D}))$. The Gauss–Manin connection and Griffiths transversality extend naturally to the log de Rham complex, and the period map can be realized in terms of residues: $$T_S \to \operatorname{Hom}\left(H^{n-1,0}(Y), H^{n-2,1}(Y)\right),$$ where $Y$ is the normalization of a singular divisor (Nisse, 20 Jan 2026).

3. Residue Calculus and Jacobian Ring Formalism

Residue theory provides a concrete identification between differential forms and cohomology via the Jacobian ring. For a hypersurface $X=\mathbb{P}^{n+1}, f(x)=0$, the Jacobian ring

$R(f) = \mathbb{C}[x_0,\dots,x_{n+1}]/(\partial f)$

has graded pieces encoding Hodge theory: $$H^{n,0}(Y) \cong R(f)_{d-(n+2)},\quad H^{n-1,1}(Y) \cong R(f)_{2d-(n+2)},$$ with the infinitesimal period map realized as multiplication in $R(f)$. First-order deformations $f \to f + \epsilon g$ yield

$$\delta\,\mathrm{Res}(H\Omega/f) = - \mathrm{Res}(Hg\Omega/f^2),$$

which in the ring-theoretic context is simply $[g]\cdot[H]$ (Nisse, 20 Jan 2026, Nisse, 19 Jan 2026, Allaud, 2020). For singular varieties, those directions parametrized by the equisingular Jacobian ideal act trivially on cohomology; effective directions correspond to the quotient by logarithmic vector fields.

4. Maximal IVHS and the Torelli Property

Maximal rank of the infinitesimal period map (maximal IVHS) signifies strong Torelli-type results and rigidity phenomena. For general plane curves of degree $d \geq 5$ with isolated planar singularities, the Kodaira–Spencer map

$$\rho_{\varphi}: H^0(C, N_{\varphi}) \longrightarrow H^1(C, T_C)$$

is injective, and the associated period map has full rank (Nisse, 19 Jan 2026). This maximal variation persists under equisingular constraints and generalizes to ample curves in surfaces, where the infinitesimal period map

$$\delta(\tau): H^0(C, L|_C) \to \operatorname{Hom}\left(H^0(C, \Omega^1_C), H^1(C, \mathcal{O}_C)\right)$$

has maximal rank $g(C) - q(S)$ for curves in $\mathbb{P}^1 \times \mathbb{P}^1$ (González-Alonso et al., 2024).

Strong Lefschetz properties of the Jacobian ring imply maximal IVHS in higher dimensions, with the cup-product and Yukawa coupling realizing the generalizations of IVHS

$$\kappa_n: \mathrm{Sym}^n H^1(X, T_X) \to \operatorname{Hom}\left(H^0(X, \Omega^n_X), H^n(X, \mathcal{O}_X)\right)$$

(Favale et al., 2021).

5. Generalization to Schubert Varieties and Lie-Theoretic Classification

In the homogeneous context, Schubert varieties provide a combinatorial and Lie-theoretic classification of IVHS. A Schubert variety $X_w \subset D$ is a variation of Hodge structure if and only if its root data satisfies $\Delta(w) \subset \Delta(g_1)$, where $g_1$ constitutes the directions specified by Griffiths transversality (Robles, 2012). The isotropy orbits of infinitesimal Schubert VHS span the space of all IVHS, and the dual Schubert cohomology classes form a basis of the invariant characteristic cohomology tied to the infinitesimal period relation.

Maximal Schubert VHS correspond to maximal elements under the Bruhat order and naturally enumerate all possible VHS and IVHS dimensions. Explicit decompositions via Plücker coordinates and Lie-algebra homology further organize the IVHS landscape.

6. Extensions: Mixed Hodge Structures and Infinitesimal Invariants

The extension to mixed Hodge structures (MHS) introduces additional depth to IVHS. A mixed Hodge structure $(V, W_\bullet, F^\bullet)$ supports infinitesimal variations through linear actions on both the Hodge and weight filtrations

$$T \otimes F^p \to F^{p-1},\quad T \otimes W_k \to W_k,$$

with rigorous cohomological invariants. Infinitesimal invariants of extension classes in MHS take values in the cohomology of the Hodge filtration complex: $$\delta e \in H^1(F^\bullet\operatorname{Hom}(C, A)),$$ and measure first-order variations of mixed extension data.

For pairs $(X, Y)$ with $X$ a Fano threefold and $Y$ a smooth anticanonical K3 surface, the infinitesimal period maps and extension invariants are explicitly computable and lead to generic Torelli-type results for the pair

$H^3(X \setminus Y)$

determining $(X, Y)$ (Aguilar et al., 2024).

7. Residue–Jacobian Recipes: Computation and Moduli Implications

Computation of IVHS via the residue–Jacobian formalism is effective across smooth, singular, and constrained families. The general recipe involves expressing holomorphic forms as residues, differentiating under perturbations of defining equations, and interpreting the resulting linear maps as multiplication in Jacobian-type rings. Generalizations cover complete intersection curves and hypersurfaces in various ambient spaces, with extensions to surface and threefold settings confirmed by cohomological and dimension-count arguments (Nisse, 20 Jan 2026, Nisse, 19 Jan 2026, González-Alonso et al., 2024).

Implications reach the structure of moduli spaces such as Severi varieties, modular invariants, and ensure that topological invariants associated to IVHS are universal and combinatorially classifiable. The residue calculus offers explicit computational pathways for period maps, ranks of deformation spaces, and identification of trivial versus effective deformation directions.

---

A central conclusion is that the structure and behavior of infinitesimal variations of Hodge structure are algebraizable in terms of residue theory and Jacobian rings, with logarithmic geometry canonically encoding trivial deformation directions and effecting unification of the Torelli and rigidity phenomena across a wide spectrum of varieties, both smooth and singular. These frameworks are substantiated and generalized in the recent systematic treatments (Nisse, 20 Jan 2026, Nisse, 19 Jan 2026, Allaud, 2020, Robles, 2012, González-Alonso et al., 2024, Favale et al., 2021), and (Aguilar et al., 2024).