Spinor norm for skew-Hermitian forms over quaternion algebras (Q2257320)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Spinor norm for skew-Hermitian forms over quaternion algebras |
scientific article |
Statements
Spinor norm for skew-Hermitian forms over quaternion algebras (English)
0 references
24 February 2015
0 references
Let \(k\) be a dyadic local field of characteristic \(0\). Using the reduced norm of elements in \(D\), one can extend the discrete valuation on \(k\) to a surjective valuation \(\nu:D\to\mathbb{Z}\cup\infty\) and obtains thus the unique maximal order \(\mathcal{O}_D=\{ x\in D\,|\,\nu(x)\geq 0\}\). In this paper, the authors study full \(\mathcal{O}_D\)-lattices \(\Lambda\) in a finite dimensional skew hermitian space \((V,h)\) over \(D\) with respect to the standard involution on \(D\). Let \(\mathcal{U}_k^+(\Lambda)\) denote the stabilizer of \(\Lambda\) in the special unitary group \(\mathcal{U}_k^+\)of \(h\), and let \(\theta: \mathcal{U}_k^+\to k^*/k^{*2}\) denote the spinor norm. The spinor image \(H(\Lambda)\subseteq k^*\) is then defined by the relation \(H(\Lambda)/k^{*2}=\theta(\mathcal{U}_k^+(\Lambda))\). Completing earlier results by the first author [Contemp. Math. 344, 19--29 (2004; Zbl 1152.11325); Arch. Math. 94, No. 4, 351--356 (2010; Zbl 1193.11034)], the present paper provides an explicit computation of \(H(\Lambda)\) in the case \(k=\mathbb{Q}_2\). The results depend on the orthogonal decomposition of \(\Lambda\) into indecomposable sublattices of rank \(1\) and \(2\), and on certain invariants derived from the rank \(1\) components. Parts of the computations have been assisted by a computer. Examples show how these results can be used in many cases to determine the class number within a genus of skew-hermitian lattices of rank \(\geq 2\) over a maximal order in a quaternion division algebra over \(\mathbb{Q}\).
0 references
quaternion algebra
0 references
canonical involution
0 references
skew-hermitian form
0 references
dyadic local field
0 references
maximal order in a quaternion algebra
0 references
skew-hermitian lattice
0 references
spinor norm
0 references
genus
0 references