[論文レビュー] Non-existence theorems on infinite order corks

Motoo Tange|arXiv (Cornell University)|Sep 14, 2016

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

ひとこと要約

本稿は、無限個の単連結で閉じた異種4次元多様体の族のうち、いかなる無限位数のコルクによっても生成されない最初の既知の例を確立する。オルツヴァース＝ツァボー不変量（OS不変量）の制約を用いて、著者は、G-コルクから生じる族では、OS不変量集合が有限でなければならないことを証明し、特定の異種族における無限位数コルクの非存在定理を導く。この結果は、4次元多様体トポロジーにおけるコルク理論の限界に関する重要な問いに答えを提示する。

ABSTRACT

Suppose that $X,X'$ are simply-connected closed exotic 4-manifolds. It is well-known that $X'$ is obtained by an order 2 cork twist of $X$. We give an infinite exotic family of 4-manifolds not generated by any infinite order cork. This is the first example admitting such a condition. We prove a necessary condition of 4-dimensional OS-invariants for a family to be generated by an infinite order cork and give non-contractible relatively exotic 4-manifolds that are never induced by any cork. Furthermore, we prove an estimate of the number of OS-invariants of 4-manifolds generated by a cork.

研究の動機と目的

• 無限個の異種4次元多様体の族が無限位数コルクによって生成可能であるための必要条件を特定すること。
• すべての異種4次元多様体族、特に単連結でないか境界を持つものについて、単一のコルクのねじれ作用によって生成可能かどうかを調査すること。
• b₂⁺ > 1 を満たす族に対して、無限位数コルクの非存在定理を確立すること。
• OS不変量がコルク生成族の構造をどのように制約するかを分析すること。
• b₂ = 1 を満たす最小のステインプラグを構成し、繰り返しねじれ写像によって相対的異種構造を生成すること。

提案手法

• もし異種4次元多様体族がG-コルクによって生成されるならば、そのオルツヴァース＝ツァボー不変量集合（\mathcal{OS}_{\mathcal{X}}）は有限でなければならないことを証明する。
• ハンドル計算と境界3次元多様体上の微分同相写像作用を用いて、b₂(Q) = 1 を満たす最小のステインプラグ (Q, \eta) を構成する。
• ∂Q 上のねじれ写像 η が、より大きな4次元多様体 P の境界上で非自明な作用を引き起こし、相対的異種構造の無限族を生成することを示す。
• ∂P 上の誘導写像 φ = η が繰り返しねじれ φⁿ を通じて無限位数作用を生成し、それによって相異なる異種構造が得られることを示す。
• Q 上での ηⁿ の作用と、フィンツシュエルとスターンによる紐の手術構成との間の対応関係を確立し、プラグが既知の異種4次元多様体に接続されることを示す。
• ゴンプフのステイン構造とレジェンドリアンハンドル体提示に関する結果を用いて、Q が最大トーラス＝ベンヌイン不変量1のステイン構造を有することを確認する。

実験結果

リサーチクエスチョン

• RQ1 すべての無限個の異種4次元多様体族は、単一の無限位数コルクによって生成可能か？
• RQ2 G-コルクによって生成される族が満たすべき、位相的または不変量に基づく制約は何か？
• RQ3 すべての交差変更を生成する最小の genus または b₂-最小のプラグは存在するか？
• RQ4 境界を持つ非可縮小な4次元多様体を用いて、単一のねじれ写像によって無限異種族を生成可能か？
• RQ5 有理ホモロジー球体境界を持つ4次元多様体の境界上でねじれ写像の作用が常に有限個のOS不変量をもたらすか？

主な発見

• b₂⁺ > 1 を満たす異種4次元多様体族 \mathcal{X} がG-コルクによって生成されるならば、そのオルツヴァース＝ツァボー不変量集合 \mathcal{OS}_{\mathcal{X}} は有限でなければならない。
• 無限位数コルクによって生成されない、単連結で閉じた異種4次元多様体の明示的無限族が存在し、非存在定理を証明する。
• b₂(Q) = 1 を満たす最小のステインプラグ (Q, \eta) が構成され、繰り返しねじれ写像を用いて無限族 \{(P, \partial P, \varphi^n) \mid n \in \mathbb{Z}\} を生成する。
• プラグ (Q, \eta) はフィンツシュエル＝スターンの紐の手術におけるすべての交差変更を実現し、すなわち、一意的生成数1の紐から得られるすべての異種構造を生成することが示された。
• ねじれ写像 η^{2k} を用いた二重化 Q \cup_{\eta^{2k}} (-Q) は S² × S² に微分同相であり、η^{2k+1} を用いたものは \mathbb{C}P^2 \# \overline{\mathbb{C}P^2} に微分同相である。これによりねじれの非自明性が確認された。
• ∂Q 上での η の作用は Q 上へのホメオモーティズムに拡張されないため、(Q, \eta) は非自明な \bar{c}h-ねじれであり、したがってプラグであることが証明された。