微分同相写像
数学において、微分同相写像（びぶんどうそうしゃぞう、）は滑らかな多様体の同型写像である。それは1つの可微分多様体を別の可微分多様体に写す可逆関数であって、関数と逆関数が両方滑らかであるようなものである。
2 つの多様体 "M" と "N" が与えられたとき、可微分写像 "f": "M" → "N" は全単射かつ逆写像 "f": "N" → "M" も可微分なとき微分同相（写像） (diffeomorphism) と呼ばれる。この関数が "r" 回連続微分可能であれば、"f" は C（級）微分同相（写像） ("C"-diffeomorphism) と呼ばれる。
2 つの多様体 "M" と "N" が微分同相 (diffeomorphic) である（記号では通常 ≃）とは、"M" から "N" への微分同相写像 "f" が存在するということである。それらが "C" 微分同相 ("C" diffeomorphic) であるとは、それらの間の "r" 回連続微分可能な全単射が存在して逆写像もまた "r" 回連続微分可能であるということである。
多様体 "M" の部分集合 "X" と多様体 "N" の部分集合 "Y" が与えられると、関数 "f": "X" → "Y" は次のとき滑らか (smooth) であると言われる。すべての "p" ∈ "X" に対して "p" のある近傍 "U" ⊂ "M" と滑らかな関数 "g": "U" → "N" が存在して制限が一致する formula_1 （"g" は "f" の拡張であることに注意）。全単射、滑らか、かつ逆関数も滑らかなとき、"f" は微分同相写像 (diffeomorphism) であると言う。
モデル例。 "U", "V" が R の連結開部分集合であって "V" は単連結なとき、可微分写像 "f" : "U" → "V" が微分同相写像 (diffeomorphism) であるとは、それが固有写像であり微分 "Df" : R → R が各点 "x" ∈ "U" において全単射であるということである。
Remark 1. 関数 "f" が（その微分が各点で全単射という条件だけのもとでは）大域的に可逆であるためには "V" が単連結であることは本質的である。例えば、複素平方関数の「実化」
を考えよう。すると "f" は全射であり
を満たすので "Df" は各点で全単射だが "f" は可逆でない、なぜなら単射でないからだ、例えば "f"(1,0) = (1,0) = "f"(−1,0)。
Remark 2. （微分可能関数に対して）各点での微分
は線型写像であるから well defined な逆関数を持つことと "Df" が全単射であることは同値である。"Df" の行列表現は "i"-行目と "j"-列目の成分が formula_5 であるような一階偏微分の "n" × "n" 行列である。しばしばこのいわゆるヤコビ行列を明示的な計算に対して使う。
Remark 3. 微分同相写像は同じ次元の多様体間でなければならない。仮に "f" が "n" 次元から "k" 次元に行っていると想像しよう。"n" < "k" であれば "Df" は全射にはなり得ず "n" > "k" であれば "Df" は単射にはなり得ない。なのでどちらの場合にも "Df" は全単射にならない。
Remark 4. "Df" が "x" において全単射であれば "f" は局所微分同相写像 (local diffeomorphism) であるという（なぜならば連続性によって "x" に十分近いすべての "y" に対して "Df" もまた全単射になるからである）。
Remark 5. 次元 "n" から次元 "k" への滑らかな写像が与えられると、"Df" (resp. "Df") が全射であれば、"f" は沈めこみ (submersion) (resp. 局所沈めこみ (local submersion)) と言い、"Df" (resp. "Df") が単射であれば "f" ははめ込み (immersion) (resp. 局所はめ込み (local immersion)) と言う。
Remark 6. 可微分全単射は微分同相とは"限らない"、例えば "f"("x") = "x" は R から自身への微分同相ではない、なぜならば微分が 0 において消える（したがって逆関数が 0 において微分可能でない）からである。これは微分同相でない同相写像の例である。
Remark 7. （"f" が"可微分"多様体の間の写像であるとき）"f" が微分同相写像であることは "f" が同相写像であることよりも強い条件である。微分同相写像に対して "f" とその逆関数が可微分である必要がある。同相写像に対しては "f" とその逆関数が連続であることを要求するだけである。したがってすべての微分同相写像は同相写像であるが、逆は間違いである： すべての同相写像が微分同相写像であるわけではない。
さて "f" : "M" → "N" は座標チャートにおいて上の定義を満たすとき微分同相写像 (diffeomorphism) と呼ばれる。より正確には、協調的な座標チャートによって "M" の任意の被覆を選び、"N" についても同じことをする。φ と ψ をそれぞれ "M" と "N" 上のチャートとし、"U" を φ の像とし "V" を ψ の像とする。このとき条件は写像 ψ"f"φ : "U" → "V" が（意味を持つときにはいつでも）上の定義の意味で微分同相写像であるというものである。2つの与えられたアトラスのチャート φ, ψ のすべての対に対してそれを確認しなければならないが、一度確認されてしまえば、任意の他の協調的なチャートに対しても正しくなる。再び次元は一致しなければならないことがわかる。
任意の多様体は局所的にパラメトライズできるから、R から R へのいくつかの明示的な写像を考えることができる。
"M" を第二可算かつハウスドルフな可微分多様体とする。"M" の微分同相写像群 (diffeomorphism group) は "M" から自身へのすべての "C" 微分同相写像の群であり、Diff("M") あるいは "r" がわかっているときには Diff("M") と表記される。これは（"M" が 0 次元でなければ）局所コンパクトでないという意味で「大きい」群である。
微分同相写像群は2つの自然な位相、弱位相と強位相を持つ 。多様体がコンパクトなとき、これらの2つの位相は一致する。弱位相は必ず距離化可能である。多様体がコンパクトでないとき、強位相は「無限遠における」関数の振る舞いを捉え、距離化可能でない。しかしなおベール空間ではある。
"M" 上のリーマン計量を固定して、弱位相は "K" が "M" のコンパクト部分集合を動くときの計量
の族によって誘導される位相である。実際、"M" は σコンパクトであるから、和集合が "M" であるような "K" のコンパクト部分集合の列が存在する。そして
と定義する。
弱位相を備えた微分同相写像群は "C" ベクトル場の空間に局所同相である 。"M" のコンパクト部分集合上、これは "M" 上のリーマン計量を固定してその計量に対するを用いることによって従う。"r" が有限で多様体がコンパクトであれば、ベクトル場の空間はバナッハ空間である。さらに、このアトラスの1つのチャートから別のチャートへの変換関数は滑らかであり、微分同相写像群はになる。"r" = ∞ あるいは多様体がσコンパクトであれば、ベクトル場の空間はフレシェ空間である。さらに、変換関数は滑らかであり、微分同相写像群はになる。
特に、"M" の微分同相写像群のリー代数は "M" 上のすべてのベクトル場からなり、を備えている。幾分形式的に、これは空間の各点における座標 "x" に小さい変化を加えることによってわかる：
なので無限小生成元はベクトル場である
連結多様体 "M" に対して微分同相写像群は "M" 上推移的に作用する。より一般に、微分同相写像群は "CM" 上推移的に作用する。"M" の次元が少なくとも 2 であれば微分同相写像群は configuration space "FM" 上推移的に作用する： "M" 上の作用はである 。
1926 年、 は単位円の単位円板への任意の同相写像（あるいは微分同相写像）の調和拡大 (harmonic extension) は開円板上の微分同相写像を生むかどうか問うた。エレガントな証明がすぐ後に ヘルムート・クネーザー (Hellmuth Kneser) によって提出され、全く異なる証明がギュスタヴ・ショケ () によって 1945 年に、明らかに定理が既に知られていたことに気付かずに、発見された。
円の（向きを保つ）微分同相写像群は弧状連結である。これは任意のそのような微分同相写像は を満たす実数全体の微分同相写像 "f" に持ち上げられることに注意することによってわかる； この空間は凸でありしたがって弧状連結である。恒等写像への滑らかな eventually constant path は円から開円板への微分同相写像を拡張する第二のより初等的な方法を与える（これはの特別な場合である）。さらに、円の微分同相写像群は直交群 O(2) のホモトピー型を持つ。
高次元の球面 S の微分同相写像に対する対応する拡張問題はルネ・トム (René Thom)、ジョン・ミルナー (John Milnor)、スティーヴン・スメイル (Stephen Smale) の顕著な貢献とともに 1950 年代と 1960 年代に多く研究された。そのような拡張の障害は有限アーベル群 Γ 、"" によって与えられる。これは微分同相写像群のアーベル の、球 "B" の微分同相写像に拡張する類の部分群による商として定義される。
多様体に対して微分同相写像群は通常連結でない。その component group はと呼ばれる。次元 2 において、すなわち曲面に対して、写像類群は有限表示群であり、s によって生成される (Dehn, , ) 。マックス・デーン (Max Dehn) と はそれは曲面の基本群のと同一視できることを証明した。
ウィリアム・サーストン (William Thurston) はによって 3 つのタイプにこの解析を細分した：
微分同相写像に同値なもの； 単純閉曲線を不変のままにする微分同相写像に同値なもの； に同値なもの。トーラス S × S = R/Z の場合には、写像類群は単にモジュラー群 SL(2, Z) であり分類は楕円型、放物型、双曲型行列の言葉の古典的なものに帰着する。サーストンは写像類群はのコンパクト化上に自然に作用することを観察することによって彼の分類を達成した； この大きくされた空間は閉球に同相であるから、ブラウアーの不動点定理が適用可能になる。
"M" が向き付けられた滑らかな閉多様体であれば、スメイルによって、向きを保つ微分同相写像の群のは単純であることが予想された。これはまず Michel Herman によって円の積に対して証明されていた； サーストンによって完全に一般的に証明された。
微分同相写像でない同相写像を見つけるのは容易だが、微分同相でない同相多様体の対を見つけることはより難しい。次元 1, 2, 3 において、同相で滑らかな多様体の任意の対は微分同相である。次元 4 かまたはそれより上において、同相だが微分同相でない対の例が見つかっている。最初のそのような例はジョン・ミルナー (John Milnor) によって 7 次元において構成された。彼は標準的な 7 次元球面に同相だが微分同相ではない（今ではと呼ばれる）滑らかな 7 次元多様体を構成した。実は 7 次元球面に同相な多様体の向き付けられた微分同相類は 28 存在する（そのそれぞれは をファイバーとして持つ 4 次元球面上のファイバー束の全空間である。
はるかに極端な現象は4次元多様体に対して起こる： 1980年代初頭、サイモン・ドナルドソン (Simon Donaldson) とマイケル・フリードマン (Michael Freedman) による結果を合わせての発見が導かれた： それぞれが R に同相な R の開部分集合でどの 2 つも微分同相でないものが非可算個存在し、また、R に滑らかに埋め込めない R に同相などの 2 つも微分同相でない可微分多様体が非可算個存在する。Chaudhuri, Shyamoli, Hakuru Kawai and S.-H Henry Tye. "Path-integral formulation of closed strings," Phys. Rev. D, 36: 1148, 1987.