[论文解读] Variation of Geometric Invariant Theory Quotients

Igor Dolgachev, Yi Hu|ArXiv.org|Feb 9, 1994

Mathematics and Applications被引用 6

一句话总结

本文研究了在非奇异射影概族上，对于半单代数群作用，几何不变量理论（GIT）商随线化充分线丛选择变化的规律。证明了仅存在有限多个此类线丛的等价类能产生射影商，并且当穿过有理凸锥中不同区域（墙）之间的墙时，商经历类似莫里翻转的双有理变换，从而为理解GIT商的变化提供了系统性框架。

ABSTRACT

Geometric Invariant Theory gives a method for constructing quotients for group actions on algebraic varieties which in many cases appear as moduli spaces parametrizing isomorphism classes of geometric objects (vector bundles, polarized varieties, etc.). The quotient depends on a choice of an ample linearized line bundle. Two choices are equivalent if they give rise to identical quotients. A priori, there are infinitely many choices since there are infinitely many isomorphism classes of linearized ample line bundles. Hence several fundamental questions naturally arise. Is the set of equivalence classes, and hence the set of non-isomorphic quotients, finite? How does the quotient vary under change of the equivalence class? In this paper we give partial answers to these questions in the case of actions of reductive algebraic groups on nonsingular projective algebraic varieties. We shall show that among ample line bundles which give projective geometric quotients there are only finitely many equivalence classes. These classes span certain convex subsets (chambers) in a certain convex cone in Euclidean space; and when we cross a wall separating one chamber from another, the corresponding quotient undergoes a birational transformation which is similar to a Mori flip.

研究动机与目标

• 理解几何不变量理论（GIT）商对线化充分线丛选择的依赖性。
• 确定对于半单代数群作用在非奇异射影概族上，非同构GIT商的数量是否有限。
• 描述线化线丛参数空间的结构，以及商在不同区域（区域）之间的变化方式。
• 分析在不同GIT区域之间过渡时，商的双有理几何性质。
• 建立GIT参数空间中墙穿跃与双有理几何中莫里型翻转之间的联系。

提出的方法

• 作者分析半单代数群在非奇异射影概族上的作用，重点关注线化充分线丛。
• 他们在线化充分线丛上定义等价关系，识别出产生同构GIT商的线丛。
• 他们构造一个欧氏空间中的有理凸锥，参数化充分线化线丛，并将其分解为有限多个开凸子集（区域）。
• 他们证明商在每个区域内部保持不变，但在穿过区域之间的墙时发生变化。
• 他们证明穿越墙时商的变化是一种类似莫里翻转的双有理变换。
• 他们利用多面体分解理论和希尔伯特-蒙福德准则分析墙穿跃行为。

实验结果

研究问题

• RQ1 对于给定的半单代数群作用在非奇异射影概族上，是否存在仅有限多个非同构的GIT商，这些商由不同选择的线化充分线丛产生？
• RQ2 当线化线丛在充分线丛参数空间中穿过墙时，GIT商如何变化？
• RQ3 在参数空间中从一个区域过渡到另一个区域时，GIT商之间的变换具有何种几何本质？
• RQ4 GIT商的变化能否用标准双有理变换（如翻转或 flop）来描述？
• RQ5 线化充分线丛的空间是否自然地分解为有限多个区域，使得在每个区域内商保持不变？

主要发现

• 对于给定的半单代数群作用在非奇异射本族上，仅存在有限多个等价类的线化充分线丛能产生射影GIT商。
• 线化充分线丛的参数空间在有理凸锥内允许有限分解为凸区域。
• GIT商在每个区域内部保持不变，但在穿过区域之间的墙时发生变化。
• 穿越墙时商之间的变换是一种双有理映射，其结构类似于莫里翻转，涉及对一个子簇的收缩及其被另一个子簇的替换。
• 墙穿跃行为受希尔伯特-蒙福德数值准则的支配，且区域对应于具有相同稳定性条件的半稳定点的集合。
• 商的变化结构与双有理几何中的极小模型程序相呼应，提示GIT与莫里理论之间存在深刻联系。