An introduction to $\Gamma$-number fields

Guillermo Mantilla-Soler

REVIEW 2 major objections 2 minor 9 references

An introduction to $\Gamma$-number fields

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

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

Pith's one-line read This paper defines Γ-number fields and argues that, for two such fields sharing at most one exceptional prime, equal discriminant and equal signature are exactly what puts their integral trace forms in the same spinor genus, with isometry…

desk verdict New family and plausible theorem, but the key lemma is false as printed; the proof needs a fix before the result can be trusted. read the letter →

arxiv 1908.02318 v1 pith:D72ZBLKU submitted 2019-08-06 math.NT

Guillermo Mantilla-Soler This is my paper · ORCID

classification math.NT MSC 11E1211E0811R04

keywords Γ-numberfieldsintegraltraceformspinorgenusα-invariantstamenumberfielddiscriminantquadraticformsramification

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

Every number field carries an integral quadratic form, the trace form, obtained from the pairing $(x,y)\mapsto \operatorname{Tr}_{K/\mathbb{Q}}(xy)$. The paper asks how much information this form preserves about the field. It introduces Γ-number fields, a family that contains all tame odd-degree Galois fields and all tame fields whose ramified primes are totally ramified, and it claims that for two such fields, sharing at most one exceptional prime, the trace forms lie in the same spinor genus exactly when the fields have equal discriminant and equal signature. For non-totally-real fields the conclusion sharpens to isometry of the trace forms. This matters because the spinor genus is a finer invariant than the genus but coarser than isometry, and the paper's theorem says that inside this family it carries no information beyond the classical discriminant and signature.

What carries the argument

The central mechanism is the $\alpha$-ramification invariant of a tame odd prime, defined in the paper as $\alpha_p^K = \left(\prod_{i=1}^g e_i^{f_i}\right)u_p^{F-g}$, where the $e_i$ are ramification indices, the $f_i$ are residue degrees, $F=\sum_i f_i$, $g$ is the number of primes over $p$, and $u_p$ is the first quadratic non-residue modulo $p$. Together with the criterion that identifies the spinor genus of the trace form with the discriminant, the signature, and the quadratic-residue symbols $(\alpha_p/p)$, this invariant controls whether two trace forms have the same spinor genus. In a $\Gamma$-field, every non-exceptional odd ramified prime is $\epsilon$-split homogeneous, so Lemma 2.3 attempts to express $\alpha_p^K$ modulo squares using only $n$ and $v_p(d)$. This is the bridge that converts equality of discriminants and signatures into equality of the local invariants.

What would settle it

Check Lemma 2.3 on the paper's own sextic $\Gamma$-field defined by $x^6-2x^5+3x^4-9x^3+8x^2-7x-5$ at the non-exceptional prime $p=3$: there $e=2$ and $F=3$, so the $\alpha$-invariant is $2^3=8$ up to unit squares, while the lemma's claimed value $n^{n-v_p(d)}=6^3$ is divisible by $3$ and therefore cannot be congruent to a unit modulo squares. The displayed congruence fails on that example.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 2.4: if $K$ and $L$ are $\Gamma$-number fields whose exceptional primes form a set of size at most one, then $\langle\mathcal{O}_K,t_K\rangle$ and $\langle\mathcal{O}_L,t_L\rangle$ lie in the same spinor genus if and only if $\operatorname{disc}(K)=\operatorname{disc}(L)$ and the signatures agree; if $K$ is not totally real, the same conditions are equivalent to isometry of the two trace forms. The proof route is to compare the $\alpha$-invariants attached to each odd ramified prime. The family axioms are designed so that, for every non-exceptional odd ramified prime, the prime is $\epsilon$-split homogeneous, meaning all its ramification indices are equal, and the paper's Lemma 2.3 asserts that the $\alpha$-invariant is then determined modulo squares by the degree $n$ and the discriminant exponent $v_p(d)$. That reduction is what lets equality of discriminants and signatures force equality of the spinor-genus-relevant local invariants, after which the local-global principle for quadratic forms and the known spinor-genus criterion close the argument.

Load-bearing premise

The proof rests on Lemma 2.3, which says that in a $\Gamma$-field the $\alpha$-invariant of every non-exceptional odd ramified prime is determined, up to squares, by the degree and the discriminant exponent; if that lemma gives way, equality of discriminant and signature no longer forces the same spinor genus.

Editorial extensions

If this is right

Any two $\Gamma$-number fields with at most one exceptional prime and equal discriminant and signature have integral trace forms in the same spinor genus, and the converse also holds.
For non-totally-real $\Gamma$-fields, equality of discriminant and signature upgrades the trace forms to isometry, even when the fields themselves are not isomorphic.
The theorem extends the known characterization for cubic fields to a broader family that includes tame odd-degree Galois fields and tame fields with all ramified primes totally ramified.
Within this family the spinor genus of the trace form carries no information beyond the discriminant and the signature.

Reading between the lines

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

A corrected statement of Lemma 2.3 would express $\alpha_p$ modulo squares as $(n/(n-v_p(d)))^{n-v_p(d)}$ rather than $n^{n-v_p(d)}$; the main theorem's strategy would still go through, since the corrected value is determined by $n$ and $v_p(d)$ alone.
The paper's hypothesis that the exceptional primes form a set of size at most one may be relaxable if the corrected $\alpha$-formula is used, since the equality of $\alpha$-invariants for non-exceptional primes depends only on the common degree and discriminant exponent.
A systematic search through the compiled tables of number fields used in the paper's examples could test whether every tame field with equal discriminant and signature and comparable ramification structure has trace forms in the same spinor genus, or whether the exceptional-prime condition is genuinely needed.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Good to catch up. The short version: this paper has a genuinely new definition and a plausible main theorem, but the printed proof has a false congruence in the key lemma, so the theorem is not supported as written.

What's new: Γ-number fields form a broad family—they contain all tame odd-degree Galois fields and all tame totally ramified fields, and the main theorem would extend the known spinor-genus results for cubic and tame cyclic fields to this whole class. The α-invariant framework is a sensible way to package local genus information, and the author's prior results are well integrated. The examples are helpful, and the definition is clean enough that a reader can quickly test the conditions. All that is real and worth taking seriously.

Where it falls down: Lemma 2.3 is load-bearing and false. For a non-exceptional ramified p, the Γ hypotheses give α ≡ e^F modulo squares, with F = n/e odd, so α ≡ e. The tame discriminant formula gives v_p(d) = (e−1)F, so n − v_p(d) = F. The lemma claims α ≡ n^{n−v_p(d)} = n^F = (eF)^F. That equals e^F only when F^F is a square; since F is odd, this requires F itself to be a square. Nothing in the definition forces that, and the paper's own sextic example (e=2, F=3, p=3) contradicts it: α_3 ≡ 2 mod squares, while 6^3 = 216 ≡ 6 mod squares. The lemma is exactly the bridge that lets equal discriminants and signatures force equal α-invariants at common ramified primes, so Theorem 2.4 is unsupported.

The likely repair is to replace the base n by e, i.e. α ≡ e^{n−v_p(d)}. Since n and v_p(d) determine F = n − v_p(d) and e = n/F, the desired comparison between K and L would still go through. So the main idea may survive, but it needs a correction and a reworked proof, not a footnote.

One more presentation issue: the abstract omits the 'at most one exceptional prime between K and L' condition, which is an important hypothesis. The abstract should state it.

Who this is for: number theorists working on trace forms, spinor genera, and arithmetic equivalence. If the lemma is fixed, the paper would be a solid contribution to the author's program. In its current form I would not cite it, and I would not publish it. But the flaw is specific and the repair is plausible, so I'd send it to a knowledgeable referee rather than desk-reject, and ask for a revision that fixes Lemma 2.3 and checks the examples.

Referee Report

2 major / 2 minor

Summary. The paper introduces Γ-number fields, a class of tame number fields in which all but at most one odd ramified prime have equal ramification indices, an odd number of prime ideals above them, and odd quotient [K:Q]/e. The main result (Theorem 2.4) asserts that for two Γ-fields with at most one exceptional prime, the spinor genus of the integral trace form is determined exactly by the discriminant and signature; for non-totally real fields the same conditions characterize isometry of trace forms. The proof uses the author's earlier α-invariants and a lemma claiming that at non-exceptional ramified primes the α-invariant is congruent mod squares to n^{n−v_p(d)}. This lemma is false as stated, which undermines the proof of the main theorem.

Significance. If the main theorem holds, it would unify and extend known results on cubic fields and cyclic tame fields, and the class of Γ-fields is natural and well motivated. The paper is clearly written and the use of α-invariants is elegant. However, because the central lemma is false, the main theorem is not established in the present version. The error appears repairable by changing the base of the exponential in Lemma 2.3 from n to e, but this requires a nontrivial revision of the proof.

major comments (2)

[§2, Lemma 2.3] Lemma 2.3 is false as stated. From Definition 2.1 and the ε-split homogeneous hypothesis, α^K_p = e^F u_p^{F−g}. Since g and F are odd, F−g is even, so α^K_p ≡ e^F mod (Z_p^*)^2. The tame discriminant formula gives v_p(d) = (e−1)F, hence n − v_p(d) = F, so the lemma's right-hand side is n^F = (eF)^F. These two quantities are congruent mod squares only if F^F is a square, which for odd F is equivalent to F being a quadratic residue and is not assumed. The paper's own Example 1.5 gives a concrete contradiction: for p=3, n=6, e=2, F=3, v_3(d)=3, α^K_3 ≡ 2 mod squares, while 6^{6−3}=216 is not a 3-adic unit and cannot equal α^K_3 modulo (Z_3^*)^2. The intended statement appears to be α^K_p ≡ e^{n−v_p(d)} = e^F mod squares, which would follow from the displayed computation, but that is not what Lemma 2.3 asserts.
[§2, Theorem 2.4] The proof of Theorem 2.4 depends directly on Lemma 2.3 to conclude that (α^K_p/p) = (α^L_p/p) at all non-exceptional common ramified odd primes. Since Lemma 2.3 is false, the proof as written does not establish the theorem. The good news is that the corrected congruence α^K_p ≡ e^F mod squares still suffices: equality of signatures gives n_K = n_L, equality of discriminants gives v_p(d_K) = v_p(d_L), hence F = n − v_p(d) and e = n/F agree for K and L, so the α-invariants agree at such primes. The theorem is therefore plausibly repairable, but the printed argument is invalid at a load-bearing step.

minor comments (2)

[§2, Definition 2.1] In Definition 2.1, the notation u(F−g)p is ambiguous; it should be typeset as u_p^{F−g}.
[§2, Theorem 2.4 proof] In the proof of Theorem 2.4, the expression '⟨O_K,t_K⟩ ⊗ Z_2 = ⟨O_L,t_L⟩ ⊗ Z_2' uses equality where isometry (≅) is meant.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Γ-field theorem is a substantive derivation from prior published criteria, not a restatement of its own inputs.

full rationale

The paper's central claim (Theorem 2.4) is not circular. The Γ-number field definition is a domain restriction, not a hidden encoding of the conclusion. The proof uses Proposition 2.2 (from the author's earlier work [5]) as an established criterion for when two trace forms lie in the same spinor genus: equality of discriminant, signature, and certain α-invariant Legendre symbols. That criterion has independent content; it does not already assert that discriminant and signature suffice for Γ-fields. Lemma 2.3 attempts to show that the Γ-field hypotheses force the α-invariants at non-exceptional primes to be determined by the degree and discriminant. Even though the lemma appears algebraically incorrect as written (the derivation yields α ≡ e, while the stated conclusion requires n^{n-v_p(d)} = (eF)^F, which matches e only under an additional square condition), this is a correctness flaw, not a circularity. No equation in the paper is equivalent to its own input by construction, and no fitted parameter is renamed as a prediction. The self-citations to [4], [5], and [7] are load-bearing but are previously published, externally checkable mathematical results, not unverified assertions smuggled in to force the conclusion. The Γ-field family is not defined in terms of the desired equality of trace forms, and no uniqueness theorem is imported from the author's prior work to declare the choice forced. Therefore the appropriate circularity score is 0; the serious issue with Lemma 2.3 belongs to mathematical correctness and proof validity, not to circular reasoning.

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

No numbers are fitted to data. The definitions of Gamma-field, epsilon-split homogeneous, and exceptional prime are new mathematical conditions, not empirical postulates. The proof relies on standard quadratic form theory and on several results from the author's prior work, which supply the alpha-invariant machinery.

assumptions (5)

standard math Hasse-Minkowski principle for quadratic forms over Q
Invoked in the proof of Theorem 2.4 to pass from local isometry over every Q_p to equality of the rational quadratic forms, and hence to equality of spinor genera via [5, Prop 2.9].
standard math Discriminant exponent formula v_p(d) = sum f_i(e_i - 1) for tame ramification
Used in Lemma 2.3; the paper cites Serre, Local Fields, Chapter III, Proposition 13.
domain assumption Characterization of spinor genus by discriminant, signature, and Legendre symbols of alpha-invariants
This is [5, Proposition 2.9], a prior theorem by the same author. The central proof reduces to checking these invariants, so the present paper inherits this classification.
domain assumption For degree at least 3, the genus of the integral trace equals the spinor genus
The paper cites [4, Theorem]; this is used to justify applying alpha-invariant criteria to spinor genera.
domain assumption Tameness implies equality of the 2-adic trace forms
Cited as [5, Proposition 2.7]; used in the proof of Theorem 2.4 to handle the prime 2.

invented entities (3)

Gamma-number field
purpose: Defines the class of number fields for which the converse theorem is stated
A new definition, not an empirical object; its utility rests on the theorem it supports.
epsilon-split homogeneous prime
purpose: Restricts the ramification pattern so that the alpha-invariant collapses to a power of e
Definition 1.2; a technical condition chosen to make Lemma 2.3 work.
exceptional prime
purpose: Allows at most one odd ramified prime to violate the Gamma conditions while retaining the main conclusion
Definition 1.3; the theorem's hypothesis on the union of exceptional primes limits its scope.

how reviews work

0 comments

Cite this review

Pith. "Pith review of An introduction to $\Gamma$-number fields." pith.science (2026). https://pith.science/paper/D72ZBLKU

@misc{pith2026190802318,
  author       = {Pith},
  title        = {Pith review of: An introduction to $\Gamma$-number fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D72ZBLKU}},
  note         = {Machine review of arXiv:1908.02318}
}

abstract

It follows from generalities of quadratic forms that the spinor class of the integral trace of a number field determines the signature and the discriminant of the field. In this paper we define a family of number fields, that contains among others all odd degree Galois tame number fields, for which the converse is true. In other words, for a number field $K$ in such family we prove that the spinor class of the integral trace carries no more information about $K$ than the determinant and the signature do.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 8 canonical work pages

[1]

J.W. S. Cassels, Rational quadratic forms , Dover publications, Inc., Mineola, NY, (2008)

work page 2008
[2]

Bola˜ nos, G

W. Bola˜ nos, G. Mantilla-Soler, The trace form over cyclic number ﬁelds , arXiv preprint arXiv: 1904.10080v2 (2019)

arXiv 2019
[3]

Jones, D

J. Jones, D. Roberts, A data base of number ﬁelds. , LMS Journal of Computation and Mathematics. 17, 1 (2014), 595-618

work page 2014
[4]

Mantilla-Soler, The Spinor Genus of the integral trace , Transactions of the Amer- ican Mathematical Society 369 (2017) , 1547-1577

G. Mantilla-Soler, The Spinor Genus of the integral trace , Transactions of the Amer- ican Mathematical Society 369 (2017) , 1547-1577. 5

work page 2017
[5]

Mantilla-Soler

G. Mantilla-Soler. On the arithmetic determination of the trace , Journal of Algebra (2015) Vol 444, 272-283

work page 2015
[6]

The integral trace form as a complete invariant for real $S_n$ number fields

Mantilla-Soler, G., Rivera-Guaca, C. An introduction to Casimir pairings and some arithmetic applications. arXiv preprint arXiv: 1812.03133v3 (2019)

work page Pith review arXiv 2019
[7]

The $(\alpha, \beta)-$ramification invariants of a number field

Mantilla-Soler. The (α, β)-ramiﬁcation invariants of a number ﬁeld. arXiv preprint arXiv: 1906.04254 (2019)

work page Pith review arXiv 2019
[8]

Serre, Local ﬁelds , Graduate Texts in Mathematics, 67

J.P. Serre, Local ﬁelds , Graduate Texts in Mathematics, 67. Springer-Verlag, New York-Berlin, 1979. viii+241 pp

work page 1979

Show all 9 references

[9]

Taussky, The discriminant matrix of a number ﬁeld , J

O. Taussky, The discriminant matrix of a number ﬁeld , J. London. Math. Soc. 43 (1968), 152-154. Guillermo Mantilla-Soler, Department of Mathematics, Uni versidad Konrad Lorenz, Bogot´ a, Colombia (gmantelia@gmail.com) 6

1968

Pith tools

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

[1] [1]

J.W. S. Cassels, Rational quadratic forms , Dover publications, Inc., Mineola, NY, (2008)

work page 2008

[2] [2]

Bola˜ nos, G

W. Bola˜ nos, G. Mantilla-Soler, The trace form over cyclic number ﬁelds , arXiv preprint arXiv: 1904.10080v2 (2019)

arXiv 2019

[3] [3]

Jones, D

J. Jones, D. Roberts, A data base of number ﬁelds. , LMS Journal of Computation and Mathematics. 17, 1 (2014), 595-618

work page 2014

[4] [4]

Mantilla-Soler, The Spinor Genus of the integral trace , Transactions of the Amer- ican Mathematical Society 369 (2017) , 1547-1577

G. Mantilla-Soler, The Spinor Genus of the integral trace , Transactions of the Amer- ican Mathematical Society 369 (2017) , 1547-1577. 5

work page 2017

[5] [5]

Mantilla-Soler

G. Mantilla-Soler. On the arithmetic determination of the trace , Journal of Algebra (2015) Vol 444, 272-283

work page 2015

[6] [6]

The integral trace form as a complete invariant for real $S_n$ number fields

Mantilla-Soler, G., Rivera-Guaca, C. An introduction to Casimir pairings and some arithmetic applications. arXiv preprint arXiv: 1812.03133v3 (2019)

work page Pith review arXiv 2019

[7] [7]

The $(\alpha, \beta)-$ramification invariants of a number field

Mantilla-Soler. The (α, β)-ramiﬁcation invariants of a number ﬁeld. arXiv preprint arXiv: 1906.04254 (2019)

work page Pith review arXiv 2019

[8] [8]

Serre, Local ﬁelds , Graduate Texts in Mathematics, 67

J.P. Serre, Local ﬁelds , Graduate Texts in Mathematics, 67. Springer-Verlag, New York-Berlin, 1979. viii+241 pp

work page 1979