Using Galois Theory, we construct explicitly absolutely simple (principally polarized) Prym varieties that are not isomorphic to jacobians of curves even if we ignore the polarizations. Our approach is based on the previous papers math/0610138 [math.AG] and math/0605028 [math.AG] .
We prove that the jacobian of a hyperelliptic curve $y^2=(x-t)h(x)$ has no nontrivial endomorphisms over an algebraic closure of the ground field $K$ of characteristic zero if $t in K$ and the Galois group of the polynomial $h(x)$ over $K$ is very big and $deg(h)$ is an even number >8. (The case of odd $deg(h)>3$ follows easily from previous results of the author.)
Let ${cal M}_{g,[n]}$, for $2g-2+n>0$, be the D-M moduli stack of smooth curves of genus $g$ labeled by $n$ unordered distinct points. The main result of the paper is that a finite, connected etale cover ${cal M}^l$ of ${cal M}_{g,[n]}$, defined over a sub-$p$-adic field $k$, is almost anabelian in the sense conjectured by Grothendieck for curves and their moduli spaces. The precise result is the following. Let $pi_1({cal M}^l_{ol{k}})$ be the geometric algebraic fundamental group of ${cal M}^l$ and let ${Out}^*(pi_1({cal M}^l_{ol{k}}))$ be the group of its exterior automorphisms which preserve the conjugacy classes of elements corresponding to simple loops around the Deligne-Mumford boundary of ${cal M}^l$ (this is the $ast$-condition motivating the almost above). Let us denote by ${Out}^*_{G_k}(pi_1({cal M}^l_{ol{k}}))$ the subgroup consisting of elements which commute with the natural action of the absolute Galois group $G_k$ of $k$. Let us assume, moreover, that the generic point of the D-M stack ${cal M}^l$ has a trivial automorphisms group. Then, there is a natural isomorphism: $${Aut}_k({cal M}^l)cong{Out}^*_{G_k}(pi_1({cal M}^l_{ol{k}})).$$ This partially extends to moduli spaces of curves the anabelian properties proved by Mochizuki for hyperbolic curves over sub-$p$-adic fields.
The purpose of this book is to build up the fundament of an Arakelov theory over adelic curves in order to provide a unified framework for the researches of arithmetic geometry in several directions.
We establish an arithmetic intersection theory in the framework of Arakelov geometry over adelic curves. To each projective scheme over an adelic curve, we associate a multi-homogenous form on the group of adelic Cartier divisors, which can be written as an integral of local intersection numbers along the adelic curve. The integrability of the local intersection number is justified by using the theory of resultants.
We investigate degenerations of syzygy bundles on plane curves over $p$-adic fields. We use Mustafin varieties which are degenerations of projective spaces to find a large family of models of plane curves over the ring of integers such that the special fiber consists of multiple projective lines meeting in one point. On such models we investigate vector bundles whose generic fiber is a syzygy bundle and which become trivial when restricted to each projective line in the special fiber. Hence these syzygy bundles have strongly semistable reduction. This investigation is motivated by the fundamental open problem in $p$-adic Simpson theory to determine the category of Higgs bundles corresponding to continuous representations of the etale fundamental group of a curve. Faltings $p$-adic Simpson correspondence and work of Deninger and the second author shows that bundles with Higgs field zero and potentially strongly semistable reduction fall into this category. Hence the results in the present paper determine a class of syzygy bundles on plane curves giving rise to a $p$-adic local system. We apply our methods to a concrete example on the Fermat curve suggested by Brenner and prove that this bundle has potentially strongly semistable reduction.