>>353 >[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
はいはい、ABC この[4]のP3に ”Theorem A. (Diophantine Inequalities)”があって、その直後に
”Thus, Theorem A asserts an inequality concerning the canonical height [i.e.,“htωX(D)”], the logarithmic different [i.e., “log-diffX”], and the logarithmic conductor [i.e., “log-condD”] of points of the curve UX valued in number fields whose extension degree over Q is ? d . In particular, the so-called Vojta Conjecture for hyperbolic curves, the ABC Conjecture, and the Szpiro Conjecture for elliptic curves all follow as special cases of Theorem A. We refer to [Vjt] for a detailed exposition of these conjectures. ”
