Embedding orders into central simple algebras (Q713180): Difference between revisions

Let \(K\) be an algebraic number field, and let \(L\) be a maximal subfield of the matrix algebra \(M_n(K)\). Let \(m\) be the number of isomorphism classes of maximal orders \(\Lambda\) in \(M_n(K)\), and let \(r\) be the number of isomorphism classes of those \(\Lambda\) which contain the maximal order of \(L\) as a subring. An old theorem of [\textit{C. Chevalley}, L'arithmétique dans les algébres de matrices. Paris: Hermann (1936; Zbl 0014.29006)] states that \(m/r=(\widetilde{K}\cap L:K)\), where \(\widetilde{K}\) denotes the Hilbert class field of \(K\). For quaternion algebras, similar results are due to \textit{T. Chinburg} and \textit{E. Friedman} [J. Lond. Math. Soc., II. Ser. 60, No. 1, 33--44 (1999; Zbl 0940.11053)], \textit{W. K. Chan} and \textit{F. Xu} [Compos. Math. 140, No. 2, 287--300 (2004; Zbl 1041.11020)], \textit{X. Guo} and \textit{H. Qin} [J. Number Theory 107, No. 2, 207--214 (2004; Zbl 1060.11077)], and \textit{C. MacLachlan} [J. Number Theory 128, No. 10, 2852--2860 (2008; Zbl 1220.11140)]. More general results have been proved by \textit{L. Arenas-Carmona} [Ann. Inst. Fourier 53, No. 7, 2021--2038 (2003; Zbl 1060.11018)] who replaced the Hilbert class field by a spinor class field. In the paper under review, the authors consider a central simple \(K\)-algebra \(B\) of odd dimension \(p^2\) with \(p\) prime. For a maximal subfield \(L\) and a fixed maximal order \(\mathcal{R}\) of \(B\), they define an abelian extension \(K(\mathcal{R})\) over \(K\) whose Galois group is a certain group of idèle classes. They prove that an order \(\Omega\) in \(L\) embeds into every maximal order in \(B\) unless \(L\subset K(\mathcal{R})\) and a certain splitting condition for primes in \(K\) holds. Generalizing ideas of Chinburg and Friedman, the authors use the Bruhat-Tits building for \(SL_p\).