Jacobians among Abelian threefolds: a formula of Klein and a question of Serre

2010 
Let $(A,a)$ be an indecomposable principally polarized abelian threefold defined over a field $k \subset \CC$. Using a certain geometric Siegel modular form $\chi_{18}$ on the corresponding moduli space, we prove that $(A,a)$ is a Jacobian over $k$ if and only if $\chi_{18}(A, a)$ is a square over $k$. This answers a question of J.-P. Serre. Then, via a natural isomorphism between invariants of ternary quartics and Teichm\"uller modular forms of genus $3$, we obtain a simple proof of Klein formula, which asserts that $\chi_{18}(\Jac C, j)$ is equal to the square of the discriminant of $C$.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    25
    References
    24
    Citations
    NaN
    KQI
    []