[论文解读] Euler-symmetric projective varieties

Baohua Fu, Jun-Muk Hwang|arXiv (Cornell University)|Jul 21, 2017

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

一句话总结

本文引入了欧拉对称射影簇——即在一般点处具有许多欧拉型$$\mathbb{C}^\times$$-作用的非退化射影簇——并证明它们由一般点处的基本形式唯一确定。作者通过符号系统对这些簇进行分类，符号系统是形式化基本形式延拓性质的代数对象，并证明：Picard数为1的n维素Fano流形是欧拉对称的，当且仅当它们是$$\mathbb{G}_a^n$$的等变紧化。该研究将射影几何中的几何对称性与代数结构联系起来。

ABSTRACT

Euler-symmetric projective varieties are nondegenerate projective varieties admitting many C*-actions of Euler type. They are quasi-homogeneous and uniquely determined by their fundamental forms at a general point. We show that Euler-symmetric projective varieties can be classified by symbol systems, a class of algebraic objects modeled on the systems of fundamental forms at general points of projective varieties. We study relations between the algebraic properties of symbol systems and the geometric properties of Euler-symmetric projective varieties. We describe also the relation between Euler-symmetric projective varieties of dimension n and equivariant compactifications of the vector group G_a^n.

研究动机与目标

• 通过引入具有欧拉型$$\mathbb{C}^\times$$-作用的拟齐次簇，将任意秩的埃尔米特对称空间推广为欧拉对称射影簇。
• 利用符号系统系统地对欧拉对称簇进行分类，符号系统用于形式化基本形式的延拓性质。
• 阐明欧拉对称簇的几何与代数性质，特别是其与向量群等变紧化的关联。
• 研究符号系统在何种条件下产生非奇异的欧拉对称簇，重点关注基簇与基本形式。

提出的方法

• 将欧拉对称射影簇定义为在一般点处具有欧拉型$$\mathbb{C}^\times$$-作用的非退化簇，其中作用在该点固定，并在切空间上作用为数量乘法。
• 利用卡坦的延拓定理证明一般点处基本形式的系统满足延拓性质，从而实现代数分类。
• 引入符号系统作为建模基本形式系统的代数对象，并从任意符号系统$$\mathbf{F}$$构造出一个欧拉对称簇$$M(\mathbf{F})$$，建立一一对应关系。
• 应用比亚林尼克-比鲁分解，证明欧拉对称簇是拟齐次的，其自同构群在稠密开轨道上作用。
• 分析向量群$$\mathbb{G}_a^n$$的等变紧化的几何性质，证明此类紧化是欧拉对称的，当且仅当一般点处的VMRT（极小有理切线簇）是非奇异的。
• 利用VMRT（极小有理切线簇）结构刻画欧拉对称簇的几何性质，尤其在Picard数为1的Fano流形背景下。

实验结果

研究问题

• RQ1 符号系统的哪些代数性质可确保其对应的欧拉对称簇是非奇异的？
• RQ2 如何利用符号系统等代数不变量系统地对欧拉对称射影簇进行分类？
• RQ3 欧拉对称簇与向量群等变紧化之间的精确几何关系是什么？
• RQ4 在Picard数为1的Fano流形上，VMRT结构在何种条件下可推出其为欧拉对称？
• RQ5 系统的基本形式的阶能否用$$\mathbb{C}^\times$$-轨道的最小次数来刻画？

主要发现

• 欧拉对称射影簇由其在一般点处的基本形式唯一确定，如命题2.7所示。
• 任意符号系统$$\mathbf{F}$$均可唯一导出一个欧拉对称射影簇$$M(\mathbf{F})$$，其在一般点处的基本形式与$$\mathbf{F}$$同构，如定理3.7所示。
• 对于非奇异的欧拉对称簇，其对应符号系统的基簇是非奇异的，如命题4.4所证明。
• n维素Fano流形若Picard数为1，则其为欧拉对称的，当且仅当其为$$\mathbb{G}_a^n$$的等变紧化，如推论5.6所述。
• 该Fano流形嵌入$$\mathbb{P}H^0(X, L)^*$$中为1阶欧拉对称嵌入，确认基本形式系统的阶为1。
• 若Picard数为1的Fano流形在一般点处的VMRT是非奇异的，则该流形为$$\mathbb{G}_a^n$$的等变紧化，支持猜想5.7。