著者: 林 邦行 日付: 2026-03-30
望月新一氏のIUT理論（宇宙際タイヒミュラー理論）はABC予想を証明したと主張しています。本稿ではこの証明を「方法クラスC」という枠組みで外部から検証し、IUTがABC予想の証明として機能しない構造的理由を解説します。
論文: Structural Limitations of IUT's ABC Proof via Method Class C (Zenodo, 2026)
ABC予想は、足し算と素因数分解の間にある深い関係を述べた予想です。
具体例で考えましょう。$1 + 8 = 9$ という式があります。
$c = 9$ なのに、素因数の積は $6$ しかありません。$c$ のほうが大きい。ABC予想は、こういう「$c$ が素因数の積より大きい」ケースはめったに起きないと主張します。もっと正確には、$c$ が素因数の積の $1+\varepsilon$ 乗を超えることは有限回しかないと言います。
簡単に聞こえますが、これは数論の超難問です。
2012年、京都大学の望月新一氏が、自ら構築した「宇宙際タイヒミュラー理論」（IUT）によりABC予想を証明したと発表しました。論文は4部構成、合計約600ページ。2021年にPRIMS（京大の数学専門誌）に掲載されました。
しかし、数学コミュニティの大多数はこの証明を受け入れていません。
特に2018年、フィールズ賞受賞者のPeter ScholzeとJakob Stixが望月氏と京都で直接議論し、その後「Why abc is still a conjecture（なぜABCはまだ予想のままか）」という文書を公開しました。彼らの主張は、IUTの核心部分（系3.12）が自明な不等式 $0 \leq 0$ に退化するというものです。
望月氏はこれに反論しましたが、Scholzeの再反論に対する回答は出されていません。
私の前の論文（DOI: 10.5281/zenodo.19311094）で、ABC予想に対する「No-Go定理」を証明しました。
これは何かというと：
ある種類の手法では、ABC予想を原理的に証明できない
という定理です。
方法クラスCを直感的に説明します。
あなたが目隠し探偵だとします。犯人（= super-Wieferich素数）が何人いるかを調べたい。でもルールがあります：
この4つのルールで捜査するのが「方法クラスC」です。篩法、Baker理論、算術微分など、ABC予想に使われてきた既知の主要手法は、全てこのルールに従っています。
いくら部屋を調べても、「犯人は有限人」とは結論できない。
なぜか？ 中国剰余定理（CRT） という古典的な道具で、次のことが示せるからです：
あなたが100個の部屋を調べて「犯人はいなそうだ」と思っても、調べた100個の部屋では全く同じ証拠が見え、かつ調べていない部屋に犯人が何人でもいるような別の世界が必ず構成できます。
目隠し探偵には、この2つの世界の区別がつきません。だから「有限人」と「無限人」の判定は不可能なのです。
ここからが本題です。IUTが「方法クラスC」の外に出ているなら、No-Go定理は適用されず、ABC予想を証明できる可能性があります。
方法クラスCの外に出るには、4つのドアのどれかを通る必要があります：
| ドア | 意味 | たとえ |
|---|---|---|
| N1: 深さ回復 | 有限個の素数の覗き見に還元されない情報を使う | 部屋の壁を透視する能力 |
| N2: 異素数結合 | ある素数の情報が別の素数に伝わる | 部屋同士がトンネルで繋がっている |
| N3: 無限帰納 | 有限回でなく無限のプロセスで結論する | 永遠に捜査を続ける |
| N4: 非消滅量 | 犯人がいても消えない新しい手がかり | 犯人だけに反応するセンサー |
重要なポイント: この4つのドアは全てです。5番目のドアは存在しません。これは数学の定理（ド・モルガンの法則）から自動的に従います。「どのドアからも出ていない」は「部屋の中にいる」と同義です。
IUTの証明は、大きく6つの部品からできています：
これら6つの部品を、4つのドアに対してチェックしました。
N1（深さ回復）について: Frey曲線の導手は $\operatorname{rad}(abc)$ で、素因数の「何乗か」の情報を完全に消去します。Tateパラメータは深さ情報を持ちますが、素数ごとに独立で、全素数にわたる集約ができません。→ ドアN1は通れていない
N2（異素数結合）について: これがIUT最大の争点です。theta-linkやmultiradial表現が、異なる素数の情報を混合しているか？ Scholzeの挑戦「非可換になる図式を1つ示してほしい」はまさにこれを問うています。2018年から2026年3月まで、具体例は提示されていません。→ ドアN2を通った証拠がない
N3（無限帰納）について: IUTは帰納法を使いません。theta-linkは有限回。→ ドアN3は使われていない
N4（非消滅量）について: IUTの三重不定性（Ind1-3）を通過した後に残る量が、super-Wieferich条件で消えないか？ 私の分析では、Ind通過後の量は「$p^K$-局所述語」（各素数ごとに $\ell \bmod p^K$ から計算できる量）に帰着します。これは方法クラスCの射程内であり、No-Go定理で撃ち落とされます。→ ドアN4も通れていない
ここで自然な反論があります：
「IUTが4つのドアのどれかを通っていることは、IUTの内部言語でしか記述できない。外部からは見えないだけだ。」
これは物理学でいうヒッグス粒子に似た議論です。「存在するが観測できない」。
しかし、ヒッグス粒子との決定的な違いがあります。
ヒッグス粒子の場合：
IUTの場合：
つまり、「見えないけど存在する」ではなく、「存在し得ない」ことが証明できるのです。
技術的にもう少し詳しく言うと：
IUTの三重不定性（Ind1-3）は、各素数 $p$ ごとに $\ell \bmod p^K$ のデータ上で完結する「$p$-局所操作」です。$p$-局所操作を何回合成しても、出力は $p^K$-局所述語（$\ell \bmod p^K$ から計算可能な量）に留まります。そしてNo-Go定理の核心であるExtension Lemma（拡張補題）は、$p^K$-局所述語を完全に保存したまま、観測外の素数での振る舞いを自由に変えられる底を構成します。
面白いことに、私の分析はScholze-Stix（2018）と全く異なる方法で同じ結論に到達しています。
| Scholze-Stix | 本稿 | |
|---|---|---|
| 方法 | IUT内部の図式追跡 | 外部からの公理的分析 |
| 結論 | 系3.12が $0 \leq 0$ に退化 | IUTは方法クラスCを出ていない |
| 望月反論への耐性 | 「調べ方が間違い」で回避の余地 | 「枠組みが不適切」= 「C内にいる」で回避不能 |
2つの独立した分析が同じ壁に突き当たる理由は単純です：素数同士の独立性は、分析手法に依存しない$\operatorname{Spec}\mathbb{Z}$の算術的事実だからです。
IUTが方法クラスCの外に出ていないなら、No-Go定理により、ABC予想の証明として機能しません。
ただし、ここで注意が必要です。本稿の分析には「IUTの各部品がCに属する」という分析結果（[分析結果]とラベル付け）が含まれています。これはIUTの構造に対する私の分析であり、IUTの全てを解読した上での結論ではありません。
しかし：
つまり、IUTがABC予想を証明しているためには、4つのドアのどれかを通っている具体例を1つ示す必要があります。この最小要求はScholzeが2018年に提示したものと本質的に同じであり、8年間回答されていません。
ABC予想を証明するためには、方法クラスCを本当に超える手法が必要です。
最も有望な経路は N2（異素数結合） です。具体的には、$L$-関数の解析接続によって全ての素数の情報を同時に扱うアプローチ。Euler積の「定義」は各素数の独立な積にすぎませんが、その「解析接続」は全素数を非自明に混合します。Frey曲線のモジュラリティ定理 → $L(E,s)$ の解析接続がまさにこの橋ですが、IUTはこの経路を使っていません。
IUTがABC予想を証明しているかどうかの判定は、最終的には1つの問いに帰着します：
IUTの中に、W1–W4のいずれかに該当する具体例が1つでもあるか？
この問いに肯定的に答えることが、IUTの証明の正当性を示す最小条件です。
みんなそうだと思うけれども、本当は望月先生に頑張ってほしいと心の中で祈っています。
