Saved in:
Bibliographic Details
Main Author: Choi, Seokhyun
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2606.01299
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917552652812288
author Choi, Seokhyun
author_facet Choi, Seokhyun
contents We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to a projective space. Let $A/F$ be an abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $Γ\subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(Γ) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. Thus images of finite-rank subgroups of abelian varieties cannot have strong additive structure in affine space. This removes the simplicity assumption from the author's previous result. The proof combines the uniform Mordell--Lang conjecture of Gao--Ge--Kühne with a refined use of the Ueno locus, Rémond's boundedness theorem for abelian subvarieties of bounded degree, and induction on the dimension of $A$.
format Preprint
id arxiv_https___arxiv_org_abs_2606_01299
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Additive Rigidity for Images of Rational Points on Abelian Varieties II: The General Case
Choi, Seokhyun
Number Theory
Algebraic Geometry
11G05, 11G10
We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to a projective space. Let $A/F$ be an abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $Γ\subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(Γ) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. Thus images of finite-rank subgroups of abelian varieties cannot have strong additive structure in affine space. This removes the simplicity assumption from the author's previous result. The proof combines the uniform Mordell--Lang conjecture of Gao--Ge--Kühne with a refined use of the Ueno locus, Rémond's boundedness theorem for abelian subvarieties of bounded degree, and induction on the dimension of $A$.
title Additive Rigidity for Images of Rational Points on Abelian Varieties II: The General Case
topic Number Theory
Algebraic Geometry
11G05, 11G10
url https://arxiv.org/abs/2606.01299