IUT理論 入門
IUT理論 入門
Section titled “IUT理論 入門”IUT理論は Inter-universal Teichmuller Theory の略で、
日本語ではしばしば「宇宙際 Teichmuller 理論」と呼ばれます。
京都大学の望月新一によって構築された、数論幾何の大きな理論枠組みです。
名前だけ聞くと Teichmuller 理論の特殊な枝のように見えますが、 実際には楕円曲線、数体、Galois 表現、anabelian geometry、Arakelov 的な見方などが深く絡む、 かなり独自の言語圏だと思ったほうが近いです。
望月自身の overview では、
IUT は「数体上の楕円曲線と素数 l >= 5 に付随する、ある種の canonical deformation を扱う算術的な Teichmuller 理論」
として説明されています。
この言い方のほうが、少なくとも対象の中心が楕円曲線と数体にあることは掴みやすいです。
このページは、IUT の技術的定義を与えるものではなく、 「何のための理論なのか」「なぜここまで読みにくいのか」を掴むための入口として置いています。 細部はかなり粗い要約なので、厳密な理解には一次情報源を要確認です。
まず何を主張する理論なのか
Section titled “まず何を主張する理論なのか”IUT理論は、ざっくり言うと
数論的対象をそのまま固定して眺めるのではなく、いったん別の“宇宙”に持ち替えながら比較する
ための枠組みだと理解すると入口になります。
この「宇宙」は SF 的な意味ではなく、 同じ対象を記述しているが、加法構造や乗法構造を同じ仕方では同一視できないような、 別の数論的文脈を指していると思うとよいです。
IUT がよく話題になるのは、
この理論が abc予想 などのディオファントス幾何の深い不等式に応用できる、
と望月が主張しているためです。
ただし、IUT そのものは abc 予想のためだけの一発アイデアではなく、
その前段にある多数の理論装置を含む巨大な建築物です。
何がそんなに難しいのか
Section titled “何がそんなに難しいのか”IUT が難しいのは、単に論文が長いからだけではありません。
- 既存の数論幾何の上に、そのまま辞書を足すだけでは読めない
- 以前の望月の理論群をかなり前提にしている
- 用語が独特で、普通の数論幾何の直観をそのまま持ち込むと誤読しやすい
- 「どの構造を保ち、どの構造の同一視を捨てるのか」が肝だが、そこが直感化しにくい
特に、IUT の説明では
直接比較してはいけないものを、どうやって間接的に比較するか
が繰り返し問題になります。
普通なら同じものとして扱いたくなる加法的・乗法的データを、
一度切り離した上で別ルートから比較する発想が中心にあるようです。
この理解自体かなり粗いので、厳密には要検証です。
何を知っていると入口に立ちやすいか
Section titled “何を知っていると入口に立ちやすいか”IUT をゼロから読むのはかなり厳しいと思われます。 少なくとも次の周辺語彙に馴染みがあると、文脈が多少つかみやすいです。
- 楕円曲線
- 数体と Galois 群
- スキームとエタール基本群
- anabelian geometry
- Arakelov 幾何の雰囲気
逆に言うと、学部レベルの代数や複素解析の延長で そのまま読めるタイプの理論ではありません。 IUT の入門で本当に大事なのは、証明の細部に入る前に 「この理論がどの比較を禁じ、どの比較だけを許すのか」という作法を把握することだと思います。
何を最初の足場にするとよいか
Section titled “何を最初の足場にするとよいか”いきなり本体論文 4 本へ突っ込むより、次の順番のほうが現実的です。
1. 全体の見取り図を先に読む
Section titled “1. 全体の見取り図を先に読む”望月自身の Panoramic Overview of Inter-universal Teichmuller Theory は、
本体に入る前の地図として読む価値があります。
これで理解できるとは言いませんが、
「何を守り、何を壊している理論なのか」の輪郭は本体より掴みやすいです。
2. 初学者向けワークショップの案内や解説を見る
Section titled “2. 初学者向けワークショップの案内や解説を見る”RIMS の 2021 年ワークショップ
Invitation to inter-universal Teichmuller Theory は、
beginning learners を明示的な対象にしています。
この種の資料を見ると、いきなり本体論文だけを読むより、
どのレベルの準備が前提なのかが把握しやすいです。
加えて、星裕一郎による
Introduction to Inter-universal Teichmuller Theory は、
IUT の内部語彙を日本語でたどるための貴重な入口です。
こちらも簡単ではありませんが、本体論文よりは「何が話題なのか」を把握しやすいと思われます。
3. それから本体論文の導入部へ戻る
Section titled “3. それから本体論文の導入部へ戻る”IUT の主論文は 4 本あります。 まずは各論文の導入で、何が章ごとの目的なのかを追い、 細部の証明より「比較の流れ」を見るほうがまだ入口として機能しそうです。
よくある誤解を避ける
Section titled “よくある誤解を避ける”IUT は「abc予想の証明」だけではない
Section titled “IUT は「abc予想の証明」だけではない”IUT は abc 予想への応用で注目されましたが、 理論そのものはそれ以前の数論幾何的構築を大量に含んでいます。 したがって、abc の是非だけを追うと、なぜ理論が巨大なのかが見えにくくなります。
IUT は Teichmuller 理論の標準的教科書の延長ではない
Section titled “IUT は Teichmuller 理論の標準的教科書の延長ではない”名前に Teichmuller が入っていても、
Riemann 面のモジュライ空間を扱う通常の連想だけでは追えません。
少なくとも数論幾何の文脈に置き直して理解する必要があります。
論文が published であることと、読者共同体の理解が十分であることは同じではない
Section titled “論文が published であることと、読者共同体の理解が十分であることは同じではない”IUT の主論文群は 2021 年に PRIMS の特集号として出版されています。 ただし、出版されたことと、 理論全体や abc 予想への応用がどの程度広く理解・受容されているかは別問題です。 その点を判断したい場合は、受容史や批判・応答を別途追う必要があります。 このページではそこまで裁定しません。
いったんの読み筋
Section titled “いったんの読み筋”入門段階では、次の 3 点だけ掴めれば十分だと思います。
- IUT は、数論的対象を別の文脈へ持ち替えつつ比較するための理論である
- その比較では、普通なら温存したい「同じ対象だという見方」をあえて捨てる
- だから、定理の statement だけ追っても分かりにくく、比較の作法そのものを学ぶ必要がある
この 3 点が腹落ちすると、 IUT を「なぜこんなに記法が多いのか分からない巨大論文」から、 「同一視の仕方を制御するための理論」として見始められるはずです。
まだ確信がない点
Section titled “まだ確信がない点”- このページでは IUT の核心をかなり比喩的に説明しているので、技術的には粗い
宇宙という言い方は便利だが、具体的な数学的構成をかなり省略している- abc 予想への応用の受容状況は、一次論文だけでは判断しにくく、別途の検証が必要
そのため、このページの status は seed にしています。
まずは入口として置き、必要なら今後、前提理論ごとにページを分割したほうがよさそうです。
- Shinichi Mochizuki papers and preprints page
- A Panoramic Overview of Inter-universal Teichmuller Theory
- Introduction to Inter-universal Teichmuller Theory (Yuichiro Hoshi)
- Invitation to inter-universal Teichmuller Theory (RIMS workshop, 2021)
- PRIMS special issue on Inter-universal Teichmuller Theory (2021)