Supersingular reduction and strongly special intersections in powers of the modular curve

Georgios Papas

Supersingular reduction and strongly special intersections in powers of the modular curve

T0 review · 0 major / 1 minor · reviewed 2026-07-01 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A sparsity assumption on simultaneous supersingular reductions of elliptic curve pairs implies two finiteness results for Hodge generic curves in powers of the modular curve.

desk verdict Conditional Zilber-Pink finiteness for Hodge-generic curves in Y(1)^n via assumed supersingular sparsity and André's G-function method. read the letter →

arxiv 2605.00766 v2 pith:SSYDEHPV submitted 2026-05-01 math.NT math.AG

Georgios Papas This is my paper · ORCID

classification math.NTmath.AG

keywords supersingularreductionellipticcurvesmodularcurveZilber-PinkconjectureunlikelyintersectionsheightboundsfinitenessresultsHodgegeneric

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper shows that an arithmetic condition on how rarely pairs of elliptic curves become supersingular at the same time can serve as input for proving finiteness statements about intersections in products of the modular curve. Under this assumption, certain curves that are generic in a Hodge sense cannot intersect special loci too often. The argument derives height bounds to control these intersections. A reader would care because the condition links reduction properties of elliptic curves to geometric statements about when points or curves lie in unexpected positions within moduli spaces.

What carries the argument

The sparsity statement on simultaneous supersingular reductions of elliptic curve pairs, which supplies arithmetic input to derive height bounds controlling intersections.

What would settle it

An explicit infinite family of Hodge generic curves in some fixed power of the modular curve whose intersections with special loci violate the stated finiteness bounds would falsify the results.

Watch

Extended reading notes

Core claim

Assuming a Lang-Trotter-type sparsity statement for simultaneous supersingular reduction of pairs of elliptic curves, the paper proves two Zilber-Pink-type finiteness results for Hodge generic curves in Y(1)^n. The proof proceeds through height bounds obtained by applying the G-function method.

Load-bearing premise

The Lang-Trotter-type sparsity for simultaneous supersingular reduction of pairs of elliptic curves holds.

Editorial extensions

If this is right

Hodge generic curves in Y(1)^n intersect special loci in only finitely many points under the sparsity assumption.
The same assumption yields a second distinct Zilber-Pink-type finiteness statement for such curves.
Height bounds derived from the G-function method become effective tools for controlling these intersections once the sparsity input is granted.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the sparsity statement can be established unconditionally, the two finiteness results would become unconditional.
The approach suggests that similar sparsity conditions on reductions could be tested numerically for small n to check consistency with the predicted bounds.
The results indicate a route to connect reduction statistics of elliptic curves directly to dimension counts in products of moduli spaces.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The paper shows that a Lang-Trotter-type sparsity statement on simultaneous supersingular reduction for pairs of elliptic curves can be used as arithmetic input to obtain two Zilber-Pink-type finiteness results for Hodge-generic curves in Y(1)^n. The argument obtains the needed height bounds by applying André's G-function method.

What is new is the explicit framing of this particular sparsity as a usable input for unlikely-intersections questions in this setting and the direct combination with the G-function technique. The abstract states the conditional nature clearly and does not claim an unconditional theorem.

The work is straightforward in its structure: it takes an external arithmetic assumption and feeds it into an existing analytic tool. That is a legitimate move when the assumption is interesting on its own. No internal contradiction or hidden circularity appears from the given material.

The main limitation is exactly what the abstract flags: everything rests on the unproven sparsity statement. If that statement fails or remains out of reach, the finiteness results stay conditional. The paper does not attempt to prove the sparsity, so this is not a defect in execution but a boundary on the scope. Without the full text I cannot check the details of the height-bound derivation, but the outline given is consistent.

This is aimed at specialists already working on Zilber-Pink conjectures and unlikely intersections in arithmetic geometry. Readers looking for new arithmetic inputs or conditional applications of G-functions would find it relevant. It is coherent enough on its own terms to merit a serious referee who can examine the technical steps under the stated assumption.

Referee Report

0 major / 1 minor

Summary. The manuscript claims that a Lang--Trotter-type sparsity statement on simultaneous supersingular reduction of pairs of elliptic curves supplies a new arithmetic input for unlikely intersections. Assuming this sparsity, the authors prove two Zilber--Pink-type finiteness theorems for Hodge-generic curves in Y(1)^n; the proofs obtain the required height bounds by applying the G-function method of Yves André.

Significance. If the sparsity hypothesis holds, the work supplies a concrete arithmetic ingredient linking supersingular reduction to finiteness statements in powers of the modular curve. The explicit conditional framing and the application of André's existing G-function technique constitute a clear strength, as they avoid circularity and provide a reproducible bridge between arithmetic geometry and diophantine geometry.

minor comments (1)

[Abstract] Abstract: the two finiteness results are referred to only generically; a one-sentence indication of their precise statements would improve immediate readability without lengthening the abstract.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the clear summary of our conditional results, and the recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; results are conditional on an external assumed sparsity statement

full rationale

The paper states two Zilber-Pink-type finiteness theorems explicitly conditional on a Lang-Trotter-type sparsity statement for simultaneous supersingular reduction, which is assumed rather than derived. The proof applies André's G-function method for height bounds. No step reduces by construction to its inputs, no self-citation is load-bearing for the central claim, and the derivation does not rename or smuggle in results via prior self-work. This is a standard conditional application of an existing technique to an arithmetic hypothesis.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The central claims rest on one external domain assumption whose truth is not established inside the paper.

assumptions (1)

domain assumption Lang-Trotter-type sparsity for simultaneous supersingular reduction of pairs of elliptic curves
The two finiteness results are proved only under this assumption, as stated in the abstract.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Supersingular reduction and strongly special intersections in powers of the modular curve." pith.science (2026). https://pith.science/paper/SSYDEHPV

@misc{pith2026260500766,
  author       = {Pith},
  title        = {Pith review of: Supersingular reduction and strongly special intersections in powers of the modular curve},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SSYDEHPV}},
  note         = {Machine review of arXiv:2605.00766}
}

abstract

We show that Lang--Trotter-type sparsity for simultaneous supersingular reduction of pairs of elliptic curves provides a new arithmetic input for unlikely intersections in powers of the modular curve. Assuming such a sparsity statement, we prove two Zilber--Pink-type finiteness results for Hodge generic curves in $Y(1)^n$. The proof proceeds through height bounds obtained by applying the $G$-function method of Yves Andr\'e.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

Bombieri

2, 10 [Bom81] E. Bombieri. OnG-functions. InRecent progress in analytic number theory, Vol. 2 (Durham, 1979), pages 1–67. Academic Press, London-New York,

work page 1979
[2]

3, 6, 7 [DOP25] C. Daw, M. Orr, and G. Papas. Some new cases of Zilber-Pink inY(1)3.arXiv preprint arXiv:2510.09603,

work page arXiv
[3]

Fouvry and M

1, 2, 4, 7, 8, 10 [FM95] É. Fouvry and M. R. Murty. Supersingular primes common to two elliptic curves. In Number theory (Paris, 1992–1993), volume 215 ofLondon Math. Soc. Lecture Note Ser., pages 91–102. Cambridge Univ. Press, Cambridge,

work page 1992
[4]

3 [Sie14] C. L. Siegel. Über einige Anwendungen diophantischer Approximationen [reprint of Abhandlungen der Preußischen Akademie der Wissenschaften. Physikalisch- mathematische Klasse 1929, Nr. 1]. InOn some applications of Diophantine approxi- mations, volume 2 ofQuad./Monogr., pages 81–138. Ed. Norm., Pisa,

work page 1929

Pith tools

Reviewed July 1, 2026 · model on record in the stance chip above.

[1] [1]

Bombieri

2, 10 [Bom81] E. Bombieri. OnG-functions. InRecent progress in analytic number theory, Vol. 2 (Durham, 1979), pages 1–67. Academic Press, London-New York,

work page 1979

[2] [2]

3, 6, 7 [DOP25] C. Daw, M. Orr, and G. Papas. Some new cases of Zilber-Pink inY(1)3.arXiv preprint arXiv:2510.09603,

work page arXiv

[3] [3]

Fouvry and M

1, 2, 4, 7, 8, 10 [FM95] É. Fouvry and M. R. Murty. Supersingular primes common to two elliptic curves. In Number theory (Paris, 1992–1993), volume 215 ofLondon Math. Soc. Lecture Note Ser., pages 91–102. Cambridge Univ. Press, Cambridge,

work page 1992

[4] [4]

3 [Sie14] C. L. Siegel. Über einige Anwendungen diophantischer Approximationen [reprint of Abhandlungen der Preußischen Akademie der Wissenschaften. Physikalisch- mathematische Klasse 1929, Nr. 1]. InOn some applications of Diophantine approxi- mations, volume 2 ofQuad./Monogr., pages 81–138. Ed. Norm., Pisa,

work page 1929