[论文解读] Completely integrable torus actions on complex manifolds with fixed points

Hiroaki Ishida, Yael Karshon|Osaka City University (Osaka City University)|Mar 5, 2012

Advanced Combinatorial Mathematics参考文献 11被引用 4

一句话总结

该论文证明，若一个复维度为 $ n $ 的紧致连通复流形装备有忠实的全纯 $ (S^1)^n $-作用且具有不动点，则其必为等变双全纯同构于一个光滑toric簇。证明依赖于分析该环面作用的轨道结构与不动点集，表明其对应的扇图是完备的，从而推出该流形双全纯同构于由一个幺模完备扇图定义的toric簇。

ABSTRACT

We show that if a holomorphic $n$ dimensional compact torus action on a compact connected complex manifold of complex dimension $n$ has a fixed point then the manifold is equivariantly biholomorphic to a smooth toric variety.

研究动机与目标

• 确定紧致复流形在全纯环面作用下双全洁同构于toric簇的必要且充分条件。
• 解决Buchstaber与Panov提出的问题：是否存在具有不变复结构的非toric quasitoric流形？
• 通过刻画具有不动点的紧致复流形上的环面作用，将经典toric簇理论扩展至复解析范畴。
• 通过其关联扇图与轨道分解结构，对这类流形建立完整分类。

提出的方法

• 从流形上环面作用的轨道结构与不动点数据构造一个幺模扇图 $ \Delta $。
• 分析余维数为一的子环面 $ T_I $ 的不动点集，证明其等变双全洁同构于装备标准圆作用的 $ \mathbb{CP}^1 $。
• 利用每个余维数为一的不动点集均为连通紧致的性质，推导出 $ \Delta $ 中每个 $ (n-1) $-维锥恰好是两个 $ n $-维锥的公共面。
• 证明 $ \Delta $ 中所有 $ n $-维与 $ (n-1) $-维锥的相对内部的并集在 $ \operatorname{Lie}(S^1)^n \setminus |\Delta^{n-2}| $ 中既是开集又是闭集，从而推出 $ \Delta $ 是完备的。
• 在toric簇 $ M_\Delta $ 与流形 $ M $ 中的全纯 $ (\mathbb{C}^*)^n $-不变开稠密子集 $ X \subset M $ 之间建立等变双全洁同构，并由紧致性与连通性推出 $ X = M $，故 $ M_\Delta $ 与 $ M $ 双全洁同构。

实验结果

研究问题

• RQ1 在何种条件下，具有全纯 $ (S^1)^n $-作用的紧致复流形双全洁同构于toric簇？
• RQ2 若一个非toric quasitoric流形具有不动点，是否可能装备 $ (S^1)^n $-不变复结构？
• RQ3 不动点的存在是否足以迫使紧致复流形上环面作用的关联扇图为完备？
• RQ4 全纯环面作用在紧致复流形上的轨道结构是否决定其整体双全洁同构类型？
• RQ5 能否利用不动点数据将光滑toric簇的分类推广至复解析范畴？

主要发现

• 复维度为 $ n $ 的紧致连通复流形若装备有忠实全纯 $ (S^1)^n $-作用且具有不动点，则其等变双全洁同构于一个光滑toric簇。
• 该环面作用的关联扇图 $ \Delta $ 是完备的，即其锥覆盖了整个李代数 $ \operatorname{Lie}(S^1)^n $。
• 扇图中每个 $ (n-1) $-维锥恰好是两个 $ n $-维锥的公共面，这是完备性的一个关键性质。
• 任意余维数为一的子环面的不动点集是一条紧致连通复曲线，等变双全洁同构于装备标准圆作用的 $ \mathbb{CP}^1 $。
• 流形 $ M $ 中的全纯 $ (\mathbb{C}^*)^n $-不变开稠密子集 $ X \subset M $ 等于整个流形 $ M $，这是由紧致性与开性决定的，因此toric簇 $ M_\Delta $ 与 $ M $ 双全洁同构。