A Galois-type Springer theorem for hermitian and generalized quadratic forms
Abstract
We prove that anisotropy of nonsingular hermitian and skew-hermitian forms over central simple algebras with involution is preserved under scalar extension to every finite Galois extension of odd degree coprime to the index of the algebra. In characteristic two, the same conclusion holds for generalized quadratic forms over algebras with involution of the first kind, with no nonsingularity assumption on their polar forms. The main tool is an isometry-level descent theorem. For a cyclic extension of odd prime degree, every anisotropic nonsingular form over a division algebra with involution, of rank smaller than the extension degree and with Galois-invariant isometry class, descends to an anisotropic form over the base field. Unlike descent results for Witt classes, this theorem descends the form itself. A bounded-rank reduction, based on injectivity of the Witt-group restriction map, derives the cyclic anisotropy theorem from this descent result; a regularization argument removes the nonsingularity assumption on polar forms in characteristic two, and the Feit-Thompson theorem extends the result to arbitrary finite Galois extensions of odd degree.
Related
- An elementary proof of the Artin--Springer theorem for generalized quadratic forms over quaternion algebras
- Explicit equations of Galois subfields of Hermitian function fields with respect to decomposition groups
- Galois Hulls of Generalized Roth-Lempel Codes and Their Applications to EAQECCs
- Maximal Unramified p-Extensions with Prescribed Galois Groups: A Quantitative Refinement of Ozaki's Theorem
- Projective Lifting Theorem, Complex Reflection Groups, and Quasi-Galois Points for Fermat Varieties
BibTeX
@misc{nokhodkar2026galoistype,
title = {{A Galois-type Springer theorem for hermitian and generalized quadratic forms}},
author = {Amir Hossein Nokhodkar},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.06177},
eprint = {2611.06177},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.06177},
}
RIS
TY - UNPB
TI - A Galois-type Springer theorem for hermitian and generalized quadratic forms
AU - Amir Hossein Nokhodkar
PY - 2026
DA - 2026/11/04
PB - arXiv
DO - 10.48550/arxiv.2611.06177
UR - https://arxiv.org/abs/2611.06177
AB - We prove that anisotropy of nonsingular hermitian and skew-hermitian forms over central simple algebras with involution is preserved under scalar extension to every finite Galois extension of odd degree coprime to the index of the algebra. In characteristic two, the same conclusion holds for generalized quadratic forms over algebras with involution of the first kind, with no nonsingularity assumption on their polar forms. The main tool is an isometry-level descent theorem. For a cyclic extension of odd prime degree, every anisotropic nonsingular form over a division algebra with involution, of rank smaller than the extension degree and with Galois-invariant isometry class, descends to an anisotropic form over the base field. Unlike descent results for Witt classes, this theorem descends the form itself. A bounded-rank reduction, based on injectivity of the Witt-group restriction map, derives the cyclic anisotropy theorem from this descent result; a regularization argument removes the nonsingularity assumption on polar forms in characteristic two, and the Feit-Thompson theorem extends the result to arbitrary finite Galois extensions of odd degree.
ER -