18/04/04 18:55:00.38 lKqH+bLE.net
>>754
モッチーにとっては － |log(Θ)| が有限なことは the above discussion における用語を the notation introduced in the statement of Corollary 3.12 に置き換えれば直ちにわかるらしいな。
ここを explicit な形に書き直せば、Scolze の案件に関しては解決すると思われる。
>>755
本当に論拠を示しているのか洗いざらい確認するなら、Cor.3.12のRemarkも忘れてはいけない。
それも含めれば、120ページから154ページ。