REVIEW
Local data of elliptic curves under quadratic twist
Number Theory · Submitted 6 Jan 2025 · 12 references
Pith's verdict: A genuinely useful local-data reference for quadratic twists, with a strong new normal form; the Q2 half is not fully self-contained because key valuations live in an unversioned Sage notebook.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
From a strongly-minimal model's coefficient valuations, this paper's tables determine the local data of an elliptic curve and of any quadratic twist.
The reading
What carries the argument
The central object is a $v$-strongly-minimal model: a minimal Weierstrass model $y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6$ whose coefficient valuations occur in Table 1, together with auxiliary splitting conditions. In residue characteristic 2 those conditions are expressed through the Artin-Schreier endomorphism $T(\alpha)=\alpha^2+\alpha$ on the residue field, deciding split versus non-split multiplicative fibers and the Tamagawa number in the cases where it is not forced. The argument is carried by the explicit twist equation (5.1), a fixed list of admissible isomorphisms that return the twisted equation to strongly-minimal form, and a discriminant identity (3.1) that controls the relevant valuations in the multiplicative-reduction cases. These pieces reduce the proof of each row of Tables 5 and 6 to checking valuations of the coefficients of a few associated models.
Extended reading notes
Core claim
On the paper's own terms, the central claim is a normal form plus a table lookup. Proposition 3.5 asserts that every elliptic curve over a complete discrete valuation ring with perfect residue field has a $v$-strongly-minimal model, one whose coefficient valuations match a row of Table 1 and thereby fix the Kodaira-Neron type and local Tamagawa number. Starting from such a model for $E$, the paper writes the quadratic twist $E^d$ in the explicit equation (5.1), applies fixed admissible changes of variables, and proves in Tables 4, 5, and 6 that the twisted model again lands in strongly-minimal form. Consequently the Kodaira-Neron type of $E^d$ and the pairs $(c,c^d)$, $(\delta,\delta^d)$, and $(f,f^d)$ are given as direct conditions on the original coefficients, with no fresh Tate's algorithm for the twist. In the $\mathbb{Q}_2$ case the proof is split into $v(d)=0$ and $v(d)=1$, which covers all twists since $d$ is taken modulo squares.
Load-bearing premise
The load-bearing premise is that the computer-algebra checks of the valuation identities and the discriminant identity are correct; the text asserts these verifications rather than proving every line, so a single error in those checks would invalidate the affected rows of the main tables.
Editorial extensions
If this is right
- For an elliptic curve over $\mathbb{Q}_2$ in strongly-minimal form, the pair of Kodaira-Neron types $(\mathrm{typ}(E), \mathrm{typ}(E^d))$ is settled by coefficient valuations plus congruences modulo 4 or 8, without running Tate's algorithm on the twist.
- The local Tamagawa pair $(c,c^d)$ is obtained from the same coefficient conditions, so the twisted Tamagawa number feeds directly into Birch and Swinnerton-Dyer style leading-term computations.
- The tables list the minimal discriminant valuation and conductor exponent of the twist, so Ogg's formula does not need to be invoked separately after the type is known.
- Because $d$ is taken modulo squares, the $v(d)=0$ and $v(d)=1$ tables cover every quadratic twist of a curve over $\mathbb{Q}_2$.
- For residue characteristic 2, the paper's type table corrects an earlier classification by adding previously missing rows such as $I_0 \to I_0$, $I_n \to I_n$, $IV \to IV$, and $IV^* \to IV^*$.
Reading between the lines
- An extension the authors leave implicit: once a strongly-minimal model is available, the cost of producing local data for every quadratic twist of a given curve over $\mathbb{Q}_2$ is essentially the cost of evaluating a few valuation conditions.
- The same normal-form strategy could be tried for cubic, quartic, or sextic twists, where the twist equation is still explicit but the automorphism group is larger; whether an analogue of Table 1 exists is a testable question.
- Because the proof delegates several valuation identities to companion computer checks, an independent re-derivation or formalization of those identities would remove the main unproved link; a random independent check of individual table rows against a separate Tate's algorithm implementation would be a cheap falsifier.
- Over ramified extensions of $\mathbb{Q}_2$ or unramified extensions with residue field $\mathbb{F}_{2^r}$, the membership condition in $\mathrm{Im}\,T$ becomes an Artin-Schreier condition over a larger residue field, so the table method should generalize with the same shape once the base normal forms are known.
Original abstract
Let $K$ be the field of fractions of a complete discrete valuation ring with a perfect residue field. In this article, we investigate how the Tamagawa number of $E/K$ changes under quadratic twist. To accomplish this, we introduce the notion of a strongly-minimal model for an elliptic curve $E/K$, which is a minimal Weierstrass model satisfying certain conditions that lead one to easily infer the local data of $E/K$. Our main results provide explicit conditions on the Weierstrass coefficients of a strongly-minimal model of $E/K$ to determine the local data of a quadratic twist $E^{d}/K$. We note that when the residue field has characteristic $2$, we only consider the special case $K=\mathbb{Q}_{2}$. In this setting, we also determine the minimal discriminant valuation and conductor exponent of $E$ and $E^d$ from further conditions on the coefficients of a strongly-minimal model for $E$.
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.
The abstract, sentence by sentence
Let $K$ be the field of fractions of a complete discrete valuation ring with a perfect residue field. In this article, we investigate how the Tamagawa number of $E/K$ changes under quadratic twist. To accomplish this, we introduce the notion of a strongly-minimal model for an elliptic curve $E/K$, which is a minimal Weierstrass model satisfying certain conditions that lead one to easily infer the local data of $E/K$. Our main results provide explicit conditions on the Weierstrass coefficients of a strongly-minimal model of $E/K$ to determine the local data of a quadratic twist $E^{d}/K$. We note that when the residue field has characteristic $2$, we only consider the special case $K=\mathbb{Q}_{2}$. In this setting, we also determine the minimal discriminant valuation and conductor exponent of $E$ and $E^d$ from further conditions on the coefficients of a strongly-minimal model for $E$.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Let $K$ be the field of fractions of a complete discrete valuation ring with a perfect residue field. | background 1.00 | 0.05 | 0.01 | asserted 0.88 |
| s1 | In this article, we investigate how the Tamagawa number of $E/K$ changes under quadratic twist. | contribution 0.86 | 0.73 | 0.06 | asserted 0.80 |
| s2 | To accomplish this, we introduce the notion of a strongly-minimal model for an elliptic curve $E/K$, which is a minimal Weierstrass model satisfying certain conditions that lead one to easily infer the local data of $E/K$. | method 0.85 | 0.89 | 0.06 | asserted 1.00 |
| s3 | Our main results provide explicit conditions on the Weierstrass coefficients of a strongly-minimal model of $E/K$ to determine the local data of a quadratic twist $E^{d}/K$. | result 0.87 | 0.95 | 0.93 | asserted 1.00 |
| s4 | We note that when the residue field has characteristic $2$, we only consider the special case $K=\mathbb{Q}_{2}$. | limitation 1.00 | 0.58 | 0.02 | asserted 0.99 |
| s5 | In this setting, we also determine the minimal discriminant valuation and conductor exponent of $E$ and $E^d$ from further conditions on the coefficients of a strongly-minimal model for $E$. | result 0.92 | 0.95 | 0.11 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
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.