>>472
＞「その一箇所」＝「the logic after Figure 3.8 in the proof of Corollary 3.12 of Inter-universal Teichmüller theory part II」

より詳しく言うと、Scholzeの指摘は
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 that the quantity −|logΘ| is finite, and moreover, that −|log q|≦−|logΘ| ∈ R. ”
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".
というものだった。

つまり「the logic after Figure 3.8 in the proof
of Corollary 3.12 of IUT-III」＝「−|logΘ| の有限性と不等式−|log q|≦−|logΘ|を導出する箇所」が問題となっている。

その箇所について原論文やサーベイで何の説明も与えられていないわけではなくて
−|logΘ| の有限性については、原論文の[IUTchIV,Thm.1.10]もしくはGoサーベイのProp.1.12より従う
−|log q|≦−|logΘ| が成立する理由に関しては、Goサーベイの356〜361ページ、星サーベイの36ページ、星サーベイ(続編)の92ページで証明が与えられている。

その証明のどこにギャップがあるのかはド素人の俺には分からない。