宇宙際タイヒミュラー理論とは？ABC予想の計算例と検証状況

1. 宇宙際タイヒミュラー理論とは？

宇宙際タイヒミュラー理論（Inter-universal Teichmüller Theory、IUT）は、望月新一氏が構築した数論の理論です。ABC予想の証明を与えると主張され、2012年に四つの論文として公表されました。2021年には専門誌PRIMSに出版されています。

ただし、出版されたことと、証明をめぐる疑問が解消したことは別です。2026年7月のLANAプロジェクト中間報告でも、検証側はABC予想が証明されたかどうかの判断を保留しています。本記事では、ABC予想を小さな整数で計算し、宇宙際タイヒミュラー理論の用語と検証状況を区別して説明します。

1.1 最初に分けたい「理論」「証明の主張」「検証」

IUTという数学的構成を読むこと、その構成からABC予想が導けるという著者の主張を読むこと、第三者がその推論を確認することは、それぞれ異なる作業です。論文の長さや著者の知名度だけでは、最後の作業を代用できません。

また、IUTは物理学の多元宇宙論ではありません。「宇宙」という語を、別の銀河や並行宇宙が実在するという意味で解釈すると、テーマを取り違えます。対象は数体や楕円曲線などの数学的構造です。

1.2 IUTが生まれた数学的背景

数論では整数や素数の性質を、幾何学的な対象やその対称性から調べます。IUTもこの算術幾何学の文脈にあります。ただし、類体論やラングランズ・プログラムをそのまま延長した理論、と一括りにするのは避けるべきです。

直接の土台は、第1論文が挙げる望月氏の先行研究です。そこには遠アーベル幾何学、フロベニオイド、エタール・テータ関数などがあります。遠アーベル幾何学では、曲線に付随する基本群などから元の幾何学的対象をどこまで復元できるかが問題になります。宇宙際タイヒミュラー理論でも、異なる対象の間で何を復元し、何を同一視できるかが重要になります。

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を掛ける必要はありません。

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 \leq K_{\varepsilon}\,\mathrm{rad}(abc)^{1+\varepsilon}\)

εは「あらかじめ選ぶ正の数」です。Kεは組(a,b,c)ごとに選び直してよい数ではありません。同じεを選んだら、一つのKεで無限にある組を全部押さえなければならない点に、主張の強さがあります。

例えばε＝0.1、a＝1、b＝8、c＝9を代入すると、右辺はK_ε×6^1.1です。6^1.1≒7.1774なので、9÷7.1774≒1.2539。したがってこの1例にはK_ε＝1.26で足り、1.26×7.1774≒9.0435≧9と検算できます。すべて単位のない数です。

同じεで3＋125＝128も試すと、30^1.1≒42.1535、128÷42.1535≒3.0365です。先ほどの1.26では足りません。この違いは予想の反証ではなく、すべての組に共通する定数を見つける難しさを示しています。

別の言い方では、εを固定したときc＞rad(abc)^1＋εとなる組は有限個しかない、と述べられます。ここでも主張は「すべての正のεについて」です。εを一つ固定しただけの定数付き評価と、その同じεでの有限例外の主張を、直ちに同値だと読むことはできません。「例外が一つあったから反証」「多数試して当たったから証明」とも判断できません。

2.2 足し算と素因数の関係がなぜ重要か

整数の大きさは、同じ素数の累乗を使うだけでも増やせます。ところがa＋b＝cという足し算を同時に要求すると、三つの数すべてで素因数の種類を少なく保つことには制約が生まれます。ABC予想は、その制約を一つの不等式として捉えようとします。

このような制約が分かると、整数解を探す方程式で、解の候補が際限なく大きくなる可能性を調べる道具になります。ただし「すべての整数方程式を解ける」「素因数分解が高速になる」という主張ではありません。例えば同じ素因数を何度も掛けて数を大きくしても、足し算の相手に新しい素因数が現れればradも増えます。三つの数を同時に調べる必要があるのです。

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)は一致しません。正の数を一対一に対応させられることと、足し算まで保てることは別の条件です。なお負の数も入力に含めると、2と−2がともに4へ移るため一対一ではなくなります。正の実数という条件にも意味があります。

ただし、この簡単な例でIUTを証明したり反証したりすることもできません。高度な理論では、定義された対象、許される対応、付加される情報が違います。入門的なたとえは注意を向ける道具にとどめ、論争の判定材料には原文の推論を使うべきです。

5. 数学のニュースで「証明」を読むとき

「研究者が証明を発表した」「専門誌に出版された」「第三者が検証した」という見出しは、それぞれ確認すべき資料が異なります。最初なら論文、出版なら書誌情報、検証なら検証対象と手順・結果を読む必要があります。

特に長い論文の場合、ある補題が確認されたというニュースを、最終結論まで確認されたと読み替えないことが大切です。逆に、一つの推論への疑問を、その著者の過去の研究全体が否定されたと広げるのも不適切です。

これは他の数学的難問でも同じです。例えばBSD予想の記事では、ランクについての既知の結果と、一般の場合に残る課題を分けています。到達点を理解するには、解決・未解決という二択だけでなく、どの条件のどの命題かを見る必要があります。

6. 宇宙際タイヒミュラー理論の検証状況

6.1 2018年の批判は誰の見解か

Peter Scholze氏とJakob Stix氏は、2018年3月に京都で議論した後、「Why abc is still a conjecture」（PDF）を公表しました。二人は、検討したIUTの議論は証明になっていないとの見解を示し、特に第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年10月7日に再確認しました。ここで紹介したLANAの判断は、2026年7月17日公表の中間報告のものです。これはIUT全体を本記事が独立検証したという意味でも、その後のすべての研究を網羅したという意味でもありません。

7. Leanで検証すると何が分かるのか

Leanのような証明支援システムでは、定義と命題を形式的な言語で表し、推論が許された規則に従っているかを検査します。数学の文章をそのまま投入すれば、意味をすべて理解して真偽を返す装置ではありません。

例えば「すべての自然数が偶数である」と「偶数である自然数が少なくとも一つある」は別の命題です。後者を証明できても前者は証明できません。機械による推論の検査と、入力した定式化が原文の意味に対応しているかの確認は、両方とも必要です。

これは特定のプロジェクトへの疑義ではなく、形式検証の結果を読むときの基本です。新しい発表を見る際には、対象となった定理、使った仮定、未証明として置かれた前提、依存する補題、再実行できる成果物の範囲を確認すると、到達点を具体的に判断できます。Lean公式教材も、公理と推論・計算の関係を説明しています。

7.1 次に読む資料の順番

ABC予想の内容を知りたいなら、まず本記事の整数の表を自分で計算して、cという大きさと、radという素因数の種類を反映した量を比べます。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月の検証状況。