[论文解读] Cohomological rigidity for toric Fano manifolds of small dimensions or large Picard numbers

Akihiro Higashitani, Kazuki Kurimoto+1 more|arXiv (Cornell University)|May 28, 2020

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

一句话总结

该论文在维度3或4，以及庞特里亚金数至少为2d−2的条件下，确立了环面上法诺流形的上同调刚性，表明同构的整上同调环蕴含微分同胚，除两个例外的4维流形（ID 50 和 57）外，尽管其上同调环同构且陈类匹配，其微分同胚类型仍未知。

ABSTRACT

The cohomological rigidity problem for toric manifolds asks whether toric manifolds are diffeomorphic (or homeomorphic) if their integral cohomology rings are isomorphic. Many affirmative partial solutions to the problem have been obtained and no counterexample is known. In this paper, we study the diffeomorphism classification of toric Fano $d$-folds with $d=3,4$ or with Picard number $\ge 2d-2$. In particular, we show that those manifolds except for two toric Fano $4$-folds are diffeomorphic if their integral cohomology rings are isomorphic. The exceptional two toric Fano $4$-folds (their ID numbers are 50 and 57 on a list of Øbro) have isomorphic cohomology rings and their total Pontryagin classes are preserved under an isomorphism between their cohomology rings, but we do not know whether they are diffeomorphic or homeomorphic.

研究动机与目标

• 研究环面上法诺流形是否具有同构的整上同调环即蕴含微分同胚。
• 解决维度d=3,4或庞特里亚金数≥2d−2的环面上法诺d重流形的上同调刚性问题。
• 识别并分析上同调环同构但微分同胚尚未确定的例外情况。
• 检验猜想：在该类流形中，保持c₁的上同调环同构是否蕴含代数簇同构。
• 利用上同调与拓扑不变量，对指定族提供完整的微分同胚分类。

提出的方法

• 通过Øbro的SFP算法与数据库，利用光滑法诺d-多面体对环面上法诺d重流形进行分类。
• 从相关扇形与多面体计算整上同调环与陈类。
• 在维度3和4的所有环面上法诺d重流形之间，比较上同调环与第一陈类。
• 使用度数计算(−K_X)^d来区分具有同构上同调环的流形。
• 通过生成元与关系的代数运算，显式构造上同调环同构，并验证c₁保持条件。
• 利用上同调表示与陈类不变量分析例外对（如ID 50和57）。

实验结果

研究问题

• RQ1 在维度3和4下，具有同构整上同调环的环面上法诺流形是否微分同胚？
• RQ2 庞特里亚金数≥2d−2的环面上法诺d重流形是否满足上同调刚性？
• RQ3 在低维或高庞特里亚金数下，环面上法诺流形中是否存在上同调刚性的反例？
• RQ4 对于该类流形，c₁保持的上同调环同构是否蕴含作为代数簇的同构？
• RQ5 总陈类在区分具有同构上同调环的流形中起什么作用？

主要发现

• 除两个4维流形（ID 50 和 57）外，所有环面上法诺3重流形与4重流形，若其整上同调环同构，则微分同胚。
• 两个例外4维流形（ID 50 和 57）具有同构的上同调环，并在环同构下匹配总陈类，但其微分同胚类型仍未知。
• 对于庞特里亚金数≥2d−2的环面上法诺d重流形，上同调环同构蕴含微分同胚，经由不同度数(−K_X)^d验证。
• 对偶对（ID 70 和 141）具有同构的上同调环，但度数不同（513 vs. 513），且不存在c₁保持的同构，支持c₁猜想。
• 高庞特里亚金数环面上法诺d重流形的三对（如d为奇数且d≥3时的Z₃^d与Z₄^d）具有不同度数，确认其非微分同胚，尽管上同调环同构。
• 例外对（70, 141）的显式上同调表示为：H*(X₇₀)=Z[x,y]/(x³,y(x−y)²) 与 H*(X₁₄₁)=Z[x,y]/(x³,y²(x−y))，c₁(X₇₀)=x+3y 与 c₁(X₁₄₁)=2x+3y，且不存在c₁保持的同构。