pith. sign in

arxiv: 2601.17765 · v3 · pith:DB6COVSQnew · submitted 2026-01-25 · 🧮 math.AG

Jacobian rings and the infinitesimal Torelli Theorem

Julius Giesler This is my paper

Pith reviewed 2026-05-21 15:12 UTC · model grok-4.3

classification 🧮 math.AG
keywords Jacobian ringsinfinitesimal Torelli theoremperiod mapKodaira-Spencer mapnondegenerate hypersurfacesLaurent polynomialsmixed Hodge structurestorus hypersurfaces
0
0 comments X

The pith

Laurent polynomials compute the kernel of the period map differential for explicit deformations of nondegenerate hypersurfaces, completing the infinitesimal Torelli theorem in dimensions four and higher.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper works with Jacobian rings of nondegenerate hypersurfaces inside the torus and shows that one mixed Hodge component equals a quotient vector space coming from lattice geometry. It introduces a period map for these objects and gives an explicit description of the kernel of its differential in terms of Laurent polynomials. The central application uses this description to study the kernel of the associated cohomological map on explicit deformations and then handles the remaining cokernel of the Kodaira-Spencer map, thereby finishing the infinitesimal Torelli theorem when the ambient dimension is at least four. A reader would care because the result supplies concrete algebraic expressions that decide injectivity of the period map for these families, which directly controls how the moduli space of such hypersurfaces embeds into the period domain.

Core claim

For explicit deformations of nondegenerate hypersurfaces in the torus the kernel of the differential of the period map is computed explicitly via certain Laurent polynomials; this computation determines the kernel of the cohomological map and, together with an analysis of the cokernel of the Kodaira-Spencer map, completes the infinitesimal Torelli theorem in dimensions n greater than or equal to four.

What carries the argument

The Jacobian ring of the hypersurface, which identifies a mixed Hodge component with a lattice-geometric quotient vector space and supplies the Laurent polynomials that compute the kernel of the period-map differential.

If this is right

  • The infinitesimal Torelli theorem holds for the given families of explicit deformations when n is at least four.
  • The kernel of the cohomological map attached to these deformations is given by an explicit vector space of Laurent polynomials.
  • The cokernel of the Kodaira-Spencer map can be handled directly once the kernel is known, finishing the proof of injectivity of the period map.
  • Previous partial results on the period map for hypersurfaces in the torus are extended by the explicit kernel formula.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same Laurent-polynomial technique could be tested on deformations of hypersurfaces in other toric varieties to see whether the infinitesimal Torelli statement extends beyond the present setting.
  • The explicit description of the kernel supplies a computational test that might be applied to small-degree examples to verify the theorem in concrete cases.
  • The link between the Jacobian ring and the lattice quotient suggests a possible dictionary between algebraic and geometric data that could be explored in related Torelli-type questions for Calabi-Yau hypersurfaces.

Load-bearing premise

The hypersurfaces are nondegenerate and the deformations are explicit, so that the kernel of the period-map differential can be read off directly from Laurent polynomials.

What would settle it

An explicit nondegenerate hypersurface deformation in dimension four for which the cokernel of the Kodaira-Spencer map remains nonzero after the Laurent-polynomial kernel computation would show that the infinitesimal Torelli theorem is not completed in the claimed way.

read the original abstract

In this article we deal with jacobian rings and identify a mixed Hodge component of a nondegenerate hypersurface in the torus with a lattice geometric quotient vector space. We introduce a period map, study its differential and compute the kernel of the differential much explicitly via certain Laurent polynomials. As a main application we deal with the infinitesimal Torelli theorem (ITT) for such explicit deformations. We study the kernel of the cohomological map for explicit deformations and complete the ITT by dealing with the remaining part $\coker(\kappa_{\mathbb{P},f})$ (cokernel of the Kodaira-Spencer map) in dimensions $n \geq 4$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript identifies a mixed Hodge component of a nondegenerate hypersurface in the torus with a lattice geometric quotient vector space via Jacobian rings. It introduces a period map, computes the kernel of its differential explicitly using Laurent polynomials, and applies this to the infinitesimal Torelli theorem by studying the kernel of the cohomological map for explicit deformations and addressing the cokernel of the Kodaira-Spencer map κ_{P,f} in dimensions n ≥ 4.

Significance. If the explicit kernel computation and cokernel handling hold, the work supplies concrete Laurent-polynomial representatives that make the differential of the period map verifiable in this setting. This strengthens the connection between Jacobian rings, mixed Hodge structures, and deformation theory for hypersurfaces in tori, offering a pathway to check infinitesimal Torelli statements directly rather than abstractly.

major comments (2)
  1. [mixed Hodge identification and period map differential] The identification of the mixed Hodge component with the lattice geometric quotient (abstract and main application section) represents classes by Laurent polynomials. It is unclear whether these representatives are shown to be exhaustive, i.e., whether all cohomology classes in the relevant filtration piece are captured without missing relations or shifts in the Hodge filtration that would alter the dimension of coker(κ_{P,f}) for n ≥ 4. A concrete check that the nondegeneracy condition and torus embedding guarantee completeness is needed to support the injectivity conclusion.
  2. [application to infinitesimal Torelli theorem] In the completion of the ITT (main application), the kernel of the cohomological map is computed explicitly, after which the remaining coker(κ_{P,f}) is treated for n ≥ 4. The argument would be strengthened by an explicit verification that the Laurent-polynomial basis does not introduce filtration shifts or additional relations that affect the cokernel dimension uniformly across the stated range of dimensions.
minor comments (1)
  1. Notation for the period map and the map κ_{P,f} should be introduced with a single consistent definition before the kernel computation is stated.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments, which help clarify the presentation of our results on Jacobian rings and the infinitesimal Torelli theorem. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [mixed Hodge identification and period map differential] The identification of the mixed Hodge component with the lattice geometric quotient (abstract and main application section) represents classes by Laurent polynomials. It is unclear whether these representatives are shown to be exhaustive, i.e., whether all cohomology classes in the relevant filtration piece are captured without missing relations or shifts in the Hodge filtration that would alter the dimension of coker(κ_{P,f}) for n ≥ 4. A concrete check that the nondegeneracy condition and torus embedding guarantee completeness is needed to support the injectivity conclusion.

    Authors: The identification proceeds from the standard isomorphism between the Jacobian ring of the nondegenerate hypersurface and the primitive part of the cohomology, which supplies a complete set of representatives by construction. The Laurent polynomials are selected precisely to span the graded pieces of the mixed Hodge structure corresponding to the lattice quotient. Nondegeneracy of the hypersurface, together with the torus embedding, ensures that the pole-order filtration coincides with the Hodge filtration without shifts, as the weighted homogeneous equation fixes the degrees. Consequently, the dimension of coker(κ_{P,f}) for n ≥ 4 is unaffected by additional relations. We will add a short paragraph in the main application section that explicitly compares the dimension of the spanned space with the known Hodge numbers to confirm exhaustiveness. revision: yes

  2. Referee: [application to infinitesimal Torelli theorem] In the completion of the ITT (main application), the kernel of the cohomological map is computed explicitly, after which the remaining coker(κ_{P,f}) is treated for n ≥ 4. The argument would be strengthened by an explicit verification that the Laurent-polynomial basis does not introduce filtration shifts or additional relations that affect the cokernel dimension uniformly across the stated range of dimensions.

    Authors: The kernel computation is carried out degree-by-degree on the Laurent polynomial representatives, establishing injectivity of the cohomological map in the relevant range. The cokernel dimension for n ≥ 4 is then obtained by subtracting this image from the dimension of the deformation space, which matches the independent count from the Kodaira-Spencer map. Because the basis respects the weighted grading, no filtration shifts or extra relations appear uniformly for n ≥ 4. We agree that a dedicated verification would improve clarity and will insert a brief lemma confirming the graded dimension equality across the range. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations rely on explicit computations from Jacobian rings and Laurent polynomial representatives.

full rationale

The paper's central steps consist of identifying a mixed Hodge component of a nondegenerate hypersurface in the torus with a lattice geometric quotient vector space, introducing a period map, and computing the kernel of its differential explicitly via certain Laurent polynomials for explicit deformations. These are presented as direct, first-principles calculations from the definitions of the Jacobian ring and the nondegeneracy condition, without any reduction of the kernel computation or the subsequent handling of coker(κ_{P,f}) to fitted inputs, self-definitional loops, or load-bearing self-citations. The completion of the infinitesimal Torelli theorem for n ≥ 4 follows from studying this kernel on explicit deformations, which remains independent of the target injectivity statement. No equations or claims reduce the main result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard background from Hodge theory and Jacobian rings for hypersurfaces; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)
  • standard math Standard properties of Jacobian rings and mixed Hodge structures on hypersurfaces
    Used to identify the mixed Hodge component with a lattice quotient.

pith-pipeline@v0.9.0 · 5623 in / 1241 out tokens · 57350 ms · 2026-05-21T15:12:27.111345+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.