Abstract:Following (and elaborating on) a method of Logan and van Luijk, we exhibit explicit genus-2 curves whose Jacobians have nontrivial 2-torsion in their Tate-Shafarevich groups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to find and verify the existence of specific 2 - torsion elements in the Tate - Shafarevich group of the Jacobian of some genus - 2 curves. Specifically, the author proves the existence of these elements by showing the Brauer - Manin obstructions on certain quotients of principal homogeneous spaces. Different from previous research, this paper uses explicitly - constructed quaternion algebras to obtain these obstructions instead of relying on elliptic fibrations.
### Specific Problem Description
1. **Research Background**:
- **Research Objects**: A genus - 2 curve \(C\) and its Jacobian \(J\), defined over a number field \(k\).
- **Objective**: To find non - trivial 2 - torsion elements \(X(k, J)[2]\), that is, elements in the Tate - Shafarevich group, which can be represented as classes of 2 - covers \(X\) that have local rational points everywhere but no global rational points.
2. **Method**:
- **Main Tool**: Brauer - Manin obstruction, which is used to prove the failure of the Hasse principle.
- **Specific Steps**:
1. Construct a K3 surface \(V\), which is a desingularization of a certain quotient space.
2. Find the Brauer - Manin obstructions by explicitly constructing quaternion algebras \((c, g)\).
3. Prove that these obstructions do exist and correspond to non - trivial 2 - torsion elements.
3. **Innovation**:
- Use explicitly - constructed quaternion algebras instead of elliptic fibrations to obtain Brauer - Manin obstructions.
### Main Conclusions of the Paper
The main conclusion of the paper is:
\[
\text{For a given finite extension } K /\mathbb{Q}\text{, let } S\text{ be the set of primes that are completely split in this extension. For all } n\text{ equal to the product of primes in } S\text{, the curve}
\]
\[
C_n: y^2 = n(x^2 - 5x + 1)(x^3 - 7x + 10)(x + 1)
\]
\[
\text{satisfies } X(\mathbb{Q},\text{Jac}(C))[2]\neq 0\text{.}
\]
This shows that for these specific \(n\), there do exist non - trivial 2 - torsion elements in the Tate - Shafarevich group.
### Summary
This paper successfully finds non - trivial 2 - torsion elements in the Jacobian of some genus - 2 curves by introducing a new method - explicitly constructing quaternion algebras. This result not only enriches the understanding of the Tate - Shafarevich group but also provides a new perspective for studying the failure of the Hasse principle.