Abstract:In this paper, we study the Cassels-Tate pairing on Jacobians of genus two curves admitting a special type of isogenies called Richelot isogenies. Let $\phi: J \rightarrow \widehat{J}$ be a Richelot isogeny between two Jacobians of genus two curves. We give an explicit formula as well as a practical algorithm to compute the Cassels-Tate pairing on $\text{Sel}^{\widehat{\phi}}(\widehat{J}) \times \text{Sel}^{\widehat{\phi}}(\widehat{J})$ where $\widehat{\phi}$ is the dual isogeny of $\phi$. The formula and algorithm are under the simplifying assumption that all two torsion points on $J$ are defined over $K$. We also include a worked example demonstrating we can turn the descent by Richelot isogeny into a 2-descent via computing the Cassels-Tate pairing.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in the case of a specific type of isogeny (i.e., Richelot isogeny), calculate the Cassels - Tate pairing on the Jacobian variety. Specifically, the author studied the Richelot isogeny maps existing between the Jacobian varieties of genus - 2 curves defined over the number field \(K\), and gave explicit formulas and practical algorithms to calculate the Cassels - Tate pairing on the Selmer group.
To understand this problem more clearly, the following are the key points of the paper:
1. **Background and Motivation**:
- The Cassels - Tate pairing is a pairing defined on the Tate - Shafarevich group of an abelian variety, and it can be naturally lifted on the Selmer group.
- By calculating the Cassels - Tate pairing, the bounds of the Mordell - Weil rank obtained through standard descent calculations can be improved.
- For elliptic curves, there have been many results on calculating the Cassels - Tate pairing, but for higher - dimensional abelian varieties, especially the Jacobian varieties of genus - 2 curves, there are relatively few related studies.
2. **Research Object**:
- The paper focuses on the Richelot isogeny maps between the Jacobian varieties of genus - 2 curves.
- Richelot isogeny is a special \((2,2)\)-isogeny, and its kernel is a maximal isotropic subgroup of \(J[2]\).
3. **Main Contributions**:
- Explicit formulas and practical algorithms for calculating the Cassels - Tate pairing on the Selmer group are given.
- These formulas and algorithms are obtained under the assumption that all genus - 2 torsion points are rational over \(K\).
- A specific example is provided to show how to transform the Richelot isogeny descent into 2 - descent by calculating the Cassels - Tate pairing.
4. **Specific Problems**:
- How to calculate the Cassels - Tate pairing on the Selmer group in the case of Richelot isogeny?
- How to use these calculation results to improve the bounds of the Mordell - Weil rank?
By solving these problems, the paper provides new tools and methods for calculating the Cassels - Tate pairing on high - dimensional abelian varieties, further promoting the research progress in this field.
Expressed in mathematical formulas, the core problem of the paper is to solve the calculation of the following pairing:
\[
\langle a, a' \rangle_{CT} : \text{Sel}_{\hat{\phi}}(\hat{J}) \times \text{Sel}_{\hat{\phi}}(\hat{J}) \to \mathbb{Q}/\mathbb{Z}
\]
where \(\phi: J \to \hat{J}\) is a Richelot isogeny map, and \(\hat{\phi}\) is its dual isogeny map.