[過去ログ] 現代数学の系譜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世紀の新しい数学』の黒川先生による付録に載っている。証明は、(大学程度の数学知識があれば)簡単で短いので、ぜひトライしてみてほしい。
このような解釈に達すれば、スキームはこのイメージを一般化させたものだ、と気付く。可換環→素イデアル→素イデアルの位相空間→その位相空間上の関数が元の可換環と同じ、というニュアンスである。
加減乗があるというだけの可換環という対象に対し、その素イデアルの集合を位相空間に仕立て、元の環自身はその空間上の関数に見立てられる、というのは、あまりに奇抜な発想だと思う。発想というより、思想・哲学というべきものであろう。
つづく
469: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:20 ID:co7dEEx8(14/45) AAS
つづき
ぼくがスキームを理解するための最初の重いドアを蹴破ることができたのは、黒川先生と対談したことが最も大きいが、それだけではない。他にもさまざまなリサーチをしたのである。
例えば、Yahoo知恵袋で(笑い)スキームについての質問をいろいろ検索して、隠れて読みあさった。そこには、恐るべきことにも、相当なレベルの専門家が質問に対する回答を投稿していた。
そして、その中で、「簡単に理解したいならこれ」というふうに、ノイキルヒ『代数的整数論』という本がお勧めとして挙げてあったので、さっそく購入した。この本は、全体としては難しい本だが、随所随所に、目からうろこの説明も導入されていた。
とりわけ、1次元スキームの解説はわかりやすく、これを読んだことも突破口になった。また、知り合いの小木曽啓示さんの本『代数曲線論』朝倉書店も一部読んだ。小木曽さんの数学の理解と、その説明能力は突出したものであることを(知人として)心得ていたからだった。
この本を読んだことで、ぼくは層のイメージを掴むことができ、コホモロジー群(ホモロジー群を局所的な関数たちに拡張したもの)の発想を理解することができた。これらの経験のあとに、何度も挫折していた上野健爾『代数幾何』に再チャレンジをしたら、不思議なことに相当に受け入れられるようになっていたのである。
つづく
470: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:21 ID:co7dEEx8(15/45) AAS
つづき
そんなふうに、長い時間をかけて、スキーム理論の入場口をようやく通り抜けたぼくは、この理論の楽しさを(そうする資格があるかは自信がないが)一般の数学ファンにも広めたいと思うようになったのだ。それが、本書『数学は世界をこう見る 数と空間への現代的なアプローチ』PHP新書を書いた最も大きな動機である。
言いたいことは、要するに、「数学を理解する、という行為は、人生を総動員して行うべきものであり、そうしさえすれば、愛と欲求がある限り、理解は不可能なことでもそんなに難しいことでもない」、ということである。
人生を総動員する、ということを具体的に言うと、「自分の言葉で理解しようと試みる」とか、「他人(特に中高生)に説明してみる」とか、「友人の専門家の説明にすがる」とか、「わからない本はすぐ捨て、本のはしごをする」とか、「これだと思う先生の講義に、ずうずしく、もぐってしまう」とか、「Yahoo知恵袋で質問する」などとなろう。
さらにもう一つ付け加えるなら、「わからないけど、本に書いちゃう」というものあるかもしれない(これは冗談だからね)。
(引用終り)
472: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:35 ID:co7dEEx8(17/45) AAS
つづき
「ゲルファント・シロフの定理」というのは、位相空間から環を作って、その環から元の位相空間を再現する方法論だ。おおざっぱには、
位相空間→複素数値連続関数の集合→極大イデアルの集合→元の空間
という構造になっている。もうちょっと詳しく説明すると次のようになる。
今、位相空間Xがあるとしよう。位相空間というのは、なんらか遠近感が導入された空間のことだと理解すればいい。そして、その空間は有限的な広さで(コンパクト)、その遠近感が「どの2点も遠近感的に離れている」(ハウスドルフ)とする。
次に、その空間X上の複素数値連続関数の集合をC(X)と書こう。(最初のエントリーでは「連続」が抜けてましたので、修正しました)。C(X)には加減乗が定義できるので環の一つと見なすことができる。
そして、この関数たちのなす環C(X)の極大イデアルの集合をYとする(極大イデアルについては、整数からイデアルへ - hiroyukikojimaの日記を参照のこと)。ちなみに、極大イデアルの集合Yには、(ザリスキー位相という)うまい遠近感を導入することで位相空間に仕立てることができる。
このとき、元の位相空間Xとこの極大イデアルの成す位相空間Yが、遠近感が同じ空間(同相)となる、というのが、「ゲルファント・シロフの定理」の定理なのである。図形的なイメージが欲しい人は、本書のぼくによる「図解」で(ただし、有限位相空間のみ)、きちんとした証明が知りたい人は、黒川先生のレクチャー「環と空間」で(こっちは一般論)お読みくださいませ。
省1
473: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:36 ID:co7dEEx8(18/45) AAS
つづき
この定理が面白いのは、空間上の関数があって、それが環の構造を持ってたら、その極大イデアルたちに元の空間がそのまんま映し出される、ということを教えてくれることなのだ。これには、「空間の持つ性質を探るには、その空間上の関数を調べればいい」という現代数学に普遍的に共有されている発想が宿っている。
ここからは、ぼくの類推だけど(黒川先生に聞いたわけじゃない、ということ)、グロタンディークは、こう閃いたんじゃないかな、と思ったのだ。
すなわち、空間上の関数の環に元の空間が映し出されるなら、逆に、環が先にあったら、そのイデアルたちを空間化して、その空間上で元の環を関数に仕立てることが可能なんじゃないか、と。
これが可能になれば、「環の要素を、関数と化させることができる」ということになる。例えば、整数の成す環にこれを用いれば、整数は単なる一個の数であるにもかからわず、これをある空間上の関数、つまり、「空間の点をインプットすると、何かがアウトプットする」関数に仕立てることができるのである。
ただし、グロタンディークが空間化したのは、極大イデアルではなく、素イデアルだったのだ。実際、この方法で、スペックZ(各素数の倍数の成すイデアルと0イデアル)を空間化して、各整数をこの空間上の関数と化させることに成功したわけなのである。
いやあ、数学者の想像力というのは、ほんとにすさまじいものがあるわい。
(引用終り)
474(2): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:43 ID:co7dEEx8(19/45) AAS
>>463 関連
外部リンク[html]:blog.livedoor.jp
学校では教えてくれない数学:層: 2006年04月04日
(抜粋)
相変わらず、層が何者か、つかめないまま、時間だけが過ぎていきました。
(思い立ってから、25年以上も経過していました!)
ところが、最近、可換環論の初歩をやっていて、ふとそのつながりで、少し読んで見るとあら不思議!
層 が 何者か 解ったような気がしました。
足がかりが見え(た気がし)ました。
そのとき、幸せな感情 そして 喜び が全身を包みました。
省7
475: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:45 ID:co7dEEx8(20/45) AAS
つづき
この記事へのコメント
お久し振りです。
僕自身は、リーマン面の理論(複素関数論)で、正則関数の層(つまり、正則関数の芽(germ)を解析接続していってできたもの)を最初に学んだので、あまり抵抗なかった記憶があります。解説接続をモダーンに表現したものですよね。
余計なおせっかいですが、(多変数の)複素関数論とかを先にやられると、イメージが掴みやすいかも、です。
もっともジーゲル大先生は、お気に召さないらしく、(例の3巻本の)序文で「その後一般的になった、抽象的な用語は、ここでは用いない」と宣言されてますが(笑)。
2006年04月04日 20:06
◇sukarabeさん
アドバイスありがとうございます。
多変数関数論は、岡の嫌う記述形式だと思うのですが、でも愚人の私には、これがよさげです。不定域イデアルでは、いまいちよく解りません。
省20
476(2): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:52 ID:co7dEEx8(21/45) AAS
>>474 関連
外部リンク[txt]:www.math.tohoku.ac.jp
(黒木 玄 (くろき げん))
Subject: 層の話
Organization: 東北大学理学部数学教室 [kuroki@math.tohoku.ac.jp] (7-3221)
Until: 1995/05/30
(抜粋)
「層 (= sheaf = faisceau)」の話をせよと言われても、層の言葉はあまりに
も基本的過ぎるので説明するのが大変です。「層」の例を挙げよという要求は、
ほとんど「集合」の例を挙げよという要求にかなり近い感じがします。
省15
477(1): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:52 ID:co7dEEx8(22/45) AAS
つづき
§5. 局所と大域という発想を越えて
層の理論の立場では、局所と大域の関係は次のような問題に定式化されます。
[問題(***)] まず、X という空間上の層達の間に層の意味で何らかの関係があ
る状況を考えよ。(例えば、(19)のような層の short exact sequence がある
とせよ。層は局所的な情報も含んでいるので、層としての関係は局所的なもの
だと考える。) 層の関係から、大域的切断の空間 F(X) の間にどのような関
係が得られるか?大域的な切断の空間 F(X) のみを考えると、層 F 自身の
情報は失われるであろう。それを補完するものは何か?
これの一つの答が、H^0(X,F) = F(X) から始まる H^1, H^2, ... という層
省11
478(1): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:58 ID:co7dEEx8(23/45) AAS
>>476 関連
外部リンク[html]:www.math.tohoku.ac.jp
黒木玄のウェブサイト:
外部リンク:ja.wikipedia.org
黒木 玄(くろき げん)は、日本の数学者。東北大学理学部数学科助教。インターネット上の掲示板の創成期に「黒木ルール」を発案し、「黒木のなんでも掲示板」によって実践した。
(抜粋)
来歴
秋田県出身。秋田県立本荘高等学校を経て、東北大学理学部数学科卒業。東北大学大学院理学研究科数学専攻修士課程修了。名古屋大学で博士(数理学)を取得。数理物理学への表現論の応用、共形場理論と量子可積分系などを研究している。
479: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)14:03 ID:co7dEEx8(24/45) AAS
>>477 追加引用
[問題(***)] まず、X という空間上の層達の間に層の意味で何らかの関係があ
る状況を考えよ。(例えば、(19)のような層の short exact sequence がある
とせよ。層は局所的な情報も含んでいるので、層としての関係は局所的なもの
だと考える。) 層の関係から、大域的切断の空間 F(X) の間にどのような関
係が得られるか?大域的な切断の空間 F(X) のみを考えると、層 F 自身の
情報は失われるであろう。それを補完するものは何か?
これの一つの答が、H^0(X,F) = F(X) から始まる H^1, H^2, ... という層
のコホモロジーの理論なのです。
まあ、いろいろな見方があると思いますが、これは次のようにもっと一般化で
省22
481(2): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)14:43 ID:co7dEEx8(25/45) AAS
>>478 関連(関連しているのは、”4.2.1 連接層”)
「超弦理論に出てくる数学」いいわ。関西ふうはちゃめちゃ感がいいね(^^
外部リンク:kansaimath.tenasaku.com
第8回 スケジュール | 関西すうがく徒のつどい: 201603
外部リンク[pdf]:kansaimath.tenasaku.com
「超弦理論に出てくる数学」関西すうがく徒のつどい (セシル☆ 2016(3月21日)
(抜粋)
注意:この講義ノートは「関西すうがく徒のつどい」60 分講演のためにつ
くられたものに多少の加筆修正を加えたものである.
1 アブストラクト
省19
483: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)15:54 ID:co7dEEx8(27/45) AAS
>>481 関連
外部リンク:phasetr.com
層とコホモロジーと Riemann 面: 黒木さんツイートまとめ | 相転移プロダクション: 2016 11.23
(抜粋)
黒木玄 Gen Kuroki
#数楽 私が大学数学科2?3年生に「層とかコホモロジーとかを勉強したいのですが?」と聞かれたとき、最も易しい教育的な参考文献として紹介するのは
Gunning R. Lectures on Riemann surfaces (Princeton, 1966)
2016年8月8日 23:57
層とかコホモロジーの類は、何の役に立つのか何も理解せず、わけもわからず勉強するのは効率が悪く、Gunningさんのリーマン面の教科書のような易しい応用から入った方が得だと思う。一度勘所がつかめて怖くなくなればそこから先は普通のお勉強。
2016年8月9日 00:16
省5
484: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)16:05 ID:co7dEEx8(28/45) AAS
>>481 関連
連接層=(coherent sheaf)
外部リンク:ja.wikipedia.org
連接層
(抜粋)
数学では、特に代数幾何学や複素多様体やスキームの理論では、連接層(coherent sheaf)とは、底空間の幾何学的性質に密接に関連する、扱いやすい性質をもった特別な層である。
連接層は有限ランクのベクトルバンドルや局所自由層の一般化とみなすことができる。ベクトルバンドルとは違い、連接層のなす圏は、核(英語版)や余核や有限の直和といった操作で閉じている「素晴らしい」圏である。準連接層(quasi-coherent sheaf)は連接層における有限性の仮定をはずしたもので、ランク無限の局所自由層を含んでいる。
代数幾何学や複素解析の多くの結果や性質が、連接層、準連接層やそれらのコホモロジーのことばで定式化される。
岡の連接定理は、複素多様体上の正則函数の層が環の連接層であるという定理である[3] 。
486(1): 2017/01/14(土)18:34 ID:i3nytKZe(1) AAS
>>474
お久しぶりです。おっちゃんです。
>そして、ハーツホーンの本を、2007年内に読破するぞ!
ハーツホーンには演習問題の中に重要な結果が含まれていて、
難しい問題が多いことなどからして、多分年内読破はムリだったろうな。
じゃ、寝る。
487: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)19:04 ID:co7dEEx8(29/45) AAS
AIと数学
外部リンク[html]:www.j-cast.com
プロ棋士はもはや囲碁AIに勝てない 進化型アルファ碁「Master」の衝撃 : J-CASTニュース: 2017/1/ 6
(抜粋)
「囲碁AI(人工知能)はプロ棋士の能力を遥かに超えてしまった。さらに進化が進み追いつくことはできないだろう」。囲碁AIにくわしいプロ棋士の大橋拓文六段はJ-CASTニュースのインタビューにそう語った。
「Master」と名乗るアカウントがインターネット囲碁サイト「東洋囲碁」で確認されたのは2016年12月29日。
あまりの強さから大人気マンガ「ヒカルの碁」の登場人物・サイ(藤原佐為)ではないのか、などと取り沙汰されたが、グーグルは日本時間の17年1月5日、自社が開発した囲碁AIだと公表した。既に世界のトッププロ相手に60連勝していて、かなう棋士はもういないのだという。
16年末にネットに忽然と現れる
グーグルが囲碁AIに関する論文を公表していたことから、それを参考に「アルファ碁」に追いつこうと、新たな囲碁AI開発ラッシュが始まった。囲碁対戦サイトでは現在、中国の「刑天」など複数の囲碁AIが対戦をしていて、勝率は9割というものも出ている。
そして、16年末に忽然と現れたのが「Master」だった。17年1月1日からは中国発の囲碁サイト「野狐囲碁」に出没し、誰も敵わず勝率は100%だった。
省1
上下前次1-新書関写板覧索設栞歴
あと 30 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル アボンOFF
ぬこの手 ぬこTOP 0.015s