Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userGeneric injectivity of the Prym map for double ramified coverings
124
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
In this paper we consider the Prym map for double coverings of curves of genus $g$ ramified at $r>0$ points. That is, the map associating to a double ramified covering its Prym variety. The generic Torelli theorem states that the Prym map is generically injective as soon as the dimension of the space of coverings is less or equal to the dimension of the space of polarized abelian varieties. We prove the generic injectivity of the Prym map in the cases of double coverings of curves with: (a) $g=2$, $r=6$, and (b) $g= 5$, $r=2$. In the first case the proof is constructive and can be extended to the range $rge max {6,frac 23(g+2) }$. For (b) we study the fibre along the locus of the intermediate Jacobians of cubic threefolds to conclude the generic injectivity. This completes the work of Marcucci and Pirola who proved this theorem for all the other cases, except for the bielliptic case $g=1$ (solved later by Marcucci and the first author), and the case $g=3, r=4$ considered previously by Nagaraj and Ramanan, and also by Bardelli, Ciliberto and Verra where the degree of the map is $3$. The paper closes with an appendix by Alessandro Verra with an independent result, the rationality of the moduli space of coverings with $g=2,r=6$, whose proof is self-contained.
rate research
Read More
We prove that the ramified Prym map $mathcal P_{g, r}$ which sends a covering $pi:Dlongrightarrow C$ ramified in $r$ points to the Prym variety $P(pi):=text{Ker}(text{Nm}_{pi})$ is an embedding for all $rge 6$ and for all $g(C)>0$. Moreover, by studying the restriction to the locus of coverings of hyperelliptic curves, we show that $mathcal P_{g, 2}$ and $mathcal P_{g, 4}$ have positive dimensional fibers.
We study the Prym varieties arising from etale cyclic coverings of degree 7 over a curve of genus 2. These Prym varieties are products of Jacobians JY x JY of genus 3 curves Y with polarization type D=(1,1,1,1,1,7). We describe the fibers of the Prym map between the moduli space of such coverings and the moduli space of abelian sixfolds with polarization type D, admitting an automorphism of order 7.
The Prym map assigns to each covering of curves a polarized abelian variety. In the case of unramified cyclic covers of curves of genus two, we show that the Prym map is ramified precisely on the locus of bielliptic covers. The key observation is that we can naturally associate to such a cover an abelian surface with a cyclic polarization, and then the codifferential of the Prym map can be interpreted in terms of multiplication of sections on the abelian surface. Furthermore, we prove that a genus two cyclic cover of degree at least seven is never hyperelliptic.
We prove an analogue of Kirchhoffs matrix tree theorem for computing the volume of the tropical Prym variety for double covers of metric graphs. We interpret the formula in terms of a semi-canonical decomposition of the tropical Prym variety, via a careful study of the tropical Abel-Prym map. In particular, we show that the map is harmonic, determine its degree at every cell of the decomposition, and prove that its global degree is $2^{g-1}$. Along the way, we use the Ihara zeta function to provide a new proof of the analogous result for finite graphs. As a counterpart, the appendix by Sebastian Casalaina-Martin shows that the degree of the algebraic Abel-Prym map is $2^{g-1}$ as well.
Following the approach in the book Commutative Algebra, by D. Eisenbud, where the author describes the generic initial ideal by means of a suitable total order on the terms of an exterior power, we introduce first the generic initial extensor of a subset of a Grassmannian and then the double-generic initial ideal of a so-called GL-stable subset of a Hilbert scheme. We discuss the features of these new notions and introduce also a partial order which gives another useful description of them. The double-generic initial ideals turn out to be the appropriate points to understand some geometric properties of a Hilbert scheme: they provide a necessary condition for a Borel ideal to correspond to a point of a given irreducible component, lower bounds for the number of irreducible components in a Hilbert scheme and the maximal Hilbert function in every irreducible component. Moreover, we prove that every isolated component having a smooth double-generic initial ideal is rational. As a byproduct, we prove that the Cohen-Macaulay locus of the Hilbert scheme parameterizing subschemes of codimension 2 is the union of open subsets isomorphic to affine spaces. This improves results by J. Fogarty (1968) and R. Treger (1989).
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
