[論文レビュー] Toroidal homology spheres and SU(2)-representations

Tye Lidman, Juanita Pinzón‐Caicedo+1 more|arXiv (Cornell University)|Jan 7, 2021

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

ひとこと要約

この論文は、インスタントンフローホモロジー、ホロノミー摂動、および手術正確三角形を用いて、任意のトロイダル整数ホモロジー3次元球面がその基本群に対する非可約SU(2)-表現をもつことを証明している。主な結果は、トロイダル整数ホモロジー3次元球面についての予想を確認し、Seifertファイバー型および双曲的ケースの既存結果を拡張する。

ABSTRACT

We prove that if an integer homology three-sphere contains an embedded incompressible torus, then its fundamental group admits irreducible SU(2)-representations. Our methods use instanton Floer homology, and in particular the surgery exact triangle, holonomy perturbations, and a non-vanishing result due to Kronheimer-Mrowka, as well as results about surgeries on cables due to Gordon.

研究の動機と目的

• 埋め込まれた非圧縮可能トーラスを含む整数ホモロジー3次元球面に対して、その基本群に対する非可約SU(2)-表現の存在を確立すること。
• キルビー問題における基本群の非自明性の文脈で、既知のSU(2)-表現に関する結果を拡張すること。
• Boileau-Rubinstein-Wangの有限性議論を避けることで、補題1.2（SL₂(ℂ)-表現に関する）の新たな証明を与えること。
• S³内の非自明な紐結び目を超えて、スパイラルおよびスプライス多様体へとホロノミー摂動技術を一般化すること。
• 特定の条件下で、キッド外部の表現のキャラクター多様体像がピロウケース内に本質的ループを含むことの特定を行い、スプライス多様体上での非可約表現の構成を可能にすること。

提案手法

• 基本群の表現を分析するために、インスタントンフローホモロジーと手術正確三角形を用いる。
• 還元可能な表現を回避し、フローリエ理論的不変量が消えないようにするために、ホロノミー摂動を適用する。
• スプライシング構成を用いる：トロイダル整数ホモロジー3次元球面は、整数ホモロジー3次元球面上の2つのキッド外部のスプライスとして得られる。
• トーラス上のSU(2)-キャラクター多様体（ピロウケース）におけるキッド外部の表現の像を分析し、本質的ループを検出する。
• 2つのスプライスされたキッド外部からの本質的ループの非自明な交差を用いて、スプライス多様体上での非可約SU(2)-表現を構成する。
• Kronheimer-Mrowkaの非消滅結果と、Gordonによるキャブラへの手術に関する結果を用いて、主張を支持する。

実験結果

リサーチクエスチョン

• RQ1 すべてのトロイダル整数ホモロジー3次元球面は、その基本群に対する非可約SU(2)-表現をもつか？
• RQ2 ホロノミー摂動技術を、S³内の非自明な紐結び目を超えて、スプライス多様体における非可約SU(2)-表現の存在を示すために拡張できるか？
• RQ3 キッド外部の表現多様体のピロウケース内への像が、どのような条件下で本質的ループを含むか？
• RQ4 ピロウケース内での2つの本質的ループの非自明な交差は、スプライス多様体上での非可約SU(2)-表現の存在を示唆するか？
• RQ5 有限性定理に依存せずに、トロイダル整数ホモロジー3次元球面における非可約SU(2)-表現の存在を確立できるか？

主な発見

• すべてのトロイダル整数ホモロジー3次元球面は、その基本群に対する非可約SU(2)-表現をもつ。
• Boileau-Rubinstein-Wangの有限性結果の使用を避け、補題1.2の既存の証明とはより単純な代替証明を提供する。
• 対応する整数ホモロジー3次元球面が非可約SU(2)-表現をもたない場合、境界トーラス（ピロウケース）における各キッド外部のキャラクター多様体像は、本質的ループを含む。
• 2つのスプライスされたキッド外部からの本質的ループは非自明に交差し、スプライス多様体上での非可約SU(2)-表現の存在を保証する。
• インスタントンフローホモロジーにおける非消滅結果が主要な要素として用いられ、Kronheimer-Mrowkaの研究と手術正確三角形に依存する。
• この結果は、キルビー問題3.105(A)の重要なケースを確認し、すべての整数ホモロジー3次元球面（S³を除く）が非自明なSU(2)-表現をもつという広範な予想を支持する。