幾何学的トポロジー
数学において、幾何学的トポロジー(geometric topology)は、多様体とそれらの間の写像、特に多様体から多様体への埋め込み(embedding)の研究をする。
代数的トポロジーとは異なる分野としての幾何学的トポロジーは、1935年のライデマイスタートーション(Reidemeister torsion)によるレンズ空間の分類に原点をもっていると言ってよい。そこでは、ホモトピー同値だが同相ではない空間の識別が要求された。これが単純ホモトピー(simple homotopy theory) の原点であった。
多様体は、低次元と高次元の振る舞いは極端に異なっている。
高次元トポロジーは、5 あるいは、それ以上の次元の多様体を指すか、または、相対的な場合には、余次元が 3 あるいは、それ以上の次元の埋め込みを指す。一方、低次元トポロジーは、4 以下の次元の問題に関係しているか、あるいは、余次元 2 以下での埋め込みに関係している。
次元が 4 は特別で、ある見方(トポロジックな)では次元 4 は高次元であることに対し、他の見方(微分同相として)では次元 4 は低次元である。この重なりによって、次元 4 では、たとえば、エキゾチックR4(exotic differentiable structures on R4)のような、例外的な現象が生み出される。このように、4次元多様体のトポロジー的な分類は原理上は簡単であり、重要な問題は、位相多様体は微分可能構造を持つか?と、もし微分可能構造を持つならばどのくらい持つのか?、である。次元が 4 の滑らかな場合は、重要な問題として一般ポアンカレ予想(generalized Poincaré conjecture)が未だ解決されていないことが挙げられる。グルックのツイスト(Gluck twist)を参照。
この差異の理由は、次元 5 とそれ以上の次元では手術理論が働くので(実際、手術理論は次元 4 ではトポロジカルには働くが、その証明は非常に複雑である)、従って、5次元、あるいはそれ以上の次元での多様体の振る舞いは、手術理論により代数的に制御される。4次元とそれ以下の次元(位相的には 3次元とそれ以下の次元)では、手術理論は働かず、別の現象が発生する。実際、低次元多様体を議論するひとつのアプローチは、「手術理論が正しいと予想できるものが、働くであろうか?」と問い、そして、それからの差として低次元の現象を理解することである。
次元 5 の場合との差異の詳しい理由は、手術理論の基礎となっている重要な技術的トリックであるホイットニーの埋め込み定理(Whitney embedding theorem)が、2 + 1 次元を要求するからである。大まかにいうと、このトリックによって、結び目のある球面を"結び目なし"にすることができる。より正確には、はめ込みの自己交叉を削除できる。このことは円板のホモトピーを通して行われる。円板は次元が 2 であり、ホモトピーはもう 1 次元必要で、従って余次元が 2 より大きければ、自己交叉なしで手術を行うことが可能である。従って、余次元が 2 より大きい場合の埋め込みは、手術理論で考えることが可能である。手術理論では、重要な段階が中間次元にあるので、中間次元の余次元が 2 より大きい場合(概略では 2½ で十分で、全体の次元は 5 で十分である)、ホイットニーのトリックが働く。この重要な結果が、スメール(Smale)のh-コボルディズム定理(h-cobordism theorem)であり、次元 5 とそれ以上で働き、手術理論の基礎をなす。
ホイットニーのトリックの変形は、4 次元でも可能で、キャッソンハンドル(Casson handle)と呼ばれる。十分な次元が存在しないため、ホイットニーの円板は新しい捩れ(kink)を発生させ、それを他のホイットニーの円板により解消させることができる。このことから円板の列(「塔」)が発生する。この塔の極限は、トポロジカルではあるが、微分可能ではない写像を得るので、4次元で手術はトポロジカルに機能するが、微分可能ではない。
すべての次元で、多様体の基本群は、非常に重要な不変量であり、構造の多くを決定する。次元 1, 2, 3 では、可能な基本群は限定され、一方、4 以上の次元では、すべての有限表示群は、多様体の基本群である(4次元と5次元多様体に対し、このことを示し、高次元の場合は球面との積を取ることで十分であることに注意する)。
多様体は、向きを選ぶことができるならば、向きつけ可能で、連結な向き付け可能多様体は、2つの異なる向き付けが可能である。この設定では、互いに同値な様々な向きつけ可能性の定式化を与えることができ、要求された応用や一般性のレベルに依存する。一般位相多様体への応用の定式化は、ホモロジー論の方法に頼ることが多く、一方、微分可能多様体(differentiable manifold)への応用の定式化は、さらに構成が存在するため、微分形式のことばでの定式化する。空間の向き付けの考えかたの重要な一般化は、他の空間(ファイバーバンドル)によりパラメーター化された空間のぞくの向き付けへの一般化で、そのためには向き付けは、パラメータの値の変化に関して連続的に変化する空間の中で選択されねばならない。
m次元多様体 M のハンドル分解は、合併
\emptyset = M_{-1} \subset M_0 \subset M_1 \subset M_2 \subset \dots \subset M_{m-1} \subset M_m = M
である。ここに各々の M_i は、M_{i-1} より i-ハンドル(handles)を付けることによりえられる。ハンドル分解は、CW分割(CW-decomposition)が位相空間に対し適用されるように、多様体にたいして適用される。多くの観点より、ハンドル分解は、CW複体の類似をもっているが、滑らかな多様体(smooth manifold)の世界への適用される。このように、i-ハンドルは i-セルの滑らかな類似である。多様体のハンドル分解は、自然にモース理論を通して出てくる。ハンドル構造の変形は、サーフ理論(Cerf theory)と密接に関連する。
局所平坦性(local flatness)は、大きな次元の位相多様体(topological manifold)の部分多様体の性質である。位相多様体の圏では、局所平坦多様体は滑らかな多様体(smooth manifolds)の圏の部分多様体と同じ役目を果たす。
d 次元多様体 N が n 次元多様体 M の中へ埋め込まれているとする( d < n )。x \in N, に対し、x の近傍  U \subset M が存在し、位相的ペア(topological pair) (U, U\cap N) が、\mathbb{R}^n の部分空間として \mathbb{R}^d の標準的埋め込みとなり、ペア (\mathbb{R}^n,\mathbb{R}^d) と同相であるとき、N を x で局所平坦(locally flat)であるという。すなわち、同相 U\to R^n が存在し、U\cap N の像と一致するときである。
一般化シェーンフリースの定理は、(n − 1)-次元球面 S が n-次元球面 Sn へ局所平坦な方法で埋め込まれている(つまり、埋め込みが厚い球面の埋め込みへ拡張される)とすると、ペア (Sn, S) はペア (Sn, Sn−1) と同相であるという定理である。ここに Sn−1 は n-球面の 1/4 である。ブラウン(Brown)とメイザー(Mazur)は、独立にこの定理を証明することでヴェブレン賞を受賞した。
幾何学的トポロジーのトピック一覧(List of geometric topology topics)