>>471
>>473

＞遠アーベルで特殊事例が起こる
のだと、
下記の望月の2008年5月の講演資料に書かれている。
http://www.kurims.kyoto-u.ac.jp/~motizuki/2008-05%20danwakai-ohp-jpg.pdf

頁12:　
logは環構造（やGrobalなF)と両立しない。従ってスキーム（環）の幾何の中では扱えないが、
Galoisと両立するため、先ほどの定理により、絶対遠アーベルの幾何の枠組みの中では扱える。
、と書いている。

Wの(2)の問いは、p16の「不等式がすんなり従うと期待している」と書かれた箇所が、
Dupuyが用意する下記のコメントになるのかな？
＞It is a collection of functions, relations, constants, and sorts. I need to think about your last two paragraphs before I can comment more.