Embedding functors and their arithmetic properties

From MaRDI portal



Abstract: In this article, we focus on how to embed a torus T into a reductive group G with respect to a given root datum Psi over a scheme S. This problem also relates to how to embed an 'etale algebra with involution into a central simple algebra with involution (cf. cite{PR1}). We approach this problem by defining the embedding functor, and prove that the embedding functor is representable and is a left homogeneous space over S under the automorphism group of G. In order to fix a connected component of the embedding functor, we define an orientation u of Psi with respect to G. We show that the oriented embedding functor is also representable and is a homogeneous space under the adjoint action of G. Over a local field, the orientation u and the Tits index of G determine the existence of embedding of T into G with respect to the given root datum Psi. We also use the techniques developed in Borovoi's paper cite{Bo} to prove that the local-global principle holds for oriented embedding functors in certain cases. Actually, the Brauer-Manin obstruction is the only obstruction to the local-global principle for the oriented embedding functor. Finally, we apply the results of oriented embedding functors to give an alternative proof of Prasad and Rapinchuk's Theorem, and improve Theorem 7.3 in cite{PR1}.


Let \(G\) be a reductive group scheme over a base scheme \(S\), \(T\) an \(S\)-torus and \(\Psi\) a twisted root datum associated to \(T\). The paper under review studies closed embeddings of \(T\) into \(G\) that respect the given root datum. The author defines the embedding functor \(\mathfrak{E}(G,\,\Psi)\) whose points parametrize these embeddings. She proves that this functor is a left homogeneous space under the automorphism group of \(G\) and is represented by an \(S\)-scheme. It is also shown that \(\mathfrak{E}(G,\,\Psi)\) is a torsor over the scheme \(\mathcal{T}\) of maximal tori of \(G\) under the right action of the automorphism group of \(\Psi\).NEWLINENEWLINEAfter having defined orientations of root data, the author introduces an oriented embedding functor, and proves a similar representability theorem for this functor. This functor has a structure of left homogeneous space under the adjoint action of \(G\) and a structure of torsor over \(\mathcal{T}\) under the action of the Weyl group of \(\Psi\).NEWLINENEWLINEAlso explained in the paper are the relations between points of the embedding functors and certain embedding problems of Azumaya algebras with involution. Over global fields, various local-global principles for those embedding problems are obtained by using \textit{M. Borovoi}'s results on local-global principles for homogeneous spaces [Math. Ann. 314, No. 3, 491--504 (1999; Zbl 0966.14017)]. In particular, some results of [\textit{G. Prasad} and \textit{A. S. Rapinchuk}, Comment. Math. Helv. 85, No. 3, 583--645 (2010; Zbl 1223.11047)] are improved.











This page was built for publication: Embedding functors and their arithmetic properties

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