「ABC予想」の版間の差分

削除された内容追加された内容

インライン

2021年8月8日 (日) 13:41時点における版


$a + b = c$ を満たす、互いに素な自然数の組 $(a, b, c)$ に対し、積 $abc$ の互いに異なる素因数の積を $d$ と表す。このとき、任意の $ε > 0$ に対して、 $c > d 1+ ε$ を満たす組 $(a, b, c)$ は高々有限個しか存在しないであろうか？

ABC予想（ABCよそう、英: abc conjecture, 別名：オステルレ–マッサー予想、英: Oesterlé–Masser conjecture）は、1985年にジョゼフ・オステルレとデイヴィッド・マッサーにより提起された数論の未解決予想である。これは多項式に関するメーソン・ストーサーズの定理の整数における類似であり、互いに素でありかつ $a + b = c$ を満たすような3つの自然数（この予想に呼び方を合わせると） $a$ , $b$ , $c$ について述べている^[1]^[2]。

ABC予想は、この予想から数々の興味深い結果が得られることから有名になった。数論における数多の有名な予想や定理が ABC予想から直ちに導かれる。Goldfeld (1996) は、ABC予想を「ディオファントス解析で最も重要な未解決問題」であるとしている。

証明の試み

ABC予想を証明するためのさまざまな試みがあるが、現在完全に数学コミュニティのコンセンサスが得られたものはない。ピーター・ショルツやジェイコブ・スティックスらはPRIMSへの掲載決定後も「証明になっていない」と望月の証明について懐疑的・否定的な見解を表明している^[3]^[4]^[5]^[6]^[7]^[8]。

2012年8月30日、京都大学数理解析研究所教授の望月新一が ABC予想を証明したとする論文がインターネットで公開された^[9]^[10]^[11]^[12]^[13]。イギリスの科学誌ネイチャーは、同教授は新たな数学的手法を開発し、それを駆使して証明を展開しているため「査読に時間がかかるだろう」と報じた^[14]^[15]。望月は証明に用いた理論を宇宙際タイヒミュラー理論と呼んでおり、スピロ予想とヴォイタ予想の証明などを含む応用があり、整数論の問題を解く強力な道具になるとしている^[16]。

それらの論文について、2012年 10月にヴェッセリン・ディミトロフ^[17]とアクシェイ・ヴェンカテシュにより誤りが指摘^[18]されたが、望月は指摘を認めつつ本質的結果は影響されないとコメントし、訂正を約束した^[19]。以後、同年12月より指摘事項の修正や他の校正等を含む一連の訂正版論文を発表している^[20]。

2015年、イヴァン・フェセンコによって、望月の宇宙際タイヒミュラー理論に対する初のサーベイ論文が発表された^[21]。

2017年 9月1日、京都大学数理解析研究所の山下剛から宇宙際タイヒミュラー理論に対するサーベイ論文が発表された^[22]。

2017年12月、5年余りの査読の末に、望月の論文が、京都大学数理解析研究所の編集する専門誌『Publications of the Research Institute for Mathematical Sciences』 (以下『PRIMS」)に掲載される見通しになったという報道もあった^[23]が、実際には掲載されず、査読は2020年まで続いた^{[注 1]}^[24]^[25]。

2020年 2月に望月の証明が『PRIMS』の査読を通過したことが、同年4月に同研究所の数学者柏原正樹らによって発表された^[26]^[27]^[28]^[29]^[30]^{[注 2]}。

2021年3月4日、望月の論文が『PRIMS』の特別号電子版に4日付で掲載された^[32]。この論文に対する懐疑的な見方について、京都大の玉川安騎男は「反論は出尽くしており、今後も評価は平行線のまま」としている^[32]。

2021年7月31日、ヨーロッパ数学会が運営するzbMATHにペーター・ショルツェの書評が掲載され、「このシリーズの最初の3つのパートにおいて、読者は残念ながら実質的な数学的内容をほんの少ししか見出さないだろう。第2部と第3部では，肝心のCorollary 3.12以外に、数行以上の証明を見出さないだろう」という否定的なコメントが付された^[33]。

定式化

自然数 $n$ に対して、 $n$ の互いに異なる素因数の積を $n$ の根基 (radical) と呼び、 $rad n$ と書く。以下に例を挙げる。

$p$ が素数ならば、 $rad(p) = p$ .
$rad(8) = rad(2 3) = 2$ .
$rad(45) = rad(3 2 \cdot 5) = 3 \cdot 5 = 15$ .

自然数の組 $(a, b, c)$ で、 $a + b = c$ , $a < b$ で、 $a$ と $b$ は互いに素であるものを abc-triple と呼ぶ。大抵の場合は $c < rad(abc)$ が成り立つが、ABC予想が主張するのはこれが成り立たない例（例えば、 $a = 1$ , $b = 8$ のとき $c = 9$ であり、 $rad(abc) = 6$ である）の方である。ただし、 $c > rad(abc)$ が成り立つ例も無限に存在する^{[注 3]}^{[注 4]}ため、 $rad(abc)$ を少しだけ大きくすることで例を有限個にできないかどうかを考える。すなわち、ABC予想は任意の $ε > 0$ に対して、次を満たすような自然数の組 $(a, b, c)$ は高々有限個しか存在しないであろうと述べている：

c>\operatorname {rad} (abc)^{1+\varepsilon }.

これと同値な他の定式化（Oesterlé–Masser の ABC予想）として次のものがある。すなわち、任意の $ε > 0$ に対してある $K (ε) > 0$ が存在し、全ての abc-triple $(a, b, c)$ について次が成り立つという：

c<K(\varepsilon )\cdot \operatorname {rad} (abc)^{1+\varepsilon }

（

K (ε)

を

ε

に依らずに取ることはできない。）

三つ目の定式化は「質」(quality) と呼ばれる概念を導入して表現する。abc-triple $(a, b, c)$ に対して、質 $q (a, b, c)$ を次のように定義する：

q(a,b,c):={\frac {\log c}{\log(\operatorname {rad} (abc))}}.

このときABC予想は、任意の $ε > 0$ に対して、abc-triple $(a, b, c)$ であって $q (a, b, c) > 1 + ε$ を満たすものは高々有限個しか存在しないということを主張している。

現在、 $q (a, b, c) > 1.6$ を満たす abc-triple は後述の通り3組しか知られていない。 $q (a, b, c)$ を 2 まで大きくすれば、そうした abc-triple は存在しないという予想もある。すなわち「全ての abc-triple $(a, b, c)$ に対して、 $c < rad(abc) 2$ を満たすであろう」という主張だが、こちらも肯定も否定もされていない^{[注 5]}。

得られる結果の例

ABC予想を真だと仮定すると、多数の系が得られる。その中には既に知られている結果もあれば、予想の提出後に予想とは独立に証明されたものもあり、部分的証明となるものもある。ABC予想がもし早期に証明されていたなら、得られる系という意味での影響はもっと大きかったが、ABC予想が成立した場合に解決される予想はまだ残っており、また数論の深い問題と数多くの結び付きがあるので、ABC予想は依然として「重要な問題」であり続けている。「有限個に限定される」ことが結論である命題（予想）の証明に役に立つ。

トゥエ＝ジーゲル＝ロスの定理: 代数的数のディオファントス近似に関する定理。

フェルマーの最終定理: ただし指数が十分大きい場合（どの程度大きければよいかは $K (ε)$ に依る）。定理自体は（ABC予想とは独立に）ワイルズが証明した。ある $K (ε)$ が具体的に求まれば、有限個の例外を直接計算することにより、原理的にはすべての指数 ≥ 4 に対して証明が可能である。 $ε = 1$ のとき $K (1) = 1$ という予想もあり、この仮定の下で、指数が $6$ 以上の場合は直ちに証明される (Granville & Tucker 2002)^{[注 6]}。望月らは、フェルマーの最終定理の別証明を与えたとプレプリントで公表している^[31]。

モーデル予想（ファルティングスの定理）: (Elkies 1991)

エルデシュ＝ウッズ予想（英語版）: ただし有限個の反例を除く (Langevin 1993)。

非ヴィーフェリッヒ素数（英語版）が無限個存在すること: (Silverman 1988)。

弱い形のマーシャル・ホール予想（英語版）: 平方数と立方数の間隔に関する予想 (Nitaj 1996)。

フェルマー＝カタラン予想: フェルマーの最終定理の拡張であり、冪の和である冪を扱う (Pomerance 2008)。

ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がジーゲル零点（英語版）を持たないこと: 正確には、このためには上で紹介している有理整数を扱うABC予想に加えて、代数体上の一様なABC予想を用いる。(Granville & Stark 2000)。

Schinzel–Tijdeman theorem: $P$ を少なくとも3つ以上の単根を持つ多項式とすると、 $P (1)， P (2)， P (3), \dots$ の中には高々有限個しか累乗数が存在しない、という定理 (1976)^[34]。

ティーデマンの定理（英語版）の一般化: $y m = x n + k$ が持つ解の個数について。ティーデマンの定理は $k = 1$ の場合を述べている。また、 $Ay m = Bx n + k$ が持つ解の個数に関するピライ予想 (1931)。

グランヴィル＝ランジュバン予想（英語版）と同値。
修正したスピロ予想。: これは境界として $\scriptstyle \operatorname {rad} (abc)^{{\frac {6}{5}}+\varepsilon }$ を与える (Oesterlé 1988)。

任意の整数A について、 $n! + A = k 2$ が有限個の解しか持たないこと（一般化されたブロカールの問題）: (Dąbrowski 1996)

コンピューティングによる成果

2006年、オランダのライデン大学数学研究所は、さらなる abc-triple を発見しようと、Kennislink科学協会と共に分散コンピューティングシステム「ABC@homeプロジェクト」を立ち上げた。たとえ発見された例または反例が ABC予想を解決することができなくとも、このプロジェクトによって発見される組み合わせが、予想と整数論についての洞察に繋がることが期待されている。

$q$ は上記で定義した abc-triple $(a, b, c)$ の質 $q (a, b, c)$ である。このとき、 $c$ の上限によって、質 $q$ は以下のような分布を取る。

$q > 1$ となる abc-triple の質 $q$ の分布^[35]
cの値	$q > 1$	$q > 1.05$	$q > 1.1$	$q > 1.2$	$q > 1.3$	$q > 1.4$
$c < 10 2$	6	4	4	2	0	0
$c < 10 3$	31	17	14	8	3	1
$c < 10 4$	120	74	50	22	8	3
$c < 10 5$	418	240	152	51	13	6
$c < 10 6$	1,268	667	379	102	29	11
$c < 10 7$	3,499	1,669	856	210	60	17
$c < 10 8$	8,987	3,869	1,801	384	98	25
$c < 10 9$	22,316	8,742	3,693	706	144	34
$c < 10 10$	51,677	18,233	7,035	1,159	218	51
$c < 10 11$	116,978	37,612	13,266	1,947	327	64
$c < 10 12$	252,856	73,714	23,773	3,028	455	74
$c < 10 13$	528,275	139,762	41,438	4,519	599	84
$c < 10 14$	1,075,319	258,168	70,047	6,665	769	98
$c < 10 15$	2,131,671	463,446	115,041	9,497	998	112
$c < 10 16$	4,119,410	812,499	184,727	13,118	1,232	126
$c < 10 17$	7,801,334	1,396,909	290,965	17,890	1,530	143
$c < 10 18$	14,482,059	2,352,105	449,194	24,013	1,843	160

2012年9月 (2012-09)現在^[update]、ABC@homeは2310万個の3つ組を発見しており、当面の目標を 10²⁰ を超えない $c$ についての全ての abc-triple $(a, b, c)$ を見つけることとしている^[36]

質の大きいabc-triple^[37]
番号	$q$	$a$	$b$	$c$	発見者
1	1.6299	2	3¹⁰·109	23⁵	Eric Reyssat
2	1.6260	11²	3²·5⁶·7³	2²¹·23	Benne de Weger
3	1.6235	19·1307	7·29²·31⁸	2⁸·3²²·5⁴	Jerzy Browkin, Juliusz Brzezinski
4	1.5808	283	5¹¹·13²	2⁸·3⁸·17³	Jerzy Browkin, Juliusz Brzezinski, Abderrahmane Nitaj
5	1.5679	1	2·3⁷	5⁴·7	Benne de Weger

脚注

注釈

^ “Publications of the Research Institute for Mathematical Sciences”. KURIMS. 2021年3月6日閲覧。。リンク先にあるように、そもそもPRIMS編集委員は京都大学数理解析研究所の教員により構成されており、望月自身が編集長を務めている。
^ 同誌の2021年発行号に掲載見込^[31]。
^ 例として、 $a = 1$ , $b = 3 2 n - 1$ , $c = 3 2 n$ のとき、全ての $n$ について $rad(abc) < 3 c /4$ が成り立つ。また、 $a = 1$ , $b = 3 2 n - 1$ , $c = 3 2 n$ のとき、全ての $n$ について $rad(abc) < 3 c /2 n +1$ が成り立つ。
^ なお、 $c = rad(abc)$ すなわち $q (a, b, c) = 1$ となるような abc-triple は1組もない。もし $a < b$ を課さなければ (1, 1, 2) という1組だけがあるが、予想自体には支障をきたさない。
^ この主張と元のABC予想の主張の間に論理的な強弱関係はない。
^ ABC予想が $K = 1$ かつ $ε = 1$ で正しければ、互いに素な自然数 $A, B, C$ が $A + B = C$ を満たすとき $C < (rad ABC) 2$ が成り立つ。互いに素な自然数 $a, b, c$ が $a n + b n = c n$ を満たすと仮定すると、 $a n, b n, c n$ は互いに素より、 $A = a n$ , $B = b n$ , $C = c n$ を代入して
$c^{n}<(\operatorname {rad} a^{n}b^{n}c^{n})^{2}$ が成り立つ。一般に $\operatorname {rad} x^{n}=\operatorname {rad} x\leq x$ であるから、 $(\operatorname {rad} a^{n}b^{n}c^{n})^{2}\leq (abc)^{2}<(c^{3})^{2}=c^{6}$ となる。ゆえに $c n < c 6$ , $c > 1$ より $n < 6$ 。 $n = 3, 4, 5$ については古典的な証明があるので定理が証明される。(山崎 2010, p. 11)

出典

^ “知恵蔵2013『ABC予想』”. kotobank.jp. コトバンク (2020年4月3日). 2020年4月3日閲覧。
^ “"abc Conjecture".”. mathworld.wolfram.com. MathWorld (2020年4月3日). 2020年4月3日閲覧。
^ “The ABC conjecture has (still) not been proved”. Persiflage (2017年12月). 2020年4月28日閲覧。
^ annahaensch (2017年12月). “Best and Worst of 2017”. Blog on Math Blogs. 2020年4月28日閲覧。
^ “Latest on abc” (英語). Not Even Wrong. Peter Woit (2020年4月3日). 2021年3月5日閲覧。
^ Castelvecchi, Davide (2020-04-03). “Mathematical proof that rocked number theory will be published”. Nature. doi:10.1038/d41586-020-00998-2.
^ 石倉徹也 (2020年5月3日). “ABC予想「証明は本当か？」　欧米で論文に異議相次ぐ”. 朝日新聞デジタル. 朝日新聞. 2021年4月4日閲覧。
^ Peter Woit [in 英語] (4 March 2021). "ABC is Still a Conjecture". math.columbia.edu. コロンビア大学数学科. 2021年6月2日時点のオリジナルよりアーカイブ。2021年6月2日閲覧。
^ “京都大学数理解析研究所 - プレプリント -”. www.kurims.kyoto-u.ac.jp. 2021年4月17日閲覧。
^ Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory IV: Log-volume Computations and Set-theoretic Foundations.” (PDF). Working Paper 2021年3月5日閲覧。.
^ Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory I: Construction of Hodge Theaters.” (PDF). Working Paper 2021年3月5日閲覧。.
^ Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory II: Hodge-Arakelov-theoretic Evaluation.” (PDF). Working Paper 2021年3月5日閲覧。.
^ Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory III: Canonical Splittings of the Log-theta-lattice.” (PDF). Working Paper 2021年3月5日閲覧。.
^ Ball, Phillip (2012-09-10). “Proof claimed for deep connection between primes”. Nature 2021年3月5日閲覧。.
^ “「異世界からきた」論文を巡って　望月新一による「ＡＢＣ予想」の証明と、数学界の戦い”. WIRED ジャパン. WIRED Japan (2020年4月3日). 2021年3月5日閲覧。
^ “数学の難問「ＡＢＣ予想」、京大教授が解明か”. 共同通信社. 日本経済新聞. (2012年9月18日) 2021年3月5日閲覧。
^ “Vesselin Dimitrov”. math.toronto.edu. トロント大学数学科. 2021年6月3日閲覧。
^ この議論の発端は、MathOverflowの記事 Philosophy behind Mochizuki’s work on the ABC conjecture である
^ Kevin Hartnett (2012年11月3日). “An ABC proof too tough even for mathematicians” (英語). Boston Globe 2021年3月5日閲覧。
^ “望月新一の最新情報”. 京都大学数理解析研究所望月研究室 (2021年3月6日). 2021年4月4日閲覧。
^ Ivan Fesenko. (2015) "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki."
^ Go Yamashita, A Proof of abc Conjecture After Mochizuki
^ 石倉徹也 (2017年12月16日). “数学の超難問・ＡＢＣ予想を「証明」　望月京大教授”. 朝日新聞 2021年3月5日閲覧。
^ “Not Even Wrong” (英語). Peter Woit (2017年12月16日). 2021年3月5日閲覧。
^ Erica Klarreich (2018年9月). “Titans of Mathematics Clash Over Epic Proof of ABC Conjecture” (英語). Quonta Magazine. 2021年3月5日閲覧。
^ “現代数学の難問「ABC予想」を証明、論文掲載へ　京大・望月教授、8年越しで専門誌に｜文化・ライフ｜地域のニュース｜京都新聞” (2020年4月3日). 2021年3月5日閲覧。
^ “数学の難問「ＡＢＣ予想」証明　望月京大教授の論文、学術誌に掲載”. 産経新聞ニュース. 産経新聞 (2020年4月3日). 2020年4月3日閲覧。
^ “未解明だった数学の超難問「ABC予想」を証明　京大の望月教授　斬新・難解で査読に8年”. mainichi.jp. 毎日新聞 (2020年4月3日). 2020年4月3日閲覧。
^ 石倉徹也 (2020年4月3日). “数学の超難問ABC予想、京大教授が証明　検証に7年半”. 朝日新聞デジタル. 朝日新聞. 2021年4月4日閲覧。
^ “数学の超難問ABC予想、京大教授が「証明」”. www.nikkei.com. 日本経済新聞 (2020年4月3日). 2020年4月25日閲覧。
^ ^a ^b SHINICHI MOCHIZUKI (30 November 2020). Explicit Estimates in Inter-universal Teichm¨uller Theory (PDF) (Report). 京都大学数理解析研究所. 2020年12月5日閲覧。 {{cite report}}: 不明な引数|coauthors=は無視されます。（もしかして：|author=） (説明)
^ ^a ^b "難問「ABC予想」論文が掲載". 共同通信. 5 March 2021. 2021年4月4日閲覧。
^ https://zbmath.org/pdf/07317908.pdf
^ The ABC-conjecture (Frits Beukers, 9 september 2005) (PDF)
^ “Synthese resultaten”. rekenmeemetabc.nl. 2008年12月22日時点のオリジナルよりアーカイブ。2011年1月1日閲覧。（オランダ語）
^ “Data collected sofar”. ABC At Home. 2012年10月4日時点のオリジナルよりアーカイブ。2012年9月10日閲覧。
^ “Bart de Smit / ABC triples / by quality”. Reken mee met ABC (2005年8月1日). 2021年3月5日閲覧。

参考文献

山崎, 隆雄「フェルマー予想とABC予想」（PDF）『数学セミナー』2010年10月、2021年3月28日閲覧。
野口潤次郎「ネヴァンリンナ理論とイロハ(abc-)予想」（PDF）『数理解析研究所講究録』第1274巻、京都大学数理解析研究所、70-76頁、handle:2433/42249、2021年3月5日閲覧。 }
田口雄一郎. “abc予想の話”. 東京工業大学理学院数学系. 2021年3月5日閲覧。
Baker, Alan (1998). “Logarithmic forms and the abc-conjecture”. In Győry, Kálmán (英語). Number theory. Diophantine, computational and algebraic aspects. Proceedings of the international conference, Eger, Hungary, July 29-August 2, 1996. Berlin: de Gruyter. pp. 37-44. ISBN 978-3110153644. Zbl 0973.11047
Bombieri, Enrico; Gubler, Walter (2006) (英語). Heights in Diophantine Geometry. New Mathematical Monographs. 4. Cambridge University Press. doi:10.2277/0521846153. ISBN 978-0-521-71229-3. Zbl 1130.11034
Browkin, Jerzy; Brzeziński, Juliusz (1994). “Some remarks on the abc-conjecture” (英語). Math. Comp. 62 (206): 931–939. doi:10.2307/2153551. JSTOR 2153551.
Browkin, Jerzy (2000-02). “The abc-conjecture”. In Bambah, R. P.; Dumir, V. C.; Hans-Gill, R. J. (英語). Number Theory. Trends in Mathematics. Basel: Birkhäuser. pp. 75–106. ISBN 978-3764362591
Dąbrowski, Andrzej (1996). “On the diophantine equation $x!+A=y^{2}$ ” (英語). Nieuw Archief voor Wiskunde, IV. 14: 321–324.
Elkies, N. D. (1991). “ABC implies Mordell” (英語). Intern. Math. Research Notices 7 (7): 99–109. doi:10.1155/S1073792891000144.
Goldfeld, Dorian (1996). “Beyond the last theorem” (英語). Math Horizons (September): 26–34 2021年3月5日閲覧。.
Gowers, Timothy; Barrow-Green, June; Leader, Imre, eds (2008) (英語). The Princeton Companion to Mathematics. Princeton: Princeton University Press. pp. 361–362, 681. ISBN 978-0-691-11880-2
Granville, Andrew; Stark, H. (2000). “ABC implies no "Siegel zeros" for L-functions of characters with negative exponent” (英語) (pdf). Inventiones Mathematicae 139: 509–523 2021年3月5日閲覧。.
Granville, Andrew; Tucker, Thomas J. (2002). “It’s As Easy As abc” (英語) (pdf). Notices of the AMS 49 (10): 1224–1231 2021年3月5日閲覧。. - 著者の1人であるThomas J. Tuckerは、Thomas W. Tuckerの息子である。
Guy, Richard K. (2004) (英語). Unsolved Problems in Number Theory. Berlin: Springer-Verlag. ISBN 978-0387208602
Lando, Sergei K.; Zvonkin, Alexander K. (2004) (英語). Graphs on Surfaces and Their Applications. 141 (2004th ed.). Springer-Verlag. ISBN 978-3540002031
Langevin, M. (1993). “Cas d'égalité pour le théorème de Mason et applications de la conjecture abc” (フランス語). Comptes rendus de l'Académie des sciences 317 (5): 441–444. （フランス語）
Masser, D. W. (1985). “Open problems”. In Chen, W. W. L. (英語). Proceedings of the Symposium on Analytic Number Theory. London: Imperial College
Nitaj, Abderrahmane (1996). “La conjecture abc” (フランス語). Enseign. Math. 42 (1–2): 3–24. （フランス語）
Oesterlé, Joseph (1988) (フランス語). Nouvelles approches du "théorème" de Fermat. Séminaire Bourbaki exp 694. 165–186. ISSN 0303-1179. MR992208 2021年3月5日閲覧。（フランス語）
Pomerance, Carl (2008). “Computational Number Theory” (英語). The Princeton Companion to Mathematics. Princeton University Press. pp. 361–362
Silverman, Joseph H. (1988). “Wieferich's criterion and the abc-conjecture” (英語). Journal of Number Theory 30 (2): 226–237. doi:10.1016/0022-314X(88)90019-4. Zbl 0654.10019.
Stewart, C. L.; Tijdeman, R. (1986). “On the Oesterlé-Masser conjecture” (英語). Monatshefte für Mathematik 102 (3): 251–257. doi:10.1007/BF01294603.
Stewart, C. L.; Yu, Kunrui (1991). “On the abc conjecture” (英語). Mathematische Annalen 291 (1): 225–230. doi:10.1007/BF01445201.
Stewart, C. L.; Yu, Kunrui (2001). “On the abc conjecture, II” (英語). Duke Mathematical Journal 108 (1): 169–181. doi:10.1215/S0012-7094-01-10815-6.

外部リンク

星裕一郎 (2015年11月). “宇宙際 Teichmüller 理論入門”. 京都大学. 2015年11月24日時点のオリジナルよりアーカイブ。2015年11月24日閲覧。
星裕一郎 (2018年9月). “続・宇宙際 Teichmüller 理論入門 (Introduction to Inter-universal Teichm¨uller Theory, Continued)” (PDF). 京都大学. 2021年3月6日閲覧。
Shinichi Mochizuki (2019年2月). “REPORT ON DISCUSSIONS, HELD DURING THE PERIOD MARCH 15 – 20, 2018, CONCERNING INTER-UNIVERSAL TEICHMULLER THEORY (IUTCH)（京大数理研で行なわれたIUTeichに関する議論を纏めた報告書）” (PDF) (英語). 京都大学. 2021年3月6日閲覧。
石倉徹也 (2021年3月5日). “ABC予想の証明論文、ついに出版　8年半かけ数学誌に”. 朝日新聞デジタル (朝日新聞) 2021年3月6日閲覧. "数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の論文が5日、2012年の提出から足かけ8年半がかりで出版された。"
“「ABC予想」論文掲載　京大の望月教授証明、審査7年半”. 日経新聞 (日本経済新聞社). (2021年3月7日) 2021年3月7日閲覧。
“「数学史に刻まれる」偉業、難問「ＡＢＣ予想」証明成功の論文掲載…京大教授”. 読売新聞. (2021年3月7日) 2021年3月7日閲覧。
「Publications of the Research Institute for Mathematical Sciences」第57巻Special Issue、EMS - European Mathematical Society Publishing House、2021年。リンク先のページにPDFファイルがある。

『ABC予想』 - コトバンク

[24] “Publications of the Research Institute for Mathematical Sciences”. KURIMS. 2021年3月6日閲覧。。リンク先にあるように、そもそもPRIMS編集委員は京都大学数理解析研究所の教員により構成されており、望月自身が編集長を務めている。

[33] 同誌の2021年発行号に掲載見込^[31]。

[36] 例として、 $a = 1$ , $b = 3 2 n - 1$ , $c = 3 2 n$ のとき、全ての $n$ について $rad(abc) < 3 c /4$ が成り立つ。また、 $a = 1$ , $b = 3 2 n - 1$ , $c = 3 2 n$ のとき、全ての $n$ について $rad(abc) < 3 c /2 n +1$ が成り立つ。

[37] なお、 $c = rad(abc)$ すなわち $q (a, b, c) = 1$ となるような abc-triple は1組もない。もし $a < b$ を課さなければ (1, 1, 2) という1組だけがあるが、予想自体には支障をきたさない。

[38] この主張と元のABC予想の主張の間に論理的な強弱関係はない。

[39] ABC予想が $K = 1$ かつ $ε = 1$ で正しければ、互いに素な自然数 $A, B, C$ が $A + B = C$ を満たすとき $C < (rad ABC) 2$ が成り立つ。互いに素な自然数 $a, b, c$ が $a n + b n = c n$ を満たすと仮定すると、 $a n, b n, c n$ は互いに素より、 $A = a n$ , $B = b n$ , $C = c n$ を代入して
$c^{n}<(\operatorname {rad} a^{n}b^{n}c^{n})^{2}$ が成り立つ。一般に $\operatorname {rad} x^{n}=\operatorname {rad} x\leq x$ であるから、 $(\operatorname {rad} a^{n}b^{n}c^{n})^{2}\leq (abc)^{2}<(c^{3})^{2}=c^{6}$ となる。ゆえに $c n < c 6$ , $c > 1$ より $n < 6$ 。 $n = 3, 4, 5$ については古典的な証明があるので定理が証明される。(山崎 2010, p. 11)

[1] “知恵蔵2013『ABC予想』”. kotobank.jp. コトバンク (2020年4月3日). 2020年4月3日閲覧。

[2] “"abc Conjecture".”. mathworld.wolfram.com. MathWorld (2020年4月3日). 2020年4月3日閲覧。

[Persiflage2017-3] “The ABC conjecture has (still) not been proved”. Persiflage (2017年12月). 2020年4月28日閲覧。

[annahaensch-4] sch (2017年12月). “Best and Worst of 2017”. Blog on Math Blogs. 2020年4月28日閲覧。

[PeterWoit-5] “Latest on abc” (英語). Not Even Wrong. Peter Woit (2020年4月3日). 2021年3月5日閲覧。

[nature20200403-6] Castelvecchi, Davide (2020-04-03). “Mathematical proof that rocked number theory will be published”. Nature. doi:10.1038/d41586-020-00998-2.

[7] 石倉徹也 (2020年5月3日). “ABC予想「証明は本当か？」　欧米で論文に異議相次ぐ”. 朝日新聞デジタル. 朝日新聞. 2021年4月4日閲覧。

[8] Peter Woit [in 英語] (4 March 2021). "ABC is Still a Conjecture". math.columbia.edu. コロンビア大学数学科. 2021年6月2日時点のオリジナルよりアーカイブ。2021年6月2日閲覧。

[9] “京都大学数理解析研究所 - プレプリント -”. www.kurims.kyoto-u.ac.jp. 2021年4月17日閲覧。

[Mochizuki2012d-10] Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory IV: Log-volume Computations and Set-theoretic Foundations.” (PDF). Working Paper 2021年3月5日閲覧。.

[Mochizuki2012a-11] Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory I: Construction of Hodge Theaters.” (PDF). Working Paper 2021年3月5日閲覧。.

[Mochizuki2012b-12] Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory II: Hodge-Arakelov-theoretic Evaluation.” (PDF). Working Paper 2021年3月5日閲覧。.

[Mochizuki2012c-13] Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory III: Canonical Splittings of the Log-theta-lattice.” (PDF). Working Paper 2021年3月5日閲覧。.

[Nature20120910-14] Ball, Phillip (2012-09-10). “Proof claimed for deep connection between primes”. Nature 2021年3月5日閲覧。.

[15] “「異世界からきた」論文を巡って　望月新一による「ＡＢＣ予想」の証明と、数学界の戦い”. WIRED ジャパン. WIRED Japan (2020年4月3日). 2021年3月5日閲覧。

[nikkei20120918-16] “数学の難問「ＡＢＣ予想」、京大教授が解明か”. 共同通信社. 日本経済新聞. (2012年9月18日) 2021年3月5日閲覧。

[17] “Vesselin Dimitrov”. math.toronto.edu. トロント大学数学科. 2021年6月3日閲覧。

[18] この議論の発端は、MathOverflowの記事 Philosophy behind Mochizuki’s work on the ABC conjecture である

[19] Kevin Hartnett (2012年11月3日). “An ABC proof too tough even for mathematicians” (英語). Boston Globe 2021年3月5日閲覧。

[20] “望月新一の最新情報”. 京都大学数理解析研究所望月研究室 (2021年3月6日). 2021年4月4日閲覧。

[21] Ivan Fesenko. (2015) "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki."

[22] Go Yamashita, A Proof of abc Conjecture After Mochizuki

[23] 石倉徹也 (2017年12月16日). “数学の超難問・ＡＢＣ予想を「証明」　望月京大教授”. 朝日新聞 2021年3月5日閲覧。

[25] “Not Even Wrong” (英語). Peter Woit (2017年12月16日). 2021年3月5日閲覧。

[quonta-2018-26] Erica Klarreich (2018年9月). “Titans of Mathematics Clash Over Epic Proof of ABC Conjecture” (英語). Quonta Magazine. 2021年3月5日閲覧。

[kyoto-np20200403-27] “現代数学の難問「ABC予想」を証明、論文掲載へ　京大・望月教授、8年越しで専門誌に｜文化・ライフ｜地域のニュース｜京都新聞” (2020年4月3日). 2021年3月5日閲覧。

[sankei20200403-28] “数学の難問「ＡＢＣ予想」証明　望月京大教授の論文、学術誌に掲載”. 産経新聞ニュース. 産経新聞 (2020年4月3日). 2020年4月3日閲覧。

[mainichi20200403-29] “未解明だった数学の超難問「ABC予想」を証明　京大の望月教授　斬新・難解で査読に8年”. mainichi.jp. 毎日新聞 (2020年4月3日). 2020年4月3日閲覧。

[asahi20200403-30] 石倉徹也 (2020年4月3日). “数学の超難問ABC予想、京大教授が証明　検証に7年半”. 朝日新聞デジタル. 朝日新聞. 2021年4月4日閲覧。

[nikkei20200403-31] “数学の超難問ABC予想、京大教授が「証明」”. www.nikkei.com. 日本経済新聞 (2020年4月3日). 2020年4月25日閲覧。

[RIMSpreprint-32] SHINICHI MOCHIZUKI (30 November 2020). Explicit Estimates in Inter-universal Teichm¨uller Theory (PDF) (Report). 京都大学数理解析研究所. 2020年12月5日閲覧。 {{cite report}}: 不明な引数|coauthors=は無視されます。（もしかして：|author=） (説明)

[this20210305-34] "難問「ABC予想」論文が掲載". 共同通信. 5 March 2021. 2021年4月4日閲覧。

[35] ttps://zbmath.org/pdf/07317908.pdf

[Ref_a-40] The ABC-conjecture (Frits Beukers, 9 september 2005) (PDF)

[Ref_d-41] “Synthese resultaten”. rekenmeemetabc.nl. 2008年12月22日時点のオリジナルよりアーカイブ。2011年1月1日閲覧。（オランダ語）

[Ref_c-42] “Data collected sofar”. ABC At Home. 2012年10月4日時点のオリジナルよりアーカイブ。2012年9月10日閲覧。

[43] “Bart de Smit / ABC triples / by quality”. Reken mee met ABC (2005年8月1日). 2021年3月5日閲覧。

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[注 1]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[注 2]

[32]

[33]

[注 3]

[注 4]

[注 5]

[注 6]

[31]

[34]

[35]

[36]

[37]

@@ 86行目: / 86行目: @@
 {{mvar|q}} は上記で定義した abc-triple {{math|(''a'', ''b'', ''c'')}} の質 {{math|''q''(''a'', ''b'', ''c'')}} である。このとき、{{mvar|c}} の上限によって、質 {{mvar|q}} は以下のような分布を取る。
-{|class="wikitable sortable collapsible" border="1" style="text-align:right"
+{|class="wikitable sortable mw-collapsible" border="1" style="text-align:right"
 |+{{math|''q'' > 1}} となる abc-triple の質 {{mvar|q}} の分布<ref name="Ref_d">{{Cite web |url=http://rekenmeemetabc.nl/?item=h_stats |title=Synthese resultaten |website=rekenmeemetabc.nl |accessdate=2011-01-01 |archiveurl=https://web.archive.org/web/20081222221716/http://rekenmeemetabc.nl/?item=h_stats |archivedate=2008-12-22}} {{nl icon}}</ref>
 |-
@@ 149行目: / 149行目: @@
 |}
 {{As of|2012|9}}、ABC@homeは2310万個の3つ組を発見しており、当面の目標を 10{{sup|20}} を超えない {{mvar|c}} についての全ての abc-triple {{math|(''a'', ''b'', ''c'')}} を見つけることとしている<ref name="Ref_c">{{Cite web|url=http://abcathome.com/data/|title=Data collected sofar|website=ABC At Home|accessdate=2012-09-10|archiveurl=https://web.archive.org/web/20121004151051/http://abcathome.com/data/|archivedate=2012-10-04}}</ref>
-{|class="wikitable sortable collapsible" border="1"
+{|class="wikitable sortable mw-collapsible" border="1"
 |+質の大きいabc-triple<ref>{{Cite web|url=http://www.math.leidenuniv.nl/~desmit/abc/index.php?set=2|title=Bart de Smit / ABC triples / by quality|work=Reken mee met ABC|date=2005-08-01|accessdate=2021-03-05}}</ref>
 |-