Arithmetic Elliptic Curves in General Position (comments)英文教材.pdf

COMMENTS ON “ARITHMETIC ELLIPTIC CURVES IN GENERAL POSITION” Shinichi Mochizuki December 2015 (1.) The notation “ordv (−) : Fv → Z” in the final sentence of the first paragraph following [GenEll], Definition 1.1, should read “ordv (−) : F × → Z”. v (2.) In [GenEll], Definition 1.2, (ii), the non-resp’d and first resp’d items in the display should be reversed! That is to say, the notation “α F β” corresponds to “α(x) − β (x) ≤ C”; the notation “α F β” corresponds to “β (x) − α(x) ≤ C”. (3.) The first portion of the first sentence of the statement of [GenEll], Corollary 4.4, should read: “Let Q be an algebraic closure of Q; . . . ”. (4.) The “log-diffMell ([EL]))” in the second inequality of the final display of the statement of [GenEll], Corollary 4.4, should read “log-diffMell ([EL])”. (5.) The equality htE ≈ (deg(E)/ deg(ωX )) · htωX implicit in the final “≈” of the final display of the proof of [GenEll], Theorem 2.1, should be replaced by an inequality htE 2 · (deg(E)/ deg(ωX )) · htωX [which follows immediately from [GenEll], Proposition 1.4, (ii)], and the expression “deg(E)/ deg(ωX )” in the inequality imposed on the choice of should be replaced by the expression “2 · (deg(E)/ deg(ωX ))”. (6.) The phrase “Corollary 2.1” in the first paragraph of [GenEll], §2, should read “Theorem 2.1”. (7.) The inequality “xS◦ ≤ xS◦ ” at the end of the second to last sentence of the proof of [GenEll], Corollary 4.3, should read “xS◦ ≤ xS• ”. Typeset by A S-T X