Abstract:We investigate Selmer groups of Jacobians of curves that admit an action of a non-trivial group of automorphisms, and give applications to the study of the parity of Selmer ranks. Under the Shafarevich--Tate conjecture, we give an expression for the parity of the Mordell--Weil rank of an arbitrary Jacobian in terms of purely local invariants; the latter can be seen as an arithmetic analogue of local root numbers, which, under the Birch--Swinnerton-Dyer conjecture, similarly control parities of ranks of abelian varieties. As an application, we give a new proof of the parity conjecture for elliptic curves. The core of the paper is devoted to developing the arithmetic theory of Jacobians for Galois covers of curves, including decomposition of their L-functions, and the interplay between Brauer relations and Selmer groups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the parity of the rank of the Jacobian. Specifically, the authors studied the Selmer group of curves with the action of non - trivial automorphism groups and gave an expression for the parity of the Selmer rank. Under the Shafarevich - Tate conjecture, they gave a method to represent the parity of the Mordell - Weil rank of the Jacobian only by local invariants; these local invariants can be regarded as arithmetic analogues of local root numbers. In addition, the article also explored how to control the arithmetic properties of low - genus curves through high - genus curves and provided a new proof of the parity conjecture for elliptic curves.
### Specific Problem Description
1. **Background and Motivation**:
- The research motivation of the article stems from the study of L - function symbols, especially that the parity of the vanishing order at the central point \( s = 1 \) should match the parity of the Mordell - Weil rank of the Jacobian.
- This problem can be expressed by the parity conjecture as:
\[
(- 1)^{\text{rk} \, \text{Jac}(X)}=\prod_{v \text{ place of } K} w(X/K_v)
\]
where \( w(X/K_v) \) is the local constant (local root number) defined by Langlands and Deligne.
2. **Main Contributions**:
- Under the premise that the Shafarevich - Tate conjecture holds, the authors proposed a new local invariant \( w_{\text{arith}}(X/K_v) \) to determine the parity of the rank of the Jacobian of curves over number fields.
- By introducing high - genus curves, the authors showed how to use auxiliary curves to control the arithmetic properties of lower - genus curves. In particular, in the case of elliptic curves, they used an auxiliary curve of genus 3 to prove the parity conjecture.
3. **Applications and Generalizations**:
- The authors provided a new proof of the parity conjecture for elliptic curves, assuming the finiteness of the Tate - Shafarevich group.
- Generalized to general Jacobians, a method based on Brauer relations and regulator constants was proposed to control the parity of the rank.
### Core Results
- **Theorem 1.1**: If the Shafarevich - Tate conjecture holds for the Jacobians of all curves over number fields, then for all curves \( X \) over all number fields \( K \):
\[
(- 1)^{\text{rk} \, \text{Jac}(X)}=\prod_{v \text{ place of } K} w_{\text{arith}}(X/K_v)
\]
- **Theorem 1.2**: For a given elliptic curve \( E:y^{2}=x^{3}+ax + b \), if the 3 - primary part of \( X(E) \) is finite, and the 2 - and 3 - primary parts of \( X(E') \) are finite, then the parity conjecture holds for \( E \).
### Methods and Tools
- **Brauer Relations and Regulator Constants**: The article used the concepts of Brauer relations and regulator constants, and controlled the parity of the rank by decomposing the relationship between L - functions and Selmer groups.
- **Galois Covers and L - Functions**: By studying the L - functions of Galois covers and their decompositions, the authors transformed the problem into the calculation of local invariants.
In conclusion, the core problem of this paper is to provide a systematic method to study the parity of the rank of the Jacobian by introducing new local invariants and Brauer relations, and apply it to elliptic curves and other types of curves.