On the \(p\)-adic closure of a subgroup of rational points on an abelian variety (Q351539)

Motiviert durch eine Vermutung von \textit{B. Mazur} [Astérisque. 228, 165--181 (1995; Zbl 0851.14009)] über die Dichte der rationalen Punkte auf einer über \(\mathbb{Q}\) definierten nichtsingulären algebraischen Varietät hat Verf. [Exp. Math. 3, No. 4, 329--352 (1994; Zbl 0837.11040)] den topologischen Abschluss einer endlich erzeugten Untergruppe \(\Gamma\) von \(G(K)\) untersucht. Dabei war \(G\) eine kommutative algebraische Gruppe über einem reellen Zahlkörper \(K\) und es wurden notwendige Bedingungen dafür angegeben, dass \(\Gamma\) eine dichte Untergruppe der neutralen Komponente von \(G(\mathbb{R})\) in der reellen Topologie enthält. In der vorliegenden Arbeit gewinnt Verf. ein \(p\)-adisches Analogon zu seinen früheren Ergebnissen unter der vereinfachenden Annahme, dass \(G\) eine über \(\mathbb{Q}\) definierte einfache abelsche Varietät \(A\) ist. Ist \(g\) die Dimension von \(A\), ist \(\Gamma\) eine endlich erzeugte Untergruppe von \(A(\mathbb{Q})\) vom Rang \(\ell\) und ist \(r\) der \(\mathbb{Z}_p\)-Rang des topologischen Abschlusses von \(\Gamma\) in \(A(\mathbb{Q}_p)\), so wird \(r=\min(g,\ell)\) vermutet. Verf. zeigt \(1/r\leq(1/g)+(2/\ell)\), also \(r\geq(1/3)\min(g,\ell)\). Sein Beweis verläuft ähnlich wie im früher behandelten Fall, allerdings jetzt mit Interpolationsdeterminanten anstelle Siegelscher Hilfsfunktionen.