エキゾチック R4

{{DISPLAYTITLE:エキゾチック R4}}
エキゾチック  とは、4次元ユークリッド空間  に同相であるが、微分同相ではない4次元可微分多様体のこと。エキゾチック  である最初の例は、1982 年にマイケル・フリードマン等により、位相的な4次元多様体に関するフリードマンの定理と、微分可能な4次元多様体に関するサイモン・ドナルドソンとの対比を使用して発見された。Kirby (1989), p. 95Freedman and Quinn (1990), p. 122クリフォード・タウベスにより、の非微分同相な微分可能構造の連続体が存在することが示されている。Taubes (1987), Theorem 1.1

上記の構築に先立って、球面上の非微分同形の滑らかな構造(エキゾチックな球体) が存在することが既に知られていたが、 4-球体 の特定のケースに対するそのような構造の存在の問題は未解決のままであった (2022 年現在も未解決のままである)。 4 以外の任意の正の整数nに対して、のエキゾチックな滑らかな構造は存在しない。言い換えると、n ≠ 4 の場合、任意のと同相な滑らかな多様体は、と微分同相である。Stallings (1962), Corollary 5.2

 小さなエキゾチック R4 
エキゾチックは標準的なの開部分集合として滑らかにに埋め込みできる場合、小さいと呼ばれる。

小さなエキゾチックは自明でない滑らかな 5次元のh-コボルディズム(この次元ではh-コボルディズムの定理が成り立たないというドナルドソンの証明によって存在する) から始めて、位相的なh-コボルディズムの定理がこの次元で保持されるフリードマンの定理を使用することによって構築できる。

 大きなエキゾチック R4  
エキゾチックは標準的なの開部分集合として滑らかにに埋め込みできない場合、大きいと呼ばれる。

大きなエキゾチックの例は、コンパクトな 4 次元多様体がしばしばトポロジカル和として分割できる (フリードマンの研究による) が、滑らかな和として分割できない (ドナルドソンの研究による) という事実を使用して構築できる。

 関連するエキゾチックな構造 
Casson ハンドルはフリードマンの定理によりと同相であるが、ドナルドソンの定理から、それらはすべてと微分同相ではない。言い換えれば、一部の Casson ハンドルはエキゾチックである。

 引用文献 

 文献一覧 




*
Category:数学に関する記事