Abstract:In this paper, we study rationality properties of reductive group actions which are defined over an arbitrary field of characteristic zero. Thereby, we unify Luna's theory of spherical systems and Borel-Tits' theory of reductive groups. In particular, we define for any reductive group action a generalized Tits index whose main constituents are a root system and a generalization of the anisotropic kernel. The index controls to a large extent the behavior at infinity (i.e., embeddings). For k-spherical varieties (i.e., where a minimal parabolic has an open orbit) we obtain explicit (wonderful) completions of the set of rational points. For local fields this means honest compactifications generalizing the maximal Satake compactification of a symmetric space. Our main tool is a k-version of the local structure theorem.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the fine large - scale geometric structure of the homogeneous space \(X\) of the reductive group \(G\) over an arbitrary field \(k\) of characteristic zero. Specifically, the main objectives of the paper include:
1. **Study of \(k\)-rationality properties**: The paper focuses on the \(k\)-rationality properties of the homogeneous space \(X\) under the action of the reductive group \(G\) when the base field \(k\) is not algebraically closed. These properties include which embeddings are defined over \(k\) and which orbits carry \(k\)-rational points.
2. **Generalization of Luna and Vust's theory**: Luna and Vust's theory mainly deals with spherical embeddings over an algebraically closed field, and this paper attempts to generalize these theories to non - closed fields. This involves using the minimal \(k\)-parabolic subgroup \(P\) to replace the Borel subgroup and studying concepts such as \(k\)-central valuations and \(k\)-spherical root systems.
3. **Construction of a generalized Tits index**: The paper defines a generalized Tits index, whose main components are a root system and a generalized anisotropic kernel. This index largely controls the behavior at infinity (i.e., embeddings).
4. **Study of completions of \(k\)-spherical varieties**: For \(k\)-spherical varieties (i.e., the minimal parabolic subgroup has an open orbit), the paper obtains explicit (wonderful) completions of the set of rational points. For local fields, this means honest compactifications, generalizing the maximal Satake compactification of symmetric spaces.
5. **Analysis of the behavior of \(X\) at infinity**: The paper constructs a normal partial compactification \(X(F)\) of \(X\) by constructing a fan \(F\) supported on \(Z_k(X)\). Each cone \(C\in F\) corresponds to a stratum \(X(C)\), and each stratum is \(k\)-dense.
6. **Study of \(k\)-convexity**: The paper introduces the concept of \(k\)-convexity and proves that every \(G\)-variety can be made \(k\)-convex by dividing by an appropriate split torus. In the \(k\)-convex case, \(Z_k(X)\) is simplex and all faces can be taken as the fan \(F\).
7. **Classification of special types of varieties**: The paper classifies two special types of varieties, one is the variety with \(k\)-rank zero, and the other is the \(k\)-horizontal variety. These varieties are characterized by the fact that \(Z_k(X)\) is the entire space \(N_k(X)\), or equivalently, the root system is empty.
8. **Study of boundary degenerations**: The paper constructs a smooth map \(X\rightarrow Y\), whose fibers are called the boundary degenerations of \(X\).
In summary, through the introduction of new concepts and tools, this paper systematically studies the fine large - scale geometric structure of the homogeneous space \(X\) of the reductive group \(G\) under the action over an arbitrary field \(k\) of characteristic zero, especially its \(k\)-rationality properties and the behavior at infinity.