The Hilbert scheme of hyperelliptic Jacobians and moduli of Picard sheaves

DOI10.2140/ANT.2020.14.1381MaRDI QIDQ2201802zbMATH OpenOpenAlexFDO

Publication date 17 September 2020

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.08481

Fourier-Mukai transform Hilbert schemes Jacobian Picard sheaves Torelli morphism

Parametrization (Chow and Hilbert schemes) (14C05) Jacobians, Prym varieties (14H40) Algebraic moduli of abelian varieties, classification (14K10)

Abstract: Let

C

be a hyperelliptic curve embedded in its Jacobian

J

via an Abel-Jacobi map. We compute the scheme structure of the Hilbert scheme component of

e x t r m {H i l b}_{J}

containing the Abel-Jacobi curve as a point. We relate the result to the ramification (and to the fibres) of the Torelli morphism

m a t h c a l M_{g} i g h t a r r o w m a t h c a l A_{g}

along the hyperelliptic locus. As an application, we determine the scheme structure of the moduli space of Picard sheaves (introduced by Mukai) on a hyperelliptic Jacobian.

Review text

Let \(C\) be a smooth projective curve of genus \(g \geq 3\) with Jacobian \(J = \text{Pic}^0 C\) and \(\alpha: C \hookrightarrow J\) an Abel-Jacobi map. The image of \(\alpha\) gives a corresponding point in \(\text{Hilb}_J\) which lies on a unique irreducible component \(\text{Hilb}_{C,J} \subset \text{Hilb}_J\). [\textit{H. Lange} and \textit{E. Sernesi}, Ann. Mat. Pura Appl. (4) 183, No. 3, 375--386 (2004; Zbl 1204.14012)]; see also [\textit{P. A. Griffiths}, J. Math. Mech. 16, 789--802 (1967; Zbl 0188.39302)] proved that if \(C\) is nonhyperelliptic, then \(\text{Hilb}_{C/J}\) is smooth of dimension \(g\), while if \(C\) is hyperelliptic, then \(\text{Hilb}_{C/J}\) is irreducible of dimension \(g\) and everywhere nonreduced with Zariski tangent space of dimension \(2g-2\): in both cases, the only deformations of \(C\) in \(J\) are by translation. In the hyperelliptic case, the author clarifies the non-reduced scheme structure by proving that \(\text{Hilb}_{C/J} \cong J \times R_g\) where \(R_g = \text{Spec}[s_1,\dots,s_{g-2}]/\mathfrak m^2\) and \(\mathfrak m = (s_1, \dots, s_{g-2})\) is the maximal ideal. He uses this result to describe the scheme theoretic fibers of the Torelli morphism \(\tau_g: \mathcal M_g \to \mathcal A_g\) along the non-hyperelliptic locus, where \(\mathcal M_g\) is the moduli stack of genus \(g\) curves and \(\mathcal A_g\) is the moduli stack of principally polarized abelian varieties of dimension \(g\). There is an application to the moduli space of Picard sheaves on the Jacobian. Fix a smooth curve \(C\) of genus \(g \geq 2\) with Jacobian \(J\) and dual \(\hat J\). For \(p \in C\) and \(1 \leq d \leq g-1\), view the line bundle \(\xi = {\mathcal O}_C (dp)\) as a sheaf on \(\hat J\) by first pushing it forward along an Abel-Jacobi map \(\alpha: C \hookrightarrow J\) and then using the identification of \(J\) with \(\hat J\): applying his Fourier transform to this sheaf on \(\hat J\), \textit{Mukai} constructs an associated \textit{Picard sheaf} \(F\) on \(J\). Letting \(M(F)\) be the connected component containing \(F\) in the moduli space \(\text{Spl}_J\) of simple coherent sheaves on \(J\), \textit{Mukai} proves that if \(g=2\) or \(C\) is non-hyperelliptic, then the natural morphism \(\hat J \times J \to M(F)\) is an isomorphism [\textit{S. Mukai}, Nagoya Math. J. 81, 153--175 (1981; Zbl 0417.14036)] and when \(C\) is hyperelliptic it is an isomorphism onto \(M(F)_{\text{red}}\) [\textit{S. Mukai}, Adv. Stud. Pure Math. 10, 515--550 (1987; Zbl 0672.14025)]. Analogous to the main theorem, the author describes the non-reduced scheme structure by proving that \(M(F) \cong \hat J \times J \times R_g\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: The Hilbert scheme of hyperelliptic Jacobians and moduli of Picard sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2201802)