Jacobian Rings in Infinitesimal Hodge Theory

• Jacobian rings are algebraic structures that capture first-order deformations in Hodge structures, key for studying smooth and singular hypersurfaces.
• They are constructed using classical and logarithmic techniques, where residue theory and logarithmic vector fields differentiate effective from trivial deformations.
• The multiplicative structure of Jacobian rings controls the infinitesimal variation of Hodge structures, underpinning period maps and Torelli-type results.

Jacobian rings are fundamental algebraic structures governing the deformation theory and infinitesimal variation of Hodge structure (IVHS) for algebraic varieties, especially projective hypersurfaces and their generalizations. Within infinitesimal Hodge theory, the Jacobian ring encapsulates the action of tangent directions (first-order deformations) on the Hodge structure via explicit algebraic multiplication, with logarithmic geometry identifying the trivial deformation directions, residue theory realizing cohomological classes, and generalizations extending to singular, equisingular, and open settings.

1. Construction of Jacobian Rings in Classical and Logarithmic Settings

The classical Jacobian ring for a smooth degree-$d$ hypersurface $X=\{f=0\}\subset\mathbb{P}^n$ defined by a homogeneous polynomial $f\in\mathbb{C}[x_0,\ldots,x_n]$ is given by

$$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$

with grading inherited from the polynomial ring. For singular hypersurfaces or for families with equisingular deformations, the appropriate object is an equisingular Jacobian ring, where the Jacobian ideal is replaced by an ideal $I_{\mathrm{eq}}$ of polynomials yielding perturbations that preserve the designated singularities; $R_f^{\mathrm{eq}} = I_{\mathrm{eq}}/(\partial f_i)$, working in graded pieces of the prescribed degree.

Logarithmic geometry further generalizes this setting by introducing the sheaf of logarithmic vector fields $T_X(-\log D)$, defined for a divisor $D$ as vector fields $\theta$ satisfying $\theta(f_i) \in (f_1,\ldots,f_r)$. These logarithmic vector fields encode infinitesimal automorphisms preserving the divisor, which act trivially on the relevant Hodge structures and hence correspond to "invisible" or trivial deformations in the context of IVHS (Nisse, 20 Jan 2026).

2. Cohomological Realization and the Role of Residues

The cohomological underpinnings of the Jacobian ring in Hodge theory are mediated by the theory of residues. For hypersurfaces, there is an exact sequence

$X=\{f=0\}\subset\mathbb{P}^n$0

which, under vanishing conditions such as $X=\{f=0\}\subset\mathbb{P}^n$1, induces surjective residue maps on global sections. For example, $X=\{f=0\}\subset\mathbb{P}^n$2. The residue construction, when applied to meromorphic forms $X=\{f=0\}\subset\mathbb{P}^n$3, produces regular forms on the normalization of $X=\{f=0\}\subset\mathbb{P}^n$4. In the context of IVHS, deformations of $X=\{f=0\}\subset\mathbb{P}^n$5 by $X=\{f=0\}\subset\mathbb{P}^n$6 induce, via this residue calculus, an explicit map on period integrals: $X=\{f=0\}\subset\mathbb{P}^n$7 These maps are algebraically described by multiplication in the Jacobian ring, and formalize the realization of IVHS as ring multiplication: $X=\{f=0\}\subset\mathbb{P}^n$8 with the effective directions precisely those represented by quotients of $X=\{f=0\}\subset\mathbb{P}^n$9 (Nisse, 20 Jan 2026).

3. Infinitesimal Variation of Hodge Structure and Multiplicative Structure

Infinitesimal variations of the Hodge structure are governed by the Kodaira–Spencer map, realized in the Jacobian ring via ring multiplication. For smooth hypersurfaces,

$f\in\mathbb{C}[x_0,\ldots,x_n]$0

is implemented as multiplication by an element $f\in\mathbb{C}[x_0,\ldots,x_n]$1. Explicitly,

$f\in\mathbb{C}[x_0,\ldots,x_n]$2

where $f\in\mathbb{C}[x_0,\ldots,x_n]$3 represents a cohomology class under the Griffiths residue isomorphism (Allaud, 2020).

Logarithmic geometry ensures that only nontrivial directions—those not arising from log vector fields—represent true deformations of the Hodge structure, with trivial directions acting by exact forms via residues. Thus, the quotient structure of the Jacobian ring precisely captures the effective IVHS: $f\in\mathbb{C}[x_0,\ldots,x_n]$4 A similar formalism holds for generalized Jacobian rings in the case of complete intersections and open varieties, with corresponding results by Asakura–Saito and Fatighenti–Mongardi (Fatighenti et al., 2018, Aguilar, 16 Jan 2026).

4. Extensions to Singular, Toric, and Logarithmic Settings

For singular hypersurfaces, the local cohomology of the Jacobian ring, particularly the 0-th module $f\in\mathbb{C}[x_0,\ldots,x_n]$5, encapsulates self-duality, Torelli-type properties, and a correspondence with logarithmic derivations. In these cases, $f\in\mathbb{C}[x_0,\ldots,x_n]$6, allowing the extension of Griffiths' theory and IVHS multiplicative description to hypersurfaces with isolated singularities (Sernesi, 2013).

Generalizations to toric and open settings replace the classical Jacobian ring with combinatorial or bigraded analogues. In the toric context, for a nondegenerate Laurent polynomial $f\in\mathbb{C}[x_0,\ldots,x_n]$7 with Newton polytope $f\in\mathbb{C}[x_0,\ldots,x_n]$8, the Batyrev Jacobian ring $f\in\mathbb{C}[x_0,\ldots,x_n]$9 and its graded pieces encode the mixed Hodge structure on toric hypersurfaces, with the period map and its derivative corresponding to multiplication in $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$0. Injectivity of the period map relates directly to support-theoretic properties of the Jacobian generators (Giesler, 25 Jan 2026).

For open or logarithmic settings, the Asakura–Saito Jacobian ring $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$1 is constructed from the bigraded algebra $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$2 associated to smooth hypersurfaces $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$3 and divisors $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$4, with Jacobian generators derived from $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$5. The isomorphism theorem identifies graded pieces of these rings with primitive cohomology groups with logarithmic coefficients, and IVHS with multiplication in $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$6 (Aguilar, 16 Jan 2026).

5. Explicit Formulas and Worked Examples

The identification between Jacobian rings and Hodge-theoretic invariants is computationally explicit. For plane curves $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$7 of degree $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$8 in $$R_f = \frac{\mathbb{C}[x_0,\ldots,x_n]}{(\partial f/\partial x_0,\,\ldots,\,\partial f/\partial x_n)},$$9: $I_{\mathrm{eq}}$0 with equisingular deformations $I_{\mathrm{eq}}$1 acting via $I_{\mathrm{eq}}$2 on classes $I_{\mathrm{eq}}$3 (Nisse, 20 Jan 2026). For Calabi–Yau hypersurfaces of degree $I_{\mathrm{eq}}$4 in $I_{\mathrm{eq}}$5: $I_{\mathrm{eq}}$6

In the case of Grassmannian complete intersections, the "Griffiths-type" ring $I_{\mathrm{eq}}$7 is constructed from the Plücker ring and auxiliary variables, with ring multiplication governing the IVHS and the cohomological identifications realized via graded pieces $I_{\mathrm{eq}}$8 (Fatighenti et al., 2018). The explicit Hilbert–Poincaré series directly count Hodge numbers for specific cases.

6. Comparison with Classical Approaches and Conceptual Advances

The classical approach of Griffiths, and subsequent extensions by Green and Voisin, identifies the primitive cohomology of a smooth hypersurface with graded components of the Jacobian ring and the IVHS with ring multiplication. The logarithmic geometric framework unifies and extends these results by:

• Providing a conceptual explanation for the role of trivial directions (logarithmic vector fields) as the kernel of IVHS;
• Systematizing the use of residue calculus for both smooth and singular cases;
• Implementing a uniform quotienting process to isolate effective deformations across different geometric contexts (Nisse, 20 Jan 2026).

The resulting framework not only recovers the known results for smooth hypersurfaces but also yields new applications for singular, equisingular, open, and toric settings, directly connecting deformation theory, period maps, and Hodge-theoretic variations to explicit algebraic structures.

7. Applications and Theoretical Implications

The intimate connection between Jacobian rings and the infinitesimal period map leads to several concrete applications:

• Explicit determination of Hodge loci and their infinitesimal structure;
• Computability of Hodge numbers and infinitesimal invariants via ring-theoretic algorithms;
• Exact criteria for Torelli-type theorems, where injectivity of the period map corresponds to the vanishing of certain ring kernel generators (Giesler, 25 Jan 2026);
• Extension of Nori's connectivity theorem and the study of properness of Hodge loci for open hypersurfaces, mediated by vanishing and multiplication properties in bigraded Jacobian rings (Aguilar, 16 Jan 2026);
• Realization of higher-order variation (such as the second fundamental form) and the derivation of new systems of partial differential equations for period maps, all encoded in the multiplicative structure of the Jacobian ring (Allaud, 2020).

In summary, the Jacobian ring, viewed through the lens of infinitesimal Hodge theory and logarithmic geometry, serves as a central algebraic object encoding deformation-theoretic, cohomological, and period-theoretic data for a wide class of algebraic varieties (Nisse, 20 Jan 2026, Sernesi, 2013, Fatighenti et al., 2018, Aguilar, 16 Jan 2026, Giesler, 25 Jan 2026, Allaud, 2020).