pith. sign in

arxiv: 2605.25291 · v1 · pith:KJA4QAU7new · submitted 2026-05-24 · 🧮 math.NT · math.AG

Hilbert-90 quotient maps, torsion defects, and symmetric monodromy

Henry Shin This is my paper

Pith reviewed 2026-06-29 23:22 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords Hilbert-90quotient mapsmonodromytorsion defectsrational mapssymmetric groupcharacteristic zerogeometric monodromy
0
0 comments X

The pith

In characteristic zero the reduced Hilbert-90 quotient maps are Morse covers with full symmetric geometric monodromy.

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

The paper studies the family of reduced rational maps h_d obtained by cancelling common factors from the raw expression H_d^raw(z) = z^d (τ(z)^d - 1)/(z^d - 1) with τ(z) = -1 - z^{-1}. Cancellation is identified with a torsion-defect phenomenon whose size is measured by the scheme-theoretic length of the intersection of the curve 1 + X + Y = 0 with the d-torsion in the multiplicative group. In characteristic zero the central theorem asserts that every non-linear such map is Morse and realises the full symmetric group as its geometric monodromy group; the argument proceeds by showing that branch values cannot collide, via a cyclotomic cross-ratio identity.

Core claim

In characteristic zero every non-linear reduced quotient map h_d is Morse and satisfies G_{h_d} = S_{deg(h_d)}; the proof proceeds by showing that the branch values remain distinct through a cyclotomic cross-ratio identity that rules out collisions.

What carries the argument

The reduced quotient maps h_d obtained by cancelling common factors in the raw expression involving τ(z) = -1 - z^{-1}, together with the torsion-defect length ℓ((1+X+Y=0) ∩ μ_d²) that computes their degree.

If this is right

  • The degree of h_d equals d minus the length of the intersection of the curve 1+X+Y=0 with the d-torsion in the multiplicative group squared.
  • In positive characteristic the maps factor through Frobenius when d is a power of p times a coprime part.
  • The tame quotient strata of morphism degree at most two are completely classified, with the maximal-defect case yielding a characteristic-two Mersenne trace-zero permutation family.
  • A twisted off-diagonal fiber-square trace formula converts 2-transitive monodromy into a uniform obstruction to τ-twisted exceptionality.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit cyclotomic cross-ratio equation might be used to test monodromy in other families of rational maps defined over cyclotomic fields.
  • The Frobenius-sparse Kummer and Artin-Schreier quotients isolated in positive characteristic suggest a pattern that could be checked computationally for small primes beyond the verified characteristic-19 example.
  • The degree formula and defect length may extend to give closed-form counts for analogous quotients arising from other group actions or other trace-zero constructions.

Load-bearing premise

That the maps obtained after exact cancellation of common factors in the raw rational expression yield separable non-constant covers whose geometric monodromy is the standard algebraic-geometry monodromy group.

What would settle it

An explicit example, for some d, of a non-linear h_d whose branch values collide or whose monodromy group is a proper subgroup of the symmetric group on its degree.

read the original abstract

Let $\tau(z)=-1-z^{-1}$. We study the reduced rational maps $h_d:\mathbb{P}^1\to\mathbb{P}^1$ obtained by cancelling common factors in $H_d^{\rm raw}(z)=z^d(\tau(z)^d-1)/(z^d-1)$. These maps arise by Hilbert-90 descent from the trace-zero maps $X^{dq}-X^d$ on $\ker\operatorname{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}$, but the principal object is the resulting $\tau$-equivariant quotient-map family; nonconstant separable members are viewed as covers. We prove that cancellation is exactly a torsion-defect phenomenon. If $\ell(-)$ denotes scheme-theoretic length and $\boldsymbol{\mu}_d=\ker([d]:\mathbb{G}_m\to\mathbb{G}_m)$, then $\mathrm{deg}(h_d)=d-\ell((1+X+Y=0)\cap\boldsymbol{\mu}_d^2)$, and, in characteristic $p>0$ with $d=p^s d_0$ and $p\nmid d_0$, $h_d=\operatorname{Frob}_{p^s}\circ h_{d_0}$ and $\mathrm{deg}(h_d)=p^s\mathrm{deg}(h_{d_0})$. We classify the tame quotient strata of morphism degree at most one and exactly two; the maximal-defect stratum yields a characteristic-two Mersenne trace-zero permutation family. In characteristic zero we prove the main monodromy theorem: every non-linear quotient is Morse and has full symmetric geometric monodromy, $G_{h_d}=S_{\mathrm{deg}(h_d)}$; the proof rules out branch-value collisions via a cyclotomic cross-ratio equation. In positive characteristic we isolate Frobenius-sparse Kummer and Artin-Schreier quotients, a certificate-verified characteristic-19 Klein-four Galois quotient, and the first nonsparse Frobenius-lacunary tower up to its stated primitivity and wild-inertia boundary. A twisted off-diagonal fiber-square trace formula turns $2$-transitive monodromy into a uniform obstruction to $\tau$-twisted exceptionality.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. This paper studies reduced rational maps h_d : P^1 → P^1 obtained by cancelling common factors in H_d^raw(z) = z^d (τ(z)^d − 1)/(z^d − 1) with τ(z) = −1 − z^{-1}, arising via Hilbert-90 descent from trace-zero maps on ker(Tr_{F_{q^3}/F_q}). It proves that cancellation is a torsion-defect phenomenon, yielding the degree formula deg(h_d) = d − ℓ((1 + X + Y = 0) ∩ μ_d²) where ℓ denotes scheme-theoretic length and μ_d = ker([d] : G_m → G_m). The paper classifies tame quotient strata of morphism degree at most one and exactly two, proves in characteristic zero that every non-linear quotient is Morse with full symmetric geometric monodromy G_{h_d} = S_{deg(h_d)} via a cyclotomic cross-ratio equation ruling out branch-value collisions, and in positive characteristic isolates Frobenius-sparse Kummer/Artin-Schreier quotients, a certificate-verified characteristic-19 Klein-four Galois quotient, the first nonsparse Frobenius-lacunary tower, and a twisted off-diagonal fiber-square trace formula that converts 2-transitive monodromy into an obstruction to τ-twisted exceptionality.

Significance. If the central claims hold, the manuscript contributes explicit degree formulas and classifications for quotient maps descending from Hilbert's theorem 90, together with a complete determination of geometric monodromy in characteristic zero. The certificate-verified Klein-four example and the uniform obstruction arising from the twisted trace formula are concrete strengths that support applications to Galois theory and permutation polynomials. The torsion-defect interpretation of cancellation provides a new arithmetic-geometric dictionary for these families.

major comments (2)
  1. [Definition of the reduced maps h_d and the degree formula] The degree formula deg(h_d) = d − ℓ((1 + X + Y = 0) ∩ μ_d²) and the main monodromy theorem both rest on the claim that the reduced maps h_d are obtained precisely by cancelling common factors in H_d^raw(z) and that the resulting maps are nonconstant separable covers of the stated degree. The manuscript asserts that cancellation is exactly the torsion-defect phenomenon, but an explicit computation confirming that the scheme-theoretic length accounts for all cancelled factors (without residual common factors) is required in the section defining h_d and proving the degree formula; otherwise the equality and the applicability of geometric monodromy do not follow.
  2. [Main monodromy theorem in characteristic zero] The characteristic-zero proof that every non-linear quotient is Morse with G_{h_d} = S_{deg(h_d)} relies on ruling out branch-value collisions via a cyclotomic cross-ratio equation. This step is load-bearing for the full symmetric monodromy conclusion; the manuscript must supply the explicit verification that the cross-ratio equation admits no solutions in the relevant cyclotomic extensions for the specific reduced maps h_d (beyond the general statement in the abstract), or the geometric monodromy claim remains conditional on that algebraic independence.
minor comments (2)
  1. [Notation] The notation for scheme-theoretic length ℓ(−) and the boldface μ_d should be introduced with a brief definition in the first section where they appear, rather than only in the abstract.
  2. [Trace formula and exceptionality obstruction] The twisted off-diagonal fiber-square trace formula is invoked to obtain the obstruction to exceptionality; a short self-contained statement of this formula (or a precise reference to its derivation) would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed report and the constructive suggestions. We address each major comment below and will incorporate the requested explicit verifications into the revised manuscript.

read point-by-point responses

  1. Referee: [Definition of the reduced maps h_d and the degree formula] The degree formula deg(h_d) = d − ℓ((1 + X + Y = 0) ∩ μ_d²) and the main monodromy theorem both rest on the claim that the reduced maps h_d are obtained precisely by cancelling common factors in H_d^raw(z) and that the resulting maps are nonconstant separable covers of the stated degree. The manuscript asserts that cancellation is exactly the torsion-defect phenomenon, but an explicit computation confirming that the scheme-theoretic length accounts for all cancelled factors (without residual common factors) is required in the section defining h_d and proving the degree formula; otherwise the equality and the applicability of geometric monodromy do not follow.

    Authors: We agree that an explicit computation is required to confirm that the scheme-theoretic length fully accounts for the cancelled factors with no residuals. In the revised manuscript we will add, in the section defining h_d, a direct factorization argument: we compute the gcd of the numerator and denominator of H_d^raw(z) by evaluating the resultant along the curve 1+X+Y=0 and show that every root of the resultant corresponds to a point of μ_d², with multiplicity exactly matching the length ℓ, and that the quotient after cancellation is separable of the stated degree. revision: yes

  2. Referee: [Main monodromy theorem in characteristic zero] The characteristic-zero proof that every non-linear quotient is Morse with G_{h_d} = S_{deg(h_d)} relies on ruling out branch-value collisions via a cyclotomic cross-ratio equation. This step is load-bearing for the full symmetric monodromy conclusion; the manuscript must supply the explicit verification that the cross-ratio equation admits no solutions in the relevant cyclotomic extensions for the specific reduced maps h_d (beyond the general statement in the abstract), or the geometric monodromy claim remains conditional on that algebraic independence.

    Authors: We accept that the explicit verification for the specific reduced maps h_d must be supplied. In the revised version we will expand the cyclotomic cross-ratio argument in the characteristic-zero section by substituting the explicit form of the branch points of h_d (obtained from the torsion-defect description) into the cross-ratio equation and verifying, via direct resultant computation in the cyclotomic field, that no solutions exist for deg(h_d) ≥ 3. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit definitions, proven degree formula, and independent monodromy proof

full rationale

The paper explicitly defines the reduced maps h_d by cancelling common factors in the given raw expression H_d^raw(z), then proves (not assumes) that this cancellation equals the torsion-defect length formula for the degree. The main monodromy theorem in char 0 is stated as a proved result that rules out collisions via an explicit cyclotomic cross-ratio equation; no parameter fitting, no self-citation chains, and no reduction of claimed results to inputs by construction. The separability assumption is the standard geometric one for covers and does not create a definitional loop. This is a normal non-circular case.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Based solely on the abstract, the work rests on standard background from algebraic geometry and finite fields with no free parameters, invented entities, or ad-hoc axioms visible.

axioms (3)
  • standard math Standard properties of schemes, morphisms, and lengths in algebraic geometry over fields
    Invoked when defining deg(h_d) via scheme-theoretic length and when treating the maps as covers.
  • domain assumption Existence and basic properties of geometric monodromy groups for separable covers of the projective line
    Used in the statement of the main monodromy theorem.
  • domain assumption Behavior of the Frobenius endomorphism and trace maps on finite fields in positive characteristic
    Used for the relations h_d = Frob_{p^s} circ h_{d_0} and the degree scaling.

pith-pipeline@v0.9.1-grok · 5932 in / 1632 out tokens · 39532 ms · 2026-06-29T23:22:21.691759+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 19 canonical work pages

  1. [1]

    Allouche and J

    J.-P. Allouche and J. Shallit,Automatic Sequences: Theory, Applications, Generalizations, Cambridge University Press, Cambridge, 2003.doi:10.1017/CBO9780511546563

    work page doi:10.1017/cbo9780511546563 2003

  2. [2]

    Akbary, D

    A. Akbary, D. Ghioca, and Q. Wang,On constructing permutations of finite fields, Finite Fields Appl.17 (2011), no. 1, 51–67.doi:10.1016/j.ffa.2010.10.002

    work page doi:10.1016/j.ffa.2010.10.002 2011

  3. [3]

    B. C. Berndt, R. J. Evans, and K. S. Williams,Gauss and Jacobi Sums, Canadian Mathematical Society Series of Monographs and Advanced Texts, Wiley, New York, 1998

    1998

  4. [4]

    J. R. Büchi,Weak second-order arithmetic and finite automata, Z. Math. Logik Grundlagen Math.6(1960), 66–92.doi:10.1002/malq.19600060105

    work page doi:10.1002/malq.19600060105 1960

  5. [5]

    J. H. Conway and A. J. Jones,Trigonometric diophantine equations (on vanishing sums of roots of unity), Acta Arith.30(1976), no. 3, 229–240.doi:10.4064/aa-30-3-229-240

    work page doi:10.4064/aa-30-3-229-240 1976

  6. [6]

    Deligne,La conjecture de Weil

    P. Deligne,La conjecture de Weil. II, Inst. Hautes Études Sci. Publ. Math.52(1980), 137–252. doi: 10.1007/BF02684780

    work page doi:10.1007/bf02684780 1980

  7. [7]

    Z. Ding, X. Song, and W. Xiong,A new construction of permutation polynomials overFq3, arXiv:2605. 15683v1(2026)

    2026

  8. [8]

    M. D. Fried, R. Guralnick, and J. Saxl,Schur covers and Carlitz’s conjecture, Israel J. Math.82(1993), no. 1–3, 157–225.doi:10.1007/BF02808112

    work page doi:10.1007/bf02808112 1993

  9. [9]

    M. D. Fried and R. E. MacRae,On curves with separated variables, Math. Ann.180(1969), 220–226. doi:10.1007/BF01350739

    work page doi:10.1007/bf01350739 1969

  10. [10]

    Granville and Z

    A. Granville and Z. Rudnick,Torsion points on curves, inEquidistribution in Number Theory, An Introduction, NATO Sci. Ser. II Math. Phys. Chem., vol. 237, Springer, Dordrecht, 2007, 85–92. doi:10.1007/978-1-4020-5404-4_5

    work page doi:10.1007/978-1-4020-5404-4_5 2007

  11. [11]

    R. M. Guralnick, J. Rosenberg, and M. E. Zieve,A new family of exceptional polynomials in characteristic two, Ann. of Math. (2)172(2010), no. 2, 1361–1390.doi:10.4007/annals.2010.172.1361

    work page doi:10.4007/annals.2010.172.1361 2010

  12. [12]

    R. M. Guralnick, T. J. Tucker, and M. E. Zieve,Exceptional covers and bijections on rational points, Int. Math. Res. Not. IMRN2007, Art. ID rnm004, 20 pp.doi:10.1093/imrn/rnm004

    work page doi:10.1093/imrn/rnm004

  13. [13]

    R. M. Guralnick and M. E. Zieve,Polynomials withPSL(2)monodromy, Ann. of Math. (2)172(2010), no. 2, 1315–1359.doi:10.4007/annals.2010.172.1315

    work page doi:10.4007/annals.2010.172.1315 2010

  14. [14]

    Hou,Permutation polynomials over finite fields – a survey of recent advances, Finite Fields Appl.32 (2015), 82–119.doi:10.1016/j.ffa.2014.10.001

    X. Hou,Permutation polynomials over finite fields – a survey of recent advances, Finite Fields Appl.32 (2015), 82–119.doi:10.1016/j.ffa.2014.10.001

    work page doi:10.1016/j.ffa.2014.10.001 2015

  15. [15]

    G. A. Jones,Primitive permutation groups containing a cycle, Bull. Aust. Math. Soc.89(2014), no. 1, 159–165.doi:10.1017/S000497271300049X. HILBERT–90 QUOTIENT MAPS 69

    work page doi:10.1017/s000497271300049x 2014

  16. [16]

    T. Y. Lam and K. H. Leung,On vanishing sums of roots of unity, J. Algebra224(2000), no. 1, 91–109. doi:10.1006/jabr.1999.8089

    work page doi:10.1006/jabr.1999.8089 2000

  17. [17]

    Lidl and H

    R. Lidl and H. Niederreiter,Finite Fields, Encyclopedia of Mathematics and its Applications, vol. 20, 2nd ed., Cambridge University Press, Cambridge, 1997.doi:10.1017/CBO9780511525926

    work page doi:10.1017/cbo9780511525926 1997

  18. [18]

    Lucas,Théorie des fonctions numériques simplement périodiques, Amer

    E. Lucas,Théorie des fonctions numériques simplement périodiques, Amer. J. Math.1(1878), no. 2, 184–196. doi:10.2307/2369308

    work page doi:10.2307/2369308

  19. [19]

    H. B. Mann,On linear relations between roots of unity, Mathematika12(1965), no. 2, 107–117.doi: 10.1112/S0025579300005210

    work page doi:10.1112/s0025579300005210 1965

  20. [20]

    J. S. Milne,Étale Cohomology, Princeton Mathematical Series, vol. 33, Princeton University Press, Princeton, 1980.doi:10.1515/9781400883981

    work page doi:10.1515/9781400883981 1980

  21. [21]

    Serre,Local Fields, Graduate Texts in Mathematics, vol

    J.-P. Serre,Local Fields, Graduate Texts in Mathematics, vol. 67, Springer, New York, 1979.doi:10.1007/ 978-1-4757-5673-9

    1979

  22. [22]

    Deligne,Cohomologie étale, Séminaire de Géométrie Algébrique du Bois-Marie SGA 4 1/2, Lecture Notes in Mathematics, vol

    P. Deligne,Cohomologie étale, Séminaire de Géométrie Algébrique du Bois-Marie SGA 4 1/2, Lecture Notes in Mathematics, vol. 569, Springer, Berlin, 1977.doi:10.1007/BFb0091516

    work page doi:10.1007/bfb0091516 1977

  23. [23]

    Storer,Cyclotomy and Difference Sets, Lectures in Advanced Mathematics, no

    T. Storer,Cyclotomy and Difference Sets, Lectures in Advanced Mathematics, no. 2, Markham Publishing Co., Chicago, 1967

    1967

  24. [24]

    The Sage Developers,SageMath, the Sage Mathematics Software System,https://www.sagemath.org