1. 宇宙際タイヒミュラー理論とは？
宇宙際タイヒミュラー理論（Inter-universal Teichmüller Theory、IUT）は、望月新一氏が構築した数論の理論です。ABC予想の証明を与えると主張され、2012年に四つの論文として公表されました。2021年には専門誌PRIMSに出版されています。
ただし、出版されたことと、証明をめぐる疑問が解消したことは別です。2026年7月のLANAプロジェクト中間報告でも、検証側はABC予想が証明されたかどうかの判断を保留しています。本記事では、ABC予想を小さな整数の計算で理解し、IUTの用語と現在の検証状況を区別して説明します。
1.1 最初に分けたい「理論」「証明の主張」「検証」
IUTという数学的構成を読むこと、その構成からABC予想が導けるという著者の主張を読むこと、第三者がその推論を確認することは、それぞれ異なる作業です。論文の長さや著者の知名度だけでは、最後の作業を代用できません。
また、IUTは物理学の多元宇宙論ではありません。「宇宙」という語を、別の銀河や並行宇宙が実在するという意味で解釈すると、テーマを取り違えます。対象は数体や楕円曲線などの数学的構造です。
1.2 IUTが生まれた数学的背景
IUTは何もないところから生まれたわけではありません。19世紀のクロネッカーが夢見た「数の世界の構造を別の数学を使って描き出す」という発想や、20世紀に整備された類体論、さらにガロア群と保型形式の対応を探るラングランズ・プログラムなど、100年以上にわたる数論研究の蓄積がIUTの土台になっています。これらの理論はいずれも、数の世界に潜む対称性を、別の数学的構造を通じて読み解こうとする試みでした。望月教授は、自身がそれ以前に手がけていた「p進タイヒミュラー理論」や「ホッジ・アラケロフ理論」をさらに発展させる形で、これらの研究を土台に新しい構成を与えようとしました。
2. ABC予想を1＋8＝9から読む
正の整数a、b、cがa＋b＝cを満たし、aとbの最大公約数が1であるとします。「互いに素」は、1以外の共通の約数がないという意味です。aとbが互いに素なら、この等式のもとでaとc、bとcも互いに素になります。
abcの素因数を重複なしで掛けた数をrad(abc)と書きます。radは重複を除く操作の記号で、平方根の記号ではありません。例えば1＋8＝9では、8＝2³、9＝3²なので、rad(1・8・9)＝2・3＝6です。指数3や2を掛ける必要はありません。
| 足し算 | 異なる素因数 | rad(abc) |
|---|---|---|
| 1＋8＝9 | 2、3 | 6 |
| 1＋80＝81 | 2、3、5 | 30 |
| 3＋125＝128 | 2、3、5 | 30 |
2行目では80＝2⁴・5、81＝3⁴です。3行目では125＝5³、128＝2⁷となります。3行目のcは128で、radの30の4倍を超えています。したがってABC予想を「cはradよりほんの少し大きいだけ」と説明すると、肝心の条件が抜けます。
2.1 正確な主張にはεと定数が必要
ABC予想の一つの定式化は、どんなε＞0を選んでも、εだけに依存する定数Kεが存在して、条件を満たすすべての組について次の不等式が成り立つ、というものです。
c ≤ Kε・rad(abc)1＋ε
εは「あらかじめ選ぶ小さな正の数」です。Kεは組(a,b,c)ごとに選び直してよい数ではありません。同じεを選んだら、一つのKεで無限にある組を全部押さえなければならない点に、主張の強さがあります。
ε＝0.1として1＋8＝9を見れば、61.1は約7.18です。Kε＝1では9を押さえられませんが、この1例だけならKεを約1.26以上にすれば足ります。これは予想の証明でも反証でもありません。他のすべての組にも共通して使える定数があるかが問題だからです。
別の言い方では、εを固定したときc＞rad(abc)1＋εとなる組は有限個しかない、と述べられます。「例外が一つあったから反証」「多数試して当たったから証明」とは判断できません。
2.2 足し算と素因数の関係がなぜ重要か
整数の大きさは、同じ素数の累乗を使うだけでも増やせます。ところがa＋b＝cという足し算を同時に要求すると、三つの数すべてで素因数の種類を少なく保つことには制約が生まれます。ABC予想は、その制約を一つの不等式として捉えようとします。
このような制約が分かると、整数解を探す方程式で、解の候補が際限なく大きくなる可能性を調べる道具になります。ただし「すべての整数方程式を解ける」「素因数分解が高速になる」という主張ではありません。導かれる結論ごとに、仮定と推論を確認する必要があります。
3. 名前に出てくる数学を整理する
3.1 タイヒミュラーという名前
通常のタイヒミュラー理論は、リーマン面の複素構造を変化させることを扱います。ドーナツ型の曲面を思い浮かべると入口にはなりますが、単にゴムを伸ばした見た目を分類する理論ではありません。位相的な形を固定しても、複素構造には違いがあり、さらに標識の扱いが入ります。
望月氏の第1論文は、楕円曲線を備えた数体に対する算術的なタイヒミュラー理論を目標に掲げています。したがって「普通のドーナツの変形を、そのまま整数に適用する」と受け取るのは正確ではありません。共通する着想と、実際に構成する対象を分けて読む必要があります。
3.2 ホッジ劇場と、何を保つ対応なのか
第1論文では、数体上の楕円曲線などの初期データからホッジ劇場と呼ばれる構造を作り、複数の劇場の間に対応を設けます。重要なのは、その対応が通常の環の構造すべてと両立するわけではない点です。環とは、足し算と掛け算を備え、分配法則などを満たす数学的構造です。
この構成は、数論と幾何学を初めて出会わせたものではありません。両者を結びつける算術幾何学はすでに発展しており、望月氏自身の遠アーベル幾何学などの先行研究も使われています。「二つの言語を自由に往復する万能翻訳機」という比喩では、対応が保つ情報と保たない情報の区別が失われます。
以上は原論文の構成への入口であり、ABC予想の証明を再現した説明ではありません。正しさの争点は、後段で必要な評価がこの構成から本当に導かれるかにあります。第1論文の要旨と導入（PDF）で、著者自身の説明を確認できます。
4. 比喩の代わりに、小さな写像で注意点を学ぶ
「掛け算に関する情報が対応するなら、足し算も対応するはず」と考えると危険です。この違いは、IUTを使わない単純な例でも確認できます。正の実数xをx²へ送る写像f(x)＝x²を考えてください。
掛け算ではf(2・3)＝6²＝36で、f(2)・f(3)＝4・9＝36と一致します。一方、足し算ではf(2＋3)＝25なのに、f(2)＋f(3)＝13で一致しません。この写像は掛け算を保っても、足し算を保ちません。
この例はIUTのホッジ劇場やΘリンクそのものではなく、一般的な注意点を説明するための計算です。ある情報を移せると分かったとき、別の演算や尺度まで同じように移せるとは限らない。この区別を意識すると、原論文や批判文書で「何を同一視できるか」が重視される理由をつかみやすくなります。
4.1 「元の情報に戻れる」と「同じ計算ができる」は別
このfは正の実数の範囲では逆に平方根を取れば戻せます。それでもf(2＋3)とf(2)＋f(3)は一致しません。対応が一対一であることだけでは、すべての演算を保つ保証にはならないわけです。
ただし、この簡単な例でIUTを証明したり反証したりすることもできません。高度な理論では、定義された対象、許される対応、付加される情報が違います。入門的なたとえは注意を向ける道具にとどめ、論争の判定材料には原文の推論を使うべきです。
5. 数学のニュースで「証明」を読むとき
「研究者が証明を発表した」「専門誌に出版された」「第三者が検証した」という見出しは、それぞれ確認すべき資料が異なります。最初なら論文、出版なら書誌情報、検証なら検証対象と手順・結果を読む必要があります。
特に長い論文の場合、ある補題が確認されたというニュースを、最終結論まで確認されたと読み替えないことが大切です。逆に、一つの推論への疑問を、その著者の過去の研究全体が否定されたと広げるのも不適切です。
これは他の数学的難問でも同じです。例えばBSD予想の記事では、ランクについての既知の結果と、一般の場合に残る課題を分けています。到達点を理解するには、解決・未解決という二択だけでなく、どの条件のどの命題かを見る必要があります。
6. 証明の検証状況：2026年9月確認
6.1 2018年の批判は誰の見解か
Peter Scholze氏とJakob Stix氏は、2018年3月に京都で議論した後、「Why abc is still a conjecture」（PDF）を公表しました。二人は、その文書で提示された議論は証明になっていないと結論づけ、特に第3論文の系3.12に関わる推論を問題にしています。
これは著者名を持つ数学的な批判文書です。「欧州の数学界が公式に否定した」と地域全体の決定として扱うのは不正確です。また、批判文書には望月氏らの異なる見解にも言及があります。主張を紹介するときは、誰が、どの文書で、何を指摘したかを明示する必要があります。
6.2 2026年7月のLANA中間報告
ZEN大学の2026年7月17日の発表によると、LANAプロジェクトはIUTによるABC予想の証明について判断を保留しています。第3論文の定理3.11から系3.12を導く過程に、多くのメンバーにとって不明瞭な点が残ると報告しました。
同発表は、数学的なギャップの可能性を排除しない一方、理解の不足に由来する可能性も含めて最終判断を留保しています。今後は論点の精密化、望月氏との対話、Leanへの形式化に向けた作業を続けるとしています。したがって、この中間報告を「LeanがIUTを証明した」「Leanが誤りを確定した」と読むことはできません。
ここでの更新確認日は2026年9月16日です。検証状況に関する判断の根拠は上記の公開文書であり、本記事がIUT全体を独立に検証したという意味ではありません。
7. Leanで検証すると何が分かるのか
Leanのような証明支援システムでは、定義と命題を形式的な言語で表し、推論が許された規則に従っているかを検査します。数学の文章をそのまま投入すれば、意味をすべて理解して真偽を返す装置ではありません。
例えば「任意のnについてP(n)」という命題を形式化するつもりで、誤って「あるnについてP(n)」を入力すれば、通った証明があっても元の主張を確認したことにはなりません。機械による推論の検査と、入力した定式化が原文の意味に対応しているかの確認は、両方とも必要です。
これは特定のプロジェクトへの疑義ではなく、形式検証の結果を読むときの基本です。新しい発表を見る際には、対象となった定理、使った仮定、未証明として置かれた前提、依存する補題、再実行できる成果物の範囲を確認すると、到達点を具体的に判断できます。
7.1 次に読む資料の順番
ABC予想の内容を知りたいなら、まず本記事の整数の表を自分で計算して、radとcが何を測るかを押さえます。IUTの構成を知りたいなら、第1論文の要旨から、初期データ、ホッジ劇場、劇場間の対応という順に用語を確認します。
証明の論争を追いたいなら、第三者の見出しだけで判断せず、Scholze–Stixの文書とLANAの中間報告に戻り、対象となる論文・定理番号を見比べるとよいでしょう。分からない専門用語があることと、推論に誤りを見つけたことを混同しない姿勢も必要です。
今後何年で決着するか、暗号やAIへいつ応用されるかについて、これらの資料から確かな期限は出せません。過去の別の難問に何百年かかったという事実から、IUTの検証に必要な時間を推定することもできません。
8. 理解しておきたい到達点
IUTは数体や楕円曲線を扱う数学理論で、ABC予想の証明を与えると主張されています。ABC予想は「cが素因数の積を少しだけ超える」という曖昧な主張ではなく、εとそれに依存する定数を伴う不等式です。
論文の出版という事実、著者による証明の主張、検証側の到達点は分けて読む必要があります。2026年7月のLANA中間報告は判断保留を明記しており、現時点の紹介記事が論争の決着を宣言できる資料ではありません。
参考資料
- 望月新一氏の論文一覧：IUTの四つの主論文と関連文書。
- Scholze–Stix：Why abc is still a conjecture：ABC予想の定式化と批判側の原文。
- ZEN大学：LANAプロジェクト中間報告の公開：2026年7月の検証状況。
