本文研究了特征零任意域上 reductive group 作用的有理性质，统一了 Luna 球面系统理论和 Borel-Tits 理论，定义了广义 Tits 指数，并利用局部结构定理的 k-版本获得了 k-球面簇的显式完备化。
摘要：
在本文中，我们研究在特征零的任意域上定义的 reductive group 作用的有理性质。从而，我们统一了 Luna 的球面系统理论和 Borel-Tits 的 reductive group 理论。特别地，我们为任何 reductive group 作用定义了一个广义 Tits 指数，其主要构成部分是一个根系和各向异性核的推广。该指数在很大程度上控制了无穷远的行为（即嵌入）。对于 k-球面簇（即极小抛物线有一个开轨道），我们得到了有理点集合的显式（奇妙）完备化。对于局部域，这意味着诚实的紧致化，推广了对称空间的最大 Satake 紧致化。我们的主要工具是局部结构定理的 k-版本。
英文摘要：
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.
In this paper we determine the scheme-theoretic fixed points of pinned reductive group schemes acted upon by a group of pinning-preserving automorphisms. The results are used in a companion paper to establish a ramified geometric Satake equivalence with integral or modular coefficients.
We prove the Grothendieck-Serre conjecture for quasi-split reductive groups schemes. Our method involves reducing to the Borel subgroup in order to conclude the result from purity for tori and the structure theorem for unipotent radicals of parabolic subgroups in a reductive group.
We prove the existence of Bialynicki-Birula decomposition for Kempf monoids, which is a large class that contains for example monoids with reductive unit group in all characteristics. This extends the existence statements from previous works of Alper-Hall-Rydh and Jelisiejew-Sienkiewicz.
Let a complex algebraic reductive group $\bf G$ act on a complex algebraic manifold $\bf X$. For a $\bf G$-invariant subvariety $Ξ$ of the nilpotent cone $\mathcal{N}(\mathfrak{g}^*)\subset \mathfrak{g}^*$ we define a notion of $Ξ$-symplectic complexity of $\bf X$. This notion generalizes the notion of complexity defined in [Vin86]. We prove several properties of this notion, and relate it to the notion of $Ξ$-complexity defined in [AG] motivated by its relation with representation theory.
Invariant deformation theory of affine schemes with reductive group action
Institut für Algebraische Geometrie Gottfried Wilhelm Leibniz Universität Hannover（汉诺威莱布尼茨大学代数几何研究所）；Institut für Mathematik Johannes Gutenberg-Universität Mainz（美因茨约翰内斯·古腾堡大学数学研究所）
We introduce the notion of a quasi-connected reductive group over an arbitrary field to be an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group.
Using results of Cartan, Matsumoto, and Casselman, we give a short proof of Timashev's theorem computing the real component group π_0 G(R) of a connected reductive real algebraic group G in terms of a maximal torus of G containing a maximal split torus.
Kobayashi [Duke Math. J. (1992)] gave a necessary condition for the existence of compact Clifford-Klein forms in terms of Cartan projections and non-compact dimensions of reductive subgroups. We extend his method to non-reductive subgroups, and give some examples of homogeneous spaces of reductive type that do not admit compact Clifford-Klein forms by comparing Cartan projections and non-compact dimensions of reductive subgroups with those of non-reductive subgroups.
By a quasi-connected reductive group (a term of Labesse) over an arbitrary field we mean an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group. We compute the first Galois cohomology set H^1(R,G) of a quasi-connected reductive group G over the field R of real numbers in terms of a certain action of a subgroup of the Weyl group on the Galois cohomology of a fundamental quasi-tor…
The aim of this paper is to give generalizationof the constructionof the Steinberg tempered character on a connected reductive p-adic group. We prove that this character is invariant by the weak restriction of the Jacquet module by analogy to finite reductive groups.
In this paper, we give a simple formula for sectional curvatures on the general linear group, which is also valid for many other matrix groups. Similar formula is given for a reductive Lie group. We also discuss the relation between commuting matrices and zero sectional curvature.
We generalize the Alvis-Curtis duality to the abstract representations of reductive groups with Frobenius maps. Similar to the case of representations of finite reductive groups, we show that the Alvis-Curtis duality of infinite type which we define in this paper also interchanges the irreducible representations in the principal representation category.
The set of strata of a reductive group can be viewed as an enlargement of the set of unipotent classes. In this paper the notion of distinguished unipotent class is extended to this larger set. The strata of a Weyl group are introduced and studied.
Lusztig's algorithm of computing generalized Green functions of reductive groups involves an ambiguity of certain scalars. In this paper, for reductive groups of classical type with arbitrary characteristic, we determine those scalars explicitly, and eliminate the ambiguity. Our results imply that all the generalized Green functions of classical type are computable.
We give an algorithm to compute the associated variety of a Harish- Chandra module for a real reductive group $G({\mathbb R})$. The algorithm is implemented in the atlas software package.
We study three fundamental topics in the representation theory of disconnected algebraic groups whose identity component is reductive: (i) the classification of irreducible representations; (ii) the existence and properties of Weyl and dual Weyl modules; and (iii) the decomposition map relating representations in characteristic $0$ and those in characteristic $p$ (for groups defined over discrete valuation rings). For each of these topics, we obtain natural generalizations of the well-known results for connected reductive groups.
Let G be a connected reductive group over a field of characteristic zero, and consider an orthogonal representation of G. We give a simple criterion for whether the representation lifts to the spin group, in terms of the highest weights of the irreducible constituents of the representation.
