[论文解读] Factorial algebraic group actions and categorical quotients

Ivan Arzhantsev, Devrim Celik+1 more|arXiv (Cornell University)|Aug 4, 2009

Algebraic Geometry and Number Theory参考文献 8被引用 3

一句话总结

本论文在代数几何中建立了在阶因子群作用下范畴商存在的条件，引入了一种利用可构造空间的新框架，以克服经典代数簇范畴中的局限性。证明了对于正规代数簇上阶因子的仿射代数群作用，当且仅当不变环满足余维条件时，范畴商在可构造空间范畴中存在，从而推广了具有有限生成考克斯环的完备簇的GIT型构造。

ABSTRACT

Given an action of an affine algebraic group with only trivial characters on a factorial variety, we ask for categorical quotients. We characterize existence in the category of algebraic varieties. Moreover, allowing constructible sets as quotients, we obtain a more general existence result which, for example, settles the case of a finitely generated algebra of invariants. As an application, we provide a combinatorial GIT-type construction of categorial quotients for actions on, e.g. complete varieties with finitely generated Cox ring via lifting to the characteristic space.

研究动机与目标

• 解决当群非半单或簇非仿射时，代数簇范畴中缺乏范畴商的问题。
• 通过引入可构造空间作为更具弹性的商范畴，将范畴商理论从经典半单情形推广。
• 通过将作用提升至特征空间，提供一种组合的、类似GIT的范畴商构造方法，用于作用在具有有限生成考克斯环的完备簇上。
• 利用具有开像的有限生成分离子代数刻画代数簇范畴中范畴商的存在性。

提出的方法

• 引入阶因子群作用的概念，其中每个不变超曲面都是某个不变函数的零点集，从而推广半单情形。
• 在可构造空间范畴中工作，允许商为仿射簇的可构造子集，从而放松了商必须为代数簇的要求。
• 证明一个态射 π:X→Y 是可构造范畴中的强范畴商，当且仅当逆拉回 π∗:Γ(Y,𝒪)→Γ(X,𝒪)G 是同构。
• 建立代数簇范畴中范畴商存在的判别准则：对于某个有限生成的正规子代数 A⊆Γ(X,𝒪)G（其分式域为 𝕂(X)G），映射 X→Spec(A) 必须具有开像。
• 利用德克森与凯姆珀的结果，借助不变子代数的分离性，构造这样的 A，并在适当条件下确保其像为开集。
• 通过将 G-作用提升至特征空间，利用环面作用与GIT-扇形，计算半稳定集与商空间，将理论应用于具有有限生成考克斯环的完备簇。

实验结果

研究问题

• RQ1 在仿射代数群的阶因子作用下，代数簇范畴中范畴商存在的条件是什么？
• RQ2 当不变环不是有限生成时，能否在比代数簇更广的范畴中构造范畴商？
• RQ3 如何系统地构造作用在具有有限生成考克斯环的完备簇上的范畴商？
• RQ4 分离子代数在不变量中起什么作用，以确保范畴商的存在性？
• RQ5 环面作用在特征空间上的GIT-扇形的组合结构如何与范畴商的变化相关？

主要发现

• 范畴商存在于可构造空间范畴中，当且仅当逆拉回 π∗:Γ(Y,𝒪)→Γ(X,𝒪)G 是同构，这恰好发生在映射 X→Spec(A) 的像为开集且其补集余维至少为2时。
• 当不变环 Γ(X,𝒪)G 有限生成时，映射 X→Y（其中 Y=π′(X)）构成可构造空间范畴中的强范畴商。
• 对于阶因子作用，代数簇范畴中范畴商的存在性等价于存在一个有限生成的正规分离子代数 A⊆Γ(X,𝒪)G，使得 X→Spec(A) 具有开像。
• 该理论使得通过将 G-作用提升至特征空间并分析诱导的环面作用，能够对具有有限生成考克斯环的完备簇实现组合的GIT型范畴商构造。
• 在加法群作用于 P¹×P¹ 的例子中，两个半稳定集 U₁ 和 U₂ 分别允许强范畴商 Uᵢ→P¹，分别对应于GIT-扇形中的两个全维单体。
• 对于任意充分线性系 D，只要特征空间中的半稳定集满足余维条件，该构造即可给出强范畴商 X^{ss}(D)→V。