When the BSD Real Period Remembers Elliptic Curves over $\mathbb{Q}$

Asuka Shiga

REVIEW

When the BSD Real Period Remembers Elliptic Curves over $\mathbb{Q}$

Asuka Shiga

Number Theory · Submitted 5 Oct 2026 · 15 references

Pith's verdict: The main reconstruction theorem holds up; the reader's rejection rests on a miscomputed twist.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 6, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 4 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.06015 (version 1)

Pith IDBY3LZJUO, Pith's permanent record of this paper and its review

CitationAsuka Shiga. "When the BSD Real Period Remembers Elliptic Curves over $\mathbb{Q}$." arXiv:2610.06015 (2026). https://pith.science/paper/BY3LZJUO

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

The paper's central results are solid, and the reviewer's reject is based on a false counterexample. The alleged flaw in Theorem 3.3 — that c_{E^D/R} may differ from c_{E/R} — is not a flaw. Under the paper's stated twist convention (Notation 1.1), twisting by any squarefree D replaces the cubic f(x) with D^3 f(x/D), which scales the cubic discriminant by D^6 > 0. The number of real roots is unchanged, hence c is unchanged. For the reader's example, the −3 twist of y^2 = x^3 − x is y^2 = x^3 − 9x (three real roots, c = 2), not y^2 = x^3 + 3x. The stress-test note is right. So the proof of Theorem 3.3(1) is coherent: the equality of periods and c gives Ω^+ and Ω^− separately, Proposition 3.1 then yields the Q-isomorphism. The rounding part (2) follows from the finiteness lemma and is fine. The genuinely new content is the descent of the isogeny from Q̄ to Q in Theorem 1.1(1), the reconstruction via the twist period, and the effective rounding statement. These are interesting and useful. The proof of Theorem 2.8 via Wüstholz's analytic subgroup theorem is careful, and the descent argument is clearly explained. The examples — especially the BSD twin distinguished by a twist — are concrete and checkable. The paper is carefully written, with the author acknowledging where pairs of invariants fail and where the number-field analogue breaks. Soft spots are minor: the proof of Proposition 3.1 depends on a standard lattice description, and the rounding threshold is not made explicit, but neither threatens the claims. The citation pattern is appropriate; the use of [9] for twist periods matches the hypotheses. This paper deserves a serious referee. I would accept it for review and expect that the main theorem will stand after routine checks of the Bašić lattice formalism and the Wüstholz application, which appear correct. I would cite it in my own work on period invariants.

Referee report

Significance

If the proofs are correct, these are attractive and fairly sharp positive results on the reconstruction question: the real period alone determines the rational isogeny class, and adding the archimedean component count and one negative twist period determines the isomorphism class. The proof of Theorem 2.8 is a clean application of Wustholz's analytic subgroup theorem with a descent argument, and Theorem 3.3 combines the isogeny result with Pal's twist-period formula and elementary real-component data. The paper is honest about limitations: Remark 2.12 gives non-isogenous curves over a totally real field with equal product of real periods, and Remark 3.5 shows that no pair of the three invariants suffices in general. I checked the step on which the attached reader's report bases its rejection: the assertion c_{E^D/R} = c_{E/R} is correct under the twist convention of Notation 1.1, since the cubic of E^D is D^3 f(x/D), so the number of real roots is unchanged. The proposed counterexample y^2 = x^3 + 3x is not the -3 twist of y^2 = x^3 - x in that convention; the correct twist is y^2 = x^3 - 9x, which has c = 2. I found no load-bearing error in the central derivation.

Major objections (1)

[Section 3, Theorem 3.3 proof] The step 'Note that c_{E^D/R} = c_{E/R} for any square-free integer D' is load-bearing, since it converts the equality of twist periods into the equality Omega_E^- = Omega_{E'}^-. The assertion is correct under the twist convention of Notation 1.1: if f is the cubic of E, the cubic of E^D is D^3 f(x/D), so its real roots are D times those of f and the number of real components is unchanged; equivalently the cubic discriminant is multiplied by the positive number D^6. The counterexample mentioned in the attached reader's report uses y^2 = x^3 + 3x for the -3 twist of y^2 = x^3 - x, which is not the twist under this convention; the correct -3 twist is y^2 = x^3 - 9x, with c = 2. I therefore do not regard this as an error, but the manuscript should include the one-line proof so that the central step cannot be misread.

Minor objections (4)

[Section 2, Notation] Throughout Section 2 the symbol Q is used both for the rational field and for an algebraic closure, for example in 'exp_G(u) in G(Q)' and 'Gal(Q/K)'; the paper should consistently write an overline Q for the algebraic closure to avoid ambiguity.
[Section 3, Theorem 3.3 proof] The derivation of Omega_E^- = Omega_{E'}^- from c_{E^D/R} Omega_E^- = c_{E'^D/R} Omega_{E'}^- silently fixes a sign for the generator r^-; Proposition 3.1 explicitly allows a sign choice, so the proof of Theorem 3.3 should state that Omega^- is chosen in iR_{>0} for both curves, since otherwise the displayed equalities hold only up to sign.
[Section 3, Theorem 3.3(2) proof] The sentence 'By Lemma 2.10, Omega_E is determined by its value rounded to its n(E)-th decimal place' is too compressed; the proof should spell out that Lemma 2.10 gives finiteness of the set of periods above any positive threshold, hence a positive separation from Omega_E, so a sufficiently small rounding interval isolates it.
[Remark 3.5] The sentence about the pair (Omega_{E^D}, c_{E/R}) being insufficient, with the reference to (E_1^{-11}, (E'_1)^{-11}) and D = -7, is confusing as written; please state explicitly which twist D is used and which two curves are being compared.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The real period of an elliptic curve determines its isogeny class, and with two companions pins down the isomorphism class.

The reading

The paper asks how much of an elliptic curve the invariants in the Birch and Swinnerton-Dyer conjecture preserve, focusing on the real period. It establishes that, for a number field with a fixed real embedding, the real period attached to that embedding determines the isogeny class of the curve over the field. Over the rationals, it goes further: the real period together with the number of real connected components and the real period of a suitable negative quadratic twist determine the curve up to isomorphism over Q. A secondary result shows the same reconstruction works when the periods are known only to sufficiently many decimal places. If correct, this identifies a sharp set of BSD invariants that completely remember the curve.

What carries the argument

The argument runs through the period lattice: for an elliptic curve over K, the real period sits in the period lattice, and a nonzero common period for two curves forces the existence of a nontrivial algebraic subgroup of their product via Wustholz's analytic subgroup theorem, giving the K-isogeny (Proposition 2.7 and Theorem 2.8). Over Q, the minus period Omega_E^- is recovered from the twist: Pal's period formula for quadratic twists, in the clean case D congruent to 1 mod 4 and coprime to the discriminant, expresses Omega_{E^D} in terms of Omega_E^-, and this is what lets the paper convert equality of both real periods into equality of the plus and minus periods. With c_{E/R} matching, the plus and minus periods assemble into the same period lattice (rectangular when c_{E/R} = 2, slanted when c_{E/R} = 1), and a common lattice means a common Weierstrass equation, so the curves are Q-isomorphic (Proposition 3.1).

Extended reading notes

Core claim

The central claim is that the real period has a reconstruction property beyond what was known: for elliptic curves over a number field K with a fixed real embedding $\sigma$, the quotient of the two real periods lies in $\sigma$(K^x) if and only if the curves are isogenous over K (Theorem 2.8). Over Q, this implies the real period determines the Q-isogeny class (Theorem 1.1), and the paper then sharpens this to isomorphism: an elliptic curve E/Q is uniquely determined up to Q-isomorphism by the triple consisting of c_{E/R}, the number of connected components of E(R), the real period Omega_E, and the real period Omega_{E^D} of the quadratic twist by a negative square-free D congruent to 1 mod 4 and coprime to the minimal discriminant (Theorem 3.3). The same conclusion holds when the two real periods are known only to N decimal places, where N depends on E and D. The paper also exhibits the curve $y^{2}$ = $x^{3}$ + 17x as an example where the real period together with the Tate-Shafarevich group already singles out the isomorphism class.

Load-bearing premise

The proof of Theorem 3.3 relies on the assertion that the number of real connected components is unchanged by any square-free quadratic twist, c_{E^D/R} = c_{E/R}; if that equality fails for some D, the step deducing Omega_E^- = Omega_{E'}^- from the equality of the twisted real periods breaks.

Editorial extensions

If this is right

If the theorem holds, an elliptic curve over Q can be recovered from three archimedean invariants alone, with no knowledge of the L-function, the regulator, or the Tate-Shafarevich group.
The no-pair statement in Remark 3.5 implies that the triple in Theorem 3.3 is minimal: no two of the three invariants suffice in general.
BSD twins, pairs of non-isomorphic curves sharing all BSD invariants, can always be distinguished by passing to some suitable negative quadratic twist, detecting the non-isomorphism through either the real period or the component count.
The finite-precision version (part (2) of Theorem 3.3) means the reconstruction is effective in principle: from rounded decimal data one can in fact recover the exact curve.
The isogeny-class result gives a purely analytic certificate for isogeny over Q, with the descent to Q handled explicitly rather than left implicit.

Reading between the lines

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

The mechanism suggests a general principle: invariants that control individual periods of a motive can be packaged, via period-lattice comparison, into complete isomorphism data, and the same strategy could in principle be run for higher-dimensional abelian varieties where the period lattice has more than two real generators.
The finite-precision statement hints at an algorithmic reconstruction pipeline: compute enough digits of Omega_E and Omega_{E^D}, round, and search the finite set of survivors; the height bound of Lemma 2.10 gives the finiteness, and the explicit example suggests the method terminates quickly in practice.
The quotient criterion Omega_{E1}/Omega_{E2} in K^x being equivalent to K-isogeny is a testable arithmetic statement: one could try to construct a counterexample over a non-Galois extension where the quotient lies in the field but no descent of the isogeny exists, which would force the descent step in Proposition 2.7 to carry unexpected weight.

Original abstract

We study the extent to which the invariants appearing in the Birch and Swinnerton-Dyer conjecture remember the elliptic curve, and we give several affirmative answers to this question. For example, the real period $\Omega_E =\frac{\Gamma(1/4)^2}{2\sqrt{\pi}\,17^{1/4}}$ and the Tate--Shafarevich group $ \Sha(E/\mathbb{Q})\cong \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ remember the elliptic curve $E: y^2=x^3+17x$. Let $K$ be a number field admitting a real embedding, and fix one such embedding $\sigma\colon K\hookrightarrow\mathbb{R}$. We first prove that, for an elliptic curve $E$ over $K$, the real period of $E$ attached to $\sigma$ determines the $K$-isogeny class of $E$. We then prove that an elliptic curve $E$ over $\mathbb{Q}$ is determined up to isomorphism over $\mathbb{Q}$ by its real period, the number of connected components of $E(\mathbb{R})$, and the real period of the quadratic twist $E^{D}$ by a negative square-free integer $D\equiv 1 \bmod 4$ coprime to the minimal discriminant of $E$. Moreover, over $\mathbb{Q}$, both statements already hold when the real periods are known only to sufficiently many decimal places, where the required precision depends on $E$ (and $D$).

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-06: 1 request, 5,473 input tokens.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.69 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.46 · compares with prior results 0.08 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We study the extent to which the invariants appearing in the Birch and Swinnerton-Dyer conjecture remember the elliptic curve, and we give several affirmative answers to this question. For example, the real period $\Omega_E =\frac{\Gamma(1/4)^2}{2\sqrt{\pi}\,17^{1/4}}$ and the Tate--Shafarevich group $ \Sha(E/\mathbb{Q})\cong \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ remember the elliptic curve $E: y^2=x^3+17x$. Let $K$ be a number field admitting a real embedding, and fix one such embedding $\sigma\colon K\hookrightarrow\mathbb{R}$. We first prove that, for an elliptic curve $E$ over $K$, the real period of $E$ attached to $\sigma$ determines the $K$-isogeny class of $E$. We then prove that an elliptic curve $E$ over $\mathbb{Q}$ is determined up to isomorphism over $\mathbb{Q}$ by its real period, the number of connected components of $E(\mathbb{R})$, and the real period of the quadratic twist $E^{D}$ by a negative square-free integer $D\equiv 1 \bmod 4$ coprime to the minimal discriminant of $E$. Moreover, over $\mathbb{Q}$, both statements already hold when the real periods are known only to sufficiently many decimal places, where the required precision depends on $E$ (and $D$).

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We study the extent to which the invariants appearing in the Birch and Swinnerton-Dyer conjecture remember the elliptic curve, and we give several affirmative answers to this question.	contribution 0.98	0.92	0.63	asserted 0.97
s1	For example, the real period $\Omega_E =\frac{\Gamma(1/4)^2}{2\sqrt{\pi}\,17^{1/4}}$ and the Tate--Shafarevich group $ \Sha(E/\mathbb{Q})\cong \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ remember the elliptic curve $E: y^2=x^3+17x$.	result 0.97	0.75	0.18	asserted 0.99
s2	Let $K$ be a number field admitting a real embedding, and fix one such embedding $\sigma\colon K\hookrightarrow\mathbb{R}$.	background 0.66	0.22	0.02	unclear 0.64
s3	We first prove that, for an elliptic curve $E$ over $K$, the real period of $E$ attached to $\sigma$ determines the $K$-isogeny class of $E$.	result 0.93	0.94	0.26	asserted 1.00
s4	We then prove that an elliptic curve $E$ over $\mathbb{Q}$ is determined up to isomorphism over $\mathbb{Q}$ by its real period, the number of connected components of $E(\mathbb{R})$, and the real period of the quadratic twist $E^{D}$ by a negative square-free integer $D\equiv 1 \bmod 4$ coprime to the minimal discriminant of $E$.	result 0.98	0.92	0.31	asserted 1.00
s5	Moreover, over $\mathbb{Q}$, both statements already hold when the real periods are known only to sufficiently many decimal places, where the required precision depends on $E$ (and $D$).	result 0.97	0.88	0.16	asserted 0.99

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Works cited (15)

[9]

V. Pal, Periods of quadratic twists of elliptic curves, with an appendix by A. Agashe, Proc. Amer. Math. Soc. 140(2012), no. 5, 1513–1525

View on Pith 2012
[1]

T. Dokchitser and V. Dokchitser, Local invariants of isogenous elliptic curves, Trans. Amer. Math. Soc.367 (2015), no. 6, 4339–4358

View on Pith 2015
[2]

A. Huber-Klawitter, The Analytic Subgroup Theorem, lecture notes, Wintersemester 2020/21, version of Feb- ruary 9, 2021, Albert-Ludwigs-Universität Freiburg,https://home.mathematik.uni-freiburg.de/arithgeom/ lehre/ws20/tast.pdf

View on Pith 2020
[3]

A. Huber and G. Wüstholz,Transcendence and Linear Relations of 1-Periods, Cambridge Tracts in Mathematics, vol. 227, Cambridge University Press, Cambridge, 2022

View on Pith 2022
[4]

M. A. Kenku, On the number ofQ-isomorphism classes of elliptic curves in eachQ-isogeny class, J. Number Theory 15 (1982), no. 2, 199–202

View on Pith 1982
[5]

The LMFDB Collaboration, The L-functions and modular forms database,https://www.lmfdb.org, 2025. 12 ASUKA SHIGA

View on Pith 2025
[6]

J. S. Milne,Algebraic Groups and Arithmetic Groups, available athttps://www.jmilne.org/math/CourseNotes/ aag.pdf

View on Pith
[7]

J. S. Milne, Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field, Cambridge Studies in Advanced Mathematics, vol. 170, Cambridge University Press, Cambridge, 2017

View on Pith 2017
[8]

H. Movasati, On elliptic modular foliations, Indag. Math. (N.S.)19(2008), no. 2, 263–286

View on Pith 2008
[10]

J. Park, B. Poonen, J. Voight, and M. M. Wood,A heuristic for boundedness of ranks of elliptic curves, J. Eur. Math. Soc.21(2019), no. 9, 2859–2903

View on Pith 2019
[11]

K. Rubin, Tate-Shafarevich groups andL-functions of elliptic curves with complex multiplication, Invent. Math. 89(1987), no. 3, 527–560

View on Pith 1987
[12]

A. Shiga, Behaviors of the Tate–Shafarevich group of elliptic curves under quadratic field extensions, Tokyo J. Math.49(2026), no. 1, 199–224

View on Pith 2026
[13]

A. Shiga, Infinitely many pairs of non-isomorphic elliptic curves sharing the same BSD invariants, arXiv:2507.18574 (2025)

View on Pith Pith review arXiv 2025
[14]

J. H. Silverman,The Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, vol. 106, 2nd ed., Springer, Dordrecht, 2009

View on Pith 2009
[15]

G. Wüstholz, Algebraische Punkte auf analytischen Untergruppen algebraischer Gruppen, Annals of Mathemat- ics (2)129(1989), no. 3, 501–517. Mathematical Institute, Graduate School of Science, Tohoku University, 6-3 Aramaki Aza Aoba, Aoba-ku, Sendai, Miyagi 980-8578, Japan. Email address:shiga.asuka.r5@dc.tohoku.ac.jp

View on Pith 1989

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.

[1] [9]

V. Pal, Periods of quadratic twists of elliptic curves, with an appendix by A. Agashe, Proc. Amer. Math. Soc. 140(2012), no. 5, 1513–1525

View on Pith 2012

[2] [1]

T. Dokchitser and V. Dokchitser, Local invariants of isogenous elliptic curves, Trans. Amer. Math. Soc.367 (2015), no. 6, 4339–4358

View on Pith 2015

[3] [2]

A. Huber-Klawitter, The Analytic Subgroup Theorem, lecture notes, Wintersemester 2020/21, version of Feb- ruary 9, 2021, Albert-Ludwigs-Universität Freiburg,https://home.mathematik.uni-freiburg.de/arithgeom/ lehre/ws20/tast.pdf

View on Pith 2020

[4] [3]

A. Huber and G. Wüstholz,Transcendence and Linear Relations of 1-Periods, Cambridge Tracts in Mathematics, vol. 227, Cambridge University Press, Cambridge, 2022

View on Pith 2022

[5] [4]

M. A. Kenku, On the number ofQ-isomorphism classes of elliptic curves in eachQ-isogeny class, J. Number Theory 15 (1982), no. 2, 199–202

View on Pith 1982

[6] [5]

The LMFDB Collaboration, The L-functions and modular forms database,https://www.lmfdb.org, 2025. 12 ASUKA SHIGA

View on Pith 2025

[7] [6]

J. S. Milne,Algebraic Groups and Arithmetic Groups, available athttps://www.jmilne.org/math/CourseNotes/ aag.pdf

View on Pith

[8] [7]

J. S. Milne, Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field, Cambridge Studies in Advanced Mathematics, vol. 170, Cambridge University Press, Cambridge, 2017

View on Pith 2017

[9] [8]

H. Movasati, On elliptic modular foliations, Indag. Math. (N.S.)19(2008), no. 2, 263–286

View on Pith 2008

[10] [10]

J. Park, B. Poonen, J. Voight, and M. M. Wood,A heuristic for boundedness of ranks of elliptic curves, J. Eur. Math. Soc.21(2019), no. 9, 2859–2903

View on Pith 2019

[11] [11]

K. Rubin, Tate-Shafarevich groups andL-functions of elliptic curves with complex multiplication, Invent. Math. 89(1987), no. 3, 527–560

View on Pith 1987

[12] [12]

A. Shiga, Behaviors of the Tate–Shafarevich group of elliptic curves under quadratic field extensions, Tokyo J. Math.49(2026), no. 1, 199–224

View on Pith 2026

[13] [13]

A. Shiga, Infinitely many pairs of non-isomorphic elliptic curves sharing the same BSD invariants, arXiv:2507.18574 (2025)

View on Pith Pith review arXiv 2025

[14] [14]

J. H. Silverman,The Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, vol. 106, 2nd ed., Springer, Dordrecht, 2009

View on Pith 2009

[15] [15]

G. Wüstholz, Algebraische Punkte auf analytischen Untergruppen algebraischer Gruppen, Annals of Mathemat- ics (2)129(1989), no. 3, 501–517. Mathematical Institute, Graduate School of Science, Tohoku University, 6-3 Aramaki Aza Aoba, Aoba-ku, Sendai, Miyagi 980-8578, Japan. Email address:shiga.asuka.r5@dc.tohoku.ac.jp

View on Pith 1989