[論文レビュー] Trisections and spun 4-manifolds

Jeffrey Meier|arXiv (Cornell University)|Aug 3, 2017

Geometric and Algebraic Topology参考文献 22被引用数 8

ひとこと要約

本稿では、3次元多様体や3次元多様体／絡み目対に対してスピンまたはツイストスピンによって得られる4次元多様体の三つ編み図の構成を体系的に行う手法を提示する。特に、標準的に埋め込まれたハンドル体を有するヘーガード図に対して局所的変形を施すことにより、スピンされた4次元多様体の明示的三つ編み図およびスピンされた2次元絡み目の二重点付き三つ編み図を構成する。主たる貢献は、最小三つ編み genus を有する複雑な4次元多様体の研究を可能にする構成的で図式的な手順であり、特に三つ編み genus が3であると予想される唯一の非可約4次元多様体を含む。

ABSTRACT

We study trisections of 4-manifolds obtained by spinning and twist-spinning 3-manifolds, and we show that, given a (suitable) Heegaard diagram for the 3-manifold, one can perform simple local modifications to obtain a trisection diagram for the 4-manifold. We also show that this local modification can be used to convert a (suitable) doubly-pointed Heegaard diagram for a 3-manifold/knot pair into a doubly-pointed trisection diagram for the 4-manifold/2-knot pair resulting from the twist-spinning operation. This technique offers a rich list of new manifolds that admit trisection diagrams that are amenable to study. We formulate a conjecture about 4-manifolds with trisection genus three and provide some supporting evidence.

研究の動機と目的

• スピンまたはツイストスピンによって得られる4次元多様体の三つ編み図を生成する構成的かつ体系的な手法の開発。
• この手法を3次元多様体／絡み目対へ拡張し、スピンされた2次元絡み目の二重点付き三つ編み図を導出すること。
• 特に三つ編み genus が3であると予想される4次元多様体を対象として、低三つ編み genus を有する4次元多様体を研究するための明示的かつ図式的なツールの提供。
• ホロロジー4次元球面やレンズ空間スピンの既存の三つ編み構成を統一的かつ一般化すること。
• 三つ編み genus が3である非可約4次元多様体の分類に関する予想を支援すること。

提案手法

• 3次元多様体 M に対して、S^3 に標準的に埋め込まれた H_ε を有する genus g のヘーガード図 (S, δ, ε) が与えられたとき、ε の各曲線に対して局所的変形を施し、スピンされた4次元多様体 S(M) の三つ編み図を構成する。
• 局所的変形は、ヘーガード面を拡張して得られるアニュラス上に新たな曲線と弧を追加するもので、図6および図7に図示された明確な規則に従う。
• 3次元多様体／絡み目対 (M,K) に対しては、二重点付きヘーガード図 (S, δ, ε, z, w) を用い、ペair のツイストスピンに対する二重点付き三つ編み図を生成する。
• 特異点理論的および幾何的議論により、この構成が三つ編み理論およびドゥン・サージェリ操作と整合することを証明する。
• この手法により、例えば pq + qr + rp = ±1 のときの S(Σ(p,q,r)) のようなホロロジー4次元球面に対して、最小三つ編み図を構成可能である。
• この技術により、S^1 × S^3 やスピンされた2次元絡み目のグルーク変形における不安定化と図式の簡略化が可能であることが示された。

実験結果

リサーチクエスチョン

• RQ1 スピンされた4次元多様体の三つ編み図は、ヘーガード図の局所的変形のみを用いて体系的に構成可能か？
• RQ2 3次元多様体／絡み目対 (M,K) の二重点付きヘーガード図に対する局所的変形は、ペair のツイストスピンに対する二重点付き三つ編み図をどのように導くか？
• RQ3 ホロロジー3次元球面（例えばブリースコーン球面）をスピンして得られる4次元多様体の三つ編み図の構造はいかなるものか？
• RQ4 三つ編み genus が3である非可約4次元多様体は、すべてレンズ空間のスピンまたは特定の2次元絡み目のスピンへのグルーク変形によって得られるか？
• RQ5 提示された図式的構成法を用いて、最小三つ編み genus を有する4次元多様体の分類や列挙が可能か？

主な発見

• 任意の genus k のヘーガード分解を有する3次元多様体をスピンまたはツイストスピンして得られる4次元多様体は、(3k,k)-三つ編みを有する。
• 標準的に埋め込まれた H_ε を有するヘーガード図に対する局所的変形により、S(M) および S*(M) の明示的三つ編み図が得られる。
• 任意の genus g のヘーガード図を有する3次元多様体 M に対して、H_ε が標準的に埋め込まれている場合、得られる三つ編み図は最小であり、図式的解析に適している。
• この手法により、S(M) および S*(M) 内のスピンされた2次元絡み目の二重点付き三つ編み図が生成され、これらの4次元多様体内の絡みついた曲面の研究が可能になる。
• 任意の g ≥ 3 および 1 ≤ k ≤ g−2 に対して、最小 (g,k)-三つ編みを有する無限に多くの異なる4次元多様体が生成可能である。
• S(L(p,q)) 内のスピンされた2次元絡み目に対するグルーク変形の図式は、既知の位相的不変量と一致し、これらが三つ編み genus が3である唯一の非可約4次元多様体であるという予想を支持する。