[论文解读] Kodaira Dimension in Low Dimensional Topology

Tianjun Li|arXiv (Cornell University)|Nov 16, 2015

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

一句话总结

本文综述了自2006年以来低维拓扑中Kodaira维数的发展，重点关注辛4-流形和3-流形。文章引入并完善了辛Kodaira维数 $\kappa^s$ 与拓扑Kodaira维数 $\kappa^t$，确立了其在纤维化、手术和几何分解下的行为，关键结果包括可加性、次可加性，以及按维数和曲率类型对流形进行分类。

ABSTRACT

This is a survey on the various notions of Kodaira dimension in low dimensional topology. The focus is on progress after the 2006 survey [78].

研究动机与目标

• 更新并扩展对2006年综述之后低维拓扑中Kodaira维数的理解，特别是针对辛4-流形和3-流形。
• 利用Taubes的Seiberg-Witten理论和相对不变量，定义并分析4-流形的辛Kodaira维数 $\kappa^s$。
• 基于Thurston的几何分解和几何结构分类，为3-流形定义一个拓扑Kodaira维数 $\kappa^t$。
• 研究 $\kappa^s$ 和 $\kappa^t$ 在手术、纤维化和纤维和操作下的行为，探讨其不变性与可加性性质。
• 将框架扩展至相对及类似相对的情形，包括辛帽和具有凹边界流形，并将其与代数几何中的对数Kodaira维数联系起来。

提出的方法

• 基于Taubes的Seiberg-Witten理论，利用 $K_\omega \cdot \omega$ 和 $(K_\omega)^2$ 的符号与正性，为辛4-流形定义 $\kappa^s(M,\omega)$，取值于 $\{-\infty, 0, 1, 2\}$。
• 为不含球面分支的最大辛曲面 $F$ 的辛对 $(M,\omega)$ 引入相对Kodaira维数 $\kappa^s(M,\omega,F)$，基于 $K_\omega + [F]$ 的交点与平方。
• 通过该对的唯一极小模型应用极小模型程序，利用引理5.1确保其定义良好。
• 利用辛4-流形中具有凹边界的无理曲面与Calabi-Yau帽的概念，定义相对Kodaira维数，并将其与全局不变量关联。
• 分析 $\kappa^s$ 在Luttinger手术、亏格0与正亏格纤维和、以及有理性爆破下的行为，确立次可加性与可加性性质。
• 利用Yamabe不变量与3-流形的Thurston几何分解，根据分解中是否存在特定几何类型，将 $\kappa^t(M^3)$ 定义为 $-\infty$、0 或 1。

实验结果

研究问题

• RQ1 辛Kodaira维数 $\kappa^s$ 在Luttinger手术及其他4-流形手术下如何行为？
• RQ2 在3-和4-流形中，辛Kodaira维数 $\kappa^s$ 与拓扑Kodaira维数 $\kappa^t$ 之间有何关系？
• RQ3 对于具有伪全纯奇点或加权结构的辛曲面 $F$，相对Kodaira维数 $\kappa^s(M,\omega,F)$ 是否可一致定义？
• RQ4 辛帽的相对Kodaira维数在多大程度上决定了其所在闭流形的全局Kodaira维数？
• RQ5 在仿射代数曲面的背景下，相对Kodaira维数 $\kappa^s(M,\omega,F)$ 是否等价于Iitaka的对数Kodaira维数？

主要发现

• 辛Kodaira维数 $\kappa^s(M,\omega)$ 定义良好，取值于 $\{-\infty, 0, 1, 2\}$，依据 $K_\omega \cdot \omega$ 与 $(K_\omega)^2$ 的符号与增长性。
• 对于不含球面分支的最大辛曲面 $F$，若 $(K_\omega + [F]) \cdot \omega < 0$ 或 $(K_\omega + [F])^2 < 0$，则 $\kappa^s(M,\omega,F) = -\infty$；当交点与平方均为正时，其值增至2。
• 相对Kodaira维数满足 $\kappa^s(M,\omega,F) \geq \kappa^s(M,\omega)$，且在同调等价的最大曲面上保持不变。
• 若 $\kappa^s(M,\omega) = -\infty$ 且 $(K_\omega + [F])^2 > 0$，则必有 $(K_\omega + [F]) \cdot \omega > 0$，故不存在满足 $K_\omega + [F] \cdot \omega = 0$ 的此类最大曲面。
• 对于亏格 $h \geq 1$ 的 $S^2$-丛（在曲面上的纤维丛），若 $F$ 为截面且 $\kappa^s(M) = -\infty$，则 $\kappa^s(M,\omega,F) = -\infty$。
• 无理曲面帽（满足 $[c_1(P)] \cdot [\omega,\alpha] > 0$）意味着任意包含它们的闭流形 $M$ 满足 $\kappa^s(M,\Omega) = -\infty$；Calabi-Yau帽（$c_1(P)$ 为挠）意味着 $\kappa^s(M,\Omega) \leq 0$。