What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **Give the necessary and sufficient conditions for containing a maximal torus of a given type in an orthogonal group defined over a global field (with characteristic not equal to 2)**. Specifically, the main objective of the paper is to determine under what conditions an orthogonal group \(O(q)\) defined over a global field \(k\) can contain a maximal torus of a given type. Here, "type" refers to a torus associated with a certain étale algebra and its involution. ### Overview of Main Results: 1. **Theorem 3.2.1** provides the necessary and sufficient conditions for this problem, namely: - The necessary and sufficient condition for the orthogonal group \(O(q)\) to contain a maximal torus of a given type over all completions of \(k\) is that the set \(C(E, q)\) is non - empty. - The necessary and sufficient condition for the orthogonal group \(O(q)\) to contain a maximal torus of a given type is that the set \(C(E, q)\) is connected. 2. **Special Case: CM - type Torus**: - For CM - type tori (i.e., tori related to CM étale algebras), the paper gives more specific necessary and sufficient conditions (see Section 4). Specifically, if \((E,\sigma)\) is a CM étale algebra of rank \(2n\), and \(q\) is a \(2n\)-dimensional quadratic space, then the necessary and sufficient condition for \(O(q)\) to contain a maximal torus of type \((E,\sigma)\) is: - \(\text{disc}(q)=\text{disc}(E)\in k^*/(k^*)^2\) - Satisfy the hyperbolicity condition - The signature of \(q\) is even. ### Formula Representation: - **Discriminant**: \[\text{disc}(q)=(-1)^{\frac{m(m - 1)}{2}}\det(q)\] - **Hasse Invariant**: \[w(q)=\sum_{i < j}(a_i,a_j)\in\text{Br}_2(k)\] - **Hyperbolic Space**: \[h_{2n}\] is a \(2n\)-dimensional hyperbolic space. - **Signature**: If the signature of \(q\) at a real place \(v\) is \((r, s)\), then the signature of \(q\) at \(v\) is said to be even if and only if \(r\equiv s\equiv0\pmod{2}\) Through these conditions and formulas, the paper provides a systematic method to determine whether an orthogonal group contains a maximal torus of a given type.

Embeddings of maximal tori in orthogonal groups

Embeddings of maximal tori in classical groups and explicit Brauer-Manin obstruction

On algebraic normalisers of maximal tori in simple groups of Lie type

The maximal Tori of finite exceptional groups of Lie type

Totally Ramified Maximal Tori and Bruhat-Tits theory

Subgroups of simple algebraic groups containing regular tori, and irreducible representations with multiplicity 1 non-zero weights

Orbits of tori extended by finite groups and their polynomial hulls: the case of connected complex orbits

On tori periods of Weil representations of unitary groups

On normalizers of maximal tori in classical Lie groups

Total positivity in the space of maximal tori

Invariants of maximal tori and unipotent constituents of some quasi-projective characters for finite classical groups

Embeddings of Kleinian Groups with Torsion

Totally orthogonal finite simple groups

Orthogonal Systems in Vector Spaces over Finite Fields

Algebraic Groups with Torsors That Are Versal for All Affine Varieties

The finiteness of the Tate-Shafarevich group over function fields for algebraic tori defined over the base field

On unramified Brauer groups of torsors over tori

Outer automorphisms of algebraic groups and determining groups by their maximal tori

Toroidal Embeddings of non-Intrinsically-Linked Graphs

Invariant rings of the special orthogonal group have nonunimodal $h$-vectors