Abstract:We give a complete answer to the local-global divisibility problem for algebraic tori. In particular, we prove that given an odd prime $p$, if $T$ is an algebraic torus of dimension $r< p-1$ defined over a number field $k$, then the local-global divisibility by any power $p^n$ holds for $T(k)$. We also show that this bound on the dimension is best possible, by providing a counterexample of every dimension $r \geq p-1$. Finally, we prove that under certain hypotheses on the number field generated by the coordinates of the $p^n$-torsion point of $T$, the local-global divisibility still holds for tori of dimension less than $3(p-1)$.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to solve the local - global divisibility problem on algebraic tori. Specifically, the authors explore the following: given an odd prime number \(p\), if \(T\) is an algebraic torus of dimension \(r < p - 1\) defined over a number field \(k\), then for any \(p^n\) (\(n\geq1\)), whether the local - global divisibility holds.
#### Background and problem description
The local - global divisibility problem was proposed by Dvornicich and Zannier in 2001. Their problem can be stated as follows:
**Problem 1.1 (Dvornicich and Zannier, [9])**: Let \(q\) be a fixed positive integer. Suppose a point \(P\in G(k)\) satisfies the following property: for almost all \(v\in M_k\), there exists \(D_v\in G(k_v)\) such that \(P = qD_v\); can we conclude that there exists \(D\in G(k)\) such that \(P = qD\)?
Here, \(G\) is a commutative algebraic group defined over a number field \(k\), \(M_k\) is all the places of \(k\), and \(k_v\) is the completion of \(k\) at \(v\).
#### Main contributions of the paper
In this paper, the authors prove the following two main results:
1. **Theorem 1.2**:
- For any odd prime number \(p\) and any positive integer \(n\geq1\), if \(T\) is an algebraic torus of dimension \(r < p - 1\) defined over a number field \(k\), then for \(T(k)\), the local - global divisibility by \(p^n\) holds.
- For any \(n\geq2\) and any \(r\geq p - 1\), there exists an algebraic torus \(T\) of dimension \(r\) defined over \(k = \mathbb{Q}(\zeta_p)\) and a finite extension \(L/k\) such that the local - global divisibility by \(p^n\) does not hold.
2. **Theorem 1.3**:
- Let \(p\) be an odd prime number, \(n\geq1\) be an integer, and \(T\) be an algebraic torus defined over a number field \(k\), satisfying \(p - 1\leq\dim(T)<3(p - 1)\) and \(p\) does not divide \([k(T[p^n])\cap k(\zeta_{p^n}):k]\), where \(\zeta_{p^n}\) is the \(p^n\)-th root of unity. Then for \(T(k)\), the local - global divisibility by \(p^n\) holds.
#### Methods and tools
To prove these results, the authors use the methods of Galois cohomology, especially by studying the properties of the first local cohomology group \(H^1_{\text{loc}}(G, T[p^n])\). They also utilize the structure of algebraic tori and the properties of certain matrix groups, such as the subgroup structures of SL groups and GL groups.
### Summary
This paper solves the local - global divisibility problem on algebraic tori, especially gives explicit answers under dimension restrictions, and provides counter - examples to illustrate that the local - global divisibility does not hold in some cases. This provides important insights for understanding the arithmetic properties of algebraic tori and other algebraic groups.