Abstract:We consider cyclic unramified coverings of degree d of irreducible complex smooth genus curves and their corresponding Prym varieties. They provide natural examples of polarized abelian varieties with automorphisms of order d. The rich geometry of the associated Prym map has been studied in several papers, and the cases are quite well understood. Nevertheless, very little is known for higher values of d. In this paper, we investigate whether the covering can be reconstructed from its Prym variety, that is, whether the generic Prym Torelli theorem holds for these coverings. We prove this is so for the so-called Sophie Germain prime numbers, that is, for prime such that is also prime. We use results of arithmetic nature on -type abelian varieties combined with theta-duality techniques.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is whether the corresponding cyclic cover can be reconstructed from the Prym variety under given conditions. Specifically, the authors explore, for a specific type of prime number \(d\) (i.e., Sophie Germain prime numbers), whether the mapping \(f: \tilde{C} \to C\) from the original cyclic cover curve \(\tilde{C}\) to the base curve \(C\) can be recovered based on the Prym variety. This problem is mathematically known as the problem of whether the "Universal Prym Torelli Theorem" holds. ### Background and Motivation - **Prym variety**: Prym varieties are a special class of abelian varieties, which are naturally generated from unbranched cyclic covers of irreducible complex smooth curves of degree 2. These varieties provide natural examples of polarized abelian varieties with automorphisms of order \(d\). - **Known situations**: For the cases where \(d = 2, 3, 5, 7\), there has been a great deal of research, and the geometric structures in these cases are well - understood. However, for higher values of \(d\), less is known. - **Research motivation**: Researchers hope to understand whether, in more general cases, Prym varieties can uniquely determine their corresponding cover curves. This not only helps in understanding the geometric properties of Prym varieties but may also provide new tools and methods for research in other related fields. ### Main Results - **Main theorem**: The authors prove that for all Sophie Germain prime numbers \(d\geq11\) (i.e., \(d\) is prime and \(\frac{d - 1}{2}\) is also prime), the Prym mapping \(P_d\) is injective in general. This means that in this case, the original cover curve can be uniquely reconstructed from the Prym variety. - **Proof methods**: - **First step**: Prove that in general, the automorphism \(\sigma\) of order \(d\) on the Prym variety is unique. - **Second step**: Study the automorphisms on the quotient curve \(C_0=\tilde{C}/\langle j\rangle\), where \(j\) is the lift of the hyperelliptic involution. Prove that in general, the only non - trivial automorphism of \(C_0\) is the hyperelliptic involution. - **Third step**: By studying the automorphisms on \(C_0\) and its Jacobian variety \(J(C_0)\), prove that \(C_0\) and its automorphisms can be recovered from the Prym variety. - **Fourth step**: Using theta - duality techniques, finally prove that the original cover \(f: \tilde{C}\to C\) can be fully reconstructed from the Prym variety. ### Significance - **Theoretical significance**: This result fills an important gap in Prym variety theory, especially the Universal Prym Torelli Theorem in the case of high - order cyclic covers. - **Application prospects**: This research not only deepens the understanding of Prym varieties and their geometric properties but may also find new applications in algebraic geometry, number theory, etc. ### Formula Examples - **Definition of Prym variety**: \[ P(\tilde{C}, C)=\text{ker}(N_{\tilde{C}/C})^0 \] where \(N_{\tilde{C}/C}:J(\tilde{C})\to J(C)\) is the norm map, and \(\text{ker}(N_{\tilde{C}/C})^0\) is the connected component of its kernel. - **Prym mapping**: \[ P_d:R_d\to A_{d - 1}(1,\ldots,1,d) \] where \(R_d\) is the moduli space that parameterizes unbranched cyclic covers of curves of degree 2, and \(A_{d - 1}(1,\ldots,1,d)\) is the moduli space of abelian varieties with specific polarizations. - **Main theorem**: \[ \text{Theorem 1.1: }P_d\text{ is } \]

Cyclic coverings of genus curves of Sophie Germain type

Cyclic Coverings of genus 2 curves of Sophie Germain type

On the Prym map for cyclic covers of genus two curves

Cyclic coverings of rational normal surfaces which are quotients of a product of curves

Abelian covers and second fundamental form

Tschirnhausen bundles of covers of the projective line

Simplicity of some Jacobians with many automorphisms

The generic isogeny decomposition of the Prym Variety of a cyclic branched covering

On the Jacobian locus in the Prym locus and geodesics

Weierstrass points on cyclic covers of the projective line

Abelian covers and the second fundamental form

Non-simple polarised abelian surfaces and genus 3 curves with completely decomposable Jacobians

On the Existence of Shimura curves in the Prym locus of abelian covers of projective line

Tautological families of cyclic covers of projective spaces

Prym-Brill-Noether theory for ramified double covers

Generic curves and non-coprime Catalans

Big monodromy for higher Prym representations

Double covers of curves on Nikulin surfaces

The tropical Abel--Prym map

The Moduli Space of Cyclic Covers in Positive Characteristic

Special Points Arising From Faithful Metacyclic and Dicyclic Galois Covers of the Projective Line