×

Splitting quaternion algebras defined over a finite field extension. (English) Zbl 1500.12003

This paper revolves around systems of quadratic forms, their conditions for isotropy and the implications on the existence of certain splitting fields of central simple algebras of 2-power degrees. The authors start by showing that every system of \(r\) quadratic forms in more than\(\frac{r(r+1)}{2}\) variables has a generalized 2-extension of degree at most \(2^r\) that makes it isotropic (Theorem 2.1). As a result, they conclude that if \(K/F\) is a field extension of degree \(r\) and \(\varphi\) is a quadratic form of dimension at least \(\max(3,\frac{r}{2})\) over \(K\) then there exists a generalized 2-extension \(F'/F\) of degree at most \(2^r\) such that \(\varphi_{K.F'}\) is isotropic (Proposition 2.5). Under the assumption that \(\operatorname{char}(F)\neq 2\), the authors prove that if \(K/F\) is a field extension of degree at most 8 and \(Q\) is a quaternion \(K\)-algebra, then there exists a 2-extension \(F'/F\) of degree at most \(2^{[K:F]}\) such that \(Q_{K.F'}\) is split (Theorem 3.2). They conclude the paper with Theorem 5.5, which states that if \(A\) is a central simple algebra of index 16, then \(A\) is split by a 2-extension of degree at most \(2^{16}\), and if in addition we assume the exponent of \(A\) is 2, the bound on the necessary degree goes down to \(2^{11}\).

MSC:

12E15 Skew fields, division rings
16K20 Finite-dimensional division rings
11E81 Algebraic theory of quadratic forms; Witt groups and rings

References:

[1] Albert, A. A., Structure of Algebras, , Vol. 24 (American Mathematical Society, New York, 1939). · Zbl 0023.19901
[2] Amitsur, S. A., On central division algebras, Israel J. Math.12 (1972) 408-420. · Zbl 0248.16006
[3] Becher, K. J., Splitting fields of central simple algebras of exponent two, J. Pure Appl. Algebra220 (2016) 3450-3453. · Zbl 1415.12005
[4] Becher, K. J., Grenier Boley, N. and Tignol, J.-P., Involutions and stable subalgebras, J. Algebra493 (2018) 381-409. · Zbl 1377.16011
[5] Draxl, P. K., Skew Fields, , Vol. 81 (Cambridge University Press, 1983). · Zbl 0498.16015
[6] Elman, R., Karpenko, N. and Merkurjev, A., The Algebraic and Geometric Theory of Quadratic Forms, , Vol. 56 (American Mathematical Society, New York, 2008). · Zbl 1165.11042
[7] Florence, M., On the symbol length of \(p\)-algebras, Compositio Math.149 (2013) 1353-1363. · Zbl 1321.16010
[8] Gille, P. and Szamuely, T., Central Simple Algebras and Galois Cohomology (Cambridge University Press, Cambridge, 2006). · Zbl 1137.12001
[9] Leep, D. B., Systems of quadratic forms, J. Reine Angew. Math.350 (1984) 109-116. · Zbl 0531.10023
[10] Pfister, A., Quadratic Forms with Applications to Algebraic Geometry and Topology, , Vol. 217 (Cambridge University Press, 1995). · Zbl 0847.11014
[11] Rosset, S. and Tate, J., A reciprocity law for \(K_2\)-traces, Comment. Math. Helv.58 (1983) 38-47. · Zbl 0514.18010
[12] Rowen, L. H., Central simple algebras, Israel J. Math.29 (1978) 285-301. · Zbl 0392.16011
[13] Rowen, L. H., Division algebras of exponent \(2\) and characteristic \(2\), J. Algebra90 (1984) 71-83. · Zbl 0548.16020
[14] Tignol, J.-P., On the length of decompositions of central simple algebras in tensor products of symbols, in Methods in Ring Theory (Antwerp, \(1983)\), , Vol. 129 (Reidel, Dordrecht, 1984), pp. 505-516. · Zbl 0558.16010
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.