20/01/05 16:29:15.59 dWKXmW0r.net
>>75
＞まあ、今年の４回のワークショップで決着させてほしいですね
＞関係者も、決着に向けて、努力すべき
４回のワークショップのどこかで
SSの3.12の議論について
皆で検討して、その討議記録と結論を公開してほしいね
うまく決着させてほしい
IUTで、ABCとか、Szpiro Conjectureとか出るのか出ないのか？
いい加減決着させないと
別の方法で、取り組んでいる（取り組もうとしている）人達にとっても、
「早く、すっきりさせろよ、おい」って感じでしょうね
決着と言っても、
皆が納得する、納得できる、決着であるべきですけどね（＾＾；
（過去スレより ご参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF NEW !! (2019-10-31)
P3
Theorem A. (Diophantine Inequalities)
Then, relative to the notation of [GenEll]
[reviewed in the discussion preceding Corollary 2.2 of the present paper], one has
an inequality of “bounded discrepancy classes”
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 conjecture