896 research outputs found
Linear manifolds in the moduli space of one-forms
We study closures of GL_2(R)-orbits on the total space of the Hodge bundle
over the moduli space of curves under the assumption that they are algebraic
manifolds.
We show that, in the generic stratum, such manifolds are the whole stratum,
the hyperelliptic locus or parameterize curves whose Jacobian has additional
endomorphisms. This follows from a cohomological description of the tangent
bundle to strata. For non-generic strata similar results can be shown by a
case-by-case inspection.
We also propose to study a notion of 'linear manifold' that comprises
Teichmueller curves, Hilbert modular surfaces and the ball quotients of Deligne
and Mostow. Moreover, we give an explanation for the difference between Hilbert
modular surfaces and Hilbert modular threefolds with respect to this notion of
linearity.Comment: Minor modifications, many typos fixe
Hyperelliptic Schottky Problem and Stable Modular Forms
It is well known that, fixed an even, unimodular, positive definite quadratic
form, one can construct a modular form in each genus; this form is called the
theta series associated to the quadratic form. Varying the quadratic form, one
obtains the ring of stable modular forms. We show that the differences of theta
series associated to specific pairs of quadratic forms vanish on the locus of
hyperelliptic Jacobians in each genus. In our examples, the quadratic forms
have rank 24, 32 and 48. The proof relies on a geometric result about the
boundary of the Satake compactification of the hyperelliptic locus. We also
study the monoid formed by the moduli space of all principally polarised
abelian varieties, the operation being the product of abelian varieties. We use
this construction to show that the ideal of stable modular forms vanishing on
the hyperelliptic locus in each genus is generated by differences of theta
series.Comment: Final version, title changed, published in Documenta Mathematic
Exhibiting Sha[2] on hyperelliptic jacobians
We discuss approaches to computing in the Shafarevich-Tate group of Jacobians of higher genus curves, with an emphasis on the theory and practice of visualisation. Especially for hyperelliptic curves, this often enables the computation of ranks of Jacobians, even when the 2-Selmer bound does not bound the rank sharply. This was previously only possible for a few special cases. For curves of genus 2, we also demonstrate a connection with degree 4 del Pezzo surfaces, and show how the Brauer-Manin obstruction on these surfaces can be used to compute members of the Shafarevich-Tate group of Jacobians. We derive an explicit parametrised infinite family of genus 2 curves whose Jacobians have nontrivial members of the Sharevich-Tate group. Finally we prove that under certain conditions, the visualisation dimension for order 2 cocycles of Jacobians of certain genus 2 curves is 4 rather than the general bound of 32
- …