Alexander B. Ivanov,Laura Paladino
Abstract:We show that the local-global divisibility in commutative algebraic groups defined over number fields can be tested on sets of primes of arbitrary small density, i.e. stable and persistent sets. We also give a new description of the cohomological group giving an obstruction to the problem. In addition, we show new examples of stable sets.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a strengthened version of the **Local - global divisibility problem**, specifically:
### Problem description:
Given a number field \(k\) and a connected commutative group scheme \(A\) defined over \(k\), for a positive integer \(r\) and a point \(P\in A(k)\), assume that for the completions \(k_p\) of \(k\) at almost all primes \(p\), there exists \(D_p\in A(k_p)\) such that \(rD_p = P\). Then can we conclude that there exists \(D\in A(k)\) such that \(rD = P\)?
### Strengthened version of the problem:
The authors explore whether local divisibility can be tested on a smaller set of primes to infer global divisibility. Specifically, they attempt to prove:
1. **Set of primes of arbitrarily small density**: Can we find a set \(S\) of primes of arbitrarily small density such that if a point \(P\in A(k)\) is locally divisible by \(r\) at all \(p\in S\), then it is also globally divisible by \(r\)?
2. **Stable and persistent set of primes**: Can these sets \(S\) of primes be stable and persistent sets?
### Main results:
The authors prove that for an elliptic curve \(E\) and any arbitrarily small \(\epsilon> 0\), there exists a set \(S\) of primes whose Dirichlet density \(\delta_k(S)<\epsilon\) on any number field \(k\) and satisfies the following conditions:
- If a point \(P\in E(k)\) is locally divisible by \(p\) at all \(p\in S\), then it is also globally divisible by \(p\).
- For a sufficiently large prime \(p\) (i.e., \(p > B(d)\)), if a point \(P\in E(k)\) is locally divisible by \(p^n\) at all \(p\in S\), then it is also globally divisible by \(p^n\).
### Methods and tools:
To prove these results, the authors introduce the concept of stable and persistent sets of primes and study the Tate - Shafarevich group and its related homology groups. They also utilize tools such as Galois extensions and the Chebotarev density theorem.
### Conclusion:
Through these methods, the authors successfully prove that testing local divisibility on a set of primes of arbitrarily small density can infer global divisibility, thus providing a new perspective and solution to the local - global divisibility problem.
### Formula summary:
- \(B(d):=\begin{cases}3 &\text{if }k = \mathbb{Q};\\(3d^2 + 1)^2&\text{if }d>1.\end{cases}\)
- \(H^1_{\text{loc}}(\Gamma,M):=\ker\left(H^1(\Gamma,M)\to\prod_{C\subseteq\Gamma}H^1(C,M)\right)\)
These formulas are used to describe the obstruction homology group and the homology group under local conditions.