[論文レビュー] The trace embedding lemma and spinelessness

Kyle Hayden, Lisa Piccirillo|arXiv (Cornell University)|Dec 30, 2019

Geometric and Algebraic Topology参考文献 37被引用数 5

ひとこと要約

本稿は、トレース埋め込み補題の新しい応用を紹介し、4次元多様体における異種微分構造を検出する。同相だが微分同相でない無限に多くの4次元多様体の存在を示し、そのうち一方は滑らかなスプラインを備えるが、他方は滑らかなスプラインですら持たず、さらに、piecewise-linear スプラインを含まない。さらに、幾何学的単連結性とStein被覆可能性が微分構造に依存することを示し、4次元多様体内の位相的局所平坦な曲面が常にpiecewise-linear曲面によって近似可能とは限らないことを示している。

ABSTRACT

We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$ homotopy equivalent to $S^2$ which have smooth structures distinguished by several formal properties: $W'$ is diffeomorphic to a knot trace but $W$ is not, $W'$ contains $S^2$ as a smooth spine but $W$ does not even contain $S^2$ as a piecewise-linear spine, $W'$ is geometrically simply connected but $W$ is not, and $W'$ does not admit a Stein structure but $W$ does. In particular, the simple spineless 4-manifolds $W$ provide an alternative to Levine and Lidman's recent solution to Problem 4.25 in Kirby's list. We also show that all smooth 4-manifolds contain topological locally flat surfaces that cannot be approximated by piecewise-linear surfaces.

研究の動機と目的

• トレース埋め込み補題を、小さなコンパクトな4次元多様体における異種微分構造の検出に用いるためのツールとして拡張すること。
• キーバーのリストの問題4.25を解決し、S²にホモトピー同値であるがpiecewise-linear スプラインをもたない滑らかな4次元多様体を構成すること。
• 幾何学的単連結性とStein被覆可能性が位相的不変量ではなく、微分構造に依存することを示すこと。
• 4次元多様体内のすべての位相的局所平坦な曲面が、常にpiecewise-linear曲面によって近似可能であるとは限らないことを示すこと。

提案手法

• スライス・ノットのn-トレースとして4次元多様体を構成し、トレース埋め込み補題を用いて、一部のケースでS²が滑らかなスプラインとして埋め込まれることを保証する。
• シンプレクティック位相幾何学における接合不等式を適用し、特定の多様体においてpiecewise-linear スプラインが存在しないことを妨げる。
• クラップ移動とレジェンドリアン安定化を用いてハンドル分解を変更し、ホモトピー型を保ちつつSteinドメイン構造を達成する。
• 接合不等式を用いて最小位数を強制することで、固定されたホモロジー類に対して任意に大きな位数の代表元を持つSteinドメインを構成する。
• 圧縮された曲面と近傍の議論を用いて、固定されたpiecewise-linear スプラインが任意に高い位数のホモロジー類を表せないことを示す。
• ハンドル図におけるドットの円に0フレームの縁を付加した後、ハンドルキャンセレーションを用いて、得られた4次元多様体をS⁴に滑らかに埋め込む。

実験結果

リサーチクエスチョン

• RQ1 トレース埋め込み補題を用いて、同相だが微分同相でない4次元多様体を構成でき、それらが異なる微分的性質を持つだろうか？
• RQ2 S²にホモトピー同値であるが、位相的スプラインは持つがpiecewise-linear スプラインをもたない滑らかな4次元多様体は存在するだろうか？
• RQ3 幾何学的単連結性とStein被覆可能性は、4次元多様体の微分構造に依存するだろうか？
• RQ4 4次元多様体内のすべての位相的局所平坦な曲面が、常にpiecewise-linear曲面によって近似可能だろうか？
• RQ5 スライス・ノットにおけるゼロサージェリーによって得られる3次元多様体のStein被覆が、S²×D²のホモロジー型を持つものがあるだろうか？

主な発見

• 任意の整数nに対して、同相だが微分同相でない無限に多くの4次元多様体のペアWとW′が存在し、W′はスライス・ノットのn-トレースであるが、Wはいかなるノット・トレースとも微分同相でない。
• 各WはS²にホモトピー同値であり、S²が位相的局所平坦なスプラインとして含まれるが、piecewise-linear スプラインとしては含まれない。これはキーバーの問題4.25に対する新たな解決策を提供する。
• W′は幾何学的に単連結（1-ハンドルを含まないハンドル分解をもつ）であるが、Wはそうでない。これは、幾何学的単連結性が微分構造に依存することを示している。
• W′はStein構造をもたないが、Wはもつ。これは、Stein被覆可能性が4次元位相幾何学において位相的不変量でないことを示している。
• ラグランジュ的スライス・ノットKが存在し、Kにおけるゼロサージェリーは、ゼロトレースX₀(K)と同相なStein被覆をもつ。これは、ホモロジー型S²×D²を持つ最初の既知の例である。
• 任意に高い位数の滑らかな代表元を必要とするホモロジー類のためのpiecewise-linear スプラインを含む滑らかな4次元多様体は存在しない。これは、位相的曲面が常にPL曲面によって近似可能とは限らないことを証明する。