Jacobi Ring in Algebraic Geometry

• Jacobi Ring is an algebraic invariant defined as the quotient of a polynomial ring by its Jacobian ideal, encoding local deformation data.
• It determines the Milnor number, a key metric quantifying the topological complexity of isolated hypersurface singularities.
• Jacobi rings also play a significant role in graded Hodge theory and categorical geometry, linking algebraic methods to mirror symmetry and quantum cohomology.

The Jacobi ring is a foundational construct in algebraic geometry and singularity theory, arising as an algebraic invariant associated with an isolated hypersurface singularity or, more abstractly, with the critical locus of a function. It serves as an algebraic model for the infinitesimal deformations of critical points, appears in Hodge theory, mirror symmetry, and categorical geometry (notably for Landau–Ginzburg models and their derived or Fukaya-type categories), and often encodes essential data such as primitive cohomology, period maps, and deformation spaces.

1. Definition and Algebraic Structure

Let $f \in k[x_1, \dots, x_n]$ be a polynomial (or holomorphic function) defining a hypersurface $V \subset \mathbb{A}^n_k$, typically with an isolated critical point at the origin (i.e., $\nabla f = 0$ has only $0$ as a solution in a small neighborhood). The Jacobi ring (also called the Milnor ring) $J_f$ is the quotient

$$J_f = \frac{k[x_1, \dots, x_n]}{(\partial f/\partial x_1, \ldots, \partial f/\partial x_n)}$$

where $$(\partial f/\partial x_1, \ldots, \partial f/\partial x_n)$$ is the Jacobian ideal generated by the partial derivatives of $f$. Algebraically, $J_f$ is a finite-dimensional $k$-vector space when the critical point is isolated, whose dimension equals the Milnor number of the singularity.

For more general settings, the Jacobi ring can be defined for a function $f$ on a smooth variety $X$ as the sheaf of algebras

$\mathcal{O}_X / (\mathrm{d}f),$

where $(\mathrm{d}f)$ denotes the ideal sheaf generated by the differential of $f$.

2. Role in Singularity Theory and Hodge Theory

The Jacobi ring provides the algebraic underpinning for the study of deformations of isolated singularities. It underlies the Milnor fibration, determines the base of the semiuniversal deformation space, and has natural connections to the vanishing cohomology associated with $f$. The dimension $\mu = \dim_k J_f$ is the Milnor number, which counts the number of vanishing cycles and measures the topological complexity of the singularity.

In the context of Hodge theory, especially for Calabi–Yau hypersurfaces (e.g., in mirror symmetry), the cohomology with primitive classes is expressed, via the Jacobian ring structure, as the graded pieces of $J_f$ (after suitable grading adjustments if $f$ is homogeneous). For example, in the case of a smooth hypersurface $X$ in projective space of degree $d$, the primitive middle cohomology can be identified with the degree-$k$ piece of the Jacobi ring of the defining polynomial, with $k$ depending on $d$ and $n$.

3. Connections with Mirror Symmetry

The Jacobi ring is central in Batyrev–Givental's mirror symmetry framework for Calabi–Yau hypersurfaces in toric varieties. On the "A-model" side, it manifests in quantum cohomology; on the "B-model" side, through variations of Hodge structures, it appears as the deformation ring of complex structures. Explicitly, the Landau–Ginzburg B-model attached to a function $f$ has as its stringy cohomology the Jacobi ring $J_f$.

This correspondence is operationalized in various settings, including the study of central charges, period integrals, and the explicit calculation of Yukawa couplings, reflecting the algebraic structure of $J_f$ in enumerative invariants of the mirror.

4. Graded and Weighted Jacobi Rings

For a quasihomogeneous function $f$ of weighted degree $d$ with weights $\mathbf{w} = (w_1, \dots, w_n)$, the Jacobi ring is naturally graded: $J_f = \bigoplus_{k\ge0} (J_f)_k,$ where $(J_f)_k$ is the image of homogeneous polynomials of (weighted) degree $k$. This grading encodes the Hodge structure on the primitive cohomology. In applications to the geometry of Fano and Calabi–Yau varieties (e.g., Gushel–Mukai and related varieties), the graded Jacobi ring plays a key technical role in defining the Mukai lattice and extracting periods from categorical data (Bayer et al., 2022).

5. Categorical Geometry, Periods, and Torelli Theorems

Recent advances in categorical approaches to geometry—particularly in the context of Kuznetsov components, K3 categories, and noncommutative motives—leverage analogs of the Jacobi ring to define "Mukai Hodge structures" for noncommutative spaces (Bayer et al., 2022). For a Calabi–Yau or 2-Calabi–Yau category $\mathcal{A}$, certain algebraic cycles or periodic cyclic homology groups play the role of categorical periods, with the Jacobi ring structure controlling the deformation and period maps.

For instance, in the theory of Gushel–Mukai threefolds, categorical Torelli-type statements compare the Mukai Hodge structure of the Kuznetsov component to the classical intermediate Jacobian, with the Jacobi ring providing the algebraic model for periods and their invariants. This framework enables the extraction of birational and derived equivalences from the structure of the associated Jacobi ring (Bayer et al., 2022).

6. Further Applications and Generalizations

Beyond hypersurface singularities, the notion of Jacobi ring generalizes to complete intersections (via Koszul complexes), singularity categories, and, in the noncommutative setting, to categories associated to potentials or matrix factorizations. In these contexts, the Jacobi ring governs the deformation theory, Hochschild homology, and the arithmetic of categories of singularities.

Sophisticated techniques in enhanced group actions and deformation theory for derived categories often make use of various incarnations of the Jacobi ring for obstruction theory and for understanding group actions on categories via their action on the associated deformation rings (Bayer et al., 2022). Such techniques are central in modern approaches to questions of derived and birational (non-)equivalence.

7. Summary Table: Main Features

Context	Role of Jacobi Ring	Invariant Encoded
Singularity Theory	Deformation base, Milnor number	$\mu = \dim J_f$
Hodge Theory	Primitive cohomology of hypersurfaces	Graded pieces of $J_f$
Mirror Symmetry	Stringy cohomology, deformation ring	Periods, Yukawa couplings
Categorical Geometry	Mukai Hodge structure, periods in noncommutative K3s	Categorical period invariants

The Jacobi ring thus serves as a central algebraic invariant encoding the infinitesimal and global geometry of singularities, periods, and categorical models, and provides the essential bridge between algebraic, topological, and categorical data in modern algebraic geometry and mirror symmetry (Bayer et al., 2022).