[论文解读] Quotients of affine spaces for actions of reductive groups

Mihai Halic|ArXiv.org|Dec 14, 2004

Algebraic Geometry and Number Theory参考文献 14被引用 6

一句话总结

本论文在仿射空间上作用的半单代数群的实特征格上建立了GIT-扇结构，通过几何不变量理论参数化所有可能的不变商。证明了此类商的查尔斯环同构于等变查尔斯环模去不稳定分量的商，且通过Spec ℤ上的平坦族将上同调消失定理推广至正特征。

ABSTRACT

In this paper we study actions of reductive groups on affine spaces. We prove that there is a fan structure on the space of characters of the group, which parameterizes the possible invariant quotients. In the second half of the paper we study various geometrical properties of the quotients: we compute their Chow ring and the cohomology ring (in case we work over the complex numbers), both with rational coefficients. Actually, the cycle map turns out to be an isomorphism. Further, we construct families of such quotients over reduced base schemes, and compute again the Chow and the cohomology rings. Finally, we prove the vanishing of the higher cohomology groups of nef line bundles on the geometric quotients that we obtain.

研究动机与目标

• 理解半单群作用于仿射空间时不变商的结构。
• 通过特征格上的扇结构，确定所有可能GIT商的参数空间。
• 计算此类商的查尔斯环，并将其与等变查尔斯环及不稳定分量关联。
• 通过整模型将关于拟正线丛的上同调消失结果推广至正特征。
• 证明在余维数条件下，几何商的Picard群与正锥是良好行为的。

提出的方法

• 利用Ressayre的结果将问题约化至射影情形，从而在实特征空间上构造GIT-扇。
• 应用Grothendieck-Serre对应关系与Hochster-Roberts定理，建立Cohen-Macaulay性与上同调消失。
• 使用Spec ℤ上的平坦族，将特征零的上同调结果推广至正特征。
• 应用投影丛上线丛上同调的投影公式与Leray谱序列。
• 应用相对对偶性与单值性技术，推导负幂次线丛的消失性。
• 利用商上拟正线丛来自特征且在大倍数下全局生成的性质，实现上同调计算。

实验结果

研究问题

• RQ1 能否将半单群作用于正规仿射概形时的GIT等价类空间描述为一个有理多面体扇？
• RQ2 商概形 ${\mathbb{V}}{/{\kern-2.79857pt/}}_{\chi}G$ 的有理查尔斯环如何与等变查尔斯环及不稳定分量相关？
• RQ3 在何种条件下，此类商上拟正线丛的高阶上同调在正特征下消失？
• RQ4 能否通过整模型将特征零下商的上同调性质推广至正特征？
• RQ5 商的查尔斯环是否由群表示诱导的自然向量丛的陈类生成？

主要发现

• 在 $\mathcal{X}^{*}(G)_{\mathbb{R}}$ 中，GIT等价类构成一个有理多面体扇 $\Delta^G(X)$ 的相对内部，称为GIT-扇。
• ${\mathbb{V}}{/{\kern-2.79857pt/}}_{\chi}G$ 的有理查尔斯环同构于等变查尔斯环模去由 $(T,\chi)$-不稳定分量类生成的理想。
• 当基域为 $\mathbb{C}$ 且商为射影概形时，上同调环同构于查尔斯环。
• 对于 ${\mathbb{V}}{/{\kern-2.79857pt/}}_{\chi}G$ 上的任意拟正线丛 $\mathcal{L}$，若特征大于仅依赖于GIT房间的素数 $p(\chi)$，则高阶上同调群在正特征下消失。
• 在特征零下，若商为光滑仿射概形且不变子环平凡，在相同余维数与稳定性假设下，相同消失性成立。
• Picard群单射嵌入特征群 $\mathcal{X}^{*}(G)$，且正锥通过GIT-扇结构描述。