グロタンディーク位相

グロタンディーク位相: Grothendieck topology)とは位相空間上の開集合系が成り立つ性質を公理化し、圏の上に定義された一般化された位相のことである。またそのような位相を持つ圏をサイト(仏、英: site)といい、その位相を用いることにより位相空間上でのの理論が使えてコホモロジー理論を得ることができる。歴史的には代数幾何学ヴェイユ予想を解決するためにアレクサンドル・グロタンディークエタール・コホモロジーを定義する際に導入された。

定義編集

ファイバー積を持つ圏 C の各対象 S に対し、次の公理を満たす被覆 (covering) と呼ばれる射の族   が定義されるとき、圏 Cグロタンディーク位相が定義されたといい、その位相の構造も含めて圏 C をサイト(site)と呼ぶ。

  1. 同型射 Sの被覆である。
  2.  Sの被覆であるとき、任意の射 から誘導される射の族 Uの被覆である。
  3.  Sの被覆とし、おのおののTiの被覆を とする。このときこれらの合成 Sの被覆である。

編集

エタールサイト編集

X をスキーム、(Et/X) を X 上エタールなスキームの成す圏とする。このときエタール射の族を被覆と定義することによりエタールサイトが得られ、それを再び (Et/X) で表す。このときの位相をエタール位相という。

ザリスキサイト編集

記号は上述のとおりとする。このとき普通のザリスキ位相に関する開埋め込みの族を被覆と定義することによりザリスキサイトが得られる。これを XZar で表す。これは普通のザリスキ位相をグロタンディーク位相として言い表したにすぎない。

応用編集

開集合を被覆に置き換えることにより、層の理論が景上でまったく同様にして成り立つ。そのようにしてエタール景、ザリスキ景およびクリスタリン景上でエタール・コホモロジー、ザリスキ・コホモロジーおよびクリスタリン・コホモロジーが得られる。しかしながら異なるグロタンディーク位相が常に異なるコホモロジー理論を与えるわけではない (グロタンディークの篩)。このような欠点を補う概念としてグロタンディークによるトポスの理論がある。