微分同相写像

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

## 定義
2 つの多様体 *M* と *N* が与えられたとき、可微分写像 *f*: *M* → *N* は全単射かつ逆写像 *f*−1: *N* →  *M* も可微分なとき**微分同相**（**写像**） (diffeomorphism) と呼ばれる。この関数が *r* 回連続微分可能であれば、*f* は ***C<sup>r</sup>***（**級**）**微分同相**（**写像**） (*C<sup>r</sup>*-diffeomorphism) と呼ばれる。

2 つの多様体 *M* と *N* が**微分同相** (diffeomorphic) である（記号では通常 ≃）とは、*M* から *N* への微分同相写像 *f* が存在するということである。それらが **''C<sup>r</sup>'' 微分同相** (*C<sup>r</sup>* diffeomorphic) であるとは、それらの間の *r* 回連続微分可能な全単射が存在して逆写像もまた *r* 回連続微分可能であるということである。

## 多様体の部分集合の微分同相写像
多様体 *M* の部分集合 *X* と多様体 *N* の部分集合 *Y* が与えられると、関数 *f*: *X* → *Y* は次のとき滑らか (smooth) であると言われる。すべての *p* &isin; *X* に対して *p* のある近傍 *U* ⊂ *M* と滑らかな関数 *g*: *U* → *N* が存在して制限が一致する g_{|U \cap X} = f_{|U \cap X} （*g* は *f* の拡張であることに注意）。全単射、滑らか、かつ逆関数も滑らかなとき、*f* は微分同相写像 (diffeomorphism) であると言う。

## 局所的な記述

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

**Remark 1.** 関数 *f* が（その微分が各点で全単射という条件だけのもとでは）大域的に可逆であるためには *V* が単連結であることは本質的である。例えば、複素平方関数の「実化」
:\begin{cases}
f : \mathbf{R}^2 \setminus \{(0,0)\} \to \mathbf{R}^2 \setminus \{(0,0)\} \\
(x,y)\mapsto(x^2-y^2,2xy)
\end{cases} 
を考えよう。すると *f* は全射であり
:\det Df_x=4(x^2+y^2)\neq0 
を満たすので *Df<sub>x</sub>* は各点で全単射だが *f* は可逆でない、なぜなら単射でないからだ、例えば *f*(1,0) = (1,0) = *f*(−1,0)。

**Remark 2.** （微分可能関数に対して）各点での微分
:Df_x : T_xU \to T_{f(x)}V 
は線型写像であるから well defined な逆関数を持つことと *Df<sub>x</sub>* が全単射であることは同値である。*Df<sub>x</sub>* の行列表現は *i*-行目と *j*-列目の成分が \partial f_i / \partial x_j であるような一階偏微分の *n* × *n* 行列である。しばしばこのいわゆるヤコビ行列を明示的な計算に対して使う。

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

<blockquote>*'Remark 4.** ''Df<sub>x</sub>'' が ''x'' において全単射であれば ''f'' は[[局所微分同相写像]] (local diffeomorphism) であるという（なぜならば連続性によって ''x'' に十分近いすべての ''y'' に対して ''Df<sub>y</sub>'' もまた全単射になるからである）。</blockquote>

<blockquote>**Remark 5.** 次元 ''n'' から次元 ''k'' への滑らかな写像が与えられると、''Df'' (resp. ''Df<sub>x</sub>'') が全射であれば、''f'' は[[沈めこみ]] (submersion) (resp. 局所沈めこみ (local submersion)) と言い、''Df'' (resp. ''Df<sub>x</sub>'') が単射であれば ''f'' は[[はめ込み]] (immersion) (resp. 局所はめ込み (local immersion)) と言う。</blockquote>

<blockquote>**Remark 6.** 可微分全単射は微分同相とは''限らない''、例えば ''f''(''x'') = ''x''<sup>3</sup> は **R** から自身への微分同相ではない、なぜならば微分が 0 において消える（したがって逆関数が 0 において微分可能でない）からである。これは微分同相でない同相写像の例である。</blockquote>

<blockquote>**Remark 7.** （''f'' が''可微分''多様体の間の写像であるとき）''f'' が微分同相写像であることは ''f'' が[[同相写像]]であることよりも強い条件である。微分同相写像に対して ''f'' とその逆関数が[[可微分]]である必要がある。同相写像に対しては ''f'' とその逆関数が[[連続関数|連続]]であることを要求するだけである。したがってすべての微分同相写像は同相写像であるが、逆は間違いである： すべての同相写像が微分同相写像であるわけではない。</blockquote>

さて ''f'' : ''M'' → ''N'' は[[多様体|座標チャート]]において上の定義を満たすとき**微分同相写像** (diffeomorphism) と呼ばれる。より正確には、協調的な座標チャートによって ''M'' の任意の被覆を選び、''N'' についても同じことをする。φ と ψ をそれぞれ ''M'' と ''N'' 上のチャートとし、''U'' を φ の像とし ''V'' を ψ の像とする。このとき条件は写像 ψ''f''φ<sup>−1</sup> : ''U'' → ''V'' が（意味を持つときにはいつでも）上の定義の意味で微分同相写像であるというものである。2つの与えられた[[多様体|アトラス]]のチャート φ, ψ のすべての対に対してそれを確認しなければならないが、一度確認されてしまえば、任意の他の協調的なチャートに対しても正しくなる。再び次元は一致しなければならないことがわかる。

== 例 ==
任意の多様体は局所的にパラメトライズできるから、**R**<sup>2</sup> から **R**<sup>2</sup> へのいくつかの明示的な写像を考えることができる。

* 　　 <math>f(x,y) = (x^2 + y^3, x^2 - y^3)</math> 
:とする。ヤコビ行列を計算できる：
::<math> J_f = \begin{pmatrix} 2x & 3y^2 \\ 2x & -3y^2 \end{pmatrix} . </math>
:ヤコビ行列の行列式が 0 であることと ''xy'' = 0 は同値である。''f'' は ''x''-軸と ''y''-軸から離れて微分同相写像であることがわかる。

*  　　<math>g(x,y) = \left (a_0 + a_{1,0}x + a_{0,1}y + \cdots, \ b_0 + b_{1,0}x + b_{0,1}y + \cdots \right )</math> 
:とする、ただし <math>a_{i,j}</math> と <math>b_{i,j}</math> は任意の実数で、省かれた項は ''x'' と ''y'' において少なくとも次数 2 である。**0** におけるヤコビ行列を計算できる：
::<math> J_g(0,0) = \begin{pmatrix} a_{1,0} & a_{0,1} \\ b_{1,0} & b_{0,1} \end{pmatrix}. </math>
:''g'' が **0** において局所微分同相写像であることと
::<math>a_{1,0}b_{0,1} - a_{0,1}b_{1,0} \neq 0,</math>
:すなわち ''g'' の成分の線型項は多項式として線型独立であることが同値であることがわかる。

* 　　 <math>h(x,y) = \left (\sin(x^2 + y^2), \cos(x^2 + y^2) \right )</math>
:とする。ヤコビ行列を計算できる：
::<math> J_h = \begin{pmatrix} 2x\cos(x^2 + y^2) & 2y\cos(x^2 + y^2) \\ -2x\sin(x^2+y^2) & -2y\sin(x^2 + y^2) \end{pmatrix} . </math>
:ヤコビ行列はすべての点で行列式 0 である！実は ''h'' の像は単位円であることがわかる。

== 微分同相写像の群 ==
''M'' を[[第二可算]]かつハウスドルフな可微分多様体とする。''M'' の**微分同相写像群** (diffeomorphism group) は ''M'' から自身へのすべての ''C<sup>r</sup>'' 微分同相写像の群であり、Diff<sup>''r''</sup>(''M'') あるいは ''r'' がわかっているときには Diff(''M'') と表記される。これは（''M'' が 0 次元でなければ）局所コンパクトでないという意味で「大きい」群である。

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

''M'' 上の[[リーマン計量]]を固定して、弱位相は ''K'' が ''M'' のコンパクト部分集合を動くときの計量
:<math>d_K(f,g) = \sup\nolimits_{x\in K} d(f(x),g(x)) + \sum\nolimits_{1\le p\le r} \sup\nolimits_{x\in K} \left \|D^pf(x) - D^pg(x) \right \|</math>
の族によって誘導される位相である。実際、''M'' は σコンパクトであるから、和集合が ''M'' であるような ''K''<sub>''n''</sub> のコンパクト部分集合の列が存在する。そして
:<math>d(f,g) = \sum\nolimits_n 2^{-n}\frac{d_{K_n}(f,g)}{1+d_{K_n}(f,g)}</math>
と定義する。

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

===リー代数===
特に、''M'' の微分同相写像群の[[リー代数]]は ''M'' 上のすべての[[ベクトル場]]からなり、を備えている。幾分形式的に、これは空間の各点における座標 ''x'' に小さい変化を加えることによってわかる：
: <math>x^{\mu} \to x^{\mu} + \varepsilon h^{\mu}(x)</math>
なので無限小生成元はベクトル場である

:<math> L_{h} = h^{\mu}(x)\frac{\partial}{\partial x_\mu}.</math>

===例===
* ''M''&nbsp;=&nbsp;''G'' が[[リー群]]のとき、left-translation を経由して ''G'' のそれ自身の微分同相写像群への自然な包含がある。Diff(''G'') で ''G'' の微分同相写像群を表すと、splitting  が存在する、ただし Diff(''G'', ''e'') は群の単位元を固定する Diff(''G'') の部分群である。

* ユークリッド空間 **R**<sup>''n''</sup> の微分同相写像群は2つの成分からなり、向きを保つのと向きを逆にする微分同相写像からなる。実は、[[一般線型群]]は写像 , ''t''&nbsp;∈&nbsp;(0,1] の下で原点を固定する微分同相写像の部分群 Diff(**R**<sup>''n''</sup>, 0) の[[変位レトラクト]]である。したがってとくに一般線型群は diffeomorphism group 全体の変位レトラクトでもある。

* 点の有限集合に対して、微分同相写像群は単に対称群である。同様に、''M'' が任意の多様体であれば群の拡大  が存在する。ここで Diff<sub>0</sub>(''M'') は ''M'' のすべての成分を保存する Diff(''M'') の部分群であり、Σ(<sub>0</sub>(''M'')) は集合 <sub>0</sub>(''M'') （''M'' の成分）の置換群である。さらに、写像  の像は微分同相写像類を保存する <sub>0</sub>(''M'') の全単射である。

===推移性===
連結多様体 ''M'' に対して微分同相写像群は ''M'' 上推移的に作用する。より一般に、微分同相写像群は [[:en:configuration space|configuration space]] ''C<sub>k</sub>M'' 上推移的に作用する。''M'' の次元が少なくとも 2 であれば微分同相写像群は configuration space ''F<sub>k</sub>M'' 上推移的に作用する： ''M'' 上の作用は[[:en:Group action#Types of actions|多重可移]]である 。

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

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

高次元の球面 **S**<sup>''n''−1</sup> の微分同相写像に対する対応する拡張問題は[[ルネ・トム]] (René Thom)、[[ジョン・ウィラード・ミルナー|ジョン・ミルナー]] (John Milnor)、[[スティーヴン・スメイル]] (Stephen Smale) の顕著な貢献とともに 1950 年代と 1960 年代に多く研究された。そのような拡張の障害は有限[[アーベル群]] Γ<sub>''n''</sub> 、"[[:en:Exotic sphere#Twisted spheres|group of twisted spheres]]" によって与えられる。これは微分同相写像群のアーベル [[:en:component group|component group]] の、球 ''B''<sup>''n''</sup> の微分同相写像に拡張する類の部分群による[[商群|商]]として定義される。

===連結性===
多様体に対して微分同相写像群は通常連結でない。その component group はと呼ばれる。次元 2 において、すなわち[[曲面]]に対して、写像類群は[[群の表示|有限表示群]]であり、[[:en:Dehn twist|Dehn twist]]s によって生成される ([[マックス・デーン|Dehn]], [[:en:W. B. R. Lickorish|Lickorish]], [[:en:Allen Hatcher|Hatcher]]) 。[[マックス・デーン]] (Max Dehn) と [[:en:Jakob Nielsen (mathematician)|Jakob Nielsen]] はそれは曲面の[[基本群]]のと同一視できることを証明した。

[[ウィリアム・サーストン]] (William Thurston) は[[:en:Nielsen-Thurston classification|写像類群の元を分類すること]]によって 3 つのタイプにこの解析を細分した：
[[:en:Periodic function#Periodic mapping|周期的]]微分同相写像に同値なもの； 単純閉曲線を不変のままにする微分同相写像に同値なもの； [[:en:Pseudo-Anosov map|pseudo-Anosov diffeomorphisms]] に同値なもの。[[トーラス]] **S**<sup>1</sup> × **S**<sup>1</sup> = **R**<sup>2</sup>/**Z**<sup>2</sup> の場合には、写像類群は単に[[モジュラー群]] SL(2, **Z**) であり分類は[[メビウス変換#楕円型変換|楕円型]]、[[メビウス変換#抛物型変換|放物型]]、[[メビウス変換#双曲型変換|双曲型]]行列の言葉の古典的なものに帰着する。サーストンは写像類群はの[[コンパクト化]]上に自然に作用することを観察することによって彼の分類を達成した； この大きくされた空間は閉球に同相であるから、[[ブラウアーの不動点定理]]が適用可能になる。

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

===ホモトピー型===
* **S**<sup>2</sup> の微分同相写像群は部分群 O(3) のホモトピー型を持つ。これは Steve Smale によって証明された。

* トーラスの微分同相写像群はその線型自己同型のホモトピー型を持つ： **S**<sup>1</sup> × **S**<sup>1</sup> × GL(2, **Z**).

* 種数 ''g'' > 1 の向き付け可能な曲面の微分同相写像群は写像類群のホモトピー型を持つ、すなわち成分は可縮である。

* 3 次元多様体の微分同相写像群のホモトピー型は、少しの目立った未解決のケース、主として有限基本群を持つ 3 次元多様体、があるが、Ivanov, Hatcher, Gabai and Rubinstein の仕事によってかなりよく理解されている。

* ''n'' > 3 に対して ''n'' 次元多様体の微分同相写像群のホモトピー型は十分に理解されていない。例えば、Diff(**S**<sup>4</sup>) が2つよりも多くの成分を持つか否かは未解決問題である。しかし Milnor, Kahn and Antonelli の仕事によって Diff(**S**<sup>''n''</sup>) は ''n'' > 6 であれば有限 CW 複体のホモトピー型を持たないことが知られている。

== 同相写像と微分同相写像 ==
微分同相写像でない同相写像を見つけるのは容易だが、微分同相でない[[同相]]多様体の対を見つけることはより難しい。次元 1, 2, 3 において、同相で滑らかな多様体の任意の対は微分同相である。次元 4 かまたはそれより上において、同相だが微分同相でない対の例が見つかっている。最初のそのような例は[[ジョン・ウィラード・ミルナー|ジョン・ミルナー]] (John Milnor) によって 7 次元において構成された。彼は標準的な 7 次元球面に同相だが微分同相ではない（今ではと呼ばれる）滑らかな 7 次元多様体を構成した。実は 7 次元球面に同相な多様体の向き付けられた微分同相類は 28 存在する（そのそれぞれは [[3 次元球面]]をファイバーとして持つ 4 次元球面上の[[ファイバー束]]の全空間である。

はるかに極端な現象は[[4次元多様体]]に対して起こる： 1980年代初頭、[[サイモン・ドナルドソン]] (Simon Donaldson) と[[マイケル・フリードマン]] (Michael Freedman) による結果を合わせて[[エキゾチック R4]]の発見が導かれた： それぞれが **R**<sup>4</sup> に同相な **R**<sup>4</sup> の開部分集合でどの 2 つも微分同相でないものが非可算個存在し、また、**R**<sup>4</sup> に滑らかに埋め込めない **R'''4 に同相などの 2 つも微分同相でない可微分多様体が非可算個存在する。

## 関連項目
* 
* Large diffeomorphism
* 局所微分同相写像
* Superdiffeomorphism

## 出典

## 参考文献
Chaudhuri, Shyamoli, Hakuru Kawai and S.-H Henry Tye. "Path-integral formulation of closed strings," Phys. Rev. D, 36: 1148, 1987.
* 

* 

* 

* 

* 

* 

* 

* 

*