REVIEW
Class Groups and Selmer Groups in Special Families
Number Theory · Submitted 21 Apr 2025 · 14 references
Pith's verdict: Genuine extension of the JMS Selmer/class-group dictionary to dihedral K = Q(ζ3, m^{1/3}); Type I is in good shape, Type II rests on an incompletely proved local table.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
For elliptic curves with a rational 3-isogeny over the dihedral field K=Q(ζ3,m^(1/3)), the φ-Selmer group is sandwiched between class-group 3-ranks and becomes arbitrarily large as m varies.
The reading
What carries the argument
The carrying mechanism is the translation of cohomology into norm-one units. Global cohomology $H^1(G_K,E[\phi])$ is identified with the norm-one classes $(L^*/L^{*3})^{N=1}$, and local cohomology at a prime $q$ is identified with $(L_q^*/L_q^{*3})^{N=1}$. Using explicit formulas for the local Kummer map, the paper shows that away from $S(K)$ the images of local points are exactly the norm-one unit groups $(A_q^*/A_q^{*3})^{N=1}$. The auxiliary sets $M$ and $N$ defined by these local conditions are then identified, through Kummer theory for unramified extensions and Dirichlet's $S$-unit theorem, with $\mathrm{Cl}_S(F)[3]$ and with $\mathrm{Cl}_S(F)[3]+|S(F)|+r_1+r_2$. For Type II curves, the standard algorithm for singular fiber types supplies the Tamagawa numbers that size the local images, completing the same dictionary.
Extended reading notes
Core claim
The central claim is a sandwich theorem for the $\phi$-Selmer group. For a Type I curve $E_a:y^2=x^3+a$, set $K=\mathbb{Q}(\zeta_3,m^{1/3})$, let $L=K(\sqrt{a})$ when $a\notin K^{*2}$ and $L=K\times K$ when $a\in K^{*2}$, and let $S(K)=S_a(K)\cup S_3(K)$ be the finite set of primes where the local description is exceptional. Theorem 3.9 asserts that if $a\notin K^{*2}$, then $\dim_{\mathbb{F}_3}\mathrm{Cl}_S(K)[3]\le \dim_{\mathbb{F}_3}\mathrm{Cl}_S(L)[3]\le \dim_{\mathbb{F}_3}\mathrm{Sel}_\phi(E_a/K)\le \dim_{\mathbb{F}_3}\mathrm{Cl}_S(L)[3]+|S(L)|+r_1+r_2$, and if $a\in K^{*2}$, then $\dim_{\mathbb{F}_3}\mathrm{Cl}_S(K)[3]\le \dim_{\mathbb{F}_3}\mathrm{Sel}_\phi(E_a/K)\le \dim_{\mathbb{F}_3}\mathrm{Cl}_S(K)[3]+|S(K)|+2$. For Type II curves $E_{a,b}:y^2=x^3+a(x-b)^2$, Theorem 4.5 proves the analogous statement with two prime sets $S_1,S_2$: the lower bound uses $S_1$ and the upper bound uses $S_2$. The paper's final application feeds the Type I lower bound into the known growth of the 3-rank of $\mathrm{Cl}(K)$ as $m$ varies, proving Corollary 5.4: for every fixed $a$, $\dim_{\mathbb{F}_3}\mathrm{Sel}_\phi(E_a/K)$ is arbitrarily large.
Load-bearing premise
The load-bearing premise is that the local Kummer-image identifications are correct away from a small finite set of primes, namely that the image of the local Kummer map is exactly the norm-one unit group modulo cubes; for Type II, part of the Tamagawa table is verified in only one case, so the bounds would collapse if any of these local descriptions failed at a single prime.
Editorial extensions
If this is right
- For Type I curves with a not a square in K, the 3-isogeny Selmer dimension over K always lies between the 3-ranks of the S-class groups of K and L=K(√a), so class-group computations give both a lower and an upper bound.
- When a is a square in K, the same Selmer dimension is bounded above by the 3-rank of the S-class group of K plus |S(K)|+2, so the class group alone, up to a small correction, controls the Selmer group.
- Since the 3-isogeny Selmer dimension is at most the full 3-Selmer dimension and at least half of it, the explicit bounds translate directly into bounds for the full 3-Selmer group.
- By Corollary 5.4, for a fixed Type I curve, both the 3-isogeny Selmer dimension and the full 3-Selmer dimension become arbitrarily large as m varies over cube-free integers of the prescribed form.
- For Type II curves, analogous bounds hold, so the same class-group-to-Selmer dictionary is available in that family as well.
Reading between the lines
- One testable extension: for small m, enumerate the norm-one classes satisfying the local conditions that define the sets M and N, and compare the true Selmer dimension with both bounds to see how often the upper bound is attained.
- A natural next step is to trace the large Selmer classes produced by Corollary 5.4 to either global points or Tate-Shafarevich obstructions, which would show whether the growth sits in Mordell-Weil rank or in the 3-part of the Tate-Shafarevich group.
- If the local Kummer-image formulas are as clean as assumed, the sandwich could be sharpened to an equality by controlling the two correction terms; a computational search over primes would test how tight the inequalities are.
- For Type II, the asserted Tamagawa table is verified in only one representative case; completing the remaining cases would put the Type II theorem on the same footing as the Type I theorem.
Original abstract
We explore the relationship between (3-isogeny induced) Selmer group of an elliptic curve and the (3 part of) the ideal class group, over certain non-abelian number fields.
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
We explore the relationship between (3-isogeny induced) Selmer group of an elliptic curve and the (3 part of) the ideal class group, over certain non-abelian number fields.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We explore the relationship between (3-isogeny induced) Selmer group of an elliptic curve and the (3 part of) the ideal class group, over certain non-abelian number fields. | contribution 1.00 | 0.83 | 0.19 | unclear 0.55 |
What was examined, and what was not
- arXiv listing abstract v1
- 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.