[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
448(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/04/12(金) 20:50:07.94 ID:aUo1NtT0(6/12) AAS
>>386
”グロタンディークは、・・生成点（英語版）(generic point)と言う考え方を導入した”か（＾＾
https://ja.wikipedia.org/wiki/%E3%82%B6%E3%83%AA%E3%82%B9%E3%82%AD%E3%83%BC%E4%BD%8D%E7%9B%B8
ザリスキー位相
(抜粋)
代数幾何学と可換環論において、ザリスキ位相は代数多様体に定義される位相であり、最初はオスカー・ザリスキによって導入された。ザリスキ位相は可換環の素イデアル全体の集合に対しても定義され、その環のスペクトルと呼ばれる。
ザリスキ位相によって、基礎体が位相体でないときでさえ、代数多様体の研究に位相空間論の道具を使うことができるようになる。このような手法はスキーム論の基本的な考えの1つであり、多様体 (manifold) が局所座標系（実アファイン空間の開部分集合）を貼り合わせて構成されるのと同じように、一般の代数多様体はアファイン多様体を貼り合わせて構成される。
グロタンディークのスキーム論のもう1つの基本的な考えは、極大イデアルに対応する普通の点のみならず、すべての（既約）代数多様体、これは素イデアルに対応する、をも点として考えることである。
目次
1 多様体のザリスキ位相
2 現代の定義
2.1 性質
2.2 例
グロタンディエクの Spec を定義した革新的な点は、極大イデアルを全ての素イデアルに置き換えたことであった。極大イデアルが環のスペクトルの中では閉集合を定義とすることができことの単純な一般化であることとして、この定式化では自然である。
性質
トポロジーの古典的描像と新しい描像の最も劇的な変化は、点がもはや閉じている必要はないということである。定義を拡張することで、グロタンディークは、閉包がそれ自体よりも大きい（同じではなく）生成点（英語版）(generic point)と言う考え方を導入した。
例
・体 k のスペクトル Spec k は、一つの元からなる位相空間である。
・整数?のスペクトル Spec ? は、素数 p に対応する極大イデアル (p) ⊂ ?を閉点（英語版）[要リンク修正](closed point) として持ち、零イデアル (0) を閉でない生成点（英語版）(generic point)（すなわち、閉包は全空間となる）として持つ。従って、Spec ? の閉集合全体は、ちょうど有限個の閉点の合併と全体空間からなる。
449(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/04/12(金) 20:57:59.67 ID:aUo1NtT0(7/12) AAS
>>448
>生成点（英語版）(generic point)
https://en.wikipedia.org/wiki/Generic_point
Generic point
(抜粋)
In algebraic geometry, a generic point P of an algebraic variety X is, roughly speaking, a point at which all generic properties are true, a generic property being a property which is true for almost every point.
In scheme theory, the spectrum of an integral domain has a unique generic point, which is the minimal prime ideal.
Contents
1 Definition and motivation
2 Examples
3 History
History
In the foundational approach of Andre Weil, developed in his Foundations of Algebraic Geometry, generic points played an important role, but were handled in a different manner.
For an algebraic variety V over a field K, generic points of V were a whole class of points of V taking values in a universal domain Ω, an algebraically closed field containing K but also an infinite supply of fresh indeterminates.
This approach worked, without any need to deal directly with the topology of V (K-Zariski topology, that is), because the specializations could all be discussed at the field level (as in the valuation theory approach to algebraic geometry, popular in the 1930s).
つづく
455(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/04/12(金) 23:52:03.38 ID:aUo1NtT0(9/12) AAS
>>448 関連
https://en.wikipedia.org/wiki/Leray_spectral_sequence
Leray spectral sequence
(抜粋)
In mathematics, the Leray spectral sequence was a pioneering example in homological algebra, introduced in 1946[1][2] by Jean Leray. It is usually seen nowadays as a special case of the Grothendieck spectral sequence.
Contents
1 Definition
2 Classical definition
3 Examples
4 Degeneration Theorem
4.1 Example with Monodromy
5 History and connection to other spectral sequences
Definition
Let f:X→Y be a continuous map of topological spaces, which in particular gives a functor f* from sheaves on X to sheaves on Y. Composing this with the functor Γ of taking sections on Sh(Y) is the same as taking sections on Sh(X), by the definition of the direct image functor f*:
History and connection to other spectral sequences
At the time of Leray's work, neither of the two concepts involved (spectral sequence, sheaf cohomology) had reached anything like a definitive state. Therefore it is rarely the case that Leray's result is quoted in its original form.
After much work, in the seminar of Henri Cartan in particular, the modern statement was obtained, though not the general Grothendieck spectral sequence.
つづく
507(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/14(日) 21:50:49.45 ID:C5If4iEo(7/15) AAS
>>448 関連
エタール位相：ノイキルヒP93
https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E4%BD%8D%E7%9B%B8
グロタンディーク位相
(抜粋)
グロタンディーク位相（英: Grothendieck topology）とは位相空間上の開集合系が成り立つ性質を公理化し、圏の上に定義された一般化された位相のことである。
またそのような位相を持つ圏を景（けい、仏、英: site, サイト）といい、その位相を用いることにより位相空間上での層の理論が使えてコホモロジー理論を得ることができる。
歴史的には代数幾何学のヴェイユ予想を解決するためにアレクサンドル・グロタンディークがエタール・コホモロジーを定義する際に導入された。
目次
1 定義
2 例
2.1 エタール景
2.2 ザリスキ景
エタール景
X をスキーム、(Et/X) を X 上エタールなスキームの成す圏とする。このときエタール射の族を被覆と定義することによりエタール景が得られ、それを再び (Et/X) で表す。このときの位相をエタール位相という。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s