[论文解读] On the symplectic invariance of log Kodaira dimension

Mark McLean|arXiv (Cornell University)|Nov 9, 2012

Algebraic Geometry and Number Theory参考文献 22被引用 4

一句话总结

该论文在特定条件下证明了光滑仿射代数簇的对数 Kodaira 维数是辛不变量：在二维情形下，其在辛同胚下保持不变；在三维情形下，若对数 Kodaira 维数为 2 且满足某些紧化条件，则辛同胚的代数簇不可能为对数一般型。核心结果通过 Gromov-Witten 理论与双有理性准则，将辛拓扑不变量与代数几何联系起来。

ABSTRACT

Suppose that A and B are symplectomorphic smooth affine varieties. If A is acylic of dimension 2 then B has the same log Kodaira dimension as A. If the dimension of A is 3, has log Kodaira dimension 2 and satisfies some other conditions then B cannot be of log general type. We also show that if A and B are symplectomorphic affine varieties of any dimension then any compactification of A by a projective variety is uniruled if and only if any such compactification of B is uniruled.

研究动机与目标

• 研究对数 Kodaira 维数——一个关键的代数不变量——是否在光滑仿射代数簇的辛同胚下保持不变。
• 将如双有理性与 Kodaira 维数等辛不变量扩展至开代数簇，尤其关注低维情形。
• 通过 Liouville 域与 Gromov-Witten 不变量建立辛拓扑（代数几何）与代数几何（对数 Kodaira 维数与双有理性）之间的桥梁。
• 证明：若两个仿射开子集是辛同胚的，且它们嵌入射影簇，则其紧化后的双有理性是辛不变量。

提出的方法

• 引入三种双有理性概念：(1) 双有理 Liouville 域（辛几何），(2) 代数 k-双有理性（代数几何），(3) 紧化 k-双有理性（几乎复结构下的 J-全纯曲线）。
• 利用退化到法丛的技术，证明双有理 Liouville 域蕴含代数 k-双有理性。
• 运用更简单的技巧，证明紧化 k-双有理性蕴含双有理 Liouville 域。
• 利用 Gromov-Witten 不变量与辛形变技术，建立辛结构与代数不变量之间的联系。
• 通过线丛与 Fubini-Study 度量构造紧化上的强拟凸函数与 Liouville 形式。
• 利用 Liouville 形变等价性，关联不同 Liouville 域，并在辛同胚下建立不变性。

实验结果

研究问题

• RQ1 光滑仿射代数簇的对数 Kodaira 维数在辛同胚下是否保持不变？
• RQ2 能否通过仿射开子集的辛不变量检测其紧化后的双有理性？
• RQ3 三维仿射代数簇若具有对数 Kodaira 维数 2，其对数 Kodaira 维数在辛同胚下是否仍受限制？
• RQ4 Gromov-Witten 不变量与 J-全纯曲线在多大程度上能检测开簇中的代数性质（如双有理性）？
• RQ5 辛不变量能否区分不同对数 Kodaira 维数的代数簇？

主要发现

• 对于光滑仿射曲面，若 A 与 B 辛同胚且 A 为无瑕的，则 B 的对数 Kodaira 维数与 A 相同。
• 在三维情形下，若 A 与 B 辛同胚，A 的对数 Kodaira 维数为 2，且存在一个紧化，其由光滑法丛除子构成，且线性等价于光滑除子，则 B 不可能是对数一般型。
• 若 A 与 B 是辛同胚的光滑仿射代数簇，则 A 的任意由射影簇紧化的结果为双有理的，当且仅当 B 的任意此类紧化也为双有理的。
• 三种双有理性概念——Liouville 双有理性、代数 k-双有理性与紧化 k-双有理性——在对称同胚下等价，即该性质在三者之间保持不变。
• 通过线丛与 Fubini-Study 度量构造强拟凸函数与 Liouville 形式，可实现对仿射代数簇及其紧化几何的辛控制。
• 利用 Liouville 形变等价性，证明：对于大能量水平，与紧化关联的 Liouville 域与原始仿射代数簇辛等价。