20/05/02 07:43:51.26 0mnV/g9L.net
>>471
>>473
>遠アーベルで特殊事例が起こる
のだと、
下記の望月の2008年5月の講演資料に書かれている。
URLリンク(www.kurims.kyoto-u.ac.jp)
頁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.