Andrei S. Rapinchuk,Igor A. Rapinchuk
Abstract:Let $K$ be a field and $V$ be a set of rank one valuations of $K$. The corresponding Tate-Shafarevich group of a $K$-torus $T$ is $Sha(T , V) = \ker\left(H^1(K , T) \to \prod_{v \in V} H^1(K_v , T)\right)$. We prove that if $K = k(X)$ is the function field of a smooth geometrically integral quasi-projective variety over a field $k$ of characteristic 0 and $V$ is the set of discrete valuations of $K$ associated with prime divisors on $X$, then for any torus $T$ defined over the base field $k$, the group $Sha(T , V)$ is finite in the following situations: (1) $k$ is finitely generated and $X(k) \neq \emptyset$; (2) $k$ is a number field.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the finiteness of the Tate - Shafarevich group under specific conditions. Specifically, the paper focuses on the finiteness problem of the Tate - Shafarevich group \( Ш(T, V) \) corresponding to any \( k \)-torus \( T \) defined on the base field \( k \) when the base field \( k \) is a field of characteristic zero and \( X \) is a smooth geometrically irreducible quasi - projective variety. Here \( V \) is the set of discrete valuations related to prime divisors on \( X \).
### Specific situations are as follows:
1. **When \( k \) is a finitely generated field and \( X(k)\neq \emptyset \)**, that is, \( X \) has a \( k \)-rational point over \( k \).
2. **When \( k \) is a number field**.
### Main results of the paper (Theorem 1.1):
Let \( X \) be a smooth geometrically irreducible variety over a field \( k \) of characteristic zero, and \( V \) be the set of discrete valuations of the function field \( K = k(X) \), these valuations are related to points of codimension 1 on \( X \). Then for any \( k \)-torus \( T \) defined on the base field \( k \), the Tate - Shafarevich group \( Ш(T, V) \) is finite in the following cases:
1. \( k \) is a finitely generated field and \( X(k)\neq \emptyset \).
2. \( k \) is a number field.
### Explanation:
- **Tate - Shafarevich group** \( Ш(T, V) \) is defined as:
\[
Ш(T, V):=\ker\left(H^{1}(K, T)\to\prod_{v\in V}H^{1}(K_{v}, T)\right)
\]
where \( K_{v} \) is the completion of \( K \) at \( v \).
- **Finitely generated field** \( k \) means that \( k \) can be generated by finitely many elements.
- **Number field** \( k \) means that \( k \) is a finite extension of the field of rational numbers \( \mathbb{Q} \).
- **\( X(k)\neq \emptyset \)** means that \( X \) has at least one \( k \)-rational point over \( k \).
### Research methods:
The paper analyzes the above situations by using adelic methods and some known results (such as Bertini - type theorems), and finally proves the finiteness of \( Ш(T, V) \) in these cases. This result extends the previous research on function fields of curves and generalizes it to function fields of varieties of arbitrary dimensions.