＼当サイトではリンク広告を利用しています。／
こんにちはー！✨スメイルの問題全部解説するまで帰れま18、ついに番外編その3です！番外編も含めてこれで本当のラストです。
今回は、スメイルの有名な「18の問題」には含まれていないけれど、
幻の問題3連発のラストに取り上げられている、超・通好みな問題です。
スメイルが「これらは主要なリストに載せるほど重要ではないが、解決できれば良い」として挙げた問題の一つです。
タイトルはこちら！
コンパクト多様体のアノソフ微分同相写像は、ジョン・フランクスのリー群モデルと同じ？
……え、何言ってるか全然わからない？？
うん、ですよね（笑）
でも安心してください！今回もわかりやすく、ちょっぴりポップに解説していきますよ〜〜！📚💫
まずは問題に含まれている用語を解説するところから始めていきます。
「コンパクト」とは、ざっくり言えば「閉じていて、端っこがなくて、無限に広がらない」ってこと。
「多様体」は、地球のようにどこを拡大しても“平ら”に見えるけど、全体は曲がってるような空間のこと。
2次元の多様体には「球面」や「ドーナツ面（トーラス）」があるし、3次元や4次元など、もっと高次元の多様体もあります。
つまり「コンパクト多様体」とは：
📦 有限の大きさで、閉じていて、局所的には“平ら”な曲がった空間！
数学者たちはこういう空間の上で「写像」や「変換」を研究してるんですね。
出ました、今回のキーワード！
まず「微分同相写像（diffeomorphism）」は、平たく言えば：
📍 「滑らかで逆写像も滑らかな変換」のこと。
たとえば、風船をちょっと引き伸ばしたり、くるっと回したりするような変形です。
じゃあ「アノソフ」って何？
これはアノソフ系（Anosov system）と呼ばれる、ある種の「カオス的」で「規則正しい」力学系のこと！
特徴としては：
という、ものすごく構造化されたカオスなんです。
🔄 アノソフ微分同相写像は、まさにそんな「安定したカオス」を生み出す特殊な変換！
ここで登場するのが数学者 John Franks（ジョン・フランクス）。
彼は1970年代に、アノソフ微分同相写像についてこんなアイディアを提案しました：
🧠「アノソフ写像って、リー群の上で定義されたモデルと本質的に“同じ構造”なんじゃね？」
ここでいう「リー群」とは、「連続的に変化する群」のことで、
例えば回転や拡大縮小など、滑らかに変化できる変換の集合のこと。
ジョン・フランクスは、アノソフ微分同相写像のある種の“お手本”モデルとして、
「リー群に作用する線形変換」を使えば説明できるんじゃないか？と考えました。
これは「トーラス上のアノソフ写像」などにはすでに成功しているアプローチですが……
❓ それって、すべてのコンパクト多様体でも通用するの？
というのが、今回の未解決問題なんです！
ここまでの話を総まとめすると、今回の幻の問題はこうです：
すべてのコンパクト多様体上のアノソフ微分同相写像は、ジョン・フランクスが考えた“リー群モデル”と
“位相的に同じ（＝同相）”と言えるのか？
つまり、たとえ複雑な空間（多様体）の上であっても、
そのアノソフ写像の構造は「滑らかに変形しただけのリー群モデル」とみなせるのか？
💡これは「構造の本質が“単純なモデル”で説明できるのか？」という問い。
数学でこういうのが証明できると、理論の整理が一気に進むんですよ〜！
さて、この問題。意外にも（というかやっぱり）……
😓 未解決です。
一部の特定の多様体（たとえばトーラスなど）では、ジョン・フランクスのモデルと一致することが証明されています。
でも、それがどんなコンパクト多様体でも成り立つのかというと、
まだ一般的な証明も反例も出ていないのです。
数学者たちは、
などの知識を総動員してアプローチしていますが、
どうにも完全な結論が出せずにいます。
この問題がもし解けたら（たとえば「すべてのアノソフ写像はリー群モデルに同相だ！」と証明できたら）…
逆に、反例が出れば：
どっちに転んでも、面白い未来が広がる！というわけです🌍✨
それでは、今日の内容を箇条書きでサクッとおさらいしておきましょう！
ということで、「幻の問題」3連発はこれで完了！🎉
やっぱりスメイル先生、問題選びのセンスが鋭すぎる…！
ということで、今回の「番外編3」をもって……
スメイルの問題全部解説するまで帰れま18！
ついに 本当に帰れる日が来ました〜〜！！！👏✨
メインの18問に加えて、幻の番外編3つもすべて網羅。
最先端すぎてなかなか日本語情報がなかった問題も、ガッツリ噛み砕いて紹介してきました！
スメイル先生の問題リストを追いかける旅は、
難解ながらも「数学の地図」を読み解くような知的冒険でしたね🗺️
これで番外編も含めて、スメイルの問題の解説はひとまず完結です！
読んでくださったみなさん、本当にありがとうございました✨
それでは、また次回お会いしましょう〜！
数学って、深い！でもおもしろい！！🧠🌟