[論文レビュー] Theta-graph and diffeomorphisms of some 4-manifolds

Tadayuki Watanabe|arXiv (Cornell University)|May 19, 2020

Geometric and Algebraic Topology参考文献 25被引用数 7

ひとこと要約

本稿は、Θグラフに沿った surgery を用いて、単連結でない閉 4 次元多様体に対して、恒等写像にホモトープであるが同倫的でない可算無限個の非同相な微分同相写像を構成する。また、リー代数的局所係数系を備えた配置空間における等置的三重交線を用いた Kontsevich の特徴類のねじれ版を導入し、これらの微分同相写像の非自明性を証明する。これにより、4 次元多様体における codimension-1 埋め込みと擬同相写像に関する新たな結果が得られる。

ABSTRACT

In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $Θ$-graphs. As corollaries of this, we obtain some new results on codimension 1 embeddings and pseudo-isotopies of 4-manifolds. In the proof of the non-triviality of the diffeomorphisms, we utilize a twisted analogue of Kontsevich's characteristic class for smooth bundles, which is obtained by extending a higher dimensional analogue of Marché--Lescop's "equivariant triple intersection" in configuration spaces of 3-manifolds to allow Lie algebraic local coefficient system.

研究の動機と目的

• 閉 4 次元多様体に対して、恒等写像にホモトープであるが同倫的でない、互いに非同相な無限個の微分同相写像を構成すること。
• Marché–Lescop の等置的三重交線不変量を 3 次元多様体から、リー代数的局所係数系を備えた 4 次元多様体へ拡張すること。
• 配置空間不変量を用いて、滑らかな 4 次元多様体バンドルに対して Kontsevich の特徴類のねじれ版を確立すること。
• この不変量を用いて、従来の手法では到達できない範囲の 4 次元多様体の写像類群における非自明な要素を同定すること。
• 構成された微分同相写像を用いて、4 次元多様体における codimension-1 埋め込みと擬同相写像に関する新たな結果を導出すること。

提案手法

• 4 次元多様体における Θ グラフの surgery を用いて、非自明なモノドロミーを持つ S¹ 上の 4 次元多様体バンドルを構成する。
• リー代数的局所係数系を備えた配置空間に沿って、Kontsevich の特徴類のねじれ版を用いた摂動的不変量を定義する。
• Marché–Lescop の等置的三重交線不変量の高次元版を、局所係数系がアセイクルである 4 次元多様体に適用する。
• ホロノミー拡張されたクロス積を用いた、局所係数を備えたファイバーごとの配置空間構成を採用する。
• R-装飾付き Θ グラフを用いて不変量を計算し、リンク数および局所係数を伴うチェインの交線を用いて評価する。
• π₁(Σ³) の ad 表現が 𝔰𝔩₂(ℂ) 上でアセイクルであることを利用し、不変量が適切に定義されかつ非消滅することを保証する。

実験結果

リサーチクエスチョン

• RQ1 恒等写像にホモトープであるが同倫的でない、4 次元多様体の非同相な微分同相写像を無限個に構成することは可能か？
• RQ2 配置空間における等置的三重交線に基づくねじれ特徴類は、4 次元多様体バンドルにおける非自明なモノドロミーを検出できるか？
• RQ3 Θ グラフの surgery 法は、従来の技術では検出できない 4 次元多様体の写像類群の要素をどれほどまで検出できるか？
• RQ4 このような微分同相写像は、滑らかな Schoenflies 予想および擬同相写像理論にどのような影響を及えるか？
• RQ5 3 次元多様体の不変量をリー代数的局所係数系を備えた 4 次元多様体へ拡張することで、滑らかな構造の分類にどのような影響を与えるか？

主な発見

• 本稿は、X = Σ³ × S¹ という 4 次元多様体に対して、可算無限個の pairwise 非同相な微分同相写像を構成し、これらは恒等写像にホモトープであるが同倫的でない。
• これらの微分同相写像の非自明性は、配置空間における等置的三重交線から導かれるねじれ特徴類不変量によって確立される。
• 不変量は、π₁(Σ³) から SU(2) への随伴表現に関連する局所係数系を用いて定義され、X におけるこの係数系に関するコホモロジーが消滅する場合に非消滅することが示された。
• この構成により、D³×S¹ に関する先行研究を拡張し、4 次元多様体における非自明な擬同相写像と codimension-1 埋め込みの新たな例が得られた。
• Budney と Gabai の埋め込み計算アプローチでは検出できない微分同相写像を検出できることから、本手法はより広範な適用可能性を有することが示された。
• V₄ = Sym⁴V が π′-加群として非可約であることを証明し、コホモロジー計算における不変量の非消滅を裏付ける。