同じ形なら、同じものなのか ― abc予想をめぐる十年以上の論争

六百ページを超える証明が、専門誌に載ったいまも、広い合意に至っていません。 宇宙際タイヒミュラー理論（IUT）と abc予想をめぐる十年以上の論争を、abc予想の中身から、2018年の京都での討論、Scholze–Stix の批判と望月教授の応答、Joshi 氏の見方、遠アーベル幾何、Lean による形式化までたどります。 どの立場にも立たず、各研究者の公開文書にもとづいて、霊夢と魔理沙の掛け合いで紹介します。 ▼目次 0:00 オープニング 2:17 abc 予想とは 6:05 高さの不等式と楕円曲線 6:59 IUT の公開（2012年） 9:23 2018年3月 京都での集中討論 11:41 刊行と、その後 13:33 形式化と LANA プロジェクト 16:12 二つのホッジ劇場 18:05 Scholze–Stix の議論 21:31 望月教授の応答 24:29 第三の見方（Joshi 氏） 26:25 焦点が一点に絞られていく 28:57 遠アーベル幾何の役割 36:58 ログ・シータ格子 37:53 プログラミングのたとえ 47:33 仕様と実装 52:13 結論に依らないもの 54:34 エンディング ▼主な参考文献（各研究者の公開文書） ・S. Mochizuki「Inter-universal Teichmüller Theory I–IV」Publ. Res. Inst. Math. Sci. 57 (2021) ・S. Mochizuki「On the Essential Logical Structure of Inter-universal Teichmüller Theory in Terms of Logical AND "∧"/Logical OR "∨" Relations」（2024年3月版） ・S. Mochizuki「Report on Discussions, Held during the Period March 15–20, 2018, Concerning Inter-Universal Teichmüller Theory (IUTch)」 ・P. Scholze, J. Stix「Why abc is still a conjecture」（2018年） ・S. Mochizuki「Report on the Current Situation Surrounding Inter-Universal Teichmüller Theory (IUT)」（2025年10月） ・S. Mochizuki「On the Formalization of IUT: A Preliminary Progress Report」（2026年4月） ・LANA Project「Project LANA Interim Report on IUT Theory」（2026年7月） ・K. Joshi「Final Report on the Mochizuki-Scholze-Stix Controversy」（2025年、arXiv:2505.10568） ・K. Joshi「The status of the Scholze-Stix Report and an analysis of the Mochizuki-Scholze-Stix Controversy」（2024年） ・星裕一郎「遠アーベル幾何学の進展」『数学』74巻1号（2022年） ・S. Mochizuki「The local pro-p anabelian geometry of curves」Invent. Math. 138 (1999) ・S. Mochizuki, I. Fesenko, Y. Hoshi, A. Minamide, W. Porowski「Explicit Estimates in Inter-universal Teichmüller Theory」Kodai Math. J. 45 (2022) ────────────── ※本動画は、宇宙際タイヒミュラー理論の系3.12 や abc 予想の成否について、いかなる判断も示すものではありません。研究者の主張は、それぞれの公開文書にもとづいて紹介しています。 ※本動画の作者は、制作の時点で、LANA プロジェクト、望月新一教授とその周辺の研究者、P. Scholze 教授・J. Stix 教授、K. Joshi 氏のいずれとも、所属・共同研究・依頼・資金提供・監修などの関係はありません。本動画は、これらの方々の確認や承認を受けたものではありません。 ※この動画は東方Projectの二次創作です。 　東方Project二次創作ガイドライン https://touhou-project.news/guideline/ ▼使用素材 ・立ち絵：たぬき式ゆっくり https://tanukiyukkuri.github.io/tanuk... ・音声：AquesTalk 　本ソフトは、(株)アクエストの音声合成ライブラリ AquesTalk を使用しており、 　その著作権は同社に帰属します。 ・BGM：甘茶の音楽工房 https://amachamusic.chagasi.com/ 　「ゆるやかな朝焼け」「静かの海」「高原を渡る風」「プルキンエ・フェノミナン」「ソラリスの雨」「夢」「古の碑石」「月明かりの灯台」「ウキウキららら」 ・イラスト：いらすとや https://www.irasutoya.com/ （16点） ・アニメーション（静止画を切り出し、縮小して使用）： 　Etienne Farcot「The Multiradial Representation of Inter-universal Teichmüller Theory」 　（望月新一教授の仕様と Ivan Fesenko 教授の提案にもとづく） 　https://www.kurims.kyoto-u.ac.jp/~mot... 　CC BY 4.0 https://creativecommons.org/licenses/... 　原作者の承認を得たものではありません。 ・制作：ゆっくりMovieMaker4 ──────────────