The orthogonal \(u\)-invariant of a quaternion algebra
type: Item
instance of: scholarly article
title: The orthogonal \(u\)-invariant of a quaternion algebra
zbMATH Open document ID: 1206.11042
author: Karim Johannes Becher
author: M. G. Mahmoudi
published in: Bulletin of the Belgian Mathematical Society - Simon Stevin
publication date: 2010-04-01T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.bbms/1267798507
review text: In particular, the following two theorems are proved: Theorem 4.10: Let \(Q\) be a quaternion division algebra over \(K\) with canonical involution \(\gamma\). Then the set \(\text{Herm}^{-1}_1(Q,\gamma)\) of (equivalence classes of) one-dimensional skew-Hermitian forms on \((Q,\gamma)\) is finite iff \(K^x/K^{x^2}\) is finite. Theorem 6.2/6.8: Let \(K\) be a Kaplansky field with its unique quaternion division algebra \(Q\). Then any skew-Hermitian form of dimension \(\geq 4\) over \((Q,\gamma)\) is isotropic. The corresponding \(u\)-invariant \(u(Q,\gamma,-1)\) has the value \[ \begin{cases} 1 \quad\text{if }K \text{ is real Euclidean}\\ 2 \quad\text{if }K \text{ is real non-Euclidean} \\ 3 \quad\text{if }K \text{ is nonreal}.\end{cases} \] (Note that \(\gamma\) is a symplectic involution). This paper is well-written and easy to read.
reviewed by: Albrecht Pfister
Mathematics Subject Classification ID: 11E04
Mathematics Subject Classification ID: 11E39
Mathematics Subject Classification ID: 11E81
zbMATH DE Number: 5689259
zbMATH Keywords: Hermitian form
zbMATH Keywords: involution
zbMATH Keywords: division algebra
zbMATH Keywords: isotropy
zbMATH Keywords: system of quadratic forms
zbMATH Keywords: discriminant
zbMATH Keywords: Tsen-Lang theory
zbMATH Keywords: Kneser's theorem
zbMATH Keywords: local field
zbMATH Keywords: Kaplansky field
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 5689259