[论文解读] Smooth toric varieties are Oka

Finnur Lárusson|arXiv (Cornell University)|Jul 19, 2011

Advanced Algebra and Geometry参考文献 5被引用 3

一句话总结

本文证明了复数域上的每个光滑射影簇都是 Oka 流形，利用了此类簇可表示为复仿射空间的 Zariski 开子集关于自由作用的重新性群的几何商这一事实。关键结果是：当全空间和结构群均为 Oka 时，该商映射保持 Oka 性质，从而确立了光滑射影簇为 Oka 流形。

ABSTRACT

In this brief note, we show that every smooth toric variety over the field of complex numbers is an Oka manifold.

研究动机与目标

• 确立光滑射影簇在复数域上满足 Oka 性质。
• 将已知的 Oka 流形类扩展至复李群及其齐性空间之外。
• 研究 Oka 性质是否在复空间关于重新性群作用的几何商下保持不变。
• 阐明射影几何与复几何中 Oka 理论之间的关系。

提出的方法

• 将光滑射影簇 X 表示为几何商 X = (C^m \ Z)/G，其中 G 是 (C*)^m 的重新性子群，Z 是至少余维数为 2 的坐标子空间的并集。
• 利用 C^m \ Z 是 C^m 中余维数 ≥ 2 的子簇的补集，因此为 Oka 流形这一事实。
• 应用 G 的 Oka 性质，因为 G 是复李群，故由 Gromov 理论可知其为椭球且是 Oka 流形。
• 利用重新性群作用的截面理论，证明商映射 C^m \ Z → X 是全纯纤维丛。
• 应用 Oka 理论中的定理 2：若全空间与结构群均为 Oka，则底空间为 Oka 当且仅当全空间为 Oka。
• 得出结论：X 为 Oka 流形，因为 C^m \ Z 是 Oka 流形，且商映射是具有 Oka 纤维的全纯纤维丛。

实验结果

研究问题

• RQ1 所有复数域上的光滑射影簇是否都是 Oka 流形？
• RQ2 Oka 性质是否在复空间关于自由重新性群作用的几何商下保持不变？
• RQ3 能否在不假设椭球性的情况下建立射影簇的 Oka 性质？
• RQ4 Oka 性质是否在射影几何中使用的商构造下保持不变？

主要发现

• 每个复数域上的光滑射影簇都是 Oka 流形。
• 全空间 C^m \ Z 是 Oka 流形，因为它是 C^m 中余维数至少为 2 的子簇的补集。
• 作用于 C^m \ Z 上的群 G 是重新性群，且同构于一个环面与有限交换群的积，因此为 Oka 流形。
• 由于重新性群作用的截面理论，商映射 C^m \ Z → X 是全纯纤维丛。
• 底空间 X 为 Oka 流形，因为全空间与结构群均为 Oka，且纤维丛性质确保 Oka 性质可上移到底空间。
• 该结果即使在尚不明确光滑射影簇是否为椭球的情况下依然成立，表明 Oka 性质可在不具椭球性时成立。