(微分構造を)もたざるもの
これは日曜数学アドベント・カレンダー 2016 12 日目の記事です。
11 日目は伊藤那由多さんによる 巨大数(ふぃっしゅ数とは言っていない) でした。
本日のテーマは微分構造を持たない多様体を作ることです。有名な例としては [Kervaire] による 10 次元多様体の構成がありますが、本日は田村一郎先生による 8 次元多様体の構成を紹介します。同様の方法で 16 次元も作ることができますがそれは,原論分[Tamura] を参考にしてください。
1. 上の bundle
を次で与えます。
ここで,3 次元球面 は 4 元数体を用いて, と考えています。
Fact1
homotopy 群 であり, で生成される。
上の事実から、 上の rank 4 の有向な vector bundle (upto-iso) が を用いて一意に表すことができることがわかります。
そこで 上の rank 4 vector bundle
を で与えられるものとし、これ に付随する sphere bundle を , disk bundle を とします。
が成立していることに注意してください。
こいつらがどういう空間なのか少し考えてみます。
はともに可微分多様体であり, ,特に m = 0 のとき, となります。
の方はどうかというと, が成立しています。
同相写像を通すことで、 は homotopy 群 の元を定めます。
Fact2
そこで,無限巡回群の生成元を とし,有限巡回群の生成元を とする*1。この は Hopf Fibration の homotopy class と一致しています。
さて、 を homotopy fibration という立場で見てみましょう。すると
と見えます。 (Quaternionic) Hopf Fibration に似ているとおもませんか?? ただし、fiber が でひねられています。すなわち、
Prop
多様体の構成
多様体の構成は恐ろしく簡単です。
ここで、 を用いて、 により境界を同一視しています。
これで完成です。あら簡単。
この m がある条件を満たすときに、微分構造をどうやっても持てません。
Thm
は の時、微分構造を持ちえない
証明のラフスケッチ
結論から言うと homotopy 不変な値の違いを可微分な場合と比較することで示します。
まずは を homotopy 同値で変形して、セル複体の構造を簡単にします。 すなわち、 前述の という homotopy 同値を用いると次 homotopy 同値が導けます。
一方、次の定理が示せます。証明は原論文を参照してください。
Thm
M を 3-連結、、境界のないコンパクトな 可微分 多様体とする。
このとき、 な m を用いて、M は
where という homotopy 型を持つ
構成した の cell structure から 3 連結であること、 は明らかです。 よって、上の定理から m が条件 を満たさない場合に可微分構造を持つことができないと結論付けることができます。
13 日目は integers_blog さんによる 日記 です。
参考文献 #
[Kervaire] Kervaire, Michel A. "A manifold which does not admit any differentiable structure." Commentarii Mathematici Helvetici 34.1 (1960): 257-270.
[Tamura] Tamura, Itiro. "8-manifolds admitting no differentiable structure." Journal of the Mathematical Society of Japan 13.4 (1961): 377-382.
*1:J-準同型 を用いて と書ける。