Batyrev's Jacobian Ring in Toric Geometry

• Batyrev’s Jacobian Ring is a finite-dimensional graded ring constructed from nondegenerate Laurent hypersurfaces, capturing key arithmetic and Hodge-theoretic invariants.
• It underpins the study of mixed Hodge structures by linking toric hypersurface cohomology with the combinatorics of Newton polytopes and toric compactifications.
• The ring plays a central role in mirror symmetry and Torelli-type problems, providing precise lattice-geometric criteria for infinitesimal variations of period maps.

Batyrev’s @@@@1@@@@ is a finite-dimensional graded ring constructed from a nondegenerate Laurent polynomial hypersurface in the algebraic torus, encoding deep arithmetic and Hodge-theoretic invariants associated to the hypersurface, the ambient Newton polytope, and their toric compactifications. This ring is central to the understanding of the mixed Hodge structure on the cohomology of thinned toric hypersurfaces, and it plays a foundational role in mirror symmetry and Torelli-type questions for Calabi–Yau and other hypersurfaces in toric varieties (Giesler, 25 Jan 2026).

1. Construction of the Jacobian Ring

Let $M \cong \mathbb{Z}^n$ and $N = \operatorname{Hom}(M,\mathbb{Z})$. Consider the torus $$T = \operatorname{Spec}\mathbb{C}[M] \cong (\mathbb{C}^*)^n$$. A Laurent polynomial

$$f(x) = \sum_{m \in M \cap \Delta} a_m x^m \in \mathbb{C}[x_1^{\pm 1}, \ldots, x_n^{\pm 1}]$$

defines a hypersurface $Z_f = \{ f = 0 \} \subset T$, with Newton polytope

$$\Delta = \operatorname{Conv} \{ m \in M \mid a_m \neq 0 \} \subset M_\mathbb{R}.$$

A polynomial $f$ is termed nondegenerate (or $\Delta$-regular) if, for every proper face $\Gamma \leq \Delta$, the system

$$f_\Gamma(x) = x_1 \frac{\partial f_\Gamma}{\partial x_1} = \cdots = x_n \frac{\partial f_\Gamma}{\partial x_n} = 0$$

admits no solution in $T$. Equivalently, consider

$$F(x_0, x) = x_0 f(x) - 1 \in \mathbb{C}[x_0, x_1^{\pm 1}, \ldots, x_n^{\pm 1}]$$

and its logarithmic derivatives $F_i(x_0, x) = x_i \frac{\partial F}{\partial x_i}$ for $i = 0, \ldots, n$. Then $F_0, \ldots, F_n$ are algebraically independent (i.e., form a regular sequence) in the positively graded subalgebra

$$S_\Delta = \bigoplus_{k \geq 0} S_\Delta^k \subset \mathbb{C}[x_0, x_1^{\pm 1}, \ldots, x_n^{\pm 1}], \ S_\Delta^k = \operatorname{Span}_\mathbb{C}\{ x_0^k x^m \mid m/k \in \Delta \}.$$

The Jacobian ideal is

$$J_{\Delta, f} = (F_0, \ldots, F_n) \subset S_\Delta,$$

and the Jacobian ring is defined as

$$R_f = S_\Delta / J_{\Delta, f}, \qquad R_f^k = S_\Delta^k / J_{\Delta, f}^k.$$

Batyrev [Bat93, Thm. 4.8] established that $R_f$ is finite-dimensional over $\mathbb{C}$ if and only if $f$ is nondegenerate, and $\dim_\mathbb{C} R_f^k$ depends only on $\Delta$, not the choice of $f$ (Giesler, 25 Jan 2026).

2. Structure of Graded Quotients and Interior Modules

Within $R_f$, the submodule of interior classes,

$$R_{\mathrm{Int},f} = R_f \cap \bigoplus_{k \geq 0} S_\Delta^{* k}, \qquad S_\Delta^{* k} = \operatorname{Span} \{ x_0^k x^m \mid m/k \in \operatorname{Int}(\Delta) \},$$

carries significant geometric meaning. Its $k$th graded piece, $R_{\mathrm{Int},f}^k$, is naturally identified with the vector space generated by (interior) lattice points of $k\Delta$, modulo relations derived from the Jacobian ideal.

Given $n+1$ faces $\Gamma_1,\ldots,\Gamma_{n+1} \leq \Delta$ with affinely independent inward normals, define for each facet $\Gamma$ the generator

$$g_\Gamma(f) = \sum_{m \in \Delta \cap M} a_m (\langle n_\Gamma, m \rangle - b_\Gamma) x_0 x^m = -b_\Gamma F_0 + \sum_{j=1}^n (n_\Gamma)_j F_j$$

where $n_\Gamma$ is the inward normal and $$b_\Gamma = -\min_{m \in \Delta} \langle n_\Gamma, m \rangle$$. For each $k$, let

$$L^*(k\Delta) = \operatorname{Span}_\mathbb{C}\{ x^m \mid m \in \operatorname{Int}(k\Delta) \cap M \},$$

and $U_{f,k}$ the span of all

$$g_{\Gamma_i}(f) x^v \quad (i = 1, \ldots, n+1,\ v \in \operatorname{Int}((k-1)\Delta) \cap M),$$

together with

$$g_\Gamma(f) x^v \quad (\Gamma \leq \Delta,\ v \in \operatorname{Int}((k-1)\Gamma) \cap M).$$

Proposition 3.3 (Giesler, 25 Jan 2026) gives

$R_{\mathrm{Int},f}^k \cong L^*(k\Delta) / U_{f,k}$

for $k = 1, \ldots, n+1$, and these generators are linearly independent for $k=2$.

3. Relation to Mixed Hodge Structures

The Jacobian ring provides a fundamental description of the mixed Hodge structure of the hypersurface cohomology. For the affine hypersurface $Z_f = \{ f = 0 \} \subset T$, the primitive part of the mixed Hodge structure on $H^{n-1}(Z_f, \mathbb{C})$ is identified with $R_f$, where the grading yields the Hodge filtration and a face stratification determines the weight filtration. Specifically ([Bat93, Prop. 9.2], (Giesler, 25 Jan 2026)): $$\mathrm{Gr}_F^p\, \mathrm{Gr}_W^{n-1} H^{n-1}(Z_f, \mathbb{C}) \cong R_{\mathrm{Int},f}^{n-p}.$$ For a smooth toric compactification $Y_f$ of $Z_f$, there is an isomorphism (up to boundary contribution) [Giesler, Thm. 5.3, (Giesler, 25 Jan 2026)]: $$H^p( Y_f, \Omega_{Y_f}^{n-1-p} ) \cong R_{\mathrm{Int},f}^{p+1}.$$

4. Period Maps and Infinitesimal Variations

Fixing a smooth point $f$ in the base $B$ of nondegenerate deformations, the period map,

$$\mathcal{P}_{B,f}: B \to \Gamma \backslash D, \quad f' \mapsto (F^{n-1} H^{n-1}(Y_{f'}), \ldots, F^1 H^{n-1}(Y_{f'}))$$

is holomorphic. Griffiths’ framework ensures its differential factors

$$T_{B,f} \xrightarrow{\kappa_f} H^1(Y_f, T_{Y_f}) \xrightarrow{\Phi_f} \bigoplus_{k=0}^{n-2} \operatorname{Hom} ( H^k(Y_f, \Omega^{n-1-k}),\ H^{k+1}(Y_f, \Omega^{n-2-k}) ).$$

Using the identifications $$H^k(Y_f, \Omega^{n-1-k}) \cong R_{\mathrm{Int},f}^{n-k}$$, one obtains linear maps

$$d\phi_f^k: T_{B,f} \to \operatorname{Hom}(R_{\mathrm{Int},f}^k, R_{\mathrm{Int},f}^{k+1})$$

for $k=1,\ldots,n-1$, through which the differential of the period map factors (Giesler, 25 Jan 2026).

5. The Kernel of the Period Map Differential

The kernel of $d\phi_f^k$ admits a closed-form, lattice-geometric description. Giesler [Thm. 8.7, (Giesler, 25 Jan 2026)] established that, modulo torus symmetries, $\ker(d\phi_f^k)$ is generated by lattice–Jacobian derivations emanating from facet relations: $$\ker(d\phi_f^k) = \operatorname{Span}_\mathbb{C} \left\{ g_\Gamma(f) x^w \in R_f^1 \,\Big|\, \Gamma \leq \Delta \text{ facet},\ \forall v \in \operatorname{Int}(k\Delta) \cap M : w+v \in \operatorname{Int}((k+1)\Delta \cup (k+1)\Gamma) \right\}.$$ Notably, $\ker(d\phi_f^k)$ is independent of $k \geq 1$. When coupled with the surjectivity of the Kodaira–Spencer map (as for projective hypersurfaces of degree $\geq n+2$ in $\mathbb{P}^n$), this yields the infinitesimal Torelli theorem in those contexts.

6. Applications: Mirror Symmetry, Torelli Problems, and Further Developments

Batyrev introduced $R_f$ to compute mixed Hodge numbers for affine hypersurfaces in tori and their toric compactifications. For Calabi–Yau hypersurfaces associated to reflexive polytopes, he demonstrated that Poincaré duality in $R_f$ and the combinatorial reciprocity of lattice polytopes produce the mirror-symmetry of Hodge numbers between dual polytopes $X_\Delta \subset \mathbb{P}_\Delta$ and $X_{\Delta^*} \subset \mathbb{P}_{\Delta^*}$. Giesler (Giesler, 25 Jan 2026) further refines the structure of $R_{\mathrm{Int},f}^k$, adapts bases to the face structure of $\Delta$, and computes the kernel of the period map differential explicitly, providing new lattice-geometric proofs of infinitesimal Torelli for high-degree projective hypersurfaces, as well as criteria for failures of Torelli in certain toric settings—such as K3 or Todorov surfaces in toric threefolds when $\operatorname{Int}(\Delta) \cap M$ is planar.

Together, these developments establish Batyrev’s Jacobian ring as a central object connecting the combinatorics of Newton polytopes with the variation of Hodge structure, facilitating computations in mirror symmetry and yielding precise geometric criteria for Torelli-type phenomena (Giesler, 25 Jan 2026).