[論文レビュー] On definite lattices bounded by a homology 3-sphere and Yang-Mills instanton Floer theory

Christopher Scaduto|arXiv (Cornell University)|May 21, 2018

Geometric and Algebraic Topology参考文献 28被引用数 3

ひとこと要約

この論文は、ヤン・ミルズインスタントンホッファー理論を用いて、特定の整数ホモロジー3次元球面に境界を持つ滑らかな4次元多様体の定値交差形式を分類する。特に、滑らかな4次元ボールジャンルが1または2のねじれをもつねじれの+1スケーリングに対して、Z/2-ホモロジー コボルドィズムであるようなものに注目する。その結果、このような境界を持つ場合、非対角定値格子として可能なのは、E₈、Γ₁₂、およびそれらの対角形式との直和に限られ、フロイショフの元来のピオンカーレ・球面に関する結果を拡張する。

ABSTRACT

Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot, the only non-diagonal lattices that can occur are E8 and the indecomposable unimodular definite lattice of rank 12, up to diagonal summands. We require that our 4-manifolds have no 2-torsion in their homology.

研究の動機と目的

• 特定の整数ホモロジー3次元球面に境界を持つ滑らかな4次元多様体の交差形式として現れる可能性のある定値ユニモジュラー格子を特定すること。
• フロイショフのインスタントン理論的手法を、ピオンカーレ球面を越えて、特にトーラスねじれの+1スケーリングのケースに拡張すること。
• 4次元多様体のホモロジーに2-torsionがない場合、交差形式に及ぼされる鋭い制限を確立すること。
• +1スケーリングの(2,5)トーラスねじれに対して、非対角定値形式として可能なのはE₈とΓ₁₂のみであり、対角和を除いてはそれらのみであることを示すこと。
• インスタントンホッファー理論、シーベルグ＝ワッテンスティーナ理論、ヘーゲン＝ホッファー理論の結果を統合し、格子制限の文脈で一般化すること。

提案手法

• フロイショフのインスタントン不等式をmod 2およびmod 4係数に適応し、4次元多様体内の埋め込み面の新しいジャンル境界を導出する。
• インスタントンホッファーコホモロジーを用いて、コホモロジー環内の関係を通じて交差形式の構造を分析する。
• ヘーゲン＝ホッファー理論およびシーベルグ＝ワッテンスティーナ理論のd不変量と補正項を、一部のケースでインスタントン入力を補完または置き換えるために用いる。
• エリクスの定値格子でf₂(ℒ) ≤ 2であるものの分類を含む格子論的道具を用いて、可能な形式を制限する。
• 極値ベクトルwに対してw + 2ℒ内の最小ベクトルを計算し、形式ℒの不変量m(ℒ)を決定する。この不変量は非対角形式の存在を制御する。
• マイヤー＝ビートリス論法を用いて、交差形式がユニモジュラーである場合、ホモロジー球面でない場合にも結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 ホモロジーに2-torsionがない与えられた整数ホモロジー3次元球面に境界を持つ滑らかな4次元多様体の交差形式として現れる可能性のある定値ユニモジュラー格子は何か？
• RQ2 +1スケーリングの(2,5)トーラスねじれに対して、非対角定値交差形式として可能なのは何か？
• RQ3 インスタントンホッファー理論の枠組みを、フロイショフが以前に解いたE₈のケースを超えて、非対角格子を分類するために拡張できるか？
• RQ4 ヘーゲン＝ホッファー理論のd不変量およびシーベルグ＝ワッテンスティーナ理論の補正項は、分類においてどの程度インスタントン理論的入力を置き換えることができるか？
• RQ5 d(Y) = 2およびδ₂v₂ = 0を満たすホモロジー3次元球面に境界を持つ4次元多様体の交差形式としてE₇²が現れるか？

主な発見

• +1スケーリングの(2,5)トーラスねじれ（つまり、ブリースコーン球面-Σ(2,5,9)）に対して、可能な定値交差形式は⟨+1⟩ⁿ、E₈ ⊕ ⟨+1⟩ⁿ、Γ₁₂ ⊕ ⟨+1⟩ⁿに限られ、すべての形式が実現可能である。
• +1スケーリングのジャンル2のねじれに境界を持つ滑らかな4次元多様体で、ホモロジーに2-torsionがない場合、非対角定値格子として可能なのは、対角和を除いてE₈とΓ₁₂のみである。
• d(Y) = 2およびδ₂v₂ = 0の条件下で、格子E₇²は現れない。これは、この格子に対してm(ℒ) ≥ 4であることが示されたからである。
• +1スケーリングの(2,3)トーラスねじれ（つまり、-Σ(2,3,5)）に対して、可能な定値形式は⟨+1⟩ⁿおよびE₈ ⊕ ⟨+1⟩ⁿに限られ、フロイショフの元来の結果を確認し、わずかに改善する。
• 結果はZ/2-ホモロジー コボルドィズムに関して安定であるため、ジャンル1またはジャンル2のねじれの+1スケーリングにコボルドゥムであるすべてのホモロジー3次元球面に適用可能である。
• この手法により、-Σ(3,4,11)（つまり、(3,4)トーラスねじれの+1スケーリング）に境界を持つ格子の分類が、E₇²およびA₁₅を含む可能性として今後可能となる。