2025-11-20T06:25:13.970825

Khovanov homology can distinguish exotic Mazur manifolds

Nahm

A Mazur manifold is a compact, contractible 4-manifold that has a handle decomposition with a single 1-handle and a single 2-handle. We show that Khovanov homology can distinguish certain exotic Mazur manifolds.

academic

Khovanov同調は異種Mazur多様体を区別できる

基本情報

論文ID: 2510.10809
タイトル: Khovanov homology can distinguish exotic Mazur manifolds
著者: Gheehyun Nahm
分類: math.GT（幾何位相幾何学）
発表日: 2024年10月12日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.10809

要約

Mazur多様体は、単一の1-ハンドルと単一の2-ハンドルのハンドル分解を持つコンパクト可縮4-多様体の一類である。本論文は、Khovanov同調がある異種Mazur多様体を区別できることを証明する。

研究背景と動機

問題背景

異種4-多様体問題：4次元幾何位相幾何学における中心的な問題は、同相であるが微分同相でない4-多様体対（異種多様体）を理解することである。このような問題は高次元多様体理論において独特の複雑性を持つ。
Mazur多様体の重要性：Mazur多様体は単一の1-ハンドルと単一の2-ハンドルから構成されるコンパクト可縮4-多様体であり、4次元位相幾何学の研究における重要な例である。最初の異種Mazur多様体対はHayden、Mark、Picciroloにより2021年に構成された。
不変量の必要性：従来の位相不変量はしばしば異種多様体を区別できず、より精密な道具が必要である。Khovanov同調は結び目理論における強力な道具として、4-多様体理論への応用が発展中である。

研究動機

本論文はRenとWillisによるKhovanov同調の異種4-多様体への応用に関する研究に触発されており、特に彼らが与えた異種コンパクト向き4-多様体の存在性を解析的道具なしに証明した最初の結果に基づいている。著者はMazur多様体の研究に類似の技術を適用することを目指している。

核心的貢献

主定理：各整数k ≥ 1に対して、Khovanov同調が図1.1の異種Mazur多様体対を区別できることを証明した。
技術的革新：CP²\intD⁴における向き付けられた曲面のKhovanov協境写像が微分同相の下で不変であることを確立した（補題3.3）。
方法論的貢献：2つの証明経路を提供した：1つはskein lasagnaモジュール理論に基づき、もう1つはこの理論を避けて透明性を高めたものである。
計算検証：SnapPyソフトウェアを使用して関連する3-多様体の写像類群が自明であることを検証し、異種性の厳密な証明を確保した。

方法の詳細

核心的技術フレームワーク

Khovanov協境写像：CP²\intD⁴における向き付けられた曲面Sに対して、Khovanov協境写像を定義する：

Kh^{CP²}(S) : Kh(m(∂S)) → Z

主要補題の証明

補題3.3：S、S'を(CP²)°における向き付けられた曲面とし、S = S' ∈ H₂((CP²)°; Z)を満たすとする。微分同相が存在するなら：

((CP²)°, S) ≅ ((CP²)°, S') rel ∂

誘導される写像Kh^{CP²}(S)とKh^{CP²}(S')は符号の意味で等しい。

技術的経路

直接論証（3.1節）：
- 協境写像を2段階に分解：まず曲面が誘導する協境写像を通じ、その後特定の次数に投影
- Renの結果を使用して写像のホモトピー下での不変性を証明
Skein lasagna論証（3.2節）：
- gl₂ skein lasagnaモジュールのKünneth公式を利用
- 規範的双対lasagna生成元を通じて不変性を確立