Jacobians among abelian threefolds: a geometric approach (Q636756)

Let \((A,\theta)\) be a principally polarized abelian threefold over a perfect field \(k\), and suppose that \((A,\theta)\) is indecomposable over \(\bar{k}\). As remarked by Serre in an appendix of [\textit{K. Lauter}, J. Algebr. Geom. 10, No. 1, 19--36 (2001; Zbl 0982.14015)], there exists a genus \(3\) curve \(C\) over \(k\) and a character \(\epsilon_A: \text{Gal}(\bar{k}/k)\rightarrow\{\pm1\}\), such that \((A,\theta)\) is \(k\)-isomorphic to \(\text{Jac}\,C\) twisted by \(\epsilon_A\). The character \(\epsilon_A\) is trivial if \(C\) is hyperelliptic. In the non-hyperelliptic case, \(\epsilon_A\) was described in terms of the action of a certain Siegel modular form in [\textit{G. Lachaud, C. Ritzenthaler} and \textit{A. Zykin}, Math. Res. Lett. 17, No. 2, 323--333 (2010; Zbl 1228.14028)]. The paper under review obtains a geometric description of the quadratic extension \(k'/k\) determined by the character \(\epsilon_A\). Under mild assumptions, Recilla's construction is used to obtain a non-hyperelliptic smooth curve of genus \(4\), whose canonical model lies in a smooth quadric \(Q\subset\mathbb{P}^3\). If \((A,\theta)\) is a Jacobian, then it is proved that \(Q\) is \(k\)-isomorphic to \(\mathbb{P}^1\times \mathbb{P}^1\). Otherwise, the non-trivial automorphism of the extension \(k'/k\) exchanges the two rulings of \(Q\).