COMMENTS ON THE GEOMETRY OF FROBENIOIDS I Shinichi Mochizuki November 2011

(1.) In Denition A.1 of the Appendix: The phrase isomorphism classes of morphisms in line 4 should read isomorphism classes of 1-morphisms. The phrase coarsication of C in line 5 should read coarsication of D. (2.) The hypothesis that the Frobenioids under consideration be of unit-pronite type in Proposition 5.6 hence also in Corollary 5.7, (iii) may be removed. Indeed, if, in the notation of the proof of Proposition 5.6, one writes p = cp p , where cp O (A), for p Primes, then one has c2 c 2 p 2 p = c 2 2 c p p = 2 p = p 2
p = cp p c2 2 = cp cp 2 p 2 = c p c 2 2 p

p p1 1 so c2 c2 , for p Primes. Thus, p = c p = cp c2 , i.e., cp = c2 2 p c2 , 1 so by taking u = c 2 , one may eliminate the nal two paragraphs of the proof of Proposition 5.6. def

Typeset by AMS-TEX