Pith. Sign in

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

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 16, 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.

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

How Pith checks papers →

· 3 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2504.15428 (version 1)
Pith ID2JN4U42C, Pith's permanent record of this paper and its review
CitationAbhishek, Debanjana Kundu. "Class Groups and Selmer Groups in Special Families." arXiv:2504.15428 (2025). https://pith.science/paper/2JN4U42C
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

This paper establishes that, for elliptic curves over $\mathbb{Q}$ with a rational 3-isogeny, the 3-isogeny Selmer group over the dihedral field $K=\mathbb{Q}(\zeta_3,m^{1/3})$ is sandwiched between two class-group 3-ranks. For Type I curves $E_a:y^2=x^3+a$ with $a\notin K^{*2}$, writing $L=K(\sqrt{a})$ and $S=S_a(K)\cup S_3(K)$, the $\mathbb{F}_3$-dimension of $\mathrm{Sel}_\phi(E_a/K)$ lies between $\dim_{\mathbb{F}_3}\mathrm{Cl}_S(L)[3]$ and $\dim_{\mathbb{F}_3}\mathrm{Cl}_S(L)[3]+|S(L)|+r_1+r_2$; when $a\in K^{*2}$, the same sandwich holds with $K$ in place of $L$ and an additive constant $2$. This matters because Selmer groups are hard to compute directly, whereas class-group 3-ranks are computable, so the bounds convert class-group data into constraints on Selmer ranks and hence on the arithmetic of the curve. Combining the lower bound with the unboundedness of the 3-part of the class groups of these fields $K$, the paper concludes that $\dim_{\mathbb{F}_3}\mathrm{Sel}_\phi(E_a/K)$, and therefore the full 3-Selmer dimension, becomes arbitrarily large as $m$ varies. The same sandwich structure is developed for Type II curves $E_{a,b}:y^2=x^3+a(x-b)^2$, where the prime sets and Tamagawa-number computations are more elaborate.

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

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

  • 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.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 1,632 input tokens.

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

The abstract, sentence by sentence

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

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: theoretical result 0.99 · evidence from proof or derivation 0.96.

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

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.