19/12/07 22:34:00 R1rmXOB4.net
>>699
つまり、a∈aというのは出発点として、ということです
別の方がおっしゃってるように、後にはループした入れ子構造の話に向かいました
a∈aをどうするか考えるというのはお題目通り、関数体のHA理論のspecZ版を考えることなんですが、
そういうArithmetic deformationを構成するために考案されたのがIUTだったわけです
両方というのは動機付けとして同根だという意味です
19/12/07 22:34:00 R1rmXOB4.net
>>699
つまり、a∈aというのは出発点として、ということです
別の方がおっしゃってるように、後にはループした入れ子構造の話に向かいました
a∈aをどうするか考えるというのはお題目通り、関数体のHA理論のspecZ版を考えることなんですが、
そういうArithmetic deformationを構成するために考案されたのがIUTだったわけです
両方というのは動機付けとして同根だという意味です