A Springer theorem for Hermitian forms.
type: Item
instance of: scholarly article
title: A Springer theorem for Hermitian forms.
zbMATH Open document ID: 1103.11013
author: Douglas W. Larmour
published in: Mathematische Zeitschrift
publication date: 2006-03-21T00:00:00Z
review text: Let \(F\) be a discrete Henselian field, whose residue field has characteristic different than \(2\), and let \(\pi\) be a uniformizer. A classical theorem of Springer essentially reduces the theory of quadratic forms over \(F\) to that of its residue field, in the sense that a quadratic form \(q = q_1 \perp \pi q_2\) is anisotropic iff \(q_1\) and \(q_2\) are. This paper proves analogous results for \(\varepsilon\)-Hermitian forms over division algebras. Let \((D,\sigma)\) be a central finite dimensional division algebra with involution over a field \(F\), and assume \(F^{\sigma}\) is Henselian. An \(\varepsilon\)-Hermitian form on a vector space \(V\) over \(D\) is a sesquilinear form \(V\times V \rightarrow D\) satisfying \(h(y,x) = \varepsilon \sigma(h(x,y))\). Such forms are always diagonalizable, namely can be brought to the form \(h(x,y) = \sum_{i=1}^{n}\sigma(x_i)a_i y_i\). It is shown that a unit form (namely one in which \(a_1,\dots,a_n\) are units) is isotropic iff its residue form is; two unit forms are isomorphic iff their residues are. For general forms, the decomposition \(h = h_1 \perp \pi h_2\) into unit forms is shown to be unique, with \(h\) anisotropic iff \(h_1\) and \(h_2\) are. These results are phrased in greater generality, for an arbitrary discrete value group. The mechanism developed for Hermitian forms is also used to study involutions on \(\text{End}_D(V)\), and a Springer theorem for these is proved as well.
reviewed by: Uzi Vishne
Mathematics Subject Classification ID: 11E39
Mathematics Subject Classification ID: 16K20
Mathematics Subject Classification ID: 16W10
Mathematics Subject Classification ID: 16W60
zbMATH DE Number: 5013681
zbMATH Keywords: Springer's theorem
zbMATH Keywords: Hermitian form
zbMATH Keywords: valued division
MaRDI profile type: Publication
full work available at URL: s00209-005-0775-z
OpenAlex ID: W2063580372
cites work: Prime ideals in PI-rings
cites work: Hyperbolic involutions
cites work: Division algebras over Henselian fields.
cites work: Q5675788
cites work: New improved exact sequences of Witt groups
cites work: Maximal orders over valuation rings
cites work: Involutions on orders. I.
cites work: Q3708857
cites work: Extending Valuations to Finite Dimensional Division Algebras
DOI: 10.1007/S00209-005-0775-Z
Recommended article: Graded Hermitian forms and Springer's theorem
Recommended article: A Hermitian analog of a quadratic form theorem of Springer
Recommended article: A Springer theorem for higher degree forms
Recommended article: Hermitian analogue of a theorem of Springer
description: scientific article; zbMATH DE number 5013681