pith. sign in

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

Lang-Trotter phenomena and unlikely intersections

Christopher Daw , Georgios Papas This is my paper

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
0 comments X

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.

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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

  1. 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

  2. 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)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

112 extracted references · 112 canonical work pages

  1. [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. [2]

    and Shankar, A

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

    work page

  3. [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. [4]

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

    work page 1991

  5. [5]

    and Trotter, H

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

    work page 1976

  6. [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. [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. [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. [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. [10]

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

    work page 1979

  11. [11]

    Silberger , author=

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

    work page 2013

  12. [12]

    Clark, P. L. , year=. Rational points on

    work page

  13. [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. [14]

    Algebraic geometry and commutative algebra,

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

    work page 1988

  15. [15]

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

    work page 2005

  16. [16]

    , journal=

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

    work page 1973

  17. [17]

    Canadian Journal of Mathematics , volume=

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

    work page 2008

  18. [18]

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

    work page arXiv

  19. [19]

    , journal=

    Papas, G. , journal=. A note on

    work page

  20. [20]

    and Orr, M

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

    work page

  21. [21]

    23 Alain Robert.A course in p-adic analysis

    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. [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. [23]

    , TITLE =

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

    work page 2003

  24. [24]

    Compositio Math

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

    work page 1991

  25. [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. [26]

    Logarithmic dieudonn

    Kato, Kazuya , journal=. Logarithmic dieudonn

    work page

  27. [27]

    Barsotti

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

    work page 1994

  28. [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. [29]

    Ast\'erisque , FJOURNAL =

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

    work page 1994

  30. [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. [31]

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

    work page 2006

  32. [32]

    2006 , publisher=

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

    work page 2006

  33. [33]

    1987 , publisher=

    Elliptic Functions , author=. 1987 , publisher=

    work page 1987

  34. [34]

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

    work page 1992

  35. [35]

    Mumford-

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

    work page 1992

  36. [36]

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

    work page 1973

  37. [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. [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. [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. [40]

    and Klingler, B

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

    work page

  41. [41]

    arXiv e-prints , pages=

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

    work page

  42. [42]

    , TITLE =

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

    work page 1981

  43. [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. [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. [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. [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. [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. [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. [49]

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

    work page 2017

  50. [50]

    and Schnell, C

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

    work page 2014

  51. [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. [52]

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

    work page 1980

  53. [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. [54]

    Cox, John Little, & Donal O’Shea

    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. [55]

    and Orr, M

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

    work page 2021

  56. [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. [57]

    and Orr, M

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

    work page

  58. [58]

    and Orr, M

    Daw, C. and Orr, M. , journal=. The large

    work page

  59. [59]

    Compositio Mathematica , volume=

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

    work page 2018

  60. [60]

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

    work page 1996

  61. [61]

    , TITLE =

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

    work page doi:10.1007/bf01406076 1969

  62. [62]

    , TITLE =

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

    work page 1980

  63. [63]

    , TITLE =

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

    work page 1974

  64. [64]

    , TITLE =

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

    work page 1970

  65. [65]

    and Milne, J

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

    work page 1982

  66. [66]

    , TITLE =

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

    work page 1971

  67. [67]

    and Gerotto, G

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

    work page 1994

  68. [68]

    , TITLE =

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

    work page 2001

  69. [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. [70]

    , TITLE =

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

    work page doi:10.1007/bf01388432 1983

  71. [71]

    preprint , year=

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

    work page

  72. [72]

    and Griffiths, P

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

    work page 2012

  73. [73]

    and Pila, J

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

    work page 2012

  74. [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. [75]

    and Nicaise, J

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

    work page 2011

  76. [76]

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

    work page 2017

  77. [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. [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. [79]

    arXiv preprint arXiv:2603.02606 , year=

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

    work page arXiv

  80. [80]

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

    work page 1973

Showing first 80 references.