>>195
つづき

一方、もう少し「解像度を上げて」状況を検証すると、それほど単純な関係にあるわけではないことが分かる。例えば、
Grothendieck が想定していた応用の仕方では、数体上の「セクション予想」によっ
て数体上の有理点の列の極限を扱うことが可能になるという観察が議論の要となる。
これとは対照的に、「IUTeich 構想」では、（数体上のセクション予想ではなく）
数体と p 進体の両方に対して両立的に成立する（絶対遠アーベル幾何の一種で
ある）単遠アーベル的アルゴリズムが主役を演じる
予定である。この「単遠アーベル的アルゴリズム」は、pTeich における MF∇-object
の Frobenius 不変量に対応するものであり、即ち p 進の理論における
Witt 環の Teichm¨uller 代表元や pTeich の標準曲線
の「IU 的類似物」と見ることができる。別の言い方をすれば、この「単遠アーベル的
アルゴリズム」は、一種の標準的持ち上げ・分裂を定義しているものである。また、（単
遠アーベル的な）「ガロア系」の対象が p 進の理論における crystal（＝ MF∇-object
の下部 crystal）に対応しているという状況には、Hodge-Arakelov 理論における「数
論的 Kodaira-Spencer 射」（＝ガロア群の作用による）を連想させるものがある。 　
2008 年 4 月から IUTeich 理論の「本体」の執筆に取り掛かる予定である。この作
業は、ごく大雑把に言うと、次の三つの理論を貼り合わせることを主体としたものである：

つづく