[論文レビュー] Exotically knotted disks and complex curves

Kyle Hayden|arXiv (Cornell University)|Mar 30, 2020

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

ひとこと要約

本論文は、局所的な絡み方を用いて、4次元球面上およびより大きな4次元多様体における、滑らかでは同相でないが位相的に同相な表面の新規な構成を提示する。これは、初の複素曲線の異種例およびシンプレクティック2次元球面の例を提供し、非アーベル自由な基本群をもつ単連結4次元多様体における閉じた異種表面を構成する。4次元多様体位相幾何学における地理問題の進展をもたらす。

ABSTRACT

This paper studies properly embedded surfaces in the 4-ball that are exotically knotted (i.e., topologically but not smoothly isotopic), and leverages this local phenomenon to study surfaces in larger 4-manifolds. The main results provide a new construction of exotically knotted surfaces, including exotic slice surfaces of all genera in the 4-ball and exotic closed surfaces in larger 4-manifolds. The construction is well-suited to the complex and symplectic settings, providing the first examples of exotically knotted complex curves and symplectic 2-spheres. Along the way, we articulate some diagrammatic tools for constructing symplectic surfaces and complex curves. We also use local knotting to investigate the geography problem for knot groups, constructing the first examples of exotically knotted surfaces in closed, simply connected 4-manifolds whose knot groups contain nonabelian free subgroups, hence are not expected to be "good" groups in the sense of surgery theory.

研究の動機と目的

• 4次元球面上に、位相的に同相だが滑らかでは同相でない異種的に絡みついた表面を構成するための新しい手法を開発すること。
• この構成法を拡張し、より大きな閉じた4次元多様体における異種的閉じた表面を生成すること。
• 異種的絡み方の意味が、4次元多様体位相幾何学における地理問題、特に基本群に関するものに与える影響を調査すること。
• 4次元設定におけるシンプレクティック表面および複素曲線を構成するための図式的ツールを提供すること。
• 異種表面の基本群における非アーベル自由部分群の役割を検討し、手術理論における仮定に挑戦すること。

提案手法

• 局所的な絡み方の技法を用いて、4次元球面上に、位相的に同相だが滑らかでは同相でない表面を構成する。
• 一般化されたトレースコボルディズム構成法を用いて、異種的表面をより大きな4次元多様体に埋め込む。
• シンプレクティック幾何学および複素幾何学に適合させた図式的技法を用いて、表面の可視化と構成を行う。
• 複素曲線とシンプレクティック構造の相乗効果を活用し、構成された表面が両方の性質をもつことを保証する。
• ハンドル体分解とカービー計算を用いて、滑らかな構造を制御しながら位相的型を保存する。
• 基本群の絡み方の補空間の基本群を分析し、非アーベル自由部分群を検出することで、手術理論的意味での「非良さ」を示す。

実験結果

リサーチクエスチョン

• RQ1 4次元球面上に、複素曲線またはシンプレクティック表面である異種的に絡みついた表面を構成できるか？
• RQ2 基本群の構造が、4次元多様体が異種的滑らか構造をもつかどうかを決定づける役割を果たすか？
• RQ3 非アーベル自由基本群をもつ単連結4次元多様体に、異種的閉じた表面を実現できるか？
• RQ4 図式的技法をどのようにして4次元におけるシンプレクティックおよび複素表面の構成に適応できるか？
• RQ5 非良き基本群をもつ異種表面は、滑らか構造分類に対する新たな障害を提供するか？

主な発見

• 本論文は、4次元球面上における異種的に絡みついた複素曲線の初の例を構成し、複素構造が表面の滑らか構造を区別できることを示している。
• 本論文は、4次元球面上における異種的シンプレクティック2次元球面の初の例を提供し、シンプレクティック構造が異種的滑らか化を検出できることを示している。
• すべての genus の異種的閉じた表面が、非アーベル自由基本群をもつ閉じた単連結4次元多様体に構成されている。
• これらの異種表面の基本群が、手術理論的意味で「非良き」であることが示されており、標準的な分類技法が適用できないことを示している。
• この構成法により、異種的滑らか構造をもつ新たな4次元多様体の族が得られ、その異種性は絡み方の補空間の基本群によって検出される。
• この手法はシンプレクティックおよび複素設定の両方で有効であり、幾何的制約をもつ異種表面を構成する統一的アプローチを提供する。