arxiv: 2605.00759 · v1 · submitted 2026-05-01 · 🧮 math.NT

Recognition: unknown

Lang-Trotter phenomena and unlikely intersections

Christopher Daw, Georgios Papas

Authors on Pith no claims yet

Pith reviewed 2026-05-09 18:18 UTC · model grok-4.3

classification 🧮 math.NT

keywords Lang-Trotter conjectureZilber-Pink conjectureelliptic curvesabelian surfacesG-functionsunlikely intersectionsmoduli spaces

0 comments

The pith

Lang-Trotter conjecture for elliptic curve pairs implies new Zilber-Pink cases for curves in A_3

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that assuming the Lang-Trotter conjecture on the distribution of ranks for pairs of elliptic curves over number fields, one obtains new instances of the Zilber-Pink conjecture on unlikely intersections for algebraic curves inside the moduli space A_3 of principally polarized abelian surfaces. This holds even for curves that may be compact, without any hypotheses on how they meet the boundary of A_3. The argument adapts André's G-functions method to produce the necessary height bounds or intersection estimates directly. A reader would care because the result links a classical conjecture about elliptic curves to a central problem in arithmetic geometry about when subvarieties intersect special loci more than expected.

Core claim

We show that the Lang-Trotter conjecture for pairs of elliptic curves implies new cases of the Zilber-Pink conjecture for curves in A_3. Unlike previous results for curves in A_g, our result does not rely on any assumption on intersections with the boundary, and in particular applies to potentially compact curves. The argument is based on the G-functions method of Yves André.

What carries the argument

The implication from the Lang-Trotter conjecture on pairs of elliptic curves to Zilber-Pink for curves in A_3, obtained via André's G-functions method that supplies height bounds without boundary conditions.

If this is right

Zilber-Pink holds for additional curves in A_3, including some that are compact and do not meet the boundary.
Previous results on curves in A_g that required boundary intersection hypotheses are extended to cases without those hypotheses.
The G-functions method of André can be used to derive intersection estimates in A_3 directly from rank-distribution conjectures on elliptic curves.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Resolving Lang-Trotter for pairs could unlock further cases of Zilber-Pink in higher-dimensional moduli spaces of abelian varieties.
Similar G-functions arguments might connect Lang-Trotter-type statements to unlikely-intersections problems in other Shimura varieties.
The approach suggests testing whether compact curves in A_3 exhibit the predicted sparsity of special points once the elliptic-curve input is assumed.

Load-bearing premise

The Lang-Trotter conjecture holds for pairs of elliptic curves and André's G-functions method applies to give the required height bounds or intersection estimates without boundary assumptions.

What would settle it

A specific pair of elliptic curves over a number field where the Lang-Trotter conjecture fails, or an explicit curve in A_3 that intersects the special loci more than Zilber-Pink predicts.

read the original abstract

We show that the Lang-Trotter conjecture for pairs of elliptic curves implies new cases of the Zilber-Pink conjecture for curves in $\mathcal{A}_3$. Unlike previous results for curves in $\mathcal{A}_g$, our result does not rely on any assumption on intersections with the boundary, and in particular applies to potentially compact curves. The argument is based on the $G$-functions method of Yves Andr\'e.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper shows Lang-Trotter for elliptic pairs implies new Zilber-Pink cases in A3 without boundary assumptions via G-functions, but the result stays conditional.

read the letter

This paper shows that the Lang-Trotter conjecture for pairs of elliptic curves implies some new instances of the Zilber-Pink conjecture for curves in the moduli space A3. The key point is that these cases do not require any assumptions about intersections with the boundary, which means the result covers curves that could be compact. The authors use André's G-functions method to derive the necessary bounds from the Lang-Trotter assumption. This approach appears to handle the estimates without relying on toroidal compactifications or similar boundary data, which sets it apart from earlier work on Ag for larger g. What the paper does well is to clearly isolate this implication and show how the G-functions technique can be applied in this setting to avoid the usual boundary hypotheses. It is a modest but precise advance in the conditional results for unlikely intersections. The main limitation is that the whole thing depends on Lang-Trotter holding for pairs, which is still a conjecture. There are no new unconditional results here. The soundness of the G-functions application for potentially compact curves would need close checking in the full proof to confirm there are no implicit boundary reductions. This kind of paper is aimed at specialists in arithmetic geometry and diophantine problems on moduli spaces. Readers interested in the Zilber-Pink conjecture and its connections to other diophantine conjectures will find it relevant. It deserves a serious referee because the implication is new and the method is worth verifying. I would recommend sending it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper shows that the Lang-Trotter conjecture for pairs of elliptic curves implies new cases of the Zilber-Pink conjecture for curves in A_3. The argument relies on André's G-functions method and is presented as not requiring assumptions on intersections with the boundary of the moduli space, thereby applying to potentially compact curves.

Significance. If the implication holds, the result would be significant for the study of unlikely intersections, as it yields new conditional cases of Zilber-Pink in A_3 under a standard arithmetic conjecture without boundary hypotheses. The non-circular nature of the implication (relying on an independent conjecture) and the use of G-functions to handle the compact case are strengths that would advance the field if the technical details are verified.

major comments (2)

[Main argument / proof of Theorem 1.1] The central claim rests on the applicability of André's G-functions method to produce height bounds or intersection estimates for potentially compact curves in A_3 without any reference to boundary data. The manuscript must explicitly verify in the main argument that the analytic continuation and Diophantine estimates avoid implicit reductions via the period map or auxiliary divisors to the Baily-Borel or toroidal compactification; otherwise the novelty relative to prior A_g results is not established.
[Section on G-functions application] The statement that the result applies to compact curves (as opposed to previous results requiring boundary assumptions) is load-bearing. A concrete check or lemma showing that the G-functions estimates remain valid in the absence of toroidal compactification data is needed to support this.

minor comments (2)

[Introduction] Clarify the precise formulation of the Lang-Trotter conjecture for pairs used in the implication (e.g., the exact height or rank conditions) in the introduction for readers unfamiliar with the variant.
[Introduction] Ensure all references to prior work on Zilber-Pink in A_g are cited with page or theorem numbers to facilitate comparison of the boundary-free aspect.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for highlighting the need for greater explicitness regarding the application of André's G-functions method. We agree that clarifying the avoidance of boundary reductions will strengthen the presentation of the novelty of our result. Below we respond point by point to the major comments.

read point-by-point responses

Referee: [Main argument / proof of Theorem 1.1] The central claim rests on the applicability of André's G-functions method to produce height bounds or intersection estimates for potentially compact curves in A_3 without any reference to boundary data. The manuscript must explicitly verify in the main argument that the analytic continuation and Diophantine estimates avoid implicit reductions via the period map or auxiliary divisors to the Baily-Borel or toroidal compactification; otherwise the novelty relative to prior A_g results is not established.

Authors: We agree that an explicit verification is required to fully establish the claimed novelty. In the proof of Theorem 1.1 the G-functions are constructed directly from the de Rham cohomology of the universal abelian scheme pulled back to the curve C ⊂ A_3; the linear differential equations they satisfy have coefficients in the function field of C and are defined over the open moduli space. Analytic continuation proceeds along paths in C without extension to any compactification, and the zero estimates yielding the height bounds are obtained from the local properties of these G-functions together with the Lang-Trotter input, without invoking the period map to the Baily-Borel or toroidal boundary. To make this transparent we will insert a short paragraph immediately after the statement of Theorem 1.1 and a clarifying sentence in the proof (Section 3) that explicitly records the absence of any such reduction. This addition will also contrast the argument with earlier A_g results that relied on boundary control. revision: yes
Referee: [Section on G-functions application] The statement that the result applies to compact curves (as opposed to previous results requiring boundary assumptions) is load-bearing. A concrete check or lemma showing that the G-functions estimates remain valid in the absence of toroidal compactification data is needed to support this.

Authors: We accept that a concrete verification is necessary. The estimates in question depend only on the minimal height of the elliptic curves (supplied by the Lang-Trotter conjecture) and on the radius of convergence of the G-functions, which is controlled by the local geometry of C inside A_3. Because the differential equations are intrinsic to the open moduli space, the same bounds hold whether or not C meets the boundary. We will add a short lemma (new Lemma 2.4) in the preliminary section on G-functions that records this independence: it states that the Diophantine estimates derived from André's method require no toroidal data when the base curve lies in A_3, and it cites the relevant uniform radius-of-convergence statements from André's work that apply directly in the non-compact setting. This lemma will be invoked in the proof of Theorem 1.1 to justify the claim for potentially compact curves. revision: yes

Circularity Check

0 steps flagged

No circularity: conditional implication from independent Lang-Trotter conjecture via external G-functions method

full rationale

The paper's central result is an implication: the Lang-Trotter conjecture for pairs of elliptic curves implies new Zilber-Pink cases for curves in A_3, obtained via André's G-functions method without boundary assumptions. No quantities are defined in terms of the target result, no parameters are fitted to subsets of data and renamed as predictions, and the argument rests on an external conjecture plus a method due to a different author (André). The derivation chain therefore remains self-contained and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the Lang-Trotter conjecture as an external assumption and on the standard properties of G-functions; no free parameters or new entities are introduced.

axioms (2)

domain assumption Lang-Trotter conjecture for pairs of elliptic curves
The hypothesis from which the new Zilber-Pink cases are derived.
standard math G-functions method of Yves André applies to produce the required estimates
The technical tool invoked in the argument for the implication.

pith-pipeline@v0.9.0 · 5350 in / 1281 out tokens · 47991 ms · 2026-05-09T18:18:43.855064+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

112 extracted references · 53 canonical work pages

[1]

1989 , PAGES =

Andr\'. 1989 , PAGES =. doi:10.1007/978-3-663-14108-2 , URL =

work page doi:10.1007/978-3-663-14108-2 1989
[2]

and Shankar, A

Pila, J. and Shankar, A. and Tsimerman, J. with an appendix by Esnault, H. and Groechenig, M. , journal=. Canonical
[3]

and Murty, M

Fouvry, \'E. and Murty, M. R. , TITLE =. Number theory (. 1995 , ISBN =. doi:10.1017/CBO9780511661990.007 , URL =

work page doi:10.1017/cbo9780511661990.007 1995
[4]

Elkies, N. D. , TITLE =. Ast\'erisque , FJOURNAL =. 1991 , PAGES =

1991
[5]

and Trotter, H

Lang, S. and Trotter, H. , TITLE =. 1976 , PAGES =

1976
[6]

Duke Math

Gaudron, \'Eric and R\'emond, Ga\"el , TITLE =. Duke Math. J. , FJOURNAL =. 2014 , NUMBER =. doi:10.1215/00127094-2782528 , URL =

work page doi:10.1215/00127094-2782528 2014
[7]

Masser, D. W. and W\"ustholz, G. , TITLE =. Invent. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF01231178 , URL =

work page doi:10.1007/bf01231178 1990
[8]

, TITLE =

Pazuki, F. , TITLE =. Int. J. Number Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.1142/S1793042119500295 , URL =

work page doi:10.1142/s1793042119500295 2019
[9]

, TITLE =

Beukers, F. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1993 , PAGES =. doi:10.1515/crll.1993.434.45 , URL =

work page doi:10.1515/crll.1993.434.45 1993
[10]

Hardy, G. H. and Wright, E. M. , TITLE =. 1979 , PAGES =

1979
[11]

Silberger , author=

Algebraic Theory of Numbers: Translated from the French by Allan J. Silberger , author=. 2013 , publisher=

2013
[12]

Clark, P. L. , year=. Rational points on
[13]

Sawin, W. F. , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2016 , NUMBER =. doi:10.1016/j.crma.2016.01.025 , URL =

work page doi:10.1016/j.crma.2016.01.025 2016
[14]

Algebraic geometry and commutative algebra,

Oort, Frans , TITLE =. Algebraic geometry and commutative algebra,. 1988 , ISBN =

1988
[15]

Patankar, V. M. , TITLE =. 2005 , PAGES =

2005
[16]

, journal=

Grothendieck, A. , journal=. Groupes de monodromie en g. 1973 , publisher=

1973
[17]

Canadian Journal of Mathematics , volume=

Local bounds for torsion points on abelian varieties , author=. Canadian Journal of Mathematics , volume=. 2008 , publisher=

2008
[18]

Papas, G. , year=. Zilber-. 2402.09487 , archivePrefix=

work page arXiv
[19]

, journal=

Papas, G. , journal=. A note on
[20]

and Orr, M

Daw, C. and Orr, M. and Papas, G. , journal=. Some new cases of
[21]

Algebraic number theory , url =

Neukirch, J. , TITLE =. 1999 , PAGES =. doi:10.1007/978-3-662-03983-0 , URL =

work page doi:10.1007/978-3-662-03983-0 1999
[22]

2006 , PAGES =

Gille, Philippe and Szamuely, Tam\'as , TITLE =. 2006 , PAGES =. doi:10.1017/CBO9780511607219 , URL =

work page doi:10.1017/cbo9780511607219 2006
[23]

, TITLE =

Andr\'e, Y. , TITLE =. 2003 , PAGES =

2003
[24]

Compositio Math

Hyodo, Osamu , TITLE =. Compositio Math. , FJOURNAL =. 1991 , NUMBER =

1991
[25]

Compositio Math

Tsuji, Takeshi , TITLE =. Compositio Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1023/A:1001020809306 , URL =

work page doi:10.1023/a:1001020809306 1999
[26]

Logarithmic dieudonn

Kato, Kazuya , journal=. Logarithmic dieudonn
[27]

Barsotti

Illusie, Luc , TITLE =. Barsotti. 1994 , ISBN =

1994
[28]

Log prismatic Dieudonn\'e theory for log p -divisible groups over

Matti Würthen and Heer Zhao , year=. Log prismatic Dieudonn\'e theory for log p -divisible groups over. 2310.15732 , archivePrefix=

work page arXiv
[29]

Ast\'erisque , FJOURNAL =

Hyodo, Osamu and Kato, Kazuya , TITLE =. Ast\'erisque , FJOURNAL =. 1994 , PAGES =

1994
[30]

Andr\'. J. Reine Angew. Math. , FJOURNAL =. 1996 , PAGES =. doi:10.1515/crll.1996.476.95 , URL =

work page doi:10.1515/crll.1996.476.95 1996
[31]

Berthelot, Pierre and Breen, Lawrence and Messing, William , volume=. Th. 2006 , publisher=

2006
[32]

2006 , publisher=

Lectures on p-divisible groups , author=. 2006 , publisher=

2006
[33]

1987 , publisher=

Elliptic Functions , author=. 1987 , publisher=

1987
[34]

Andr. Th. Number theory (Paris, 1992-1993) , pages=

1992
[35]

Mumford-

Andr\'. Mumford-. Compositio Math. , FJOURNAL =. 1992 , NUMBER =

1992
[36]

Comparaison avec la cohomologie classique: Cas d'un schema lisse , author=. Th. 1973 , publisher=

1973
[37]

, TITLE =

Ayoub, J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2015 , NUMBER =. doi:10.4007/annals.2015.181.3.2 , URL =

work page doi:10.4007/annals.2015.181.3.2 2015
[38]

, TITLE =

Ogus, A. , TITLE =. Duke Math. J. , FJOURNAL =. 1984 , NUMBER =. doi:10.1215/S0012-7094-84-05136-6 , URL =

work page doi:10.1215/s0012-7094-84-05136-6 1984
[39]

and Ogus, A

Berthelot, P. and Ogus, A. , TITLE =. Invent. Math. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF01389319 , URL =

work page doi:10.1007/bf01389319 1983
[40]

and Klingler, B

Baldi, G. and Klingler, B. and Ullmo, E. , journal=. On the distribution of the
[41]

arXiv e-prints , pages=

On the Zilber-Pink conjecture for complex abelian varieties , author=. arXiv e-prints , pages=
[42]

, TITLE =

Bombieri, E. , TITLE =. Recent progress in analytic number theory,. 1981 , MRCLASS =

1981
[43]

and Habegger, P

Bombieri, E. and Habegger, P. and Masser, D. and Zannier, U. , TITLE =. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. , FJOURNAL =. 2010 , NUMBER =. doi:10.4171/RLM/570 , URL =

work page doi:10.4171/rlm/570 2010
[44]

and Masser, D

Bombieri, E. and Masser, D. and Zannier, U. , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 1999 , NUMBER =. doi:10.1155/S1073792899000628 , URL =

work page doi:10.1155/s1073792899000628 1999
[45]

Th\'eorie de

Berthelot, Pierre and Breen, Lawrence and Messing, William , TITLE =. 1982 , PAGES =. doi:10.1007/BFb0093025 , URL =

work page doi:10.1007/bfb0093025 1982
[46]

and Masser, D

Bombieri, E. and Masser, D. and Zannier, U. , TITLE =. Acta Arith. , FJOURNAL =. 2008 , NUMBER =. doi:10.4064/aa133-4-2 , URL =

work page doi:10.4064/aa133-4-2 2008
[47]

and Pearlstein, G

Brosnan, P. and Pearlstein, G. and Schnell, C. , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.crma.2010.04.002 , URL =

work page doi:10.1016/j.crma.2010.04.002 2010
[48]

, TITLE =

Bertolin, C. , TITLE =. J. Number Theory , FJOURNAL =. 2002 , NUMBER =. doi:10.1016/S0022-314X(02)00002-1 , URL =

work page doi:10.1016/s0022-314x(02)00002-1 2002
[49]

Carlson, J. and M\". Period mappings and period domains , SERIES =. 2017 , PAGES =

2017
[50]

and Schnell, C

Charles, F. and Schnell, C. , TITLE =. Hodge theory , SERIES =. 2014 , MRCLASS =

2014
[51]

Chudnovsky, G. V. , TITLE =. Contributions to the theory of transcendental numbers , SERIES =. 1984 , MRCLASS =. doi:10.1090/surv/019/01 , URL =

work page doi:10.1090/surv/019/01 1984
[52]

Chudnovsky, G. V. , TITLE =. Proceedings of the. 1980 , MRCLASS =

1980
[53]

and Deligne, P

Cattani, E. and Deligne, P. and Kaplan, A. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2152824 , URL =

work page doi:10.2307/2152824 1995
[54]

and Little, J

Cox, D. and Little, J. and O'Shea, D. , TITLE =. 2015 , PAGES =. doi:10.1007/978-3-319-16721-3 , URL =

work page doi:10.1007/978-3-319-16721-3 2015
[55]

and Orr, M

Daw, C. and Orr, M. , TITLE =. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , FJOURNAL =. 2021 , NUMBER =

2021
[56]

and Orr, M

Daw, C. and Orr, M. , title = ". International Mathematics Research Notices , year =. doi:10.1093/imrn/rnab173 , url =

work page doi:10.1093/imrn/rnab173
[57]

and Orr, M

Daw, C. and Orr, M. , journal=. Lattices with skew-
[58]

and Orr, M

Daw, C. and Orr, M. , journal=. The large
[59]

Compositio Mathematica , volume=

Applications of the hyperbolic Ax-Schanuel conjecture , author=. Compositio Mathematica , volume=. 2018 , publisher=

2018
[60]

de Jong, A. J. , TITLE =. Inst. Hautes \'. 1996 , PAGES =

1996
[61]

, TITLE =

Deligne, P. , TITLE =. Invent. Math. , FJOURNAL =. 1969 , PAGES =. doi:10.1007/BF01406076 , URL =

work page doi:10.1007/bf01406076 1969
[62]

, TITLE =

Deligne, P. , TITLE =. Inst. Hautes \'. 1980 , PAGES =

1980
[63]

, TITLE =

Deligne, P. , TITLE =. Inst. Hautes \'. 1974 , PAGES =

1974
[64]

, TITLE =

Deligne, P. , TITLE =. 1970 , PAGES =

1970
[65]

and Milne, J

Deligne, P. and Milne, J. S. and Ogus, A. and Shih, K. , TITLE =. 1982 , PAGES =

1982
[66]

, TITLE =

Deligne, P. , TITLE =. Inst. Hautes \'. 1971 , PAGES =

1971
[67]

and Gerotto, G

Dwork, B. and Gerotto, G. and Sullivan, F. J. , TITLE =. 1994 , PAGES =

1994
[68]

, TITLE =

Edixhoven, B. , TITLE =. Moduli of abelian varieties (. 2001 , MRCLASS =

2001
[69]

, TITLE =

Ellenberg, Jordan S. , TITLE =. Adv. Math. , FJOURNAL =. 2001 , NUMBER =. doi:10.1006/aima.2001.1994 , URL =

work page doi:10.1006/aima.2001.1994 2001
[70]

, TITLE =

Faltings, G. , TITLE =. Invent. Math. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF01388432 , URL =

work page doi:10.1007/bf01388432 1983
[71]

preprint , year=

Theory of p-adic Galois representations , author=. preprint , year=
[72]

and Griffiths, P

Green, M. and Griffiths, P. and Kerr, M. , TITLE =. 2012 , PAGES =

2012
[73]

and Pila, J

Habegger, P. and Pila, J. , journal=. Some unlikely intersections beyond. 2012 , publisher=

2012
[74]

and Pila, J

Habegger, P. and Pila, J. , TITLE =. Ann. Sci. \'. 2016 , NUMBER =. doi:10.24033/asens.2296 , URL =

work page doi:10.24033/asens.2296 2016
[75]

and Nicaise, J

Halle, L. and Nicaise, J. , TITLE =. Doc. Math. , FJOURNAL =. 2011 , PAGES =

2011
[76]

Habegger, P. and R\'. Around the. 2017 , PAGES =

2017
[77]

and Silverman, J

Hindry, M. and Silverman, J. , TITLE =. 2000 , PAGES =. doi:10.1007/978-1-4612-1210-2 , URL =

work page doi:10.1007/978-1-4612-1210-2 2000
[78]

Cojocaru, A. C. and Wang, T. , TITLE =. Canad. J. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.4153/S0008414X22000086 , URL =

work page doi:10.4153/s0008414x22000086 2023
[79]

arXiv preprint arXiv:2603.02606 , year=

Galois Orbit Bounds for Surface Degenerations , author=. arXiv preprint arXiv:2603.02606 , year=

work page arXiv
[80]

Janusz, G. J. , TITLE =. 1973 , PAGES =

1973

Showing first 80 references.