The albert algebra of generic matrices

From MaRDI portal





Examples of Albert algebras obtained by the second Tits construction, which cannot be obtained by the first, are of interest. Such an Albert algebra is called a pure second Tits construction. In the past, examples of this kind were given by Albert, Peterson-Racine and Thakur. In this paper, the author defines the Albert algebra of generic matrices whose central closure is a pure second Tits construction. Let \(R=k[\xi]\) be the polynomial ring in the independent indeterminates \(\xi =(\xi_{ip})_{1\leq i\leq 27,p\geq 1}\) over the commutative associative ring \(k\). Let \(A^0\) the neutral Albert algebra over \(k\), that is, \(A^0=H_3(C^0)\) where \(C^0\) is the neutral octonion algebra of Zorn matrices over \(k\). For a fixed \(k\)-basis \((e_i)_{1\leq i\leq 27}\) of \(A^0\), the Albert algebra of generic matrices is defined as the \(k\)-subalgebra \({\mathcal A}_k[X]\) of \(A^0\otimes R\) generated by the generic matrices \(X_p\) (\(p\geq 1\)), given by \[ X_p=\sum_{i=1}^{27}e_i\otimes\xi_{ip}. \] The main result of this paper claims that if \(k\) is an integral domain, then the central closure \({\mathcal A}_k(X)\) of \({\mathcal A}_k[X]\) is an Albert division algebra over its centroid and a pure second Tits construction. It is also proved that the question of Albert concerning the existence of cyclic cubic subfields has an affirmative answer for all Albert division algebras if and only if this holds for \({\mathcal A}_k(X)\). Specifically, if \({\mathcal A}_k(X)\) over its centroid admits a cyclic cubic subfield, so does every Albert division algebra over any extension field of \(k\).











This page was built for publication: The albert algebra of generic matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4261232)