[論文レビュー] A short introduction to shadows of 4-manifolds

Francesco Costantino|ArXiv.org|May 30, 2004

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿は、滑らかな3次元および4次元多様体を研究するための、追加構造である gleams（ gleam）と branchings（分岐）を備えた2次元の多面体であるシャドウの理論について、自己完結的な入門を提供する。シャドウが4次元多様体上の $\mathrm{Spin}^c$ 構造およびほぼ複素構造を組み合わせ的枠組みで符号化できることを確立し、分岐シャドウが任意のほぼ複素構造のホモトピー型を実現でき、かつ gleam と領域のオイラー数に関する明示的な組み合わせ的条件を満たせば、Steinドメイン構造をもたらすことを証明する。

ABSTRACT

We give a self-contained introduction to the theory of Turaev's shadows as a tool to study 3 and 4-manifolds. The goal of the present paper twofold: on one side it is intended to be a shortcut to a basic use of the theory of shadows, on the other side it gives a sketchy overview of some of the recent results on shadows. No original result is proved here and most of the details of the proofs are not included.

研究の動機と目的

• 3次元および4次元多様体のシャドウ理論について、実用的応用および最近の発展に焦点を当て、簡潔でアクセス可能な入門を提供すること。
• 単純な多様体、gleams、分岐シャドウが4次元多様体上の位相的および幾何的構造を符号化するための組み合わせ的道具として果たす役割を明確にすること。
• $\mathrm{Spin}^c$ 構造、Stein構造、3次元多様体における双曲幾何学といった主要な幾何的不変量との関係を確立すること。
• 分岐シャドウによる4次元多様体上でのほぼ複素構造およびStein構造の実現のための組み合わせ的基準を提示すること。

提案手法

• 3-価または4-価の特異点をもつ局所モデルを持つ、単純な多様体（2次元CW複体）を、シャドウ構成の基礎的対象として用いる。
• Turaevの厚め手順を用いて、4次元多様体内の正則近傍の位相を符号化するため、領域上に整数値関数（gleam）を割り当てる。
• 多様体に分岐構造を導入することで、分岐シャドウを定義し、滑らかな構造および2次元平面分布の可縮性を定義する。
• 厚め手順を応用して、シャドウに4次元多様体を関連づけ、gleam を用いて正則近傍の位相を決定する。
• 分岐によって誘導される、互いに横断的で向き付けられた2次元平面分布のペアを用いて、ほぼ複素構造のホモトピー型を定義する。
• 厚められた4次元多様体にStein構造が存在するための、gleam と領域のオイラー数に関する組み合わせ的条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 シャドウを用いて、4次元多様体上の $\mathrm{Spin}^c$ 構造をどのように組み合わせ的に表現できるか？
• RQ2 分岐シャドウにどのような条件を課すと、その厚められた多様体がSteinドメイン構造をもつようになるか？
• RQ3 分岐シャドウを用いて、4次元多様体内に最小位相の埋め込み面を構成できるか？
• RQ4 分岐シャドウは、3次元多様体上に存在するタイト接触構造とどのように関係するか？
• RQ5 シャドウの複雑さは、3次元多様体における双曲幾何の性質を符号化する上で果たす役割は何か？

主な発見

• 4次元多様体にシャドウが存在する場合、その任意の $\mathrm{Spin}^c$ 構造は分岐シャドウから生じ、$\mathrm{Spin}^c$ 構造と分岐シャドウの間には自然な全単射が存在する。
• 4次元多様体にシャドウが存在する任意のほぼ複素構造 $J$ に対して、$J$ を実現する分岐シャドウが存在し、さらに $J$ にホモトープな複素構造 $J'$ が構成可能であり、そのシャドウには $J'$-複素点の負の型をもつ点が存在しない。
• 各領域について、オイラー数と gleam の和 $Eul_i + gl_i \leq k_i$ に関する組み合わせ的条件が満たされれば、厚められた4次元多様体は分岐シャドウによって定まるホモトピー型のStein構造をもつ。
• すべての gleam が非負であり、オイラー数が非正であるとき、シャドウ構成により3次元多様体境界にタイト接触構造が得られ、BenedettiとPetronioの予想が裏付けられる。
• 領域に gleam がゼロである分岐シャドウを用いることで、$H_2(M;\mathbb{Z})$ 内のホモロジー類の最小位相代表の明示的構成が可能である。
• 分岐シャドウを用いて定義されるシャドウの複雑さは、3次元多様体の双曲幾何と深く関係しており、特に著者とD. Thurstonの研究を通じて明らかになる。