[论文解读] Reductive group actions

Friedrich Knop, Bernhard Krötz|arXiv (Cornell University)|Apr 4, 2016

Advanced Algebra and Geometry参考文献 33被引用 21

一句话总结

本文通过引入局部结构定理的 k-版本并定义结合了 Luna 的球对称系统与 Borel-Tits 理论的广义 Tits 图，建立了一个关于任意特征零域上约化群作用的统一理论。关键贡献在于定义了 k-球对称根系以及 k-球对称簇中 k-有理点的典范紧化，推广了实群情形下的最大 Satake 紧化。

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.

研究动机与目标

• 将 Luna 的球对称簇理论与非代数闭域上约化群的 Borel-Tits 理论统一起来。
• 为任意特征零域上的约化群作用发展有理性理论，特别是针对非分裂或非拟分裂群的情形。
• 定义一个广义 Tits 图，以控制嵌入的渐近行为，并捕捉无穷远处 k-有理点的结构。
• 构造 k-球对称簇中 k-有理点的显式紧化，推广最大 Satake 紧化。
• 建立 k-球对称根系与 k-非分歧核，推广代数闭情形下的经典根系与非分歧核。

提出的方法

• 引入局部结构定理的 k-版本，通过 N 与 AN 的商分解 G-簇 X 为初等核 X_el 与非分歧核 X_an。
• 定义 X 的 k-秩为 rk_k X = dim A_k(X)，其中 A_k(X) 是最大分裂环面 A 的商环面。
• 引入 k-中心化赋值——在 AN-不变量上平凡的 G-不变赋值——以对 X 的双有理模型中的不可约 G-稳定除子进行分类。
• 构造作用在特征格 Ξ_k(X) 上的 Weyl 群 W_k(X)，从而在有理向量空间 Hom(Ξ_k(X), ℚ) 中产生一个 Weyl 单元。
• 将 k-球对称根 Σ_k(X) 定义为根系 Φ_k(X) ⊂ Ξ_k(X) 的一组简单根，该根系是 K-球对称根系 Φ_K(X) 沿最大分裂环面 A 的限制根系。
• 利用广义 Tits 图的扇，为 k=ℝ 构造 X(ℝ) 的紧化 X_st(ℝ)，其为 G(ℝ)^0-等变的紧 Σ-流形。

实验结果

研究问题

• RQ1 Luna 的球对称簇理论如何推广至任意特征零域上的非分裂约化群？
• RQ2 对于非代数闭域上的约化群，Tits 图的正确推广是什么？需同时体现有理性和渐近行为。
• RQ3 在球对称簇中，k-有理点在无穷远处的行为如何？能否以典范方式实现其紧化？
• RQ4 k-球对称根系与代数闭情形下的经典球对称根系之间有何关系？
• RQ5 对局部域上的任意 k-球对称簇，能否将对称空间的最大 Satake 紧化推广？

主要发现

• k-球对称根 Σ_k(X) 在特征格 Ξ_k(X) 上构成一个根系 Φ_k(X)，即 K-球对称根系 Φ_K(X) 沿最大分裂环面 A 的限制根系。
• 当 k=ℝ 时，X(ℝ) 的紧化 X_st(ℝ) 是一个 G(ℝ)^0-等变的紧 Σ-流形，且其边界分量恰好为 G(ℝ)^0-轨道。
• 当 X 为 k-优美时，紧化所用的扇可取为标准扇，此时所得紧化实现对称空间的最大 Satake 紧化。
• 在实秩为 1 的情形下，紧化 X_st(ℝ) 同胚于 S^2、2-环面、实射影平面或 Möbius 带，具体取决于球对称齐性空间 G/H。
• X_st(ℝ) 的边界 Y(ℝ) 将实点集分离为对应于不同 G(ℝ)^0-轨道的分量，沿 Y(ℝ) 切割后得到圆盘或 Möbius 带的不相交并，反映出轨道结构。
• 对于极大幂零簇，紧化可能非可定向（例如 Möbius 带），沿闭轨道切割会得到非平凡覆盖，表明实点集具有非平凡的拓扑结构。