[论文解读] Constructing quotients of algebraic varieties by linear algebraic group actions

Gergely Bérczi, Brent Doran+2 more|arXiv (Cornell University)|Dec 9, 2015

Algebraic Geometry and Number Theory参考文献 53被引用 13

一句话总结

本文通过引入约化包（reductive envelope）构造，将几何不变量理论（GIT）扩展至非约化线性代数群的作用，从而定义了稳定与半稳定子簇，并构建了商的射影完备化。关键贡献在于提出一种方法，将商 $X^{\text{s}}/H$ 实现为约化群GIT商的开子簇，进而通过约化包提供射影完备化，并建立迭代GIT商与全局GIT商之间的同构关系。

ABSTRACT

In this article we review the question of constructing geometric quotients of actions of linear algebraic groups on irreducible varieties over algebraically closed fields of characteristic zero, in the spirit of Mumford's geometric invariant theory (GIT). The article surveys some recent work on geometric invariant theory and quotients of varieties by linear algebraic group actions, as well as background material on linear algebraic groups, Mumford's GIT and some of the challenges that the non-reductive setting presents. The earlier work of two of the authors in the setting of unipotent group actions is extended to deal with actions of any linear algebraic group. Given the data of a linearisation for an action of a linear algebraic group H on an irreducible variety $X$, an open subset of stable points $X^s$ is defined which admits a geometric quotient variety $X^s/H$. We construct projective completions of the quotient $X^s/H$ by considering a suitable extension of the group action to an action of a reductive group on a reductive envelope and using Mumford's GIT. In good cases one can also compute the stable locus $X^s$ in terms of stability (in the sense of Mumford for reductive groups) for the reductive envelope.

研究动机与目标

• 将Mumford的几何不变量理论（GIT）从约化群推广至非约化线性代数群的作用。
• 为任意线性代数群 $H$ 在代数闭域上不可约代数簇 $X$ 上的作用定义稳定子簇 $X^{\text{s}}$。
• 通过约化包和Mumford的GIT，构建商 $X^{\text{s}}/H$ 的射影完备化。
• 在适当条件下，建立全局GIT商 $X/\!\!/(G_1 \times G_2)$ 与迭代商 $(X/\!\!/(G_1))/\!\!/_M G_2$ 之间的典范同构。
• 通过约化扩张，为非约化作用提供内在计算稳定性与半稳定性性的框架。

提出的方法

• 作者定义了线性代数群 $H$ 的约化包 $G$，将 $H$ 的作用扩展为在 $X$ 上的约化群作用。
• 通过扩展原始的 $H$-线性化，构造 $X$ 上的 $G$-线性化，从而可应用Mumford对约化群的GIT。
• 定义 $H$ 的稳定子簇 $X^{\text{s}}$ 为在约化包的GIT商中稳定子簇的商映射的原像。
• 通过GIT商 $X/\!\!/(G)$ 构造 $X^{\text{s}}/H$ 的射影完备化，该商同构于 $\operatorname{Proj}(S^G)$，其中 $S = \bigoplus_r H^0(X, L^{\bigotimes r})$。
• 作者利用范畴商的性质与等变同构，将 $X$ 关于 $H$ 的商与关于约化包 $G$ 的商联系起来，特别是通过线丛的拉回。
• 他们证明：当 $X$ 为射影簇且 $L$ 为充分线性化时，典范映射 $\psi: X/\!\!/(G_1 \times G_2) \to (X/\!\!/(G_1))/\!\!/_M G_2$ 是同构，其证明基于截面的满射性与仿射开覆盖。

实验结果

研究问题

• RQ1 如何将几何不变量理论扩展至非约化线性代数群的作用？
• RQ2 非约化群作用下的稳定性是否存在内在定义？其与约化情形下的稳定性有何关系？
• RQ3 能否通过约化包构造非约化群 $H$ 的商 $X^{\text{s}}/H$ 的射影完备化？
• RQ4 在何种条件下，迭代商 $(X/\!\!/(G_1))/\!\!/_M G_2$ 同构于全局商 $X/\!\!/(G_1 \times G_2)$？
• RQ5 约化包的结构如何影响原始代数簇中点的稳定性与半稳定性？

主要发现

• 线性代数群 $H$ 作用于代数簇 $X$ 时的稳定子簇 $X^{\text{s}}$ 定义为在约化包 $G$ 的GIT商中稳定子簇的原像，从而确保几何商 $X^{\text{s}}/H$ 的存在性。
• 通过 $H$ 的约化包 $G$ 的GIT商 $X/\!\!/(G)$ 构造了 $X^{\text{s}}/H$ 的射影完备化，且该完备化同构于 $\operatorname{Proj}(S^G)$。
• 当 $X$ 为射影簇且线性化 $L$ 充分时，典范映射 $\psi: X/\!\!/(G_1 \times G_2) \to (X/\!\!/(G_1))/\!\!/_M G_2$ 是同构，确立了全局GIT商与迭代GIT商之间关键的相容性。
• 该构造确保商 $X^{\text{s}}/H$ 是射影GIT商 $X/\!\!/(G)$ 的开子簇，从而提供了自然的紧化。
• 作者证明了在非约化情形下，半稳定性和稳定性可通过约化包刻画，推广了Mumford的判别准则。
• 该方法在良好情形下允许通过约化情形下的稳定性条件，显式计算 $X^{\text{s}}$。