Infinitesimal Torelli Theorem

Updated 1 February 2026

Infinitesimal Torelli theorem is a fundamental result that establishes the injectivity of the period map’s differential, linking deformations to variations in Hodge structure.
It is demonstrated through algebraic methods such as the construction of Jacobi rings and multiplication maps in settings like weighted complete intersections and Fano varieties.
The theorem’s implications extend to diverse frameworks including toric and abelian varieties, as well as categorical settings, guiding the study of moduli and deformation theory.

The infinitesimal Torelli theorem is a fundamental result in algebraic geometry concerning the injectivity of the differential of the period map for certain algebraic varieties, typically relating infinitesimal deformations of the variety to variations in its Hodge structure. The algebraic, Hodge-theoretic, and representation-theoretic understanding of this theorem has evolved considerably, with deep connections to the geometry of hypersurfaces, weighted complete intersections, Fano and Gushel-Mukai threefolds, and various classes of surfaces and curves.

1. Formulation of the Infinitesimal Torelli Theorem

Let $X$ be a smooth, compact complex algebraic variety, and let $\mathrm{Def}(X)$ denote its Kuranishi space, parameterizing first-order deformations. The period map

$\mathcal{P} : \mathrm{Def}(X) \to \mathcal{D}$

sends each point to its Hodge filtration (or a flag in the appropriate classifying space $\mathcal{D}$ ). The infinitesimal Torelli theorem asserts that the differential of this map at $X$ ,

$d\mathcal{P}_0: H^1(X, T_X) \longrightarrow \bigoplus_{p+q=n} \mathrm{Hom}\big(H^{p,q}(X), H^{p-1,q+1}(X)\big)$

is injective. Specifically, one often examines the induced map

$d\mathcal{P}_0: H^1(X,T_X) \longrightarrow \mathrm{Hom}(H^{n,0}(X), H^{n-1,1}(X)),$

and says infinitesimal Torelli holds if this map is injective. The geometric meaning is that any nontrivial first-order deformation changes the Hodge filtration of the middle cohomology, so the period map is an immersion at $X$ .

2. Algebraic Realization: Jacobian or Jacobi Rings

For hypersurfaces and complete intersections in (weighted) projective space, the infinitesimal Torelli map can be realized completely algebraically via the structure of the Jacobi ring. Let $X = V_+(f_1,\ldots,f_c) \subset \mathbb{P}(\boldsymbol{W})$ be a quasi-smooth weighted complete intersection, and let $R$ denote its bigraded Jacobi ring,

$R = \mathbb{C}[x_0, \dots, x_n, y_1, \dots, y_c] / \left( \frac{\partial F}{\partial x_i}, \frac{\partial F}{\partial y_j} \right),$

where $F(y,x) = \sum_{j=1}^c y_j f_j(x)$ encodes the equations of $X$ .

The cohomological pieces relevant for the Hodge structure, such as $H^1(X, T_X)$ , $H^{n-c-1,1}(X)$ , and $H^{n-c,0}(X)$ , are identified with suitable graded parts of $R$ ; the infinitesimal Torelli differential is explicitly the multiplication map

$dP: R_{1,0} \to \mathrm{Hom}(R_{p-1,-\nu}, R_{p,-\nu}),$

with $\nu = \sum W_i - \sum d_j$ . When this multiplication map is injective, infinitesimal Torelli holds for $X$ (Licht, 2022).

3. Applications and Examples: Weighted Complete Intersections, Fano and Gushel-Mukai Varieties

Quasi-Smooth Weighted Complete Intersections

For general quasi-smooth weighted complete intersections of dimension $n-c > 2$ , under suitable degree and dimension bounds to ensure vanishing theorems and spectral sequence degenerations, the infinitesimal Torelli theorem is proved by showing nondegeneracy of the above multiplication maps in the Jacobi ring (Licht, 2022).

Fano Threefolds of Hyperelliptic Type

A prominent example is the degree-4 hyperelliptic Fano threefold,

$X: \{z^2 = f_4(x_0,\dots,x_4),\ g_2(x) = 0\} \subset \mathbb{P}(1^5,2),$

where the entire relevant cohomology and the period differential are described in terms of graded pieces of the Jacobi ring. The action of the covering involution $\iota$ decomposes the cohomology and deformation spaces, and the Torelli map is proven to be injective when restricted to the $\iota$ -invariant part (Licht, 2022).

For special Gushel–Mukai threefolds, the period map splits into invariant and anti-invariant parts under the covering involution. Theorems in this context show that the invariant part injects, while the full kernel of the period map can be explicitly determined, providing a precise account of the infinitesimal variation of Hodge structures and the geometry of moduli fibers (Lin et al., 9 Jul 2025).

Analogous results hold for infinite chains of double covers in weighted projective space, where the Torelli property alternates with the dimension in Gushel-Mukai type towers, and the periodicity of Hodge structures is reflected in the structure of the relevant Jacobi rings (Fatighenti et al., 2016).

4. Generalizations: Singularities, Nodal Hypersurfaces, and Surfaces

Nodal Hypersurfaces

The infinitesimal Torelli theorem extends to nodal hypersurfaces (i.e., those with only ordinary double points as singularities) provided the degree is sufficiently large compared to the dimension. The proof adapts the syzygy vanishing for the Jacobian ideal and matches the Hodge-theoretic (mixed Hodge structure) and algebraic descriptions via residues: $\varphi: (S/J(f))_a \to \mathrm{Hom}((S/J(f))_{d-n-1}, (S/J(f))_{2d-n-1}),$ with injectivity established for odd $n\geq3$ or even $n\geq6$ and $d>n+1$ (Wang, 2017).

Regular Surfaces with Very Ample Canonical Bundle

For regular surfaces with ample canonical bundle and geometric genus $p_g \geq 4$ , the cup-product map

$\kappa_X: H^1(X, T_X) \rightarrow \mathrm{Hom}(H^0(X, K_X), H^1(X, \Omega^1_X))$

is injective, ensuring the infinitesimal Torelli property for surfaces of general type satisfying these conditions (Reider, 2014, Reider, 2018). The proof requires careful analysis of extensions of vector bundles and the role of global generation and quadratic normality in the canonical embedding.

Counterexamples have been constructed (e.g., the Hilbert scheme of bitangents to a general quartic surface) even in the presence of very ample canonical divisor and vanishing irregularity, showcasing that the Torelli property can fail due to subtle geometric reasons related to the existence of nontrivial extension classes (Corvaja et al., 2019).

5. Hodge-Theoretic and Categorical Approaches

The infinitesimal Torelli property is fundamentally about the variation of Hodge structure. In higher dimensions, especially for Fano varieties and Kuznetsov components, there is a close relationship between classical and so-called categorical infinitesimal Torelli theorems. One constructs a commutative diagram,

$H^1(X, T_X) \xrightarrow{\eta} HH^2(\mathcal{K}u(X)) \xrightarrow{\gamma} \mathrm{Hom}(H\Omega_{-1}(X), H\Omega_1(X))$

relating the classical period map differential, Hochschild cohomology of the Kuznetsov component, and polyvector field contractions. Categorical Torelli holds for large classes of prime Fano threefolds, confirming that the deformation theory of the Kuznetsov component detects the period variation entirely (Jacovskis et al., 2022).

In the toric and noncompact setting, infinitesimal Torelli can be phrased in terms of explicit combinatorial data from lattice polytopes and the Jacobian ring of Laurent polynomials; explicit kernel descriptions in terms of facet normals are available. Such approaches provide concrete criteria for Torelli properties of nondegenerate toric hypersurfaces (Giesler, 25 Jan 2026).

6. Extensions: Curves, Abelian, and Other Geometric Settings

Equisingular Plane Curves

Residue-calculus methods allow a unified proof of infinitesimal Torelli for equisingular plane curves and curves on higher-dimensional ambient varieties. The Kodaira–Spencer map becomes a multiplication in the ambient Jacobian ring, and maximal infinitesimal variation of Hodge structure persists for general equisingular members provided Lefschetz-type conditions hold for the adjoint linear systems (Nisse, 19 Jan 2026).

Gorenstein Curves

For irreducible Gorenstein curves, infinitesimal Torelli-type theorems hold for genus $\geq 3$ and non-hyperelliptic case, with failures in reducible or special configurations. This behavior is controlled cohomologically in terms of generalized divisors and adjoint forms (Rizzi et al., 2016).

Hypersurfaces in Abelian Varieties

Bloß establishes effective bounds for infinitesimal Torelli on smooth hypersurfaces in simple abelian varieties, reducing the question to the surjectivity of multiplication maps of sections in the associated line bundle. The threshold $h^0(A,L) > (\frac{g}{g-1})^g g!$ guarantees injectivity of the period map differential (Bloß, 2019).

Elliptic Surfaces

For minimal elliptic surfaces with nonconstant $j$ -invariant and Euler number at least 24, or constant $j$ -invariant and Euler number at least 72, infinitesimal Torelli holds. The Koszul cohomology approach provides new proofs and counterexamples based on the vanishing and surjectivity of certain multiplication maps among Jacobian sections (Kloosterman, 2020).

Summary Table: Key Realizations of the Infinitesimal Torelli Map

Setting	Realization of Differential	Torelli Criterion
Weighted Complete Intersections (Licht, 2022)	Multiplication in bigraded Jacobi ring	Injectivity of multiplication
Nodal Hypersurfaces (Wang, 2017)	Multiplication in graded Jacobian ring	Injectivity via syzygy/gradation vanishing
Surfaces (very ample $K_X$ ) (Reider, 2014)	Cup-product in deformation cohomology	Generically injective under positivity
Toric Hypersurfaces (Giesler, 25 Jan 2026)	Lattice geometry of toric Jacobi ring	Explicit kernel criteria by facets
Fano/Kuznetsov Categories (Jacovskis et al., 2022)	Hochschild cohomology/categorical period	Categorical map injective
Abelian Varieties (Bloß, 2019)	Surjectivity of section multiplication	Effective bound on dimension

In conclusion, the infinitesimal Torelli theorem forms a central bridge between deformation theory and Hodge theory, with its validity hinging on deep algebraic, Hodge-theoretic, and combinatorial structures. The spectrum of geometric settings in which it has been verified or found to fail illustrates the subtle interplay between the algebraic and transcendental invariants of algebraic varieties.