[论文解读] Towards non-reductive geometric invariant theory

Brent Doran, Frances Kirwan|ArXiv.org|Mar 5, 2007

Advanced Topics in Algebra参考文献 22被引用 8

一句话总结

本文为光滑射影簇上单群作用发展了一种非约化的几何不变量理论（GIT）的推广，引入了稳定集与半稳定集，并构建了一个自然的“包络商”$X/\!/H$，该商空间可通过半单GIT实现投影完备化。关键贡献在于提出了一种计算此类商空间上同调的方法，特别是通过庞加莱多项式，即使不变式环不是有限生成的也能实现。

ABSTRACT

We study linear actions of algebraic groups on smooth projective varieties X. A guiding goal for us is to understand the cohomology of "quotients" under such actions, by generalizing (from reductive to non-reductive group actions) existing methods involving Mumford's geometric invariant theory (GIT). We concentrate on actions of unipotent groups H, and define sets of stable points X^s and semistable points X^{ss}, often explicitly computable via the methods of reductive GIT, which reduce to the standard definitions due to Mumford in the case of reductive actions. We compare these with definitions in the literature. Results include (1) a geometric criterion determining whether or not a ring of invariants is finitely generated, (2) the existence of a geometric quotient of X^s, and (3) the existence of a canonical "enveloping quotient" variety of X^{ss}, denoted X//H, which (4) has a projective completion given by a reductive GIT quotient and (5) is itself projective and isomorphic to Proj(k[X]^H) when k[X]^H is finitely generated.

研究动机与目标

• 将Mumford的几何不变量理论从半单群推广至非半单作用，特别是单群作用。
• 通过推广半单GIT的判别准则，定义稳定与半稳定子簇$X^s$与$X^{ss}$，以推广非半单作用下的经典GIT概念。
• 构建一个自然的“包络商”$X/\!/H$，使其为投影空间并可实现半单GIT完备化。
• 即使$k[X]^H$不是有限生成的，也能实现商空间的上同调计算，特别是通过庞加莱多项式。
• 为研究非半代数对称性下的模空间与不变量提供系统性框架。

提出的方法

• 通过推广半单GIT判别准则，定义稳定点$X^s$与半稳定点$X^{ss}$，适用于非半单群作用。
• 采用半单包络方法：通过$G \times_H X$将非半单作用嵌入半单群作用，从而应用经典半单GIT。
• 将包络商$X/\!/H$构造为$Y/\!/G$，其中$Y$是$X$的$G$-等变投影完备化，$G$为包含单群$H$的半单群。
• 应用分解定理与爆破技巧，计算$X/\!/H$具有奇点时的交线上同调。
• 利用庞加莱多项式计算贝蒂数与上同调结构，特别针对$\mathbb{P}^1$上$n$个无序点的情形，区分奇偶$n$。
• 利用$X^s$形变收缩至射影空间且$H$为可缩空间的性质，直接计算几何商$X^s/H$的上同调。

实验结果

研究问题

• RQ1 如何将几何不变量理论推广至非半单群作用，特别是单群作用，同时保持不变式有限生成性与商空间存在性等关键性质？
• RQ2 在非半单作用下，不变式环$k[X]^H$有限生成的条件是什么？
• RQ3 当群为非半单时，如何构造稳定子簇$X^s$的几何商？
• RQ4 当$k[X]^H$不是有限生成时，商空间$X/\!/H$的结构如何？其上同调又如何计算？
• RQ5 在$\mathbb{P}^1$上$n$个无序点的情形下，商空间的上同调在奇偶$n$之间有何差异？

主要发现

• 当$n$为奇数时，包络商$X/\!/H$的庞加莱多项式为$P_t(X/\!/H) = 1 + t^2 + 2t^4 + 2t^6 + \cdots + \left[1 + \frac{\min(j,n-1-j)}{2}\right]t^{2j} + \cdots + t^{2n-2}$，贝蒂数为$1 + \left\lfloor \frac{\min(j,n-1-j)}{2} \right\rfloor$的整数部分。
• 当$n$为奇数时，几何商$X^s/H$的庞加莱多项式为$P_t(X^s/H) = 1 + t^2 + \cdots + t^{n-1}$，反映出其形变收缩至$\mathbb{P}^{(n-1)/2}$。
• 当$n$为偶数时，包络商$X/\!/H$不是轨道簇，其交线上同调通过部分解析化$\widetilde{X/\!/H}$计算，得到$IP_t(X/\!/H) = 1 + t^2 + 2t^4 + \cdots + \left[(n+2)/4\right]t^{n-2} + \cdots + t^{2n-2}$。
• 部分解析化$\widetilde{X/\!/H}$的普通贝蒂数为$P_t(\widetilde{X/\!/H}) = 1 + 2t^2 + 3t^4 + \cdots + (n/2)t^{n-2} + (n/2)t^n + \cdots + t^{2n-2}$。
• 当$n$为偶数时，$X^s/H$的上同调为$P_t(X^s/H) = 1 + t^2 + \cdots + t^{n-2}$，与其形变收缩至$\mathbb{P}^{(n-2)/2}$一致。
• 通过[31, 32]中的方法可计算$H^*(X/\!/H;\mathbb{Q})$与$H^*(\widetilde{X/\!/H};\mathbb{Q})$的环结构，尤其在$n$为奇数时。