エタールコホモロジー

　エタールコホモロジー　ってなんなんでしょうか....

他にもそーゆー文献を調べる機会があって、
エタール射とかモチーフとかでてくるんですけど...

　サクっと、言って下さる有識者の方kibonne.

etale cohomology から代数多様体を作る
http://cheese.2ch.net/test/read.cgi/math/994429553/

http://cheese.2ch.net/test/read.cgi/math/1007625226/l50

なんかものすごいホモみたいでかっこいい

http://modular.fas.harvard.edu/sga/sga/4.5/index.html

整数 ｘ，ｙ はその差が整数 ｎで割り切れる時に， ｎを法として合同であると言
いｘ≡ｙ（ｍｏｄ　ｎ）と書きます。ｐを素数とするとき，ｙ２＝ｘ３−ｘのよう
な代数方程式に対して，等号を合同関係に置き換えてできるｙ２≡ｘ３−ｘ（ｍｏ
ｄ　ｐ）のような形の方程式を合同方程式と呼びますが，これがどれくらい解を持
つかを考えることは，整数の問題を考える際にとても大切です。
　このような方程式を正標数の体の上の代数多様体というある種の図形ととらえる
とき，その解の個数について予想されるある性質は，このような変わった図形に対
してもコホモロジー理論が存在すると仮定すると見事に説明されます。そしてそれ
はエタールコホモロジーの理論として実現されたのでした。
　代数多様体に対しては，他にもいくつかのコホモロジー理論が作られていますが，
エタールコホモロジーを考えたグロタンディークは，それらの理論を統合する世界
を考えました。それがモチーフと呼ばれるもので現代の数論において中心的な問題
になっています。

ホモロジー、コホモロジー、トポロジー、・・・
意味判らん。

>>6
じゃー、トポスって何？
トポスとロゴスでトポロジーなの？