---
title: 'Torelli Locus: Jacobians in Moduli Space'
url: https://www.emergentmind.com/topics/torelli-locus
type: topic
---

# Torelli Locus: Jacobians in Moduli Space

The **Torelli locus** is the subvariety of the moduli space \(A_g\) of principally polarized abelian varieties that is realized by Jacobians of curves. If \(M_g\) denotes the moduli space of smooth projective curves of genus \(g\), the Torelli map
\[
j\colon M_g\to A_g,\qquad [C]\mapsto [J(C)]
\]
or, in alternate notation, \(\tau_g\colon M_g\to A_g\), identifies curves with their principally polarized Jacobians. Several conventions coexist: the **open Torelli locus** is the image \(T_g^\circ=j(M_g)\), while the **closed Torelli locus** \(T_g\) is either its closure in \(A_g\) or, equivalently in the compact-type setting, the image of \(M_g^{ct}\), the moduli of stable curves of compact type [1112.0933] [2509.00998]. The subject lies at the intersection of the Torelli theorem, the Schottky problem, the geometry of special subvarieties of \(A_g\), and the arithmetic of Jacobians in positive characteristic [1809.06315].

## 1. Moduli-theoretic framework and basic geometry

For \(g\ge 2\), the basic dimensions are
\[
\dim A_g=\frac{g(g+1)}2,\qquad \dim M_g=3g-3.
\]
Hence the expected codimension of the open Torelli locus is
\[
\frac{g(g+1)}2-(3g-3)=\frac{(g-2)(g-3)}2.
\]
This has the familiar consequence that \(T_g=A_g\) for \(g\le 3\), while for \(g>3\) the Torelli locus is a proper subvariety [1112.0933] [2509.00998]. In this sense, the Torelli locus is the moduli-theoretic answer to the question “which principally polarized abelian varieties are Jacobians?”

Torelli’s theorem gives injectivity on geometric points: a smooth curve is determined by its principally polarized Jacobian [1112.0933] [2509.00998]. At the same time, the geometry of the map is subtler than pointwise injectivity. Outside the hyperelliptic locus, the Torelli map is an immersion in characteristic \(0\); along the hyperelliptic locus, ramification phenomena occur, and in positive characteristic the infinitesimal behavior depends sharply on the characteristic [1112.0933] [1911.02084].

The compact-type boundary is intrinsic to the closed Torelli locus. If \(C/S\) is a stable curve of compact type, then \(J_C=\operatorname{Pic}^0_{C/S}\) is again an abelian scheme with a canonical principal polarization, so the Torelli map extends from \(M_g\) to \(M_g^{ct}\) [1112.0933]. The closed Torelli locus therefore contains Jacobians of singular stable curves of compact type, and its boundary consists of decomposable principally polarized abelian varieties coming from products of Jacobians of the irreducible components [1112.0933] [2509.00998]. This boundary behavior already indicates that \(T_g\) is not merely the open Jacobian locus with a compactification attached ad hoc; it is a moduli-theoretically meaningful closure.

## 2. Local geometry and the second fundamental form

A central local invariant of the Torelli locus is the second fundamental form of the Torelli immersion into \(A_g\) equipped with the Siegel metric. For a non-hyperelliptic curve \(C\), one has
\[
T_{[C]}M_g\cong H^1(C,T_C),\qquad T_{[C]}^*M_g\cong H^0(C,2K_C),
\]
and
\[
T_{j([C])}A_g\cong S^2H^0(C,K_C)^*.
\]
Under these identifications, the transpose of the differential of the Torelli map is the multiplication map
\[
m:S^2H^0(C,K_C)\to H^0(C,2K_C),
\]
with kernel
\[
I_2(K_C)=\ker m,
\]
the space of quadrics containing the canonical image of \(C\) [1809.06315]. Thus the normal directions to the Torelli locus are canonically identified with quadrics in the canonical ideal.

Dualizing the second fundamental form yields a map
\[
\rho_x:I_2(K_C)\to S^2H^0(C,2K_C),
\]
which is the basic local differential-geometric object attached to the Torelli immersion [1809.06315]. A key structural result is that, for \(S=C\times C\) and diagonal \(\Delta\subset S\),
\[
I_2(K_C)=H^0\bigl(S,K_S(-2\Delta)\bigr)^-,
\]
and there exists a canonical anti-invariant section
\[
\eta\in H^0(S,K_S(2\Delta))^-
\]
such that
\[
\rho_x(\alpha)=\eta\cdot \alpha.
\]
This realizes the second fundamental form as literal multiplication by \(\eta\) on \(C\times C\) [1809.06315]. The construction is Hodge-theoretic, while its restriction to the diagonal is closely related to the second Gaussian map.

This multiplication description is effective. It leads to rank estimates for \(\rho(Q)\) when \(Q\in I_2(K_C)\) has small rank, and those rank estimates translate into restrictions on linear subspaces isotropic for the second fundamental form. In particular, if \(Y\subset A_g\) is a totally geodesic germ generically contained in the Torelli locus, then its tangent space must be isotropic for \(\rho\), and this yields dimension bounds. One refinement gives
\[
\dim Y<2g\quad\text{if \(g\) is even},\qquad \dim Y<2g+1\quad\text{if \(g\) is odd},
\]
improving earlier bounds derived from gonality and from a single rank estimate for \(\rho(Q)\) [1907.11407]. The same method also produces a sharper hyperelliptic bound,
\[
\dim Z<g+2,
\]
for totally geodesic subvarieties generically contained in the hyperelliptic Torelli locus [1907.11407].

A recurrent heuristic in this circle of work is that the Torelli locus should be “very curved” inside \(A_g\), not in the sense of an explicit sectional-curvature formula, but in the sense that its second fundamental form is highly nontrivial and severely obstructs large totally geodesic pieces [1809.06315].

## 3. Totally geodesic subvarieties, Hodge loci, and Shimura geometry

The ambient space \(A_g\) is locally symmetric: analytically it is a quotient of Siegel space, a Hermitian symmetric domain. Within this setting, Hodge loci are geometrically rigid. An elementary argument shows that Hodge loci in \(A_g\) are totally geodesic, and hence special or Shimura subvarieties are totally geodesic as well [1809.06315]. This ties the differential geometry of the Torelli locus directly to the arithmetic geometry of special subvarieties.

The resulting global problem is usually framed by the Coleman–Oort philosophy: for large genus, there should be no positive-dimensional special subvariety \(Z\subset A_g\) with
\[
Z\subset T_g,\qquad Z\cap T_g^\circ\neq\varnothing.
\]
In the form stated by Moonen–Oort, this is expected for large \(g\), in any case \(g\ge 8\) [1112.0933]. The Torelli locus itself is not special for \(g>3\), and no special subvariety contains it [1112.0933]. This is a basic structural point: the Torelli locus is defined by a moduli problem of curves, but it is too generic from the Mumford–Tate viewpoint to be a Shimura subvariety.

Low genus nevertheless furnishes many counterexamples to naive forms of Coleman–Oort. Families of cyclic covers of \(\mathbb P^1\), and more generally Galois covers, produce special subvarieties inside the Torelli locus when a numerical condition equating family dimension with the dimension of \((S^2H^0(K_C))^G\) holds. For covers of \(\mathbb P^1\), exactly \(40\) data \((\mathbf m,G,\theta)\) with \(N=r-3>0\) occur for \(g\le 9\), giving \(30\) distinct Shimura subvarieties, all in genera \(\le 7\) and none in genera \(8,9\) [1402.0973]. For Galois coverings of elliptic curves, there are exactly \(6\) positive-dimensional families satisfying the analogous sufficient condition for \(g'=1\), all with \(g=2,3,4\); only \(2\) give genuinely new Shimura subvarieties, the others reproducing examples already obtained from covers of \(\mathbb P^1\) [1508.00730].

These examples can be analyzed at the symmetric-space level. The low-genus Shimura subvarieties arising from Galois coverings are uniformized by explicit Hermitian symmetric domains such as \(\mathfrak G_n\), \(B_n(\mathbb C)\), and products of discs, and in the elliptic-cover cases the known fibrations by totally geodesic subvarieties correspond to actual product decompositions of the uniformizing symmetric spaces [2010.13159]. At the same time, not every totally geodesic subvariety in the Jacobian locus is arithmetic: low-genus examples include totally geodesic curves that are not Shimura, even though every Shimura variety is totally geodesic [1809.06315].

The landscape changed again with explicit genus-\(4\) examples of non-PEL type. Two families of genus \(4\) curves, one hyperelliptic and one non-hyperelliptic, produce Shimura curves in \(A_4\) of Mumford type, analytically \(\Delta(2,3,7)\backslash\mathbb H\) and \(\Delta(2,3,9)\backslash\mathbb H\), and these are realized by actual Jacobians throughout a dense open of the family [2510.00093]. This shows that special subvarieties in the Torelli locus are not confined to the classical PEL/Galois-cover framework.

## 4. The hyperelliptic Torelli locus

The hyperelliptic locus occupies a distinguished position because the full Torelli map fails infinitesimal injectivity precisely at hyperelliptic curves for \(g\ge 3\), but the restricted map behaves better. If \(\phi_g:\mathcal H_g\to \mathcal A_g\) denotes the Torelli map restricted to the hyperelliptic locus, then \(\phi_g\) is a radimmersion over \(\operatorname{Spec}\mathbb Z\); it is an immersion over \(\mathbb Z[1/2]\), and for \(g=2\) it is an immersion in every characteristic [1911.02084]. In characteristic \(2\), however, the behavior changes qualitatively: for \(g>2\), the restricted map is generically inseparable and at every geometric point
\[
\dim \ker\bigl(T_{[C]}\phi_{g,k}\bigr)=g-2.
\]
Thus the hyperelliptic Torelli locus contributes genuinely inseparable and nonreduced behavior in characteristic \(2\) [1911.02084].

The deformation-theoretic mechanism is explicit. The tangent map to Torelli is dual to the multiplication map
\[
\operatorname{Sym}^2 H^0(C,\omega_C)\to H^0(C,\omega_C^{\otimes 2}),
\]
and on the hyperelliptic locus the tangent space is cut out by the image of a map
\[
\mu_1:\ker\mu_0\to H^0(C,\omega_C^{\otimes 2}),
\qquad \mu_1(r\otimes s)=dr\cdot s.
\]
In characteristic different from \(2\), \(\operatorname{im}\mu_1\) contributes directions missing from the Torelli multiplication image, so the restricted map is immersive; in characteristic \(2\), \(\operatorname{im}\mu_1\) lies inside the Torelli image, producing the uniform \(g-2\) dimensional kernel [1911.02084].

The hyperelliptic Torelli locus also admits its own Coleman–Oort-type nonexistence theorem. For \(g>7\), there is no positive-dimensional Shimura subvariety contained generically in the hyperelliptic Torelli locus [1504.05380]. The argument combines reduction to the case of simple Shimura varieties via Hecke translates, codimension-\(\ge 2\) boundary in the Baily–Borel compactification, the identification of the singular part of the hyperelliptic Torelli locus with the decomposable locus, and the affineness of the open hyperelliptic locus [1504.05380]. This complements the differential-geometric result that for \(g>7\) there are no totally geodesic curves contained generically in the hyperelliptic Torelli locus [1405.4751].

A common misconception is that hyperelliptic Jacobians are exactly where Torelli “breaks down.” Infinitesimally this is true for the full map \(M_g\to A_g\), but after restriction to \(\mathcal H_g\) the map is still immersive away from characteristic \(2\) [1911.02084].

## 5. Boundary geometry, compactifications, and degeneration of Jacobians

The boundary behavior of the Torelli locus is governed by compact type. On \(\overline M_g\), the divisor \(\Delta_0\) parametrizes irreducible nodal curves, while
\[
M_g^{ct}=\overline M_g-\Delta_0
\]
parametrizes stable curves of compact type [2509.00998]. For a compact-type nodal curve \(D=C_1\cup C_2\), the Jacobian decomposes as
\[
\operatorname{Pic}^0(D)\cong \operatorname{Pic}^0(C_1)\times \operatorname{Pic}^0(C_2),
\]
which explains why the boundary of the closed Torelli locus is the decomposable locus [2509.00998]. By contrast, self-gluing produces generalized Jacobians fitting into an extension by a torus, so full injectivity of Torelli fails on the stable boundary [1112.0933] [2509.00998].

The extension problem beyond the nodal boundary is subtler. Alexeev extended the Torelli map to the Deligne–Mumford compactification using stable semiabelic pairs, while Alexeev–Brunyate showed that the Torelli map does not extend over the cuspidal locus in Schubert’s pseudostable compactification [2405.05199]. A recent extension theorem identifies a genuinely non-nodal locus where extension still works. For curves with **rational \(m\)-fold points**
\[
\widehat{\mathcal O}_{C,p}=k[[x_1,\dots,x_m]]/(x_ix_j:1\le i<j\le m),
\]
the Torelli map extends over the normalization of the compactification of stable separating fold-like curves,
\[
t^F_{g,n}:\mathcal M_{g,n}(F)^\nu\to \overline{\mathcal A}^{\,\mathrm{Ale}}_g,
\]
and more generally over the normalized quasi-separating fold-like locus in any Smyth compactification,
\[
t^Z_{g,n}:(\mathcal M_{g,n}(Z)^{qs\text{-}fold})^\nu\to \overline{\mathcal A}^{\,\mathrm{Ale}}_g
\]
[2405.05199]. The decisive combinatorial input is the Caporaso–Viviani criterion describing when stable curves have the same image under the compactified Torelli map.

This shows that non-nodal singularities do not uniformly obstruct extension. Cusps do obstruct it, but certain seminormal, quasi-separating fold-like singularities still admit canonical stable semiabelic limits [2405.05199]. A plausible implication is that the compactified Torelli locus is geometrically controlled by a finer boundary combinatorics than “nodal versus non-nodal.”

## 6. Arithmetic, positive characteristic, and unlikely intersections

In positive characteristic, the Torelli locus becomes an arithmetic-geometric testing ground for which \(p\)-divisible groups occur for Jacobians. The basic question is: given a symmetric Newton polygon \(\xi\), does the Newton stratum \(A_g[\xi]\) meet the open Torelli locus \(T_g^\circ\)? This is equivalent to asking whether \(\xi\) occurs as the Newton polygon of a smooth curve of genus \(g\) [2509.00998].

The relevant ambient strata have explicit dimensions. For a symmetric Newton polygon \(\xi\), if \(\mathrm{sdim}(\xi)\) denotes the count of integral lattice points on or above \(\xi\) in the standard way, then
\[
\dim A_g[\xi]=\mathrm{sdim}(\xi),
\]
and for the supersingular polygon \(\sigma_g\),
\[
\dim A_g[\sigma_g]=\left\lfloor \frac{g^2}{4}\right\rfloor
\]
[2509.00998]. The codimension comparison with \(\dim T_g^\circ=3g-3\) yields a useful “unlikely intersection” heuristic: for \(g\ge 9\), supersingular points in the open Torelli locus lie in a Newton stratum whose codimension exceeds \(\dim T_g^\circ\) [2509.00998].

Concrete existence results nevertheless occur. A Torelli-locus argument using compact-type boundary points shows that for every prime \(p\) there exists a smooth supersingular curve of genus \(4\); equivalently, \(M_4[\sigma_4]\neq\varnothing\) for every \(p\) [2509.00998]. More generally, every irreducible component of the \(p\)-rank \(f\) stratum in \(\overline M_g\) has dimension
\[
2g-3+f,
\]
so smooth curves of every genus \(g\) and every \(p\)-rank \(f\) exist [2509.00998]. The closed Torelli locus, especially its compact-type boundary, is central in these arguments because products of lower-genus Jacobians provide explicit boundary points in prescribed Newton strata.

A distinct arithmetic direction concerns unlikely intersections on Hodge-generic curves inside the Torelli locus. If \(S\subset T_g\) is a smooth irreducible Hodge-generic curve defined over \(\overline{\mathbb Q}\), and if \(S\) intersects the \(0\)-dimensional stratum of the Baily–Borel boundary of \(A_g\), then for odd \(g\ge 3\) there are only finitely many points \(s\in S(\mathbb C)\) for which the Jacobian \(J_s\) is non-simple [2201.11240]. This is a Zilber–Pink-type finiteness statement deduced from polynomial height bounds for exceptional points in one-parameter geometric variations of Hodge structure, obtained by extending André’s G-functions method to odd weight [2201.11240].

These results show two complementary arithmetic faces of the Torelli locus. In positive characteristic it records which \(p\)-divisible groups arise from curves; over \(\overline{\mathbb Q}\) it supports finiteness statements for atypical endomorphism phenomena along Hodge-generic one-parameter families [2509.00998] [2201.11240].

## 7. Torelli space, the hyperelliptic branch locus, and topology upstairs

A finer version of the Torelli locus appears upstairs in Torelli space. If \(\mathcal T_g\) is Teichmüller space modulo the Torelli group, the period map
\[
\mathcal T_g/\mathcal I_g\to \mathfrak h_g
\]
is a \(2\)-fold branched cover onto its image, and the branch locus is the hyperelliptic locus \(\widetilde{\mathcal H}_g\) in Torelli space [1211.4018]. Each component has fundamental group
\[
\pi_1(\text{component of }\widetilde{\mathcal H}_g)\cong \mathcal{SI}_g,
\]
the hyperelliptic Torelli group [1211.4018].

The group \(\mathcal{SI}_g\) admits an explicit geometric generating set:
\[
\mathcal{SI}_g \text{ is generated by Dehn twists about symmetric separating curves.}
\]
This gives a topological interpretation of the hyperelliptic branch locus of the period map, and adding compact-type hyperelliptic degenerations kills precisely these loops, so each component of the partial compactification \(\widetilde{\mathcal H}_g^{\,c}\) becomes simply connected [1211.4018].

The topology of the closure is nevertheless large. For \(g\ge 3\), if \(\mathcal H_g^c[0]\) is a component of the hyperelliptic locus in compact-type Torelli space, then
\[
H_2(\mathcal H_g^c[0],\mathbb Q)
\]
is infinite-dimensional, and therefore \(\mathcal H_g^c[0]\) does not have the homotopy type of a finite CW complex [1509.08221]. In genus \(3\), a component is the zero locus of an even theta-null in \(\mathfrak h_3\), the reducible boundary is a simple normal crossings divisor, and one has
\[
H_k(\mathcal H_3^c[0],\mathbb Z)=0 \quad\text{for } k\ge 4,
\]
while
\[
H_3(\mathcal H_3^c[0],\mathbb Z)
\]
is free abelian [1509.08221]. This gives a concrete analytic model for a component of the hyperelliptic Torelli locus upstairs.

These topological results refine the usual algebro-geometric picture. The Torelli locus is not only a subvariety of \(A_g\); in Torelli space it acquires branch behavior, monodromy, and infinite boundary topology that are invisible on coarse moduli [1211.4018] [1509.08221].

Source: https://www.emergentmind.com/topics/torelli-locus