Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Counting $D_4$-field extensions by multi-invariants

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper proves an exact asymptotic for the number of $D_4$-Galois extensions of $\mathbb{Q}$ ordered by four multi-invariants, with an explicit leading constant.

desk verdict A genuinely new D4 multi-invariant count with a believable constant, whose load-bearing step is an imported parametrization that deserves referee scrutiny. read the letter →

arxiv 2507.12342 v1 pith:C6KUJB3Q submitted 2025-07-16 math.NT

Willem Hansen , Anna Zanoli This is my paper
classification math.NT MSC 11R4511R3211N37
keywords D4extensionsmulti-invariantsMalle'sconjectureGundlachbiquadraticfieldscharactersumsleadingconstantGalois
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

The paper establishes the asymptotic behaviour predicted by Gundlach's version of Malle's conjecture for Galois extensions of the rationals with Galois group $D_4$, when the fields are ordered by the four multi-invariants attached to the four non-trivial conjugacy classes of cyclic subgroups of $D_4$. The main theorem gives a count of pairs $(M,\sigma)$ with all four invariants bounded by parameters $X_1,\dots,X_4$, equal to $\frac{27}{8}\prod_{p>2}(1-\frac1p)^4(1+\frac4p)\,X_1X_2X_3X_4$ times a small error, provided the bounds are comparable in size. This verifies Gundlach's conjecture for $D_4$ over $\mathbb{Q}$ and confirms the leading constant predicted by Loughran and Santens in the all-heights count. A sympathetic reader should care because explicit asymptotics for non-abelian Galois groups are rare, and the constant here is derived from first principles rather than fitted.

What carries the argument

The load-bearing object is the parametrization of $D_4$-octics by biquadratic fields: every $D_4$-extension sits above a unique biquadratic $L=\mathbb{Q}(\sqrt{m_1m_2},\sqrt{m_1m_3})$ and is of the form $L(\sqrt{\beta})$ with $\beta$ coming from a rational point on the conic $x^2-m_1m_2y^2-m_1m_3z^2=0$; all other octics over $L$ are twists $L(\sqrt{t\beta})$ parametrized by $t\in\mathbb{Q}^*/\langle m_1m_2,m_1m_3,\mathbb{Q}^{*2}\rangle$. This converts the count into a quadruple character sum whose cancellation is controlled by a bilinear estimate of Friedlander and Iwaniec; the divisor function coming from the twist count cancels exactly, leaving a clean main term.

What would settle it

Enumerate all D4-Galois octic fields over Q with, say, all four invariants at most X for a range of X satisfying the theorem's lower-bound condition (easily done by generating biquadratics satisfying the conic condition and twisting), and compare the ratio of the count to $X^{4}$ against the predicted constant (27/8)∏_{p>2}(1-1/p)^4(1+4/p). A persistent discrepancy beyond the stated error term would refute the theorem; agreement would not prove it, but a miss of even one parametrized family would show up as a constant shortfall.

Watch

Extended reading notes

Core claim

The central result, Theorem 1.4, states that for $X=\max_{1\le i\le 3}X_i$ and $\min_{1\le i\le 4}X_i \gg (\log X)^A$ with $A>111$, the number of pairs $(M,\sigma)$ with $M/\mathbb{Q}$ Galois, $\sigma:\operatorname{Gal}(M/\mathbb{Q})\simeq D_4$, and $\operatorname{inv}_i(M)\le X_i$ for all $i$, is $\frac{27}{8}\prod_{p>2}(1-\frac1p)^4(1+\frac4p)\,X_1X_2X_3X_4(1+O((\log X)^{(111-A)/19}))$. The proof is a direct count: it parametrizes every such extension as a quadratic extension of a biquadratic field, expresses the first three invariants as the odd parts of the three parameters and the fourth as the size of a twist, and evaluates the resulting character sum. The theorem matches Gundlach's heuristic exactly and, after converting to the language of stack heights, reproduces the Loughran–Santens prediction for the leading constant.

Load-bearing premise

The count assumes that every way of constructing a D4 Galois extension of the rationals is captured by one biquadratic base field and a single binary quadratic twist, with no odd primes ramifying in the twist step; if any D4 extension falls outside this parametrization, the main term would be incomplete.

Editorial extensions

If this is right

  • If the theorem is correct, Gundlach's Conjecture 1.3 holds for $D_4$ over $\mathbb{Q}$ in the region where the four invariant bounds are comparable.
  • The explicit constant matches the stack-theoretic prediction of Loughran and Santens, supporting the interpretation of Malle-type leading constants as Tamagawa measures on classifying stacks.
  • Because the multi-invariants determine other counting invariants away from wild ramification, the result yields asymptotic counts of $D_4$-octics by Artin conductors and by the radical discriminant as direct corollaries.
  • The method gives a blueprint for other groups whose extensions lie over biquadratic fields, suggesting that comparable multi-invariant asymptotics are accessible for related small non-abelian groups.

Reading between the lines

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

  • The technical condition $A>111$ appears to be a limitation of the analytic estimates rather than of the underlying count; one may expect the asymptotic to hold whenever all four bounds tend to infinity with the fourth one at least polylogarithmic, with a modest exponent.
  • Section 7's comparison suggests a general dictionary: counting by rectangular multi-heights should remove the $(b-1)!$ factor from the single-height constant, so the same local Tamagawa densities should govern both counts.
  • A computational check of the constant for small $X$ could be within reach of existing databases of number fields, giving an independent test of the Euler product.
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

3 major / 5 minor

Summary. The paper proves an asymptotic formula for the number of pairs (M, σ), where M/Q is a Galois octic field with Gal(M/Q) ≅ D4 and σ is an isomorphism identifying the Galois group with D4, ordered by the four multi-invariants of Gundlach. Under the assumption that all four upper bounds Xi satisfy Xi ≫ (log X)^A with A > 111, where X = max{X1, X2, X3}, the main theorem states that the count is (27/8) ∏_{p>2} (1 - 1/p)^4 (1 + 4/p) X1X2X3X4 (1 + O((log X)^{(111-A)/19})). The proof parametrizes D4-octics as quadratic extensions of biquadratic fields via a conic, rewrites the counting problem as sums of Jacobi symbols, applies analytic estimates including a Friedlander--Iwaniec bilinear character-sum bound, and evaluates the resulting Euler-product constant. A final section compares this constant with the Loughran--Santens stack-theoretic prediction.

Significance. If correct, Theorem 1.4 is a strong piece of evidence for Gundlach's multi-invariant version of Malle's conjecture in a non-abelian case, D4 over Q, and it gives an explicit leading constant. The derivation has several genuine strengths: the constant is computed from Euler products rather than fitted; the error analysis is explicit with named logarithmic exponents; the comparison with Loughran--Santens in Section 7 provides an independent cross-check; and the character-sum lemmas appear carefully proved. The main risk is not the analytic part but the parametrization imported from Stevenhagen, on which Lemmas 3.2 and 3.5 and hence the final constant rest. The paper does not prove the transitivity of the twist action or the odd-ramification control internally, and the statement of Lemma 3.1 contains a field-theoretic inconsistency in the case where a and b are not coprime.

major comments (3)
  1. [Section 3, Lemma 3.1] Lemma 3.1 states that the relevant cyclic quadratic subfield is Q(√(ab/gcd(a,b))). For the application a = m1m2 and b = m1m3, this gives Q(√(m1m2m3)), whereas the paper's own Lemmas 3.2 and 3.4 require the cyclic field to be Q(√(m2m3)). Since Q(√(m1m2m3)) is not a subfield of L = Q(√(m1m2), √(m1m3)) when m1 is squarefree and > 1, the displayed formula cannot be the correct form of [Ste22, Cor. 5.2] in this setting. This is load-bearing because Lemma 3.2 and Lemma 3.5 count extensions that are cyclic over Q(√(m2m3)). The authors should correct the formula (the intended statement is presumably cyclic over Q(√(ab)) modulo squares, equivalently over Q(√(m2m3)) after cancelling m1²) and verify the precise statement of the cited result.
  2. [Section 3, Lemmas 3.1--3.5] The counting identity in Lemma 3.2, and therefore the final constant in Theorem 1.4, depends on two properties that are asserted by citation to [Ste22, Cor. 5.2, 7.4] but not proved or stated in sufficient detail in the manuscript: (i) for a fixed admissible biquadratic L, every D4-extension over L that is cyclic over Q(√(m2m3)) arises as L(√(tβ)) with the same β and with t ranging over Q*/⟨m1m2, m1m3, Q*²⟩, i.e., the twist action is transitive; and (ii) a suitable choice of β has no odd ramification in M/L, so that twisting by t introduces odd ramification exactly at the primes dividing t. If the conic (3.3) has rational points whose associated β-classes form more than one orbit under this twist action, or if some twist introduces odd ramification away from t, then Lemma 3.5 and the constant 27/8 are wrong. The authors should either supply proofs of these two properties or quote the relevant Stevenhagen results verbatim enough to make the completeness and ramification control verifiable.
  3. [Section 7, displayed formula for τH] The displayed global Tamagawa measure contains ∏_{p>2} (1 - 1/p)^{-4} (1 + 4/p) with a negative exponent. This Euler product diverges and is inconsistent both with equation (7.3), which has (1 - 1/p)^4 inside the product, and with the constant in Theorem 1.4. The subsequent claim that the Loughran--Santens prediction 'matches the count of Lemma 1.4' is only correct with the exponent +4. The sign error should be corrected; as printed, the comparison in Section 7 does not support the stated match.
minor comments (5)
  1. [Section 6 and throughout] The heading 'Proof of Lemma 1.4' and repeated references to 'Lemma 1.4' should refer to Theorem 1.4.
  2. [Lemma 4.1] The third displayed set in the definition of the E(μ,α,β) families is labelled E(0,1,0) a second time; it should be E(0,0,1).
  3. [Introduction, around Heuristic 1.2 and Conjecture 1.3] The sentence 'Lemma 1.2 implies Lemma 1.3' should be rephrased, since the statements are a heuristic and a conjecture, and the constants in the two statements differ by the factor |G| when #Aut(M) = |G| for Galois extensions. Please clarify the intended implication and the exact normalisation of the constant.
  4. [Section 4, Eq. (4.3)] The summation is written as 0 < m'_i < X_i, but the rest of the paper uses the non-strict bound m'_i ≤ X_i; please make the inequalities consistent.
  5. [Section 7] The notation 'Lemma 1.4' is used for the main theorem also in the final comparison; please use 'Theorem 1.4' consistently.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the leading constant is derived from Euler products and character sums, and the only imported parametrization is an external theorem used as an input, not as a restatement of the count.

full rationale

The derivation chain is self-contained once the external parametrization is granted. Lemma 3.1, quoted from [Ste22, Cor. 5.2], is a theorem by an independent author; the paper does not define the counting object in terms of that theorem, and the classification is used as a genuine structural input rather than as a disguised version of the asymptotic being proved. Lemma 3.5 combines that parametrization with the explicit twist count, and the subsequent estimates in Sections 4-6 evaluate character sums and Euler products. No constant is fitted: the final constant 27/8, together with the Euler product, emerges from the completed sums in Lemma 6.1 and the local-count identity in Lemma 6.2, and the auxiliary parameter V is chosen inside the proof and cancels in the asymptotic. The comparison with Loughran-Santens in Section 7 is an external cross-check: their predicted constant is computed independently from stack-theoretic Tamagawa numbers and is only shown to agree with the derived constant at the end; it is never used as an input to the proof. There is no self-citation loop: the paper cites Gundlach for the conjecture, Friedlander-Iwaniec and Rome for analytic lemmas, Stevenhagen for the parametrization, and Loughran-Santens for the prediction, none of which are authored by Hansen or Zanoli themselves. The skeptical concern about completeness of Stevenhagen's parametrization would be a correctness or rigor issue about an externally cited theorem, not a circularity in the paper's own derivation. Accordingly, no equation in the paper reduces by definition to the target result, and no fitted parameter is renamed as a prediction.

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

No free parameters are fitted. The constant is produced by Euler products in Lemma 6.1; the cut-off V in Section 6 is an auxiliary proof device that cancels. The theorem uses standard parametrization and analytic estimates, plus an external local enumeration for the constant comparison in Section 7.

assumptions (4)
  • domain assumption Stevenhagen's parametrization of D4 octics (Lemma 3.1, [Ste22, Cor. 5.2]): quadratic extensions of biquadratic fields with rational conic points and twists exhaust D4-Galois extensions of Q.
    Invoked in Section 3 as the basis for rewriting M(X) as a sum over (m1, m2, m3) and twists; the count and the final constant depend on this classification being complete.
  • standard math Hasse-Minkowski local-global principle for ternary quadratic forms over Q.
    Used in Lemma 4.1 to convert rational solubility of the conic (3.3) into the displayed conditions on Hilbert symbols and real signs.
  • standard math Friedlander-Iwaniec bilinear character sum estimate (Lemma 5.3, [FI10, Lemma 2]).
    Used in Section 6.1 to obtain V^{-1/6} savings in ranges with two large variables; this is the source of the logarithmic lower-bound assumption in Theorem 1.4.
  • domain assumption Enumeration of 2-adic étale algebras from LMFDB and Wood's mass formula used to compute the local Tamagawa number τ_{H,2} = 36.
    Section 7's comparison to Loughran-Santens uses this external count; it does not enter the proof of Theorem 1.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Counting $D_4$-field extensions by multi-invariants." pith.science (2026). https://pith.science/paper/C6KUJB3Q

@misc{pith2026250712342,
  author       = {Pith},
  title        = {Pith review of: Counting $D_4$-field extensions by multi-invariants},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C6KUJB3Q}},
  note         = {Machine review of arXiv:2507.12342}
}
abstract

We count the number of Galois extensions $M/\mathbb{Q}$ with fixed Galois group $\text{Gal}(M/\mathbb{Q})=D_4$ ordered by multi-invariants introduced by Gundlach. We verify the asymptotic behavior predicted by Gundlach's version of Malle's conjecture. We compare the leading constant to recent predictions by Loughran and Santens.

Figures

Figures reproduced from arXiv: 2507.12342 by the authors.

Figure 1
Figure 1. Subfields of a D4 octic as fixed fields by subgroups of D4 Here any field on the left appears in the position as a subgroup H if it is the fixed field of M by H under the isomorphism σ. Here, K1 and K2 are quadratic fields, L is the unique quartic Galois subfield of M with K its quadratic subfield fixed by the rotation inside D4 and L1, L2, L′ 1 , L′ 2 are the non-Galois D4 quartics inside M. In [Alt+21] we find a c… view at source ↗

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A refined Malle conjecture for Heisenberg groups

    math.NT 2026-07 conditional novelty 7.0 of 10

    The leading constant for Malle's conjecture for Heis_4-extensions of Q decomposes as a sum of two Euler products due to a transcendental Brauer–Manin obstruction, yielding the first discriminant-ordering failure of lo...

Reference graph

Works this paper leans on

7 extracted references · 4 canonical work pages · cited by 1 Pith paper

  1. [1]

    The number of quarticD 4-fields ordered by conductor

    [Alt+21] Salim Ali Altug, Arul Shankar, Ila Varma, and Kevin H. Wilson. “The number of quarticD 4-fields ordered by conductor”.J. Eur. Math. Soc. (JEMS)23 (2021), pp. 2733–2785. [Coh03] Henri Cohen. “Enumerating quartic dihedral extensions ofQwith signatures”.An- nales de l’Institut Fourier53.2 (2003), pp. 339–377. [DY24] Ratko Darda and Takehiko Yasuda. ...

    work page 2021

  2. [5]

    On the Distribution of Galois Groups

    arXiv:2412.04196. [Mal02] Gunter Malle. “On the Distribution of Galois Groups”.Journal of Number Theory 92.2 (2002), pp. 315–329. [Mal04] Gunter Malle. “On the distribution of Galois groups. II”.Experiment. Math.13.2 (2004), pp. 129–135. [Pey21] Emmanuel Peyre. “Chapter V: Beyond heights: slopes and distribution of rational points”.Arakelov geometry and D...

    arXiv 2002

  3. [7]

    Mass formulas for local Galois representations to wreath products and cross products

    arXiv:2505.23690. [Woo08] Melanie Matchett Wood. “Mass formulas for local Galois representations to wreath products and cross products”.Algebra Number Theory2.4 (2008), pp. 391–405. [Wri89] David J. Wright. “Distribution of discriminants of abelian extensions”.Proc. London Math. Soc. (3)58.1 (1989), pp. 17–50. Graz University of Technology, Institute of A...

    arXiv 2008

  4. [77]

    A counterexample to Malle’s conjecture on the asymptotics of dis- criminants

    Graduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1981, pp. xii+239. [Klü05] Jürgen Klüners. “A counterexample to Malle’s conjecture on the asymptotics of dis- criminants”.C. R. Math. Acad. Sci. Paris340.6 (2005), pp. 411–414. [KP23] Peter Koymans and Carlo Pagano. “On Malle’s conjecture for nilpotent groups”. Trans. Amer. Math. Soc. Ser. B...

    work page 2005

  5. [235]

    Ternary quadratic forms with rational zeros

    Progr. Math. Birkhäuser Boston, Boston, MA, 2005, pp. 151–168.isbn: 0-8176-4349-4.doi:10.1007/0-8176-4417-2\_7. [FI10] John Friedlander and Henryk Iwaniec. “Ternary quadratic forms with rational zeros”. Journal de Théorie des Nombres de Bordeaux22.1 (2010), pp. 97–113. [Gun22] Fabian Gundlach.Malle’s conjecture with multiple invariants

    doi:10.1007/0-8176-4417-2 2010

  6. [2025]

    Counting biquadratic number fields with quaternionic and dihedral extensions

    arXiv:2506.21522 [math.NT]. [Hec81] Erich Hecke.Lectures on the theory of algebraic numbers. Vol

    work page Pith review arXiv

  7. [2276]

    Hauteurs et mesures de Tamagawa sur les variétés de Fano

    Lecture Notes in Math. Springer, Cham, 2021, pp. 215–279. [Pey95] Emmanuel Peyre. “Hauteurs et mesures de Tamagawa sur les variétés de Fano”.Duke Math. J.79.1 (1995), pp. 101–218. [Rom18] Nick Rome. “The Hasse norm principle for biquadratic extensions”.J. Théor. Nom- bres Bordeaux30.3 (2018), pp. 947–964. [ST24] Arul Shankar and Frank Thorne. “On the asym...

    work page 1995

Pith tools

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