[論文レビュー] 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のトーリックFano多様体、およびピカール数が2d−2以上であるものについて、コhomology的剛性を確立している。同型な整数コhomology環は、2つの例外的4重多様体（ID 50と57）を除き、微分同相型を決定する。これらの2つは、同型なコhomology環と一致するプンツリャーギン類を有するが、微分同相型は未解決のままである。

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.

研究の動機と目的

• トーリックFano多様体について、同型な整数コhomology環が微分同相型を意味するかどうかを調査すること。
• 次元d=3,4、またはピカール数≥2d−2であるトーリックFano d-多様体について、コhomology的剛性問題を解決すること。
• コhomology環が同型であるが微分同相型が未定義の例外ケースを特定・分析すること。
• このクラスにおいて、c₁を保存するコhomology環同型が代数的多様体の同型を意味するという予想を検証すること。
• コhomologicalおよびトポロジカル不変量を用いて、指定された族の完全な微分同相型分類を提供すること。

提案手法

• ØbroのSFPアルゴリズムとデータベースを用いた、滑らかなFano d-多面体によるトーリックFano d-多様体の分類。
• 関連するファンと多面体から整数コhomology環およびチャーン類の計算。
• 次元3および4のすべてのトーリックFano d-多様体間におけるコhomology環と第一チャーン類の比較。
• 同型なコhomology環を有する多様体を区別するための次数計算（−K_X）^dの使用。
• 生成子と関係式の代数的変形による、コhomology環同型の明示的構成とc₁保存条件の検証。
• コhomology表現とプンツリャーギン類不変量を用いた、例外的ペア（例：ID 50と57）の分析。

実験結果

リサーチクエスチョン

• RQ1 次元3および4のトーリックFano多様体で、同型な整数コhomology環を有するものは微分同相型であるか？
• RQ2 ピカール数≥2d−2であるトーリックFano d-多様体は、コhomology的剛性を満たすか？
• RQ3 低次元または高いピカール数のトーリックFano多様体において、コhomology的剛性の反例は存在するか？
• RQ4 このクラスにおいて、c₁を保存するコhomology環同型は、代数的多様体の同型を意味するか？
• RQ5 同型なコhomology環を有する多様体を区別する際、全プンツリャーギン類の役割は何か？

主な発見

• 同型な整数コhomology環を有するすべてのトーリックFano 3-多様体および4-多様体（ID 50と57の2つの例外的4重多様体を除く）は、微分同相型である。
• 2つの例外的4重多様体（ID 50と57）は、同型なコhomology環と、同型写像下での一致する全プンツリャーギン類を有するが、その微分同相型は未解決のままである。
• ピカール数≥2d−2であるトーリックFano d-多様体では、コhomology環同型が微分同相型を意味する。これは、(−K_X)^dの異なる次数によって確認された。
• ペア（ID 70, 141）は同型なコhomology環を有するが、次数は513 vs. 513で同一であり、c₁保存同型は存在しない。これはc₁予想を支持する。
• 高ピカール数のトーリックFano d-多様体の3つのペア（例：奇数d≥3におけるZ₃^dとZ₄^d）は、異なる次数を有しており、同型なコhomology環にもかかわらず微分同相型でないことが確認された。
• 例外的ペア（70, 141）の明示的コhomology表現は、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₁保存同型は存在しない。