局所環付き空間

出典: フリー百科事典『ウィキペディア（Wikipedia）』

局所環付き空間（きょくしょかんつきくうかん、locally ringed space）とは、位相構造や正則構造といった数学的構造を反映する「関数のなす可換環」の層（考えている空間の構造層と呼ばれる）を付与された位相空間のことである。関数fが点xで消えていないとき、xのごく近くでは逆数関数 1 / f(x) を考えられることが公理化される。

[編集] 定義

位相空間 X とその上の環の層 O の対 (X, O) は環付き空間と呼ばれる。 X 上の環の層 O で、X の各点 x における O の茎 O_x が局所環になっているようなものはX上の局所環の層とよばれ、Oが局所環の層であるような環付き空間 (X, O)は局所環付き空間と呼ばれる。ここで、局所環の層とは「局所環の圏」への反変関手とは限らないことに注意する必要がある。

二つの局所環付き空間 (X, O_X) と (Y, O_Y) に対し、連続写像f: X → Y と層の射φ: O_Y → f_*O_X の対 (f, φ) で、Xの任意の点xについて誘導される準同形O_{Y, f(x)} → O_{X, x} が極大イデアルを極大イデアルの中にうつすようなものは(X, O_X) から (Y, O_Y) への射とよばれる。

[編集] 構成

X を位相空間とする。X の開集合 U に対して U 上の複素数値連続関数環 C(U) を与える対応は X 上の局所環の層（連続関数の層）になる。同様にXが可微分多様体や複素多様体のときはなめらかな関数の層や正則関数の層が局所環の層になる。これらの空間の間の連続写像や滑らかな写像、正則写像などは対応する局所環付き空間の間の射を自然に導く。

代数幾何学におけるスキームは局所環付き空間アフィンスキームの張り合わせとして定義される。