Pith. sign in

REVIEW 2 major objections 4 minor 28 references

A parametrization of $3$-class groups of quadratic rings over Dedekind domains

T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves a canonical bijection between GL(R ⊕ a)-orbits of binary cubic forms over a Dedekind domain R and relative 3-torsion ideal classes of quadratic rings over R, removing the Steinitz-class obstruction that limited previous pa

desk verdict A genuine Steinitz-indexed generalization of the 3-torsion parametrization, but the inverse construction in Theorem 37 has a concrete gap that needs fixing. read the letter →

arxiv 2509.01722 v1 pith:QWP2FS3W submitted 2025-09-01 math.NT

Eliot Hodges , Ashvin A. Swaminathan This is my paper · ORCID
classification math.NT MSC 11R2911R11
keywords binarycubicforms3-torsionclassgroupsquadraticringsDedekinddomainsSteinitzGausscompositionBhargavaparametrizationnumberfieldorders
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Bhargava's parametrization of $3$-torsion ideal classes by binary cubic forms, originally over the integers, is extended here to every Dedekind domain $R$ with $\operatorname{char}(R) \neq 3$. The obstacle to such an extension—the Steinitz class, which measures when lattices over $R$ fail to be free—is absorbed into the module $a$ that anchors the form space $V_a$. The paper proves a canonical bijection between $\mathrm{GL}(R \oplus a)$-orbits of nondegenerate binary cubic forms and equivalence classes of quadruples $(S, I, \delta, s)$ attached to a quadratic ring $S$ and an ideal $I$ with $I^3 \subset \delta S$, $[S:I] = sR$, and $s^3 = N(\delta)$. For orders in quadratic extensions of number fields, this yields an exact formula for the relative $3$-class group size in terms of an orbit count, unblocking average counts that previously worked only over $\mathbb{Z}$ or for Steinitz-trivial rings. A reader should care because the parametrization converts an algebraic counting problem—$3$-torsion in class groups—into explicit orbit data on a concrete lattice, the kind of input geometry-of-numbers methods consume.

What carries the argument

The central object is the lattice $V_a$ of 'type $a$' triply symmetric binary cubic forms, together with the action of the arithmetic group $\mathrm{GL}(R \oplus a)$. The proof's working mechanism is the equivariant map $\Phi_a$ that sends a balanced quadruple $(S, I, \delta, s)$ to the form $\zeta \mapsto \pi(1 \wedge \zeta^3 \delta^{-1})$ (equivalently $\pi(1 \wedge (\alpha x + \beta y)^3/\delta)$ for a Steinitz basis $I = R\alpha + a\beta$); the inverse construction reads the Hessian covariant of a binary cubic form, builds a binary quadratic form, and invokes Gauss composition over $R$ to recover $S$ and $I$. Projectivity of the form is the exact translation of invertibility of $I$.

What would settle it

Enumerate both sides of Corollary 2 for a concrete non-PID ring (for instance $R = \mathbb{Z}[\sqrt{-5}]$) and a small discriminant $\Delta$: count the nondegenerate $\mathrm{GL}(R \oplus a)$-orbits on $V_a^{\mathrm{proj},\Delta}$ and compare with $3^{s+\varepsilon} \#\mathrm{Cl}(S/R)[3]$ for the corresponding order $S$. A single mismatch—or a single balanced quadruple that the paper's inverse construction fails to produce from its form—would break the theorem; the injectivity claim can be tested directly by checking whether $(\delta^{-1} - \kappa^3(\delta')^{-1})\zeta^3 \in K$ for all $\zeta \in I$ really forces $\delta' = \kappa^3\delta$ when $I^3$ does not span $\delta(S \otimes K)$.

Watch

Extended reading notes

Core claim

The paper claims that, for any Dedekind domain $R$ with $\operatorname{char}(R) \neq 3$ and any fractional ideal $a$, the $3$-torsion part of the relative class group of every quadratic ring $S$ over $R$—including rings whose Steinitz class is nontrivial—is canonically parametrized by $\mathrm{GL}(R \oplus a)$-orbits of binary cubic forms $f = a x^3 + 3b x^2 y + 3c x y^2 + d y^3$ with coefficients lying in $a, R, a^{-1}, a^{-2}$. Each orbit corresponds to an equivalence class of quadruples $(S, I, \delta, s)$ with $I^3 \subset \delta S$, $[S:I] = sR$, $s^3 = N(\delta)$, and $\mathrm{St}(I) = [a] = \mathrm{St}(S)$; projective forms correspond exactly to invertible $I$, so the relative $3$-class group $\mathrm{Cl}(S/R)[3]$ is identified with the orbits of projective forms. When $R$ is a number field's ring of integ...

Load-bearing premise

The inverse direction of the bijection rests on an imported theorem—Gauss composition over Dedekind domains (Theorem 33)—and the paper does not reprove it; if that theorem fails for oriented quadratic rings or ideals with nontrivial Steinitz class, the reconstruction of a balanced quadruple from a binary cubic form is unsupported.

Editorial extensions

If this is right

  • With Corollary 2, the average size of 3-torsion in class groups of orders in quadratic extensions of an arbitrary number field becomes an orbit-counting problem, exactly the setting of geometry-of-numbers over global fields.
  • The parametrization covers quadratic rings of every Steinitz class, so previous results limited to free, Steinitz-trivial rings (or to characteristic not 2 or 3) are subsumed and extended.
  • Projective forms = invertible ideals gives a local sieve condition (density 1 − N(p)^{-2} at each prime) for isolating genuine relative 3-class groups from the larger ideal-group torsion captured by reducible forms.
  • The adelic reformulation (Theorem 59) packages the orbit space as Γ_α\L_α, making the parametrization compatible with Tamagawa-number computations, so orbit volumes can be evaluated.

Reading between the lines

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

  • If the bijection is as uniform as claimed, it should hold verbatim for Dedekind domains of characteristic 2 (the paper only excludes 3), and the same orbit-counting formula should work for quadratic orders over function fields—an untested extension suggested by the paper's own global-field remarks.
  • The injectivity argument's reliance on I³ spanning δ(S ⊗ K) hints that a characteristic-3 version will need different forms; the paper itself points to triply symmetric Bhargava cubes, so a natural test is to see whether the balanced-quadruple equivalence relation breaks down exactly when 3 is not invertible.
  • A tractable numerical check before any global average is run: fix a non-PID ring like Z[√-5], pick a small discriminant, enumerate GL(R ⊕ a)-orbits on V_a and compare with the right-hand side of Corollary 2; agreement at many primes would build confidence in the imported Gauss-composition step.
  • The Steinitz-indexed formulation may allow averaging over quadratic rings weighted by Steinitz class, connecting with the equidistribution theorem the paper cites—something the earlier trivial-Steinitz parametrization could not express.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper generalizes Bhargava's parametrization of 3-torsion ideal classes of quadratic rings by binary cubic forms to an arbitrary Dedekind domain R with char(R) ≠ 3. The main result (Theorem 1, cf. Theorems 37 and 39) asserts a canonical bijection between nondegenerate GL(R ⊕ a)-orbits on the lattice V_a of binary cubic forms a x^3 + 3b x^2 y + 3c x y^2 + d y^3 and general-equivalence classes of quadruples (S, I, δ, s), where S is a quadratic ring, I is a fractional ideal with the same Steinitz class as S, I^3 ⊂ δS, [S:I] = sR, and s^3 = N(δ). Projective forms are shown to correspond exactly to invertible ideals. The proof constructs the map via the Hessian covariant and invokes Gauss composition over Dedekind domains (O'Dorney/Wood). A corollary gives a counting formula for |Cl(S/R)[3]| for orders in quadratic extensions of number fields, and the paper ends with local-field orbit classification and an adèlic reformulation of the arithmetic group GL(R ⊕ a).

Significance. If correct, this is a substantial and useful contribution: it removes the freeness/Steinitz restriction that limited earlier parametrizations over Dedekind domains and supplies explicit orbit data for relative 3-torsion class groups of all quadratic rings. The paper is careful with module indices, orientations, discriminants, and the projective/invertible correspondence, and the adèlic reformulation is a valuable tool for the announced arithmetic-statistics applications. The main caveat is that the inverse direction of Theorem 37 has a genuine gap for forms whose Hessian has zero x²-coefficient; this is a load-bearing step for the central bijection. The overall approach appears sound, and the gap is probably repairable by a WLOG argument forcing nonzero x²-coefficient, but such an argument is not supplied in the manuscript.

major comments (2)
  1. [§4.2, proof of Theorem 37] The inverse construction fails as written for forms with Hessian coefficient p = 0. Take R = Z, a = Z, and C(x,y) = x^3 + 3x^2 y + 3x y^2. Then a0 = a1 = a2 = 1, a3 = 0, so p = a1^2 - a0 a2 = 0, q = 1, r = 1. The construction gives S = Z[ξ]/(ξ^2 - ξ), c1 = -a0 r = -1, c2 = -a1 r = -1, hence α = β = -1 + ξ and I = Zα + Zβ = Z(-1 + ξ). In the split algebra S ⊗ Q ≅ Q × Q, β is a zero divisor (under ξ ↦ (0,1), β = (-1,0)), so the inference 'if α = cβ then cξ = p' is invalid; I has rank 1 and is not a fractional ideal. The stated WLOG that a1,a2 are not both zero does not exclude this case. The proof needs an argument that every GL(R ⊕ a)-orbit contains a representative with p ≠ 0, or a separate treatment of p = 0. Since Theorem 39 and Theorem 1 depend on Theorem 37, this is a load-bearing gap.
  2. [§4.2, Theorems 37 and 39] The statements of Theorems 37 and 39 give the codomain as SL(R ⊕ a)\V_a and GL(R ⊕ a)\V_a without excluding degenerate forms. In the body, balanced quadruples are defined with nondegenerate S, and the map is discriminant-preserving, so its image lies in the nondegenerate forms. As written, the bijections cannot literally hold for all of V_a unless V_a is understood to mean the nondegenerate subset. The statements should be aligned with Theorem 1, which explicitly says 'nondegenerate GL(R ⊕ a)-orbits on V_a'.
minor comments (4)
  1. [§4.2] In the proof of Theorem 37, the change of coordinates η2 ↦ η2 + t η1 is invoked to ensure a1,a2 are not both zero, but the induced action on the coefficients is not written explicitly. Since the later p ≠ 0 reduction would use the same kind of unipotent transformation, an explicit formula would improve clarity.
  2. [Throughout] There are numerous OCR/rendering artifacts, such as 'S/∫hortrightarrowS′' in Theorem 1, 'for whih' at the start of §4.2, and broken arrows in displayed equations. These should be corrected in the published version.
  3. [§4.3, Lemma 46] In the proof, after obtaining N(ζ)^3 = r^2 N(δ), the text concludes that r^2 is a cube and then that r is a cube. The second implication is true because K^×/K^{×3} has exponent 3, but a one-sentence justification would be helpful, especially since primitive cube roots of unity may exist in K.
  4. [§4.4, Lemma 51] The notation 'p divides a' and 'if p does not divide a' is easily confused with the Hessian coefficient p; consider renaming either the prime or the coefficient for readability.

Circularity Check

0 steps flagged · score 1.0 of 10

No circularity found; the central bijection is an explicit construction whose inverse imports external Gauss-composition theorems, and the only self-citations are non-load-bearing references to forthcoming work.

full rationale

I walked the derivation chain of Theorem 1 (via Theorems 37, 39, and 40) and found no step in which a claimed prediction or first-principles result is equivalent to its own inputs by construction. The forward map Phi_a is explicitly defined from a balanced quadruple to a binary cubic form, and the inverse is explicitly constructed from the Hessian covariant. The crucial inverse construction and the injectivity argument rely on Theorem 33, a published external parametrization of oriented quadratic rings together with ideals by linear binary quadratic forms (Wood/O'Dorney), and on Theorem 31, also an external parametrization of quadratic rings by binary quadratic forms. These are different objects from the target binary-cubic-form parametrization, so they constitute independent support rather than an imported version of the theorem being proved. The discriminant-preserving and invertible-ideal claims are likewise quoted from Wood/O'Dorney's external results. The paper's self-references ([HS25], [SSS25], [SSSVnt]) concern forthcoming arithmetic-statistics applications or geometry-of-numbers techniques and are not load-bearing for the algebraic bijection. The reader-supplied criticism about the inverse construction failing when the Hessian has zero x^2-coefficient is a possible correctness gap in the proof of Theorem 37, not a circularity: it does not amount to the theorem being assumed or fitted. Accordingly, the appropriate circularity score is low, reflecting only the presence of minor non-load-bearing self-citations.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters: the inputs (R, a, Δ) are part of the theorem statements, and the factor 3^{-(s+ε)} in Corollary 2 is derived from unit-group computations, not fitted. No invented entities: a-orientations, based ideal norms, and a-balanced quadruples are definitions that organize existing data; they are not postulated objects with independent empirical handles, so none enter the ledger. The paper's genuine external inputs are the two parametrization theorems of O'Dorney and Wood (Theorems 31 and 33) and standard textbook results (Steinitz, Neukirch); these are external benchmarks, not self-citations.

assumptions (5)
  • domain assumption R is a Dedekind domain with char(R) ≠ 3, K = Frac(R)
    Stated in Theorem 1 and used throughout. char ≠ 3 is needed for the triply symmetric cubic form normalization (footnote 1, §1.1); the Dedekind condition is needed for Steinitz theory, module indices, and local-global arguments (§2).
  • standard math Steinitz classification of lattices over R (Theorem 4, cited to [Nar90])
    Used throughout §2 to write S = R + aξ and I = Rα + aβ with prescribed Steinitz classes, and to define a-orientations and based ideal norms. Not proved in the paper.
  • standard math O'Dorney's parametrization of quadratic rings over R by orbits of binary quadratic forms under Ga (Theorem 31, [O'D16, Thm. 3.3])
    External input: identifies orbits of binary quadratic forms with quadratic rings of Steinitz class [a], including discriminant and automorphism statements. Used in §3.2 and in the proof of Theorem 37.
  • standard math Gauss composition over a Dedekind domain: oriented rings with ideals correspond to linear binary quadratic forms (Theorem 33, [Woo11a, Cor. 4.2] and [O'D16, Thm. 4.2])
    Most load-bearing imported theorem. The inverse construction in Theorem 37 builds the ring S and ideal I from the Hessian via this theorem, and the statement that invertible ideals correspond to primitive forms is quoted from it. If its generality (nontrivial Steinitz classes, nontrivial line bundles) fails, Theorem 1 is unsupported.
  • standard math Dirichlet's unit theorem for orders (Proposition 42, [Neu99, Thm. I.12.12]) and module-index facts ([Neu99, Prop. I.12.4, I.12.6])
    Used in §4.2 to compute |S^×/S^×3| and derive Corollary 45, giving the unit-correction factor 3^{s+ε} in Corollary 2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A parametrization of $3$-class groups of quadratic rings over Dedekind domains." pith.science (2026). https://pith.science/paper/QWP2FS3W

@misc{pith2026250901722,
  author       = {Pith},
  title        = {Pith review of: A parametrization of $3$-class groups of quadratic rings over Dedekind domains},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QWP2FS3W}},
  note         = {Machine review of arXiv:2509.01722}
}
abstract

Let $R$ be a Dedekind domain with field of fractions $K$ and $\operatorname{char}(R)\neq3$. In this paper, we generalize Bhargava's parametrization of $3$-torsion ideal classes by binary cubic forms to work over $R$. Specifically, we construct arithmetic subgroups of $\operatorname{GL}_2(K)$ whose actions on certain lattices of binary cubic forms over $K$ parametrize $3$-torsion ideal classes in class groups of quadratic rings over $R$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [3]

    Bhargava

    M . Bhargava. Higher composition laws. II . O n cubic analogues of G auss composition. Ann. of Math. (2) , 159(2):865--886, 2004

    work page 2004

  2. [1]

    Bhargava, N

    M . Bhargava, N . Elkies, and A . Shnidman. The average size of the 3-isogeny S elmer groups of elliptic curves y^2=x^3+k . J. Lond. Math. Soc. (2) , 101(1):299--327, 2020

    work page 2020

  3. [2]

    Bhargava

    M . Bhargava. Higher composition laws. I . A new view on G auss composition, and quadratic generalizations. Ann. of Math. (2) , 159(1):217--250, 2004

    work page 2004

  4. [4]

    Bhargava

    M . Bhargava. Higher composition laws. III . T he parametrization of quartic rings. Ann. of Math. (2) , 159(3):1329--1360, 2004

    work page 2004

  5. [5]

    Bhargava

    M . Bhargava. The density of discriminants of quartic rings and fields. Ann. of Math. (2) , 162(2):1031--1063, 2005

    work page 2005

  6. [6]

    Bhargava

    M . Bhargava. Higher composition laws. IV . T he parametrization of quintic rings. Ann. of Math. (2) , 167(1):53--94, 2008

    work page 2008

  7. [7]

    Bhargava

    M . Bhargava. The density of discriminants of quintic rings and fields. Ann. of Math. (2) , 172(3):1559--1591, 2010

    work page 2010

  8. [8]

    The mean number of 2-torsion elements in the class groups of $n$-monogenized cubic fields

    M . Bhargava, J . Hanke, and A . S hankar. The mean number of 2 -torsion elements in class groups of n -monogenized cubic fields. arXiv preprint arXiv:2010.15744 , 2020

    work page Pith review arXiv 2010

Show all 28 references
  1. [9]

    Bhargava, A

    M . Bhargava, A . Shankar, and J . Tsimerman. On the D avenport- H eilbronn theorems and second order terms. Invent. Math. , 193(2):439--499, 2013

    2013

  2. [10]

    Bhargava, A

    M . Bhargava, A . Shankar, and X . Wang. Geometry-of-numbers methods over global fields I : Prehomogeneous vector spaces, 2015

    2015

  3. [11]

    Bhargava and I

    M . Bhargava and I . Varma. On the mean number of 2-torsion elements in the class groups, narrow class groups, and ideal groups of cubic orders and fields. Duke Math. J. , 164(10):1911--1933, 2015

    1911

  4. [12]

    Bhargava and I

    M . Bhargava and I . Varma. The mean number of 3-torsion elements in the class groups and ideal groups of quadratic orders. Proc. Lond. Math. Soc. (3) , 112(2):235--266, 2016

    2016

  5. [13]

    H . Cohen. Advanced topics in computational number theory , volume 193 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2000

    2000

  6. [14]

    Davenport and H

    H . Davenport and H . Heilbronn. On the density of discriminants of cubic fields. II . Proc. Roy. Soc. London Ser. A , 322(1551):405--420, 1971

    1971

  7. [15]

    Datskovsky and D

    B . Datskovsky and D . J . Wright. Density of discriminants of cubic extensions. Journal für die reine und angewandte Mathematik , 386:116--138, 1988

    1988

  8. [16]

    Hodges and A

    E . Hodges and A . Swaminathan. Average size of 3 -class groups of orders in quadratic extensions of number fields. preprint, 2025

    2025

  9. [17]

    G . S . Kopp and J . C . Lagarias. Ray class groups and ray class fields for orders of number fields. Essent. Number Theory , 4(1):1--65, 2025

    2025

  10. [18]

    A . C . Kable and D . J . Wright. Uniform distribution of the S teinitz invariants of quadratic and cubic extensions. Compos. Math. , 142(1):84--100, 2006

    2006

  11. [19]

    Narkiewicz

    W . Narkiewicz. Elementary and analytic theory of algebraic numbers . Springer-Verlag, Berlin; PWN---Polish Scientific Publishers, Warsaw, second edition, 1990

    1990

  12. [20]

    Neukirch

    J . Neukirch. Algebraic N umber T heory , volume 322 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1999. Translated from the 1992 German original and with a note by Norbert Schappacher, With a fore...

    1999

  13. [21]

    E . M . O'Dorney. Rings of small rank over a D edekind domain and their ideals. Res. Math. Sci. , 3:Paper No. 8, 36, 2016

    2016

  14. [22]

    Platonov, A

    V . Platonov, A . Rapinchuk, and I . Rapinchuk. Algebraic groups and number theory , volume I of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, second edition, 2023

    2023

  15. [23]

    Shankar, A

    A . Shankar, A . Siad, and A . A . Swaminathan. Counting integral points on symmetric varieties with applications to arithmetic statistics. Proc. Lond. Math. Soc. (3) , 130(4):Paper No. e70039, 55, 2025

    2025

  16. [24]

    Shankar, A

    A . Shankar, A . Siad, A . Swaminathan, and I . Varma. Geometry-of-numbers methods in the cusp, preprint

  17. [25]

    M . M . Wood. Gauss composition over an arbitrary base. Advances in Mathematics , 226(2):1756--1771, 2011

    2011

  18. [26]

    M . M . Wood. Parametrizing quartic algebras over an arbitrary base. Algebra Number Theory , 5(8):1069--1094, 2011

    2011

  19. [27]

    M . M . Wood. Rings and ideals parameterized by binary n-ic forms. Journal of the London Mathematical Society , 83(1):208--231, 2011

    2011

  20. [28]

    M . M . Wood. Parametrization of ideal classes in rings associated to binary forms. J. Reine Angew. Math. , 689:169--199, 2014

    2014

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.