×

Spinor norm for skew-Hermitian forms over quaternion algebras. (English) Zbl 1317.11035

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}\).

MSC:

11E39 Bilinear and Hermitian forms
11E41 Class numbers of quadratic and Hermitian forms
11H06 Lattices and convex bodies (number-theoretic aspects)
11R52 Quaternion and other division algebras: arithmetic, zeta functions
11S45 Algebras and orders, and their zeta functions
15A66 Clifford algebras, spinors

References:

[1] Arenas-Carmona, L., Applications of spinor class fields: embeddings of orders and quaternionic lattices, Ann. Inst. Fourier, 53, 2021-2038 (2003) · Zbl 1060.11018
[2] Arenas-Carmona, L., Spinor norm for local skew-hermitian forms, (Contemp. Math., vol. 344 (2004)), 19-29 · Zbl 1152.11325
[3] Arenas-Carmona, L., Integral Springer Theorem for quaternionic forms, Nagoya Math. J., 187, 157-174 (2007) · Zbl 1161.11007
[4] Arenas-Carmona, L., Representation fields for quaternionic skew-hermitian forms, Arch. Math., 94, 351-356 (2010) · Zbl 1193.11034
[5] Beli, C. N., Integral spinor norm groups over dyadic local fields, J. Number Theory, 102, 125-182 (2003) · Zbl 1036.11013
[6] Böge, S., Spinorgeshlechter shiefhermitescher formen, Arch. Math., XXI, 172-184 (1970) · Zbl 0362.10020
[7] Kneser, M., Klassenzahlen indefiniter quadratischen formen in drei oder mehr veränderlichen, Arch. Math., VII, 323-332 (1956) · Zbl 0071.27205
[8] Kneser, M., Lectures on Galois Cohomology of Classical Groups (1969), TATA Institute of Fundamental Research: TATA Institute of Fundamental Research Bombay · Zbl 0246.14008
[9] O’Meara, O. T., Introduction to Quadratic Forms, Classics Math. (1973), Springer: Springer Berlin · Zbl 0259.10018
[10] Scharlau, W., Quadratic and Hermitian Forms (1985), Academic Press: Academic Press New York · Zbl 0584.10010
[11] Stein, W. (2009), version 4.3
[12] Vignéras, M. F., Arithmétique des algèbres de quaternions, Lecture Notes in Math., vol. 800 (1980), Springer: Springer Berlin · Zbl 0422.12008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.