>>248-249
'群の束' (X 上に配置された) =茎の束
各茎の上に、群←加群←関数環
底空間Xの各点xに関数環がある=局所環付き空間ってことかいな
https://ja.wikipedia.org/wiki/%E5%B1%80%E6%89%80%E7%92%B0%E4%BB%98%E3%81%8D%E7%A9%BA%E9%96%93
局所環付き空間
数学における局所環付き空間(きょくしょかんつきくうかん、locally ringed space)とは、位相構造や正則構造といった数学的構造を反映する「関数のなす可換環」の層(考えている空間の構造層と呼ばれる)を付与された位相空間のことである。関数fが点xで消えていないとき、xのごく近くでは逆数関数 1 / f(x) を考えられることが公理化される。
定義
位相空間 X とその上の環の層 O の対 (X, O) は環付き空間(かんつきくうかん)と呼ばれる。 X 上の環の層 O で、X の各点 x における O の茎 Ox が局所環になっているようなものはX上の局所環の層とよばれ、Oが局所環の層であるような環付き空間 (X, O)は局所環付き空間と呼ばれる。
ここで、局所環の層とは開集合のなす圏から「局所環の圏」への反変関手とは限らないことに注意する必要がある。
二つの局所環付き空間 (X, OX) と (Y, OY) に対し、連続写像f: X → Y と層の射φ: OY → f*OX の対 (f, φ) で、Xの任意の点xについて誘導される準同形OY, f(x) → OX, x が極大イデアルを極大イデアルの中にうつすようなものは(X, OX) から (Y, OY) への射とよばれる。
構成
X を位相空間とする。X の開集合 U に対して U 上の複素数値連続関数環 C(U) を与える対応は X 上の局所環の層(連続関数の層)になる。同様にXが可微分多様体や複素多様体のときはなめらかな関数の層や正則関数の層が局所環の層になる。
これらの空間の間の連続写像や滑らかな写像、正則写像などは対応する局所環付き空間の間の射を自然に導く。
代数学において、可換環に対し自然に構成される局所環付き空間であるアフィンスキームや、それらの張り合わせとして定義される概型(スキーム)は可換環論と幾何学との間の諸概念の対応を与えている。
参考文献
R・ハーツホーン 『代数幾何学』1-3、高橋宣能、松下大介訳、シュプリンガーフェアラーク東京、2004年。
現代数学の系譜11 ガロア理論を読む29 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
2017/02/12(日) 07:34:51.40ID:+1ZgH24I
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 高木豊氏 本田圭佑のW杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」 [jinjin★]
- 中傷動画より突っ込まれたくない高市事務所の“急所” 疑惑の本丸「サナエトークン」国会での追及本格化 [バイト歴50年★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 湖池屋 ポテトチップスなど値上げ 8月出荷分から [安倍聖帝★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★2 [冬月記者★]
- ニュー速愛国保守「日本はもうどうにもならんので一度完全に壊さないとダメ。もうすべて手遅れだから」 [819729701]
- 【悲報】トランプ「会談を求めたのはイラン。奴らはもう終わり。一銭も払わん [834922174]
- ヤン坊マー坊天気予報
- 最高の景色をー🏡⚽👊😅👊⚽
- 名古屋にもついに東京の「まいばすけっと」こと「まいばす」みたいなの増えてきたよ!
- 地震 [689155963]