Abstract:Embeddings of maximal tori into classical groups over global fields of characteristic not 2 are the subject matter of several recent papers, with special attention to the Hasse principle. The present paper gives necessary and sufficient conditions for this embedding problem, and in particular for the Hasse principle to hold. Using work of Borovoi, this is interpreted as a Brauer-Manin type obstruction.
What problem does this paper attempt to address?
The problem that this paper attempts to solve concerns the necessary and sufficient conditions for the embedding of maximal tori in classical groups, as well as the explicit description of the Brauer - Manin obstruction. Specifically:
1. **The problem of maximal torus embedding**: The main objective of the paper is to give the necessary and sufficient conditions for embedding maximal tori in classical groups. This involves embedding an étale algebra with involution into a central simple algebra with involution.
2. **Explicit description of the Brauer - Manin obstruction**: According to previous work (such as [Lee 14]), it is known that the Brauer - Manin obstruction is the only obstruction to embedding. Therefore, the paper aims to provide a specific description of this obstruction.
3. **Application of the Hasse principle**: In addition to the embedding problem over global fields, the embedding conditions over local fields also need to be considered. These conditions are described by Tits indices and classical invariants.
### Specific problem description
The following specific problems are discussed in the paper:
- **Definitions and notations**: Relevant definitions and notations are introduced, such as étale algebras with involution, central simple algebras and their involution types (orthogonal, symplectic or unitary type), etc.
- **Embedding conditions**: A group \(X(E, \sigma)\) is defined, and a mapping \(f: X(E, \sigma)\to\mathbb{Z}/2\mathbb{Z}\) is given, such that \((E, \sigma)\) can be embedded into \((A, \tau)\) if and only if \(f = 0\).
- **Trace forms and discriminants**: The concepts of scaled trace forms and discriminants are discussed, and their applications in the embedding problem are given.
- **Orientation**: To deal with the non - split orthogonal case, the concept of orientation is introduced, and compatible orientations are defined.
- **Similitudes**: Similitudes are discussed and their roles in the isomorphisms between algebras and involutions are given.
- **Oriented embeddings**: A stronger concept of oriented embeddings is defined, and it is proved that there exist oriented embeddings under certain conditions.
### Summary
In general, by introducing new mathematical tools and concepts, this paper solves the necessary and sufficient conditions for the embedding of maximal tori in classical groups and provides a specific description of the Brauer - Manin obstruction. This not only promotes the theoretical research in this field but also provides an important foundation for subsequent research.