この記事は(検証可能)な(参考文献や出典)が全く示されていないか、不十分です。（2011年11月） |
微分位相幾何学もしくは微分トポロジー（英語：differential topology）は、多様体の(微分可能構造)に注目する幾何学の一分野。(微分可能構造)という位相のみでは決まらないものを扱うため純粋な位相幾何学として扱うのは難しい部分もあるが,位相が与えられている多様体の(微分可能構造)つまり微積分ができるような構造を調べるということで位相多様体を調べるもので,(微分可能構造)まで込めた多様体に距離や曲率を定めて研究を行う微分幾何学に比べ自由度は高いことから位相幾何学であるとされている。解析学や微分幾何学と位相幾何学の学際研究が非常に有益なことは初期から知られており、局所的な性質を扱う微分幾何学と大域的な性質を扱う位相幾何学の対照的な2分野による多様体の研究は双方の発展を促した。古くはフェリックス・クラインやアンリ・ポアンカレまで遡れ、現在微分位相幾何学と呼ばれているものはルネ・トムやジョン・ミルナーといった数学者によって創り出された。
概要
微分トポロジーは多様体の(微分可能構造)を研究する幾何学である。微分幾何学の不変量である曲率並びにそれに基づく(幾何構造)は微積分によって定める。このとき多様体上での微分の基準（線型の定義）が微分可能構造である。微分位相幾何学では角度、大きさ、曲率といったものを考えない。これはトポロジーの最も特徴的な性質の1つだが、微分トポロジーは普通のトポロジーよりも自由度が小さい。位相的には同じだが微分可能構造が違う例はミルナーによって発見された(異種7次元球面)が最初である。7次元球面は28種類の異なる幾何構造を持つ。もっと顕著な例は4次元空間であり、これはドナルドソンによって本質的に異なる微分可能構造が無限にあることが示されている。別種の例として滑らかな微分構造を持たない位相多様体なども挙げられる。
トポロジーと微分トポロジーの間に顕著な例が現れるのは(高次元)の場合であり、例えば2次元の多様体は全て微分可能な多様体に(同相変換)可能であることがラドによって、3次元の多様体については(モイーズ)とビングによって示されている。また、2次元多様体はただ1種類の自然な幾何構造を持つことがケーベとポアンカレによって示されている。
歴史
微分幾何学はカール・フリードリヒ・ガウスやベルンハルト・リーマン等による曲率の研究に、位相幾何学（トポロジー）はゴットフリート・ライプニッツやレオンハルト・オイラー等による位置の解析に端を発するが、微分幾何学と位相幾何学の初期の学際はアンリ・ポアンカレによる三（多）体問題の解析がある。三（多）体問題とは天体力学から派出したもので静かな空間に3つ（もしくはそれ以上）の物体が浮かんでいるときその物体はどのような運動をするかという力学系（従って解析学）の問題である。ポアンカレはこの力学系を定める微分方程式のベクトル場がある多様体を作ることに注目して、その多様体にトポロジー的知見から迫ることでニュートンの時代からある難問を解いた。ポアンカレはカオス的な振る舞いをする力学系を初めて発見した解析学者であり、トポロジーを1つの学問として定式化したトポロジストでもある。
純粋な多様体の問題に関する初期の例には前述のポアンカレやドイツの数学者フェリックス・クラインとその弟子パウル・ケーベ等による2次元多様体（曲面）の(幾何構造)による分類がある。幾何構造は曲率から生まれた概念でしたがって微分幾何学に関係する。彼等は全ての2次元多様体にそれと同相で（位相的に等しく）自然な幾何構造をもつものがあることを証明した。後にジョン・ナッシュはこれを発展させたナッシュのリーマン多様体埋め込み定理を証明した。これらは2次元の微分幾何学における最も大きな成果である。
1950年代にはアーエイチ・ビングと(エドウィン・モイーズ)によってそれぞれ独立に全ての3次元多様体が三角形分割できることが証明される。多様体が三角形分割できるということは微分可能な多様体に同相変換可能だということ、つまり3次元トポロジーの研究に微分幾何学を応用できるということを示す。この発見を皮切りに3次元の位相幾何学と微分幾何学の関係の研究が急速に発展することになった。同じ頃1956年、ジョン・ミルナーがフランスのトポロジストでカタストロフィー理論の創始者としても有名なルネ・トムの功績に基づき(7次元)球面には本質的に異なる28種の(微分可能構造)が存在することを示した。このトム、ミルナーに始まった(高次元)多様体の研究こそ現在、微分位相幾何学といわれているものの始まりである。1960年にはスティーブン・スメールがトムの創始した(コボルディズム理論)を用いてトポロジーの基本問題であるポアンカレ予想を5次元以上について証明し、1981年にはマイケル・フリードマンによって4次元について、そして最後に残っていた3次元についてはリチャード・ハミルトンが導入した微分方程式リッチフローを使ってグリゴリー・ペレルマンにより2003年証明された。ポアンカレ予想というトポロジーの非常に基本的な問題が微分位相幾何学や微分幾何学を用いて解かれたという事実は多くのトポロジストを驚かせた。