REVIEW 2 minor 7 references
On Dense Orbit Transversality for Endomorphisms of Abelian Varieties
T0 review · 0 major / 2 minor · reviewed 2026-06-30 · grok-4.3
Pith's one-line read For endomorphisms of any abelian variety over a number field, the sets of representatives of grand orbits are Zariski dense.
desk verdict Lu extends the Pasten-Silverman dense representatives result from geometrically simple abelian varieties to the general case using structure theory. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Dense orbit transversality, the condition that allows selection of orbit representatives whose intersections with subvarieties remain dense.
What would settle it
An explicit abelian variety X, endomorphism f, and proper subvariety Y such that no grand-orbit representative meets Y in a dense set.
Extended reading notes
Core claim
Assuming there exists a point in X(K) whose f-orbit is Zariski dense in X (up to replacing K by a finite extension), the sets of representatives of grand (f,K)-orbits are Zariski dense for every abelian variety X.
Load-bearing premise
There exists a point in X(K) whose f-orbit is Zariski dense in X, possibly after a finite extension of K.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends the Pasten-Silverman result on Zariski density of sets of representatives for grand (f,K)-orbits from geometrically simple abelian varieties to the general case of all abelian varieties X/K. The extension holds under the explicit hypothesis that some point of X(K) has f-orbit Zariski dense in X (after finite extension of K), and the argument proceeds by reducing to the simple case via the structure theory of abelian varieties.
Significance. If correct, the result removes the geometric simplicity hypothesis while preserving the density conclusion for all abelian varieties, thereby completing the picture for this class of varieties in the study of grand-orbit representatives. The manuscript builds directly on prior literature without introducing new free parameters or ad-hoc axioms.
minor comments (2)
- The abstract and introduction should explicitly state the precise statement of the main theorem (including any dependence on the endomorphism ring or isogeny decomposition) rather than describing it only in prose.
- Clarify in §2 or the preliminaries whether the reduction step invokes the Poincaré reducibility theorem directly or requires an additional finite extension of K beyond the one already allowed in the hypothesis.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the manuscript and the recommendation of minor revision. The report accurately summarizes the extension of the Pasten-Silverman result to arbitrary abelian varieties under the stated dense-orbit hypothesis, via reduction to the geometrically simple case.
Circularity Check
No significant circularity; derivation builds on external prior work
full rationale
The paper extends the Pasten-Silverman density result for grand-orbit representatives from geometrically simple abelian varieties to the general case. The argument relies on the structure theory of abelian varieties and the explicit hypothesis that some K-point has Zariski-dense f-orbit (after finite extension). No self-citations are load-bearing, no parameters are fitted and renamed as predictions, and no ansatz or uniqueness claim reduces to the authors' own prior definitions. The central claim remains independent of the inputs and is not forced by construction.
Assumptions & free parameters
assumptions (1)
- domain assumption Existence of a point in X(K) whose f-orbit is Zariski dense in X
Cite this review
Pith. "Pith review of On Dense Orbit Transversality for Endomorphisms of Abelian Varieties." pith.science (2026). https://pith.science/paper/T6ZXIMYB
@misc{pith2026260629057,
author = {Pith},
title = {Pith review of: On Dense Orbit Transversality for Endomorphisms of Abelian Varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/T6ZXIMYB}},
note = {Machine review of arXiv:2606.29057}
}
abstract
Let $X/K$ be a smooth projective variety defined over a number field and $f:X\to X$ be a morphism defined over $K$. Assuming there exists a point in $X(K)$ whose $f$-orbit is Zariski dense in $X$ and up to replacing $K$ by a finite extension, Pasten and Silverman studied the distribution of grand $(f,K)$-orbits and proved that many sets of representatives of grand $(f,K)$-orbits on various classes of varieties are Zariski dense. In particular, they showed that if $X$ is a geometrically simple abelian variety, then all such sets of representatives are Zariski dense. We demonstrate the existence of a dense set of representatives for maps on all abelian varieties.
Reference graph
Works this paper leans on
- [1]
-
[2]
Ghioca, Dragos and Scanlon, Thomas , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/tran6648 , URL =
-
[3]
Lang, Serge , TITLE =. 2002 , PAGES =. doi:10.1007/978-1-4613-0041-0 , URL =
- [4]
-
[5]
Faltings, Gerd , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1991 , NUMBER =. doi:10.2307/2944319 , URL =
-
[6]
Frey, Gerhard and Jarden, Moshe , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1974 , PAGES =. doi:10.1112/plms/s3-28.1.112 , URL =
-
[7]
Anderson, D. D. and Camillo, V. , TITLE =. Rings, modules and representations , SERIES =. 2009 , ISBN =. doi:10.1090/conm/480/09364 , URL =
Reviewed June 30, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.