The Picard group of the universal abelian variety and the Franchetta conjecture for abelian varieties

DOI10.1307/MMJ/1564106669MaRDI QIDQ2335877zbMATH OpenOpenAlexWikidataFDO

Authors Roberto Fringuelli, Roberto Pirisi

Publication date 15 November 2019

Published in Michigan Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.09190, https://projecteuclid.org/euclid.mmj/1564106669

zbMATH Keywords

abelian varietieslevel structuremoduliPicard groups

Mathematics Subject Classification ID

Picard groups (14C22) Algebraic moduli problems, moduli of vector bundles (14D20) Algebraic moduli of abelian varieties, classification (14K10)

Abstract: We compute the Picard group of the universal abelian variety over the moduli stack $mathscr{A}_{g,n}$ of principally polarized abelian varieties over $mathbbC$ with a symplectic principal level $n$-structure. We then prove that over $mathbbC$ the statement of the Franchetta conjecture holds in a suitable form for $mathscr{A}_{g,n}$.

Review text

Over the moduli stack $\mathcal{A}_{g,n}$, of principally polarized abelian varieties of dimension $g$ with symplectic principal level-$n$ structure, let $\mathcal{X}_{g,n}$ be the universal abelian variety. The main result of the article under review pertains to the structure of the quotient sheaf \[ \operatorname{Pic}(\mathcal{X}_{g,n}) / \operatorname{Pic}(\mathcal{A}_{g,n}). \] It states that if $g \geq 4$ and $n \geq 1$, then \[ \operatorname{Pic}(\mathcal{X}_{g,n}) / \operatorname{Pic}(\mathcal{A}_{g,n})= \begin{cases} \left( \mathbb{Z} / n \mathbb{Z} \right)^{2g} \oplus \mathbb{Z}[\sqrt{\mathcal{L}_{\Lambda}}] \text{ if }n\text{ is even} \\ \left( \mathbb{Z} / n \mathbb{Z} \right)^{2g} \oplus \mathbb{Z}[\mathcal{L}_{\Lambda} ] \text{ if }n\text{ is odd.} \end{cases} \] Here, $\sqrt{\mathcal{L}_{\Lambda}}$ is, up to torsion, a square-root of the rigidified canonical line bundle $\mathcal{L}_{\Lambda}$ and $(\mathbb{Z} / n \mathbb{Z})^{2g}$ is the group of rigidified $n$th-roots of line bundles. In a related direction, the authors study the quotient sheaf \[ \operatorname{Pic}(\mathcal{X}_g) / \operatorname{Pic}(\mathcal{A}_g) \] for $ \mathcal{X}_g \rightarrow \mathcal{A}_g$ the universal abelian variety over the moduli stack of principally polarized abelian varieties of dimension $g$. In this context, they prove that it may be described as \[ \operatorname{Pic}(\mathcal{X}_g) / \operatorname{Pic}(\mathcal{A}_g) = \mathbb{Z}[\mathcal{L}_{\Lambda}] . \] The authors' proof of their results builds on earlier work of \textit{A. Silverberg} [Invent. Math. 81, 71--106 (1985; Zbl 0576.14020)] and \textit{D. Edidin} and \textit{W. Graham} [Invent. Math. 131, No. 3, 595--644 (1998; Zbl 0940.14003)]. At the same time, the present work is motived by earlier work of \textit{E. Arbarello} and \textit{M. Cornalba} [Topology 26, 153--171 (1987; Zbl 0625.14014)], \textit{M. Mestrano} [Invent. Math. 87, 365--376 (1987; Zbl 0585.14011)] and \textit{A. Kouvidakis } [J. Differ. Geom. 34, No. 3, 839--850 (1991; Zbl 0780.14004)].

Recommendations

• Conjecture de Franchetta forte. (Strong Franchetta conjecture)
• THE STRONG FRANCHETTA CONJECTURE IN ARBITRARY CHARACTERISTICS
• Oort’s conjecture for $A_{g} \otimes {\mathbb {C}}$
• The universal abelian variety over \(\mathcal{A}_5\)
• scientific article; zbMATH DE number 3968764

Cites work

• Complete moduli in the presence of semiabelian group action.
• Conjecture de Franchetta forte. (Strong Franchetta conjecture)
• Geometric Invariant Theory
• Geometry of theta divisors --- a survey
• scientific article; zbMATH DE number 3891516 (Why is no real title available?)
• scientific article; zbMATH DE number 44593 (Why is no real title available?)
• scientific article; zbMATH DE number 49143 (Why is no real title available?)
• scientific article; zbMATH DE number 1421299 (Why is no real title available?)
• scientific article; zbMATH DE number 3353452 (Why is no real title available?)
• scientific article; zbMATH DE number 3396076 (Why is no real title available?)
• scientific article; zbMATH DE number 2229020 (Why is no real title available?)
• Mordell-Weil groups of generic Abelian varieties
• On elliptic modular surfaces
• On rational points of the generic elliptic curve with level N structure over the field of modular functions of level N
• On the equations defining Abelian varieties. I-III
• The Picard group of the compactified universal Jacobian
• The Picard group of the moduli space of curves with level structures
• The Picard group of the universal Picard varieties over the moduli space of curves
• The Picard groups of the moduli spaces of curves
• THE STRONG FRANCHETTA CONJECTURE IN ARBITRARY CHARACTERISTICS

Cited in

(6)

• Generic cycles, Lefschetz representations, and the generalized Hodge and Bloch conjectures for abelian varieties
• Brauer groups of moduli of hyperelliptic curves via cohomological invariants
• On the Picard numbers of abelian varieties
• Cohomology of the Universal Abelian Surface with Applications to Arithmetic Statistics
• The Picard group of the universal moduli stack of principal bundles on pointed smooth curves
• The line bundles on the moduli stack of principal bundles on families of curves

This page was built for publication: The Picard group of the universal abelian variety and the Franchetta conjecture for abelian varieties

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