[論文レビュー] Homotopy $4$-spheres associated to an infinite order loose cork

Selman Akbulut|arXiv (Cornell University)|Jan 24, 2019

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

ひとこと要約

この論文は、無限位階のゆるいコルク $(W, f)$ のコルク自己同型 $f^n$ による反復を用いて二重化して得られるホモトピー 4-球体 $Σ_n$ が、すべて標準的 4-球体 $S^4$ に微分同相であることを証明している。ハンドル体技法、グルークねじれ、キャペル＝シャネソン問題からのテクニックを用いた 3-ハンドルのキャンセレーションにより、著者らは各 $Σ_n$ が $B^4$ 内のリボン補集合に 2-ハンドルを付加することによって得られることを示し、コルク微分同型が $S^3$ 上で恒等写像にホモトープであることから、それらの多様体が標準的であることがわかる。主な貢献は、無限個の潜在的エキゾチック 4-球体がすべて標準的 $S^4$ であると解消されたことである。

ABSTRACT

We show the homotopy spheres $Σ_{n} = -W\smile_{f^{n}}W$, formed by doubling the infinite order loose-cork $(W,f)$ by iterates of the cork diffeomorphism $f: \partial W o \partial W$ is $S^4$. To do this we first show that $Σ_{n} $ are obtained by Gluck twistings of $S^4$; then from this we show how to cancel $3$-handles of $Σ_{n}$ and identify it by $S^{4}$.

研究の動機と目的

• 無限位階のゆるいコルク $(W, f)$ を二重化して得られるホモトピー 4-球体 $\Sigma_n = -W \smile_{f^n} W$ が、標準的 4-球体 $S^4$ に微分同相であるかどうかを特定すること。
• このような構成がエキゾチック 4-球体を生じるのか、それとも標準的であるのかを解消すること。
• $\Sigma_n$ のハンドル体的記述を確立し、3-ハンドルのキャンセレーションと $S^4$ への同定を可能にすること。
• コルク自己同型 $f^n$ が $S^3$ 上に作用する微分同型が恒等写像にホモトープであること、これにより $\Sigma_n$ が $S^4$ に帰納的に同定可能であることを示すこと。

提案手法

• 双対 2-ハンドル上の $\delta^n$-移動（$f^n$ の反復）の効果を分析することで、$\Sigma_n$ のハンドル体図を構築し、曲線の位置を追跡するために、カービング／アンカービング操作（ドット・ゼロの交換）を用いる。
• $\Sigma_n$ が $S^4$ に沿ったねじれ 2-球面へのグルークねじれによって得られることを示し、$\partial\Sigma_n$ 上の付加曲線 $c$ がトレースであるため、2/3-ハンドルペアのキャンセレーションが可能であることを用いる。
• $\Sigma_n^o = \Sigma_n - B^4$ がリボン補集合 $Q = B^4 - N(D)$ に、$\partial Q$ 上の曲線 $\gamma_n \subset \partial Q$ に沿った 2-ハンドルを付加したものとして得られることを特定する。ここで $\gamma_n$ は $\delta$-移動微分同型 $f$ による $\gamma_{n-1}$ の $n$ 回反復である。
• $\delta$-移動微分同型 $f: \partial W \to \partial W$ が $S^3$ 上の自己微分同型を誘導し、これは恒等写像にホモトープであることを用いて、$\Sigma_n$ が $S^4$ に帰納的に同定可能であることを示す。
• キャペル＝シャネソン問題からの 3-ハンドルキャンセレーションのテクニックを適用し、$\Sigma_n$ のハンドル分解から 3-ハンドルを除去することで、標準的 $S^4$ に簡略化すること。
• $\delta$-移動が $\partial\Sigma_0$ 上の曲線 $d$ のトレース性を保ち、2-ハンドルを付加した後もこの曲線がトレースのままであることを確認し、グルークねじれが自明であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 無限位階のゆるいコルク $(W, f)$ を二重化して得られるホモトピー 4-球体 $\Sigma_n = -W \smile_{f^n} W$ は、標準的 4-球体 $S^4$ に微分同相であるか？
• RQ2 $\partial W$ 上の $\delta^n$-移動微分同型は、3-ハンドルキャンセレーションを可能にする $\Sigma_n$ のハンドル体図を構築するために使用可能か？
• RQ3 グルークねじれの記述により、$\Sigma_n$ が標準的であることが示唆されるのか？ 付加曲線がトレースである場合。
• RQ4 $\partial W$ 上の微分同型 $f^n: \partial W \to \partial W$ は $S^3$ 上で恒等写像にホモトープか？ そしてこのホモトピーは $\Sigma_n$ が標準的であることを示唆するか？
• RQ5 $\Sigma_n$ は $\Sigma_{n-1}$ を $\partial$ 上の $\delta$-移動により帰納的に構成可能か？ そしてこの構造は $\Sigma_n \cong S^4$ を示唆するか？

主な発見

• $\Sigma_n$ はすべて標準的 4-球体 $S^4$ に微分同相であり、無限位階のゆるいコルクから得られる二重化ホモトピー 4-球体の無限族がエキゾチックでないことを解消した。
• $\Sigma_n$ は $S^4$ に沿ったねじれ 2-球面へのグルークねじれによって得られ、付加曲線 $c$ がトレースであるため、グルークねじれは自明であり、$\Sigma_n \cong S^4$ である。
• $\Sigma_n^o = \Sigma_n - B^4$ は、リボン補集合 $Q = B^4 - N(D)$ に、$\gamma_n$ に沿った 2-ハンドルを付加したものとして得られ、ここで $\gamma_n = f^n(\gamma_0)$ であり、このハンドル体的構造により 3-ハンドルのキャンセレーションが可能である。
• $\delta$-移動微分同型 $f: \partial W \to \partial W$ は $S^3$ 上の自己微分同型を誘導し、これは恒等写像にホモトープであるため、$\Sigma_n \cong S^4$ であることを帰納的に示せる。
• 曲線 $d \subset \partial\Sigma_0$ は $\partial\Sigma_0$ 上のトレースであり、$\delta$-移動による $d$ に沿った操作を用いて $\Sigma_n$ のハンドル体を記述可能であり、構成が標準的であることを確認する。
• $\delta$-移動は $S^3$ 内の埋め込まれたトーラスに沿ったデーンねじれに対応し、$S^3$ 上の任意のこのようなデーンねじれは恒等写像にホモトープであるため、微分同型 $f^n$ は恒等写像にホモトープであり、これにより $\Sigma_n \cong S^4$ が示される。