[論文レビュー] Notes on Gompf's infinite order cork

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

Geometric and Algebraic Topology参考文献 12被引用数 4

ひとこと要約

本稿は、$E(n)$ 内に ${\mathbb Z}^n$-有効に埋め込まれた ${\mathbb Z}^n$-コルクを構成し、コルクが $E(n)$ の微分構造の空間内に ${\mathbb Z}^n$-部分群を生成することを示している。さらに、明示的なハンドル分解を用いて、Gompfの無限位数コルクのねじれた二重が $S^4$ のGluckねじれと対数変形であることが特定され、既知の4次元多様体作用と関連付けられている。

ABSTRACT

For any positive integer $n$ we give a ${\mathbb Z}^n$-cork with a ${\mathbb Z}^n$-effective embedding in a 4-manifold being homeomorphic to $E(n)$. This means that a cork gives a subset ${\mathbb Z}^n$ in the differential structures on $E(n)$. Further, we describe handle decompositions of the twisted doubles (homotopy $S^4$) of Gompf's infinite order corks and show that they are Gluck twists and log transforms of $S^4$.

研究の動機と目的

• 4次元多様体 $E(n)$ とホメオモーティックな多様体に ${\mathbb Z}^n$-有効に埋め込まれた ${\mathbb Z}^n$-コルクを構成すること。
• このようなコルクが $E(n)$ 上の微分構造の空間内に ${\mathbb Z}^n$-部分群を生成することを示すこと。
• Gompfの無限位数コルクのねじれた二重のハンドル分解を記述すること。
• これらのねじれた二重が $S^4$ のGluckねじれおよび対数変形と同相であることを示すこと。

提案手法

• Gompfの無限位数コルクを、高ランクのコルクを構成する基盤として用いる。
• 元のコルクを $E(n)$ 内で繰り返し埋め込みおよび変形することで、${\mathbb Z}^n$-コルクを構成する。
• ハンドル体技術を適用して、コルクのねじれた二重を明示的なハンドル構造に分解する。
• 位相的同倣の議論により、得られた多様体がGluckねじれおよび対数変形であることを同定する。
• ${\mathbb Z}^n$-有効性を $E(n)$ 内で確認するため、微分位相幾何学的道具を用いる。

実験結果

リサーチクエスチョン

• RQ1 ${\mathbb Z}^n$-コルクは $E(n)$ に有効に埋め込むことができるか？ そしてこれは $E(n)$ 上の微分構造の空間にどのような含意を持つのか？
• RQ2 Gompfの無限位数コルクのねじれた二重は、ハンドル構造の観点からどのように分解されるか？
• RQ3 これらのねじれた二重は、$S^4$ のGluckねじれまたは対数変形と位相的に同値か？
• RQ4 ${\mathbb Z}^n$-作用は、$E(n)$ 上の微分構造の整理に果たす役割は何か？

主な発見

• ${\mathbb Z}^n$-コルクが、$E(n)$ とホメオモーティックな4次元多様体に ${\mathbb Z}^n$-有効に埋め込まれる形で明示的に構成された。
• この構成により、$E(n)$ 上の微分構造の空間内に ${\mathbb Z}^n$-部分群が実現された。
• Gompfの無限位数コルクのねじれた二重は、明示的なハンドル分解を備えており、その構造が明らかになった。
• これらのねじれた二重は、位相的に $S^4$ のGluckねじれおよび対数変形と同値である。