[论文解读] Closed Orbits and uniform S-instability in Geometric Invariant Theory

Michael Bate, Benjamin Martin+2 more|arXiv (Cornell University)|Apr 30, 2009

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

一句话总结

该论文在非代数闭域上建立了约化李群作用下G-轨道的合理性结果，并将Kempf-Hesselink最优性理论扩展至统一S-不稳定情形。论文引入了域k上的共轭特征封闭轨道，证明了对任意子群存在最优不稳定抛物子群，利用几何不变量理论与构造理论，解决了Tits中心猜想的一个特例。

ABSTRACT

In this paper we consider various problems involving the action of a reductive group $G$ on an affine variety $V$. We prove some general rationality results about the $G$-orbits in $V$. In addition, we extend fundamental results of Kempf and Hesselink regarding optimal destabilizing parabolic subgroups of $G$ for such general $G$-actions. We apply our general rationality results to answer a question of Serre concerning the behaviour of his notion of $G$-complete reducibility under separable field extensions. Applications of our new optimality results also include a construction which allows us to associate an optimal destabilizing parabolic subgroup of $G$ to any subgroup of $G$. Finally, we use these new optimality techniques to provide an answer to Tits' Centre Conjecture in a special case.

研究动机与目标

• 将几何不变量理论中G-轨道的合理性结果推广至非代数闭域。
• 将Kempf与Hesselink关于不稳定共轭特征的最优性理论扩展至统一S-不稳定的设定。
• 为约化李群G的任意子群提供最优不稳定抛物子群的构造方法。
• 将新的最优性框架应用于回答Serre关于可分域扩张上G-完全可约性的提问。
• 利用最优抛物子群与建筑理论技术，证明Tits中心猜想的一个特例。

提出的方法

• 引入域k上共轭特征封闭的G(k)-轨道的概念，将闭G-轨道推广至非代数闭设定。
• 证明在特定条件下，共轭特征作用的极限点位于相关抛物子群在k上的幂零根中。
• 将最优不稳定共轭特征理论应用于子群K ≤ G，构造包含K的最优抛物子群P(K)。
• 利用共轭特征上的范数函数及其在伽罗瓦作用下的不变性，稳定最优抛物子群在域自同构下的行为。
• 将理论应用于约化李群的建筑，通过单形的重心证明子复形的稳定子子群作用下的不动点存在。
• 结合代数群自同构与伽罗瓦作用，构造G(k)-不变的最优抛物子群，从而实现对中心猜想的应用。

实验结果

研究问题

• RQ1 希尔伯特-牟利福德准则与Kempf的最优性理论能否推广至非代数闭域上的作用？
• RQ2 共轭特征封闭的G(k)-轨道概念是否为非代数闭设定下闭G-轨道的合适推广？
• RQ3 能否为约化李群G的任意子群K唯一关联一个最优不稳定抛物子群？
• RQ4 最优不稳定共轭特征理论是否能解决Serre关于可分域扩张上G-完全可约性的提问？
• RQ5 在子群作用下，与约化李群相关建筑的不动点子复形是否满足中心猜想？

主要发现

• 论文证明：若k-定义的共轭特征λ满足lim_{a→0} λ(a)·v = v′且v′ ∈ G(k)·v，则在适当假设下有v′ ∈ R_u(P_λ)(k)·v，推广了Kraft与Kuttler的结果。
• 对约化李群G的任意子群K，存在唯一最优抛物子群P(K)包含K，其构造基于最优不稳定共轭特征。
• P(K)的构造在Aut(G)(k)作用下稳定，且相关抛物子群定义在k上，确保了代数合理性。
• 论文解决了Serre的提问：G-完全可约性在可分域扩张下保持不变，使用了G-完全可约性的几何准则。
• 证明了Tits中心猜想的一个特例：对连通约化李群G与子群H，若不动点子复形X^H是可缩的，则X^H中存在G(k)-不变的中心点。
• 通过证明P(K)（其中K为X^H中抛物子群的交）在伽罗瓦群Γ_Y作用下稳定，从而其关联单形的重心可作为不动中心点。