Prime isogenous discriminant ideal twins

Alexander J. Barrios; Alyson Deines; Maila Brucal-Hallare; Manami Roy; Piper Harris

arxiv: 2402.19183 · v2 · submitted 2024-02-29 · 🧮 math.NT

Prime isogenous discriminant ideal twins

Alexander J. Barrios , Maila Brucal-Hallare , Alyson Deines , Piper Harris , Manami Roy This is my paper

Pith reviewed 2026-05-24 03:32 UTC · model grok-4.3

classification 🧮 math.NT

keywords elliptic curvesisogeniesdiscriminantsconductorsmodular curvesnumber fieldsgenus zero curves

0 comments

The pith

Over Q and imaginary quadratic fields there are finitely many p-isogenous discriminant ideal twins up to twist for genus-zero X0(p).

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

This paper establishes a complete classification of all pairs of elliptic curves over the rationals that are related by a prime-degree isogeny yet share identical minimal discriminant ideals and conductors. The main theorems extend this classification constructively to number fields K for which the modular curve X0(p) has genus zero, specifically for p equal to 2, 3, 5, 7 or 13. A central discovery is the if-and-only-if finiteness statement: up to twists, such p-isogenous discriminant ideal twin pairs exist in finite number precisely when the base field is the rationals or an imaginary quadratic field. Readers may care because the result sharply limits the possible arithmetic coincidences between isogenous curves over these base fields.

Core claim

The authors classify all prime-isogenous discriminant ideal twins over Q. As a consequence of the main results they constructively give all p-isogenous discriminant ideal twins over number fields K where p belongs to {2,3,5,7,13}. In particular they prove that up to twist there are finitely many p-isogenous discriminant ideal twins if and only if K is Q or an imaginary quadratic field, and in the latter case give instructions for finding the finite pairs of j-invariants.

What carries the argument

The parametrization of p-isogenous elliptic curve pairs by the genus-zero modular curve X0(p), used together with local data at each prime of K to ensure the minimal discriminants coincide.

Load-bearing premise

Local conditions at the primes of K suffice to guarantee that the minimal discriminants of the p-isogenous curves are equal when using the X0(p) parametrization.

What would settle it

Exhibiting infinitely many p-isogenous discriminant ideal twins up to twist over a real quadratic number field would falsify the finiteness claim.

read the original abstract

Let $E_{1}$ and $E_{2}$ be elliptic curves defined over a number field $K$. We say that $E_{1}$ and $E_{2}$ are discriminant ideal twins if they are not $K$-isomorphic and have the same minimal discriminant ideal and conductor. Such curves are said to be discriminant twins if, for each prime $\mathfrak{p}$ of $K$, there are $\mathfrak{p}$-minimal models for $E_{1}$ and $E_{2}$ whose discriminants are equal. This article explicitly classifies all prime-isogenous discriminant (ideal) twins over $\mathbb{Q}$. We obtain this classification as a consequence of our main results, which constructively gives all $p$-isogenous discriminant ideal twins over number fields where $p\in\left\{ 2,3,5,7,13\right\} $, i.e., where $X_0(p)$ has genus $0$. In particular, we find that up to twist, there are finitely many $p$-isogenous discriminant ideal twins if and only if $K$ is $\mathbb{Q}$ or an imaginary quadratic field. In the latter case, we provide instructions for finding the finitely many pairs of $j$-invariants that result in $p$-isogenous discriminant ideal twins. We prove our results by considering the local data of parameterized $p$-isogenous elliptic curves.

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 gives an explicit classification of p-isogenous discriminant ideal twins over Q for small p and a clean finiteness criterion for imaginary quadratic fields.

read the letter

The main result is a constructive list of all such pairs over Q for p=2,3,5,7,13 together with the statement that, up to twist, there are only finitely many when the base field is Q or imaginary quadratic. They obtain both by parametrizing the isogenous curves via the genus-zero modular curves X0(p) and then matching local data on minimal discriminants and conductors to enforce the twin condition globally. That step is direct because the parametrizations are rational and the local valuations can be read off the models. The argument uses only standard facts about X0(p) and elliptic-curve reduction, with no hidden global obstructions apparent from the description. The finiteness claim follows immediately once the local matching is imposed on the parameter space. The work is narrow by design but the classification over Q is new and the local-to-global step appears to be carried out without gaps. The only real limitation is the restriction to genus-zero cases; outside those p the method does not apply. Readers who maintain tables of elliptic curves or work on isogeny problems will find the explicit lists and the instructions for the imaginary-quadratic case useful. The paper is a solid, self-contained enumeration rather than a broad theoretical advance, but the claims are verifiable from the stated method. I would send it to peer review.

Referee Report

1 major / 3 minor

Summary. The paper claims to explicitly classify all prime-isogenous discriminant ideal twins over Q as a consequence of its main results, which constructively classify all p-isogenous discriminant ideal twins over number fields K for p in {2,3,5,7,13} (i.e., where X0(p) has genus 0). It proves that, up to twist, there are finitely many such pairs if and only if K is Q or an imaginary quadratic field, and supplies instructions for locating the finitely many j-invariants in the imaginary quadratic case. The proofs proceed by analyzing the local data (valuations of discriminants and conductors) on the elliptic curves parameterized by the genus-zero curve X0(p).

Significance. If the local-to-global step via explicit parametrizations holds, the work supplies a complete, constructive classification over Q together with a finiteness criterion and search method over imaginary quadratic fields. This is useful for enumerating elliptic curves sharing minimal discriminant ideals and conductors, and the genus-zero approach yields explicit rational parametrizations that can be checked directly.

major comments (1)

[Abstract (proof-method paragraph) and main-results section] The central finiteness claim (up to twist, finitely many pairs precisely when K = Q or imaginary quadratic) rests on the assertion that local matching of minimal discriminants on the X0(p)-parametrized families forces global equality with no further obstructions; the manuscript should confirm this by explicit computation of the local conditions for each p and each possible degree of K.

minor comments (3)

The distinction between 'discriminant twins' (equal discriminants on p-minimal models at every prime) and 'discriminant ideal twins' (same minimal discriminant ideal and conductor) should be restated with a short example in the introduction to avoid ambiguity for readers.
Notation for the minimal discriminant ideal (e.g., how it is denoted when comparing the two curves) is introduced without a dedicated symbol table; adding one would improve readability.
The instructions for locating the finitely many pairs over imaginary quadratic fields are described at a high level; an explicit algorithm or pseudocode would make the constructive claim easier to apply.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestion. We address the major comment below.

read point-by-point responses

Referee: [Abstract (proof-method paragraph) and main-results section] The central finiteness claim (up to twist, finitely many pairs precisely when K = Q or imaginary quadratic) rests on the assertion that local matching of minimal discriminants on the X0(p)-parametrized families forces global equality with no further obstructions; the manuscript should confirm this by explicit computation of the local conditions for each p and each possible degree of K.

Authors: We agree that explicit verification strengthens the local-to-global step. The X0(p) parametrizations (for p in {2,3,5,7,13}) are rational and permit direct computation of all local valuations of the minimal discriminant and conductor. In the revised manuscript we will add, in the main-results section, explicit tables of these valuations for each such p, first over Q and then over imaginary quadratic fields, confirming that local matching of minimal discriminants and conductors produces global equality with no further obstructions. For fields of higher degree the same local data are used to exhibit infinitely many solutions (up to twist), consistent with the stated finiteness criterion; we will note that the local conditions themselves do not depend on the global degree of K. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard modular curve facts

full rationale

The paper's central classification proceeds by parametrizing all p-isogenous pairs (p in {2,3,5,7,13}) directly from the known genus-zero property of X0(p), a standard result in the theory of modular curves that is independent of this work and externally verifiable. Local valuations of the discriminant and conductor are then computed on the resulting explicit models to enforce equality of minimal discriminant ideals. No equations reduce any claimed prediction or classification to a fitted parameter or self-defined quantity, and no load-bearing self-citations appear; the finiteness statement follows from the genus-zero parametrization combined with field-specific local data without circular reduction. This is the normal case of a self-contained argument.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Results rest on the known genus of X0(p) for the listed primes and on the standard theory of minimal models and local discriminants of elliptic curves; no new free parameters or postulated entities are introduced.

axioms (2)

standard math X0(p) has genus zero precisely for p in {2,3,5,7,13}
Classical fact from the theory of modular curves, invoked to guarantee a rational parametrization of p-isogenies.
domain assumption Minimal discriminant ideals of elliptic curves over number fields are determined by local data at each prime
Standard arithmetic-geometry fact used to equate discriminants via local matching.

pith-pipeline@v0.9.0 · 5789 in / 1490 out tokens · 47559 ms · 2026-05-24T03:32:38.047826+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove our results by considering the local data of parameterized p-isogenous elliptic curves... Theorem 4.8: ... if and only if for each prime p of K, nu_p(t0)=12k/(p-1) ...
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 2.17 (Barrios [1, Theorem 1])... parameterized families Cp,1(t,d) and Cp,2(t,d)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Nontrivial torsion in the Tate--Shafarevich group of elliptic curves via visibility and twists
math.NT 2026-02 unverdicted novelty 5.0

Visibility theorems imply nontrivial ℓ-torsion in Sha of quadratic twists of elliptic curves with additive reduction at ℓ; for ℓ=3 this yields pairs of curves with identical BSD data and Kodaira symbols but isomorphic...

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · cited by 1 Pith paper

[1]

Barrios, Explicit classiﬁcation of isogeny graphs of rational ellip tic curves, Int

Alexander J. Barrios, Explicit classiﬁcation of isogeny graphs of rational ellip tic curves, Int. J. Number Theory 19 (2023), no. 4, 913–936. MR 4555392

work page 2023
[2]

Barrios, Alyson Deines, and Manami Roy, Code for prime isogenous discriminant ideal twins , https://github.com/adeines/DiscriminantTwins/tree/master/RNT1, 2024

Alexander J. Barrios, Alyson Deines, and Manami Roy, Code for prime isogenous discriminant ideal twins , https://github.com/adeines/DiscriminantTwins/tree/master/RNT1, 2024

work page 2024
[3]

Sutherlan d, Modular polynomials via isogeny volcanoes , Math- ematics of Computation 81 (2011), no

Reinier Br¨ oker, Kristin Lauter, and Andrew V. Sutherlan d, Modular polynomials via isogeny volcanoes , Math- ematics of Computation 81 (2011), no. 278, 1201–1231

work page 2011
[4]

Sutherland, Class polynomials for nonholomorphic modular functions, Journal of Number Theory 161 (2016), 204–229

Jan Hendrik Bruinier, Ken Ono, and Andrew V. Sutherland, Class polynomials for nonholomorphic modular functions, Journal of Number Theory 161 (2016), 204–229

work page 2016
[5]

John Cremona and Mark Watkins, Computing isogenies of elliptic curves , preprint, http://magma.maths.usyd.edu.au/users/watkins/papers/isogs.ps, 2005

work page 2005
[6]

MR 3271859

Alyson Deines, Shimura Degrees for Elliptic Curves over Number Fields , ProQuest LLC, Ann Arbor, MI, 2014, Thesis (Ph.D.)–University of Washington. MR 3271859

work page 2014
[7]

Women Math

, Discriminant twins , Women in numbers Europe II, Assoc. Women Math. Ser., vol. 11 , Springer, Cham, 2018, pp. 83–106. MR 3882707

work page 2018
[8]

Tim Dokchitser and Vladimir Dokchitser, Local invariants of isogenous elliptic curves , Trans. Amer. Math. Soc. 367 (2015), no. 6, 4339–4358. MR 3324930 PRIME ISOGENOUS DISCRIMINANT IDEAL TWINS 35

work page 2015
[9]

Felix Klein and Robert Fricke, Lectures on the theory of elliptic modular functions. Vol. 2 , CTM. Classical Topics in Mathematics, vol. 2, Higher Education Press, Beij ing, 2017, Translated from the German original [ MR0247997] by Arthur M. DuPre. MR 3838339

work page 2017
[10]

The LMFDB Collaboration, The L-functions and modular forms database , http://www.lmfdb.org, 2021, [Online; accessed 18 October 2021]

work page 2021
[11]

Dino Lorenzini, Models of curves and wild ramiﬁcation , Pure Appl. Math. Q. 6 (2010), no. 1, Special Issue: In honor of John Tate. Part 2, 41–82. MR 2591187

work page 2010
[12]

´Alvaro Lozano-Robledo, On the ﬁeld of deﬁnition of p-torsion points on elliptic curves over the rationals , Math. Ann. 357 (2013), no. 1, 279–305. MR 3084348

work page 2013
[13]

Mazur, Rational isogenies of prime degree (with an appendix by D

B. Mazur, Rational isogenies of prime degree (with an appendix by D. Go ldfeld), Invent. Math. 44 (1978), no. 2, 129–162. MR 80h:14022

work page 1978
[14]

Hautes ´Etudes Sci

Andr´ e N´ eron,Mod` eles minimaux des vari´ et´ es ab´ eliennes sur les corpslocaux et globaux , Inst. Hautes ´Etudes Sci. Publ. Math. (1964), no. 21, 128. MR 179172

work page 1964
[15]

A. P. Ogg, Elliptic curves and wild ramiﬁcation , Amer. J. Math. 89 (1967), 1–21. MR 207694

work page 1967
[16]

Number Theory 44 (1993), no

Ioannis Papadopoulos, Sur la classiﬁcation de N´ eron des courbes elliptiques en ca ract´ eristique r´ esiduelle2 et 3, J. Number Theory 44 (1993), no. 2, 119–152. MR 1225948

work page 1993
[17]

Ribet and S

Kenneth A. Ribet and S. Takahashi, Parametrizations of elliptic curves by shimura curves and b y classical modular curves. , Proceedings of the National Academy of Sciences of the Unit ed States of America 94 21 (1997), 11110–4

work page 1997
[18]

Silverman, Advanced topics in the arithmetic of elliptic curves , Graduate Texts in Mathematics, vol

Joseph H. Silverman, Advanced topics in the arithmetic of elliptic curves , Graduate Texts in Mathematics, vol. 151, Springer-Verlag, New York, 1994. MR 1312368

work page 1994
[19]

106, Sprin ger, Dordrecht, 2009

, The arithmetic of elliptic curves , second ed., Graduate Texts in Mathematics, vol. 106, Sprin ger, Dordrecht, 2009. MR 2514094

work page 2009
[20]

Tate, Algorithm for determining the type of a singular ﬁber in an el liptic pencil , Modular functions of one variable, IV (Proc

J. Tate, Algorithm for determining the type of a singular ﬁber in an el liptic pencil , Modular functions of one variable, IV (Proc. Internat. Summer School, Univ. Antwerp , Antwerp, 1972), 1975, pp. 33–52. Lecture Notes in Math., Vol. 476. MR 0393039

work page 1972
[21]

MR 3389382

Kiminori Tsukazaki, Explicit isogenies of elliptic curves , ProQuest LLC, Ann Arbor, MI, 2013, Thesis (Ph.D.)– University of Warwick (United Kingdom). MR 3389382

work page 2013
[22]

Shianghaw Wang, On Grunwald’s theorem , Ann. of Math. (2) 51 (1950), 471–484. MR 33801 Department of Mathematics, University of St. Thomas, St. P a ul, Minnesota, USA Email address : abarrios@stthomas.edu Department of Mathematics, US Air Force Academy, Colorado S prings, Colorado, USA Email address : mbh2739@gmail.com Center for Communications Research, ...

work page 1950

[1] [1]

Barrios, Explicit classiﬁcation of isogeny graphs of rational ellip tic curves, Int

Alexander J. Barrios, Explicit classiﬁcation of isogeny graphs of rational ellip tic curves, Int. J. Number Theory 19 (2023), no. 4, 913–936. MR 4555392

work page 2023

[2] [2]

Barrios, Alyson Deines, and Manami Roy, Code for prime isogenous discriminant ideal twins , https://github.com/adeines/DiscriminantTwins/tree/master/RNT1, 2024

Alexander J. Barrios, Alyson Deines, and Manami Roy, Code for prime isogenous discriminant ideal twins , https://github.com/adeines/DiscriminantTwins/tree/master/RNT1, 2024

work page 2024

[3] [3]

Sutherlan d, Modular polynomials via isogeny volcanoes , Math- ematics of Computation 81 (2011), no

Reinier Br¨ oker, Kristin Lauter, and Andrew V. Sutherlan d, Modular polynomials via isogeny volcanoes , Math- ematics of Computation 81 (2011), no. 278, 1201–1231

work page 2011

[4] [4]

Sutherland, Class polynomials for nonholomorphic modular functions, Journal of Number Theory 161 (2016), 204–229

Jan Hendrik Bruinier, Ken Ono, and Andrew V. Sutherland, Class polynomials for nonholomorphic modular functions, Journal of Number Theory 161 (2016), 204–229

work page 2016

[5] [5]

John Cremona and Mark Watkins, Computing isogenies of elliptic curves , preprint, http://magma.maths.usyd.edu.au/users/watkins/papers/isogs.ps, 2005

work page 2005

[6] [6]

MR 3271859

Alyson Deines, Shimura Degrees for Elliptic Curves over Number Fields , ProQuest LLC, Ann Arbor, MI, 2014, Thesis (Ph.D.)–University of Washington. MR 3271859

work page 2014

[7] [7]

Women Math

, Discriminant twins , Women in numbers Europe II, Assoc. Women Math. Ser., vol. 11 , Springer, Cham, 2018, pp. 83–106. MR 3882707

work page 2018

[8] [8]

Tim Dokchitser and Vladimir Dokchitser, Local invariants of isogenous elliptic curves , Trans. Amer. Math. Soc. 367 (2015), no. 6, 4339–4358. MR 3324930 PRIME ISOGENOUS DISCRIMINANT IDEAL TWINS 35

work page 2015

[9] [9]

Felix Klein and Robert Fricke, Lectures on the theory of elliptic modular functions. Vol. 2 , CTM. Classical Topics in Mathematics, vol. 2, Higher Education Press, Beij ing, 2017, Translated from the German original [ MR0247997] by Arthur M. DuPre. MR 3838339

work page 2017

[10] [10]

The LMFDB Collaboration, The L-functions and modular forms database , http://www.lmfdb.org, 2021, [Online; accessed 18 October 2021]

work page 2021

[11] [11]

Dino Lorenzini, Models of curves and wild ramiﬁcation , Pure Appl. Math. Q. 6 (2010), no. 1, Special Issue: In honor of John Tate. Part 2, 41–82. MR 2591187

work page 2010

[12] [12]

´Alvaro Lozano-Robledo, On the ﬁeld of deﬁnition of p-torsion points on elliptic curves over the rationals , Math. Ann. 357 (2013), no. 1, 279–305. MR 3084348

work page 2013

[13] [13]

Mazur, Rational isogenies of prime degree (with an appendix by D

B. Mazur, Rational isogenies of prime degree (with an appendix by D. Go ldfeld), Invent. Math. 44 (1978), no. 2, 129–162. MR 80h:14022

work page 1978

[14] [14]

Hautes ´Etudes Sci

Andr´ e N´ eron,Mod` eles minimaux des vari´ et´ es ab´ eliennes sur les corpslocaux et globaux , Inst. Hautes ´Etudes Sci. Publ. Math. (1964), no. 21, 128. MR 179172

work page 1964

[15] [15]

A. P. Ogg, Elliptic curves and wild ramiﬁcation , Amer. J. Math. 89 (1967), 1–21. MR 207694

work page 1967

[16] [16]

Number Theory 44 (1993), no

Ioannis Papadopoulos, Sur la classiﬁcation de N´ eron des courbes elliptiques en ca ract´ eristique r´ esiduelle2 et 3, J. Number Theory 44 (1993), no. 2, 119–152. MR 1225948

work page 1993

[17] [17]

Ribet and S

Kenneth A. Ribet and S. Takahashi, Parametrizations of elliptic curves by shimura curves and b y classical modular curves. , Proceedings of the National Academy of Sciences of the Unit ed States of America 94 21 (1997), 11110–4

work page 1997

[18] [18]

Silverman, Advanced topics in the arithmetic of elliptic curves , Graduate Texts in Mathematics, vol

Joseph H. Silverman, Advanced topics in the arithmetic of elliptic curves , Graduate Texts in Mathematics, vol. 151, Springer-Verlag, New York, 1994. MR 1312368

work page 1994

[19] [19]

106, Sprin ger, Dordrecht, 2009

, The arithmetic of elliptic curves , second ed., Graduate Texts in Mathematics, vol. 106, Sprin ger, Dordrecht, 2009. MR 2514094

work page 2009

[20] [20]

Tate, Algorithm for determining the type of a singular ﬁber in an el liptic pencil , Modular functions of one variable, IV (Proc

J. Tate, Algorithm for determining the type of a singular ﬁber in an el liptic pencil , Modular functions of one variable, IV (Proc. Internat. Summer School, Univ. Antwerp , Antwerp, 1972), 1975, pp. 33–52. Lecture Notes in Math., Vol. 476. MR 0393039

work page 1972

[21] [21]

MR 3389382

Kiminori Tsukazaki, Explicit isogenies of elliptic curves , ProQuest LLC, Ann Arbor, MI, 2013, Thesis (Ph.D.)– University of Warwick (United Kingdom). MR 3389382

work page 2013

[22] [22]

Shianghaw Wang, On Grunwald’s theorem , Ann. of Math. (2) 51 (1950), 471–484. MR 33801 Department of Mathematics, University of St. Thomas, St. P a ul, Minnesota, USA Email address : abarrios@stthomas.edu Department of Mathematics, US Air Force Academy, Colorado S prings, Colorado, USA Email address : mbh2739@gmail.com Center for Communications Research, ...

work page 1950