エキゾチック R4

エキゾチック formula_1 とは、4次元ユークリッド空間 formula_1 に同相であるが、微分同相ではない4次元可微分多様体のこと。エキゾチック formula_1 である最初の例は、1982 年にマイケル・フリードマン等により、位相的な4次元多様体に関するフリードマンの定理と、微分可能な4次元多様体に関するサイモン・ドナルドソンとの対比を使用して発見された。クリフォード・タウベスにより、formula_1の非微分同相な微分可能構造の連続体が存在することが示されている。
上記の構築に先立って、球面上の非微分同形の滑らかな構造(エキゾチックな球体) が存在することが既に知られていたが、 4-球体 の特定のケースに対するそのような構造の存在の問題は未解決のままであった (2022 年現在も未解決のままである)。 4 以外の任意の正の整数nに対して、formula_5のエキゾチックな滑らかな構造は存在しない。言い換えると、n ≠ 4 の場合、任意のformula_5と同相な滑らかな多様体は、formula_5と微分同相である。
小さなエキゾチック R4.
エキゾチックformula_1は標準的なformula_1の開部分集合として滑らかにに埋め込みできる場合、小さいと呼ばれる。
小さなエキゾチックformula_1は自明でない滑らかな 5次元のh-コボルディズム(この次元ではh-コボルディズムの定理が成り立たないというドナルドソンの証明によって存在する) から始めて、位相的なh-コボルディズムの定理がこの次元で保持されるフリードマンの定理を使用することによって構築できる。
大きなエキゾチック R4.
エキゾチックformula_1は標準的なformula_1の開部分集合として滑らかにに埋め込みできない場合、大きいと呼ばれる。
大きなエキゾチックformula_1の例は、コンパクトな 4 次元多様体がしばしばトポロジカル和として分割できる (フリードマンの研究による) が、滑らかな和として分割できない (ドナルドソンの研究による) という事実を使用して構築できる。
関連するエキゾチックな構造.
Casson ハンドルはフリードマンの定理によりformula_14と同相であるが、ドナルドソンの定理から、それらはすべてformula_14と微分同相ではない。言い換えれば、一部の Casson ハンドルはエキゾチックformula_14である。