[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net (517ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
468(1): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:20 ID:co7dEEx8(13/45) AAS
つづき
それが、ここ数年になって、急に様相が変化した。それは、数学者の黒川信重先生と対談で共著を作る、という仕事をしたことがきっかけであった。
とくに、去年、共著『21世紀の新しい数学』技術評論社を作る過程で、黒川先生に、「スキーム理論は、ゲルファント・シロフの定理に由来する」ということを教えていただいたことが大きかった。
ぼくは、複素関数論の層の理論あたりに由来するとばかり思っていたので、これには驚いた。「ゲルファント・シロフの定理」というのは、1940年くらいの定理だ。
ざっくり説明すると、位相空間X(コンパクトでハウスドルフ)が与えられたとき、X上の複素連続関数の環C(X)を作り、C(X)の極大イデアルの集合specmC(X)を作る。そのspecmC(X)にザリスキー位相を入れて、位相空間に仕立てると、それは元の位相空間Xと同相(要するに同じ空間)になる、という定理なのだ。
この定理を、イメージ的に解釈するなら、次のようになるだろう。すなわち、関数の空間Cがあるとして、その極大イデアルの集合に位相を導入すると、その位相空間の上にあたかも元の関数たちが生えているようになる、ということである。
「ゲルファント・シロフの定理」の証明は、『21世紀の新しい数学』の黒川先生による付録に載っている。証明は、(大学程度の数学知識があれば)簡単で短いので、ぜひトライしてみてほしい。
このような解釈に達すれば、スキームはこのイメージを一般化させたものだ、と気付く。可換環→素イデアル→素イデアルの位相空間→その位相空間上の関数が元の可換環と同じ、というニュアンスである。
加減乗があるというだけの可換環という対象に対し、その素イデアルの集合を位相空間に仕立て、元の環自身はその空間上の関数に見立てられる、というのは、あまりに奇抜な発想だと思う。発想というより、思想・哲学というべきものであろう。
つづく
495(2): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)21:35 ID:co7dEEx8(37/45) AAS
>>468
>「ゲルファント・シロフの定理」というのは、1940年くらいの定理だ。
下記のP53辺りにある。なお、下記２つのうち、スキャナーの質は上が良好で読みやすい。下は出典を示す表紙が１枚ついているのが値打ちだ。
外部ﾘﾝｸ[pdf]:www.ams.org
6.1MB rings of real-valued continuous functions. i - American Mathematical Society E Hewitt 著 - ?1948
外部ﾘﾝｸ[pdf]:www-math.bgsu.edu
1.6MB [PDF]Rings of Real-Valued Continuous Functions. I E HEWITT 著 - ?1948 Transactions a/the American Mathematical Society
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.139s*