15/07/26 00:06:18.55 yHhmJJ+L.net
>>331 つづき
代数幾何学の対象の現代的定義
「環のスペクトル」も参照
アレクサンドル・グロタンディーク(Alexander Grothendieck)は、決定的な定義を提唱し、実験的示唆と部分的な発展の出発点をもたらした。
彼は可換環のスペクトルをザキルキー位相での素イデアルの空間として定義したが、スペクトルを環の層とともに議論している。全てのザリスキー開集合へ可換環を対応させ、その集合の上に定義された「多項式函数」の環を考えた。
これらの対象は「アフィンスキーム」であり、次に一般的なスキームはいくつかのアフィンスキームを互いに「はり合わせる」ことにより得られる。一般的な多様体はアフィン多様体を貼り合わせることにより得られるという事実の類似である。
スキームの概念の一般性は、最初は批判された。幾何学的な解釈を直接持たないので除かれたスキームもあり、これらがスキームの概念の把握を困難にしていた。
しかしながら、任意のスキームを持つことはスキームの圏全体をより良い振る舞いをもつようになる。さらに、例えばモジュライ空間のように、自然な見方、考え方が「非古典的」なスキームへと導いていった。
多様体ではないこれらスキーム（単純に多様体から構成することができないスキーム）の出現は、古典的なことばで提出可能であった問題に対しても、この問題の新しい基礎付けが緩やかに受け入れられていった。
�