A Specialisation Theorem for Lang-Néron Groups
Abstract
We show that, for a polarised smooth projective variety $B \hookrightarrow \mathbb{P}^n_k$ of dimension $\geq 2$ over an infinite field $k$ and an abelian variety $A$ over the function field of $B$, there exists a dense Zariski open set of smooth geometrically connected hyperplane sections $h$ of $B$ such that $A$ has good reduction at $h$ and the specialisation homomorphism of Lang-Néron groups at $h$ is injective (up to a finite $p$-group in positive characteristic $p$). This gives a positive answer to a conjecture of the first author, which is used to deduce a negative definiteness result on his refined height pairing. This also sheds a new light on Néron's specialisation theorem.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2024
- DOI:
- 10.48550/arXiv.2405.06114
- arXiv:
- arXiv:2405.06114
- Bibcode:
- 2024arXiv240506114K
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Number Theory;
- 11G99;
- 14K99
- E-Print:
- Main result improved and exposition rewritten. Comments welcome