Hilbert-90 quotient maps, torsion defects, and symmetric monodromy
Abstract
Let . We study the reduced rational maps obtained by cancelling common factors in . These maps arise by Hilbert-90 descent from the trace-zero maps on , but the principal object is the resulting -equivariant quotient-map family; nonconstant separable members are viewed as covers. We prove that cancellation is exactly a torsion-defect phenomenon. If denotes scheme-theoretic length and , then , and, in characteristic with and , and . 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, ; 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 -transitive monodromy into a uniform obstruction to -twisted exceptionality.
Keywords
Cite
@article{arxiv.2605.25291,
title = {Hilbert-90 quotient maps, torsion defects, and symmetric monodromy},
author = {Henry Shin},
journal= {arXiv preprint arXiv:2605.25291},
year = {2026}
}
Comments
69 pages