20/04/07 21:27:15 88eWIsK9.net
>>518
あと、あまり指摘されていないが
下記のVesselin Dimitrov氏は、中間から若干IUT成立側の立場に見えるな（＾＾
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
(抜粋)
Vesselin Dimitrov says:
April 5, 2020 at 1:37 am
All of this is confusing. Let me at least try to clarify something about effectivity and the external reduction.
@David Roberts: One can certainly be more explicit by spelling out ? if not bypassing ? what exactly those restrictive standing hypotheses mean.
This paper by Dupuy and Hilado actually involves all of Mochizuki’s special assumptions (from I Def. 3.1) occurring in his already explicit claim IV 1.10, and even more: [D-H] furthermore require the elliptic curve to have a good reduction at all prime ideals of residue characteristic 2.
The latter is not assumed by Mochizuki (he rather states an explicit bound on the prime-to-2 part of the minimal discriminant, under his other assumptions in I Def. 3.1);
and the Belyi maps argument does not allow a reduction to the case of good reduction above 2 (it only reduces to a situation of bounded contributions at 2).
Besides, the true exponent is a “6” (as in IV 1.10) rather than the lossful “24” in [D-H]. My understanding is they rather want to make the statement more conventionally readable.
Vesselin says:
April 6, 2020 at 2:28 pm
@W, just to fix your precise reference for the convenience of others following along: You mean either Corollary 2.3 on page 500 of that paper (Absolute anabelian cuspidalization of proper hyperbolic curves); or Corollary 1.10, part (iii) on page 43 of the subsequent paper (Topics in absolute anabelian geometry III).
Those disprove Corollary 21.2 of Joshi’s preprint.