0239132人目の素数さん
2018/06/14(木) 16:19:42.42ID:VcXcAYIlp.scholze 2017.12.21
One small thing I would like to add is that most accounts indicate that no experts have been able to point to a place where the proof would fail.
This is in fact not the case; since
shortly after the papers were out
I am pointing out that I am entirely
unable to follow the logic after
Figure 3.8 in the proof of Corollary
3.12 of Inter-universal Teichmüller
theory part III: “If one interprets the
above discussion in terms of the
notation introduced in the statement
of Corollary 3.12, one concludes
[the main inequality].”
Note that this proof is in fact the *only* proof in parts II and III that is longer than
a few lines which essentially say
This follows from the definitions”.