微分同相写像

数学において、微分同相写像は滑らかな多様体の同型写像である。それは1つの可微分多様体を別の可微分多様体に写す可逆関数であって、関数と逆関数が両方滑らかであるようなものである。

1. 定義
-----

2 つの多様体 //M// と //N// が与えられたとき、可微分写像 //f//: //M// → //N// は全単射かつ逆写像 //f//−1: //N// → //M// も可微分なとき微分同相  と呼ばれる。この関数が //r// 回連続微分可能であれば、//f// は //微分同相  と呼ばれる。

2 つの多様体 //M// と //N// が微分同相  であるとは、//M// から //N// への微分同相写像 //f// が存在するということである。それらが // 微分同相  であるとは、それらの間の //r// 回連続微分可能な全単射が存在して逆写像もまた //r// 回連続微分可能であるということである。

2. 多様体の部分集合の微分同相写像
------------------

多様体 //M// の部分集合 //X// と多様体 //N// の部分集合 //Y// が与えられると、関数 //f//: //X// → //Y// は次のとき滑らか  であると言われる。すべての //p// ∈ //X// に対して //p// のある近傍 //U// ⊂ //M// と滑らかな関数 //g//: //U// → //N// が存在して制限が一致する 。全単射、滑らか、かつ逆関数も滑らかなとき、//f// は微分同相写像  であると言う。

3. 局所的な記述
---------

モデル例。 //U//, //V// が R//n// の連結開部分集合であって //V// は単連結なとき、可微分写像 //f// : //U// → //V// が微分同相写像  であるとは、それが固有写像であり微分 //Dfx// : R//n// → R//n// が各点 //x// ∈ //U// において全単射であるということである。

Remark 1. 関数 //f// が大域的に可逆であるためには //V// が単連結であることは本質的である。例えば、複素平方関数の「実化」を考えよう。すると //f// は全射であり

を満たすので //Dfx// は各点で全単射だが //f// は可逆でない、なぜなら単射でないからだ、例えば //f// =  = //f//。

Remark 2. 各点での微分は線型写像であるから well defined な逆関数を持つことと //Dfx// が全単射であることは同値である。//Dfx// の行列表現は //i//-行目と //j//-列目の成分が であるような一階偏微分の //n// × //n// 行列である。しばしばこのいわゆるヤコビ行列を明示的な計算に対して使う。

Remark 3. 微分同相写像は同じ次元の多様体間でなければならない。仮に //f// が //n// 次元から //k// 次元に行っていると想像しよう。//n// < //k// であれば //Dfx// は全射にはなり得ず //n// > //k// であれば //Dfx// は単射にはなり得ない。なのでどちらの場合にも //Dfx// は全単射にならない。

Remark 4. //Dfx// が //x// において全単射であれば //f// は局所微分同相写像  であるという。

Remark 5. 次元 //n// から次元 //k// への滑らかな写像が与えられると、//Df//  が全射であれば、//f// は沈めこみ  ) と言い、//Df//  が単射であれば //f// ははめ込み  ) と言う。

Remark 6. 可微分全単射は微分同相とは//限らない//、例えば //f// = //x//3 は R から自身への微分同相ではない、なぜならば微分が 0 において消えるからである。これは微分同相でない同相写像の例である。

Remark 7. //f// が微分同相写像であることは //f// が同相写像であることよりも強い条件である。微分同相写像に対して //f// とその逆関数が可微分である必要がある。同相写像に対しては //f// とその逆関数が連続であることを要求するだけである。したがってすべての微分同相写像は同相写像であるが、逆は間違いである： すべての同相写像が微分同相写像であるわけではない。さて //f// : //M// → //N// は座標チャートにおいて上の定義を満たすとき微分同相写像  と呼ばれる。より正確には、協調的な座標チャートによって //M// の任意の被覆を選び、//N// についても同じことをする。φ と ψ をそれぞれ //M// と //N// 上のチャートとし、//U// を φ の像とし //V// を ψ の像とする。このとき条件は写像 ψ//f//φ−1 : //U// → //V// が上の定義の意味で微分同相写像であるというものである。2つの与えられたアトラスのチャート φ, ψ のすべての対に対してそれを確認しなければならないが、一度確認されてしまえば、任意の他の協調的なチャートに対しても正しくなる。再び次元は一致しなければならないことがわかる。

4. 例
----

任意の多様体は局所的にパラメトライズできるから、R2 から R2 へのいくつかの明示的な写像を考えることができる。

　　 とする。ヤコビ行列を計算できる：ヤコビ行列の行列式が 0 であることと //xy// = 0 は同値である。//f// は //x//-軸と //y//-軸から離れて微分同相写像であることがわかる。
　　 とする、ただし と は任意の実数で、省かれた項は //x// と //y// において少なくとも次数 2 である。0 におけるヤコビ行列を計算できる：//g// が 0 において局所微分同相写像であることとすなわち //g// の成分の線型項は多項式として線型独立であることが同値であることがわかる。
　　 とする。ヤコビ行列を計算できる：ヤコビ行列はすべての点で行列式 0 である！実は //h// の像は単位円であることがわかる。

5. 微分同相写像の群
-----------

//M// を第二可算かつハウスドルフな可微分多様体とする。//M// の微分同相写像群  は //M// から自身へのすべての //Cr// 微分同相写像の群であり、Diff//r// あるいは //r// がわかっているときには Diff と表記される。これは局所コンパクトでないという意味で「大きい」群である。

5.1. 位相
-------

微分同相写像群は2つの自然な位相、弱位相と強位相を持つ Hirsch。多様体がコンパクトなとき、これらの2つの位相は一致する。弱位相は必ず距離化可能である。多様体がコンパクトでないとき、強位相は「無限遠における」関数の振る舞いを捉え、距離化可能でない。しかしなおベール空間ではある。

//M// 上のリーマン計量を固定して、弱位相は //K// が //M// のコンパクト部分集合を動くときの計量

の族によって誘導される位相である。実際、//M// は σコンパクトであるから、和集合が //M// であるような //K////n// のコンパクト部分集合の列が存在する。そして

と定義する。

弱位相を備えた微分同相写像群は //Cr// ベクトル場の空間に局所同相である Leslie。//M// のコンパクト部分集合上、これは //M// 上のリーマン計量を固定してその計量に対する指数写像 を用いることによって従う。//r// が有限で多様体がコンパクトであれば、ベクトル場の空間はバナッハ空間である。さらに、このアトラスの1つのチャートから別のチャートへの変換関数は滑らかであり、微分同相写像群はバナッハ多様体になる。//r//   =   ∞ あるいは多様体がσコンパクトであれば、ベクトル場の空間はフレシェ空間である。さらに、変換関数は滑らかであり、微分同相写像群はフレシェ多様体になる。

5.2. リー代数
---------

特に、//M// の微分同相写像群のリー代数は //M// 上のすべてのベクトル場からなり、ベクトル場のリーブラケットを備えている。幾分形式的に、これは空間の各点における座標 //x// に小さい変化を加えることによってわかる：

なので無限小生成元はベクトル場である

5.3. 例
------

//M//   =   //G// がリー群のとき、left-translation を経由して //G// のそれ自身の微分同相写像群への自然な包含がある。Diff で //G// の微分同相写像群を表すと、splitting Diff ≃ //G// × Diff}} が存在する、ただし Diff は群の単位元を固定する Diff の部分群である。
ユークリッド空間 R//n// の微分同相写像群は2つの成分からなり、向きを保つのと向きを逆にする微分同相写像からなる。実は、一般線型群は写像 //f// ↦ //f/////t//}}, //t//   ∈    の変位レトラクトである。したがってとくに一般線型群は diffeomorphism group 全体の変位レトラクトでもある。
点の有限集合に対して、微分同相写像群は単に対称群である。同様に、//M// が任意の多様体であれば群の拡大 0 → Diff0 → Diff → Σ)}} が存在する。ここで Diff0 は //M// のすべての成分を保存する Diff の部分群であり、Σ) は集合 0 の置換群である。さらに、写像 Diff → Σ)}} の像は微分同相写像類を保存する 0 の全単射である。

5.4. 推移性
--------

連結多様体 //M// に対して微分同相写像群は //M// 上推移的に作用する。より一般に、微分同相写像群は configuration space //CkM// 上推移的に作用する。//M// の次元が少なくとも 2 であれば微分同相写像群は configuration space //FkM// 上推移的に作用する： //M// 上の作用は多重可移である Banyaga。

5.5. 微分同相写像の拡張
--------------

1926 年、Tibor Radó は単位円の単位円板への任意の同相写像の調和拡大  は開円板上の微分同相写像を生むかどうか問うた。エレガントな証明がすぐ後に ヘルムート・クネーザー  によって提出され、全く異なる証明がギュスタヴ・ショケ  によって 1945 年に、明らかに定理が既に知られていたことに気付かずに、発見された。

円の微分同相写像群は弧状連結である。これは任意のそのような微分同相写像は 1=//f// = //f// + 1}} を満たす実数全体の微分同相写像 //f// に持ち上げられることに注意することによってわかる； この空間は凸でありしたがって弧状連結である。恒等写像への滑らかな eventually constant path は円から開円板への微分同相写像を拡張する第二のより初等的な方法を与える。さらに、円の微分同相写像群は直交群 O のホモトピー型を持つ。

高次元の球面 S//n//−1 の微分同相写像に対する対応する拡張問題はルネ・トム 、ジョン・ミルナー 、スティーヴン・スメイル  の顕著な貢献とともに 1950 年代と 1960 年代に多く研究された。そのような拡張の障害は有限アーベル群 Γ//n// 、"group of twisted spheres" によって与えられる。これは微分同相写像群のアーベル component group の、球 //B////n// の微分同相写像に拡張する類の部分群による商として定義される。

5.6. 連結性
--------

多様体に対して微分同相写像群は通常連結でない。その component group は写像類群と呼ばれる。次元 2 において、すなわち曲面に対して、写像類群は有限表示群であり、Dehn twists によって生成される  date=December 2009}}。マックス・デーン  と Jakob Nielsen はそれは曲面の基本群の外部自己同型群と同一視できることを証明した。

ウィリアム・サーストン  は写像類群の元を分類することによって 3 つのタイプにこの解析を細分した：周期的微分同相写像に同値なもの； 単純閉曲線を不変のままにする微分同相写像に同値なもの； pseudo-Anosov diffeomorphisms に同値なもの。トーラス S1 × S1 = R2/Z2 の場合には、写像類群は単にモジュラー群 SL であり分類は楕円型、放物型、双曲型行列の言葉の古典的なものに帰着する。サーストンは写像類群はタイヒミュラー空間のコンパクト化上に自然に作用することを観察することによって彼の分類を達成した； この大きくされた空間は閉球に同相であるから、ブラウアーの不動点定理が適用可能になる。

//M// が向き付けられた滑らかな閉多様体であれば、スメイルによって、向きを保つ微分同相写像の群の単位元成分は単純であることが予想された。これはまず Michel Herman によって円の積に対して証明されていた； サーストンによって完全に一般的に証明された。

5.7. ホモトピー型
-----------

S2 の微分同相写像群は部分群 O のホモトピー型を持つ。これは Steve Smale によって証明された。
トーラスの微分同相写像群はその線型自己同型のホモトピー型を持つ： S1 × S1 × GL.
種数 //g// > 1 の向き付け可能な曲面の微分同相写像群は写像類群のホモトピー型を持つ、すなわち成分は可縮である。
3 次元多様体の微分同相写像群のホモトピー型は、少しの目立った未解決のケース、主として有限基本群を持つ 3 次元多様体、があるが、Ivanov, Hatcher, Gabai and Rubinstein の仕事によってかなりよく理解されている。
//n// > 3 に対して //n// 次元多様体の微分同相写像群のホモトピー型は十分に理解されていない。例えば、Diff が2つよりも多くの成分を持つか否かは未解決問題である。しかし Milnor, Kahn and Antonelli の仕事によって Diff は //n// > 6 であれば有限 CW 複体のホモトピー型を持たないことが知られている。

6. 同相写像と微分同相写像
--------------

微分同相写像でない同相写像を見つけるのは容易だが、微分同相でない同相多様体の対を見つけることはより難しい。次元 1, 2, 3 において、同相で滑らかな多様体の任意の対は微分同相である。次元 4 かまたはそれより上において、同相だが微分同相でない対の例が見つかっている。最初のそのような例はジョン・ミルナー  によって 7 次元において構成された。彼は標準的な 7 次元球面に同相だが微分同相ではない滑らかな 7 次元多様体を構成した。実は 7 次元球面に同相な多様体の向き付けられた微分同相類は 28 存在する