[論文レビュー] Homology Smale-Barden manifolds with K-contact and Sasakian structures

Vicente Muñoz, Juan Rojo+1 more|arXiv (Cornell University)|Jan 22, 2016

Geometric and Algebraic Topology参考文献 21被引用数 6

ひとこと要約

本稿は、最初の既知の例として、単連結な5次元多様体（第一ホモロジーが自明なホモロジー・スメール＝バーデン多様体）を構成する。この多様体はK-contact構造を備えるが、半正則Sasakian構造を有さない。Kähler表面幾何学とSeifert被覆の精密な障害を用いて、接触錐上に整合的な可積分的 almost複素構造が存在しないことを示し、問題が未解決のままだった最小次元において、K-contact幾何とSasakian幾何を区別する。

ABSTRACT

Kollár has found subtle obstructions to the existence of Sasakian structures on 5-dimensional manifolds. In the present article we develop methods of using these obstructions to distinguish K-contact manifolds from Sasakian ones. In particular, we find the first example of a closed 5-manifold M with $H_1(M,Z)=0$ which is K-contact but which carries no semi-regular Sasakian structures.

研究の動機と目的

• ホモロジー・スメール＝バーデン多様体（第一ホモロジーが自明な単連結5次元多様体）がK-contactだがSasakianでない例が存在するか、という未解決問題を解消すること。
• Kähler表面分類とハード・リーマンプス性質に基づく微妙な位相的障害を発展・適用し、次元5におけるK-contactとSasakian構造を区別すること。
• ホモロジー条件 H₁(M, ℤ) = 0 を満たし、K-contact構造を備えるが、任意の半正則Sasakian構造を有さない5次元多様体の具体的な例を構成すること。
• 文献[17]で提示された誤った解決策の欠陥を特定し、Lefschetz被覆と特異点の可縮約技術に基づいた修正された厳密な議論を提供すること。

提案手法

• KollárによるSasakian構造に対する障害を用いる。特に、代数的表面分類とKähler幾何におけるハード・リーマンプス性質に由来するものである。
• 特異点を持つ軌道多様体を有する複素表面のSeifert円被覆を構成し、底面にLefschetz被覆構造を導入することで、全空間の位相的性質を制御する。
• Hirzebruch-Jung解消を用いて底面の軌道特異点を解消し、標準的バンドルと交差理論が制御可能な滑らかな複素表面を生成する。
• 得られた被覆を解析し、第二ベッチ数とファイバーの genus に関する制約を導出する。公式 λ_π = (K̃²_S/ℙ¹ + 8g - 8)/g と不等式 4 - 4/g ≤ λ_π ≤ 12 を用いる。
• コhomologyの長い完全列を用いて、除数上の線束の切断を、表面全体のグローバル切断に関連づけ、Lefschetzペンキの存在を保証する。
• ファイバー内に自己交叉数 -1 の有理曲線が存在しないことから、相対的最小性が導かれ、これは標準的バンドル不等式の適用に不可欠である。

実験結果

リサーチクエスチョン

• RQ1 単連結な5次元多様体が、半正則Sasakian構造を有さないK-contact構造を備えることは可能か？
• RQ2 第一ホモロジーが自明なK-contact 5次元多様体にSasakian構造が存在しない理由となる位相的障害は何か？
• RQ3 Kähler表面の分類は、Seifert被覆の文脈において、Sasakian構造を妨げるのにどの程度利用可能か？
• RQ4 H₁ = 0 で、H₂(·, ℚ) を張る互いに交わらないシンプレクティックトーラスを有するシンプレクティック5次元多様体がSasakian構造を備えることは可能か？
• RQ5 軌道多様体の可縮約技術を用いて、半正則Sasakian構造の議論を、準正則または一般Sasakian構造へ拡張することは可能か？

主な発見

• 著者らは、H₁(M, ℤ) = 0 を満たす閉じた5次元多様体 M で、K-contactであるが任意の半正則Sasakian構造を有さない、最初の既知の例を構成した。
• 障害は、関連するKähler表面の底面におけるハード・リーマンプス性質の不成立に起因し、被覆構造に由来する genus とベッチ数の制約と併せたものである。
• 底面の第二ベッチ数 b₂ は、b₂ ≤ 2g + 3 を満たす。ここで g は一般ファイバーの genus であり、不等式 4 - 4/g ≤ λ_π ≤ 12 から導出される。
• この構成は、可縮約された複素表面へのLefschetz被覆に依拠しており、g₁ ≥ 2 の genus を持つ除数上に非常に豊富な線束が存在することにより、曲線のペンキの存在が保証される。
• 証明では、ファイバー内に自己交叉数 -1 の有理曲線が存在すると、被覆の最小性に矛盾するため、特定の構成が排除される。
• 著者らは、文献[17]で提示された解決策に欠陥が存在することを特定し、標準的バンドル公式と genus の上限を用いた修正された議論を提供した。