[過去ログ]
現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net (517レス)
現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1483075581/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
475: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 13:45:12.24 ID:co7dEEx8 つづき この記事へのコメント お久し振りです。 僕自身は、リーマン面の理論(複素関数論)で、正則関数の層(つまり、正則関数の芽(germ)を解析接続していってできたもの)を最初に学んだので、あまり抵抗なかった記憶があります。解説接続をモダーンに表現したものですよね。 余計なおせっかいですが、(多変数の)複素関数論とかを先にやられると、イメージが掴みやすいかも、です。 もっともジーゲル大先生は、お気に召さないらしく、(例の3巻本の)序文で「その後一般的になった、抽象的な用語は、ここでは用いない」と宣言されてますが(笑)。 2006年04月04日 20:06 ◇sukarabeさん アドバイスありがとうございます。 多変数関数論は、岡の嫌う記述形式だと思うのですが、でも愚人の私には、これがよさげです。不定域イデアルでは、いまいちよく解りません。 層は、正則関数 と その解析接続 が一つのイメージなのでしょうけど、もっと、包括的な捕らえ方が出来ていなかったのです。 ・茎と芽のイメージ ・関数概念の拡張の意味 ・Hyperfunctionの記述言語としての存在(代数解析学、D加群を含む) ・スキームとの関連(代数幾何学の記述言語) ・ファイバー束との関連 ・層係数のコホモロジー などなど。でも、ふと、ある部分だけですが、”見えてきた”のです。 まだ、あやふやなイメージなので、もっと強固に、具体例をふんだんにするために、今年戦います。 2006年04月04日 23:09 不定域イデアルの概念は正に層そのものと言えるのではないでしょうか。岡潔さんが嫌うのは、自分が考え出したものに別の名前を付けられ、別の定式化がされ、ある意味、盗まれたと感じられたのでは、と思ったりもします。正則関数の層が連接層になるというのは、言葉は違えども、岡潔さんが発見し、証明されたことですし。 2006年04月04日 23:35 ◇sukarabeさん 換骨奪胎(かんこつだったい)という言葉がぴったりなのでは、と思います。 でも、理論の創始者の意図とは別の発展をたどるのは、どの理論も同じでしょうね。 脆弱、連接 なんて、よくも悪くも現代数学の威力を感じさせます。 ひとたび概念と記述が確立すると、他の多くの分野に適用される。 そんなことを思います。 2006年04月04日 23:54 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1483075581/475
476: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 13:52:32.79 ID:co7dEEx8 >>474 関連 https://www.math.tohoku.ac.jp/~kuroki/Articles/sheaf_no_hanashi.txt (黒木 玄 (くろき げん)) Subject: 層の話 Organization: 東北大学理学部数学教室 [kuroki@math.tohoku.ac.jp] (7-3221) Until: 1995/05/30 (抜粋) 「層 (= sheaf = faisceau)」の話をせよと言われても、層の言葉はあまりに も基本的過ぎるので説明するのが大変です。「層」の例を挙げよという要求は、 ほとんど「集合」の例を挙げよという要求にかなり近い感じがします。 さてどうしましょう?どうしたら良いかわからないので、歴史的にも(加群の) 層の理論の発展の motivation の一つになったと思われる Cousin (クザン)の 問題を例に説明したいと思います。実は、多変数函数論におけるクザンの問題 には第1と第2があるのですが、ここでは第1問題を1変数複素函数の場合に限っ て説明することにします。 (ここで、層(sheaf)やら芽(germ)やら意味ありげな言葉遣いが出てきますが、 どうしてそのような言い方をするかは、数学的にはどうでも良いことなので省 略します。他にも茎(stalk)という言葉もあるのですが、この辺の名前の付け 方は個人的には大変良いものだと感じています。) 要するに、正則函数や有理型函数の層を考えるということは、複素平面の一部 分(開集合を考える)のみで定義されている正則函数や有理型函数も考えるとい うことに他ならないのです。単にこれだけのことです。 層のコホモロジーの理論があるからこそ、層の理論は有用である と言えます。 つづく http://rio2016.5ch.net/test/read.cgi/math/1483075581/476
477: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 13:52:47.95 ID:co7dEEx8 つづき §5. 局所と大域という発想を越えて 層の理論の立場では、局所と大域の関係は次のような問題に定式化されます。 [問題(***)] まず、X という空間上の層達の間に層の意味で何らかの関係があ る状況を考えよ。(例えば、(19)のような層の short exact sequence がある とせよ。層は局所的な情報も含んでいるので、層としての関係は局所的なもの だと考える。) 層の関係から、大域的切断の空間 F(X) の間にどのような関 係が得られるか?大域的な切断の空間 F(X) のみを考えると、層 F 自身の 情報は失われるであろう。それを補完するものは何か? これの一つの答が、H^0(X,F) = F(X) から始まる H^1, H^2, ... という層 のコホモロジーの理論なのです。 局所と大域の関係の研究から始まった層の理論は、このように、「層と層の間 の写像や空間と空間の間の写像を考え、それらの間にどのような関係が付けら れるか?」というより徹底したアイデアのもとで一般論が得られています。 (categoryとfunctorの発想。) この道具は特に代数幾何という分野では無くて はならないものとなっています。 次に、有理型函数の特異性の情報だけを層として取り出すことができることを 説明しましょう。ここで、初めて non-trivial な層に出会うことになります。 有理型函数の特異性の情報だけを取り出してできる層、Pは直接的には次のよ うに定義されます。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1483075581/477
478: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 13:58:14.55 ID:co7dEEx8 >>476 関連 http://www.math.tohoku.ac.jp/~kuroki/index-j.html 黒木玄のウェブサイト: https://ja.wikipedia.org/wiki/%E9%BB%92%E6%9C%A8%E7%8E%84 黒木 玄(くろき げん)は、日本の数学者。東北大学理学部数学科助教。インターネット上の掲示板の創成期に「黒木ルール」を発案し、「黒木のなんでも掲示板」によって実践した。 (抜粋) 来歴 秋田県出身。秋田県立本荘高等学校を経て、東北大学理学部数学科卒業。東北大学大学院理学研究科数学専攻修士課程修了。名古屋大学で博士(数理学)を取得。数理物理学への表現論の応用、共形場理論と量子可積分系などを研究している。 http://rio2016.5ch.net/test/read.cgi/math/1483075581/478
479: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 14:03:11.22 ID:co7dEEx8 >>477 追加引用 [問題(***)] まず、X という空間上の層達の間に層の意味で何らかの関係があ る状況を考えよ。(例えば、(19)のような層の short exact sequence がある とせよ。層は局所的な情報も含んでいるので、層としての関係は局所的なもの だと考える。) 層の関係から、大域的切断の空間 F(X) の間にどのような関 係が得られるか?大域的な切断の空間 F(X) のみを考えると、層 F 自身の 情報は失われるであろう。それを補完するものは何か? これの一つの答が、H^0(X,F) = F(X) から始まる H^1, H^2, ... という層 のコホモロジーの理論なのです。 まあ、いろいろな見方があると思いますが、これは次のようにもっと一般化で きる形で考えることができます。まず、X から一点のみからなる空間 pt={p} への唯一の写像 f を考えます: (23) f : X → pt, f(x) = p. pt には位相空間の構造が一意的に入ります。(pt の空でない開集合は pt 自 身だけ。) pt 上の層は唯一の集合(もしくは加群やベクトル空間)を決めれば 決定されるので、pt 上の層と単なる集合(もしくは加群やベクトル空間)は同 一視することができます。 X 上の加群もしくはベクトル空間の層Fを与えたとき、f を通して「FのX上 での積分」が pt 上の加群もしくはベクトル空間層として定義できるとうれし いでしょう。その一つの答は (24) (FのX上での積分) = H^0(X,F) = F(X) と定義することです。しかし、これではFの情報が落ち過ぎてしまいます。そ こで、 (25) (FのX上での積分) = (H^0(X,F), H^1(X,F), H^2(X,F),...) と考えることによって、ある程度満足な理論を展開することができます。 略 局所と大域の関係の研究から始まった層の理論は、このように、「層と層の間 の写像や空間と空間の間の写像を考え、それらの間にどのような関係が付けら れるか?」というより徹底したアイデアのもとで一般論が得られています。 (categoryとfunctorの発想。) この道具は特に代数幾何という分野では無くて はならないものとなっています。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1483075581/479
481: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 14:43:03.61 ID:co7dEEx8 >>478 関連(関連しているのは、”4.2.1 連接層”) 「超弦理論に出てくる数学」いいわ。関西ふうはちゃめちゃ感がいいね(^^ http://kansaimath.tenasaku.com/?page_id=1276 第8回 スケジュール | 関西すうがく徒のつどい: 201603 http://kansaimath.tenasaku.com/wp/wp-content/uploads/2016/04/sst-1.pdf 「超弦理論に出てくる数学」関西すうがく徒のつどい (セシル☆ 2016(3月21日) (抜粋) 注意:この講義ノートは「関西すうがく徒のつどい」60 分講演のためにつ くられたものに多少の加筆修正を加えたものである. 1 アブストラクト 弦理論とは, 物質の基本単位を, 大きさが無限に小さな0次元の点粒子では なく1次元の拡がりをもった弦であると考える理論である. そこに超対称性 という考えを加え, 拡張したものが超弦理論だ. たったこれだけの仮説が現在, 宇宙の姿やその誕生のメカニズムを解き明かし, 同時に原子, 素粒子, クォー クといった微小な物のさらにその先の世界を説明する理論の候補として, 活発 に研究されている. また, 超弦理論で出てくる10次元の中にはD ブレーンと呼ばれる様々な 次元の拡がりを持ったソリトン(孤立波)が存在する. 弦の中でも, 開いた弦 は, その端がD ブレーンに張り付いており, 重力子などの閉じた弦はD ブレー ンの間を飛び交っていると考えられる. このような物理の理論としての超弦理論だが, 数学的にも非常に魅力的な理 論だと言える. 超弦理論を詳しく調べようとするとき, 私たちは最先端の数学 に頻繁に出会う. この講演では, コンパクト化された6次元としてのカラビヤウ空間,D ブレー ンとしての連接層の導来圏など, 超弦理論に現れる数学概念の紹介をする. 超弦理論に関わる数学はあまりにも多岐にわたるので、紹介できるものは 極々一部でしかない. これを機会に自分で調べてみよう!となってもらえれば 良いと思う. (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1483075581/481
483: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 15:54:19.81 ID:co7dEEx8 >>481 関連 http://phasetr.com/blog/2016/11/23/%E5%B1%A4%E3%81%A8%E3%82%B3%E3%83%9B%E3%83%A2%E3%83%AD%E3%82%B8%E3%83%BC%E3%81%A8-riemann-%E9%9D%A2-%E9%BB%92%E6%9C%A8%E3%81%95%E3%82%93%E3%83%84%E3%82%A4%E3%83%BC%E3%83%88%E3%81%BE%E3%81%A8%E3%82%81/ 層とコホモロジーと 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 普通なら「たかがコンパクトRienann面のために層のコホモロジーの理論の準備をするのは重過ぎる」となってしまうと思うのですが、層とコホモロジーの話をタイプ印刷で35頁ほどにまとめるという凄技を見せてくれました!非常に教育的な本だと思います。 2016年8月9日 00:38 この本の存在を知ったのは理論物理学者達が引用していたから。Belavin-Polyakov-Zamolodchikovを初めて読んだときSchwarzian derivativeというのが出て来て「なんじゃこれは」と思ったのですが?続く 続き?、答えはGunningさんの本に書いてあった。現在ではウィキペディアまである→ https://en.m.wikipedia.org/wiki/Schwarzian_derivative … 2016年8月9日 00:50 http://rio2016.5ch.net/test/read.cgi/math/1483075581/483
484: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 16:05:22.26 ID:co7dEEx8 >>481 関連 連接層=(coherent sheaf) https://ja.wikipedia.org/wiki/%E9%80%A3%E6%8E%A5%E5%B1%A4 連接層 (抜粋) 数学では、特に代数幾何学や複素多様体やスキームの理論では、連接層(coherent sheaf)とは、底空間の幾何学的性質に密接に関連する、扱いやすい性質をもった特別な層である。 連接層は有限ランクのベクトルバンドルや局所自由層の一般化とみなすことができる。ベクトルバンドルとは違い、連接層のなす圏は、核(英語版)や余核や有限の直和といった操作で閉じている「素晴らしい」圏である。準連接層(quasi-coherent sheaf)は連接層における有限性の仮定をはずしたもので、ランク無限の局所自由層を含んでいる。 代数幾何学や複素解析の多くの結果や性質が、連接層、準連接層やそれらのコホモロジーのことばで定式化される。 岡の連接定理は、複素多様体上の正則函数の層が環の連接層であるという定理である[3] 。 http://rio2016.5ch.net/test/read.cgi/math/1483075581/484
486: 132人目の素数さん [sage] 2017/01/14(土) 18:34:08.17 ID:i3nytKZe >>474 お久しぶりです。おっちゃんです。 >そして、ハーツホーンの本を、2007年内に読破するぞ! ハーツホーンには演習問題の中に重要な結果が含まれていて、 難しい問題が多いことなどからして、多分年内読破はムリだったろうな。 じゃ、寝る。 http://rio2016.5ch.net/test/read.cgi/math/1483075581/486
487: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 19:04:10.06 ID:co7dEEx8 AIと数学 http://www.j-cast.com/2017/01/06287546.html?p=all プロ棋士はもはや囲碁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%だった。 つづく http://rio2016.5ch.net/test/read.cgi/math/1483075581/487
488: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 19:04:53.07 ID:co7dEEx8 つづき トッププロ相手に60戦60勝 トッププロとの対戦で「Master」は勝ち続け、16年大晦日までに「東洋囲碁」で30連勝、17年1月5日までに「野狐囲碁」で30連勝、合わせて60連勝と勝率は100%となった。 ネット上ではあまりの強さに「ヒカルの碁」のサイだと持てはやされた。囲碁の強い人でも最高勝率はだいたい6割で、いくら強い人でもミスが出て100%の勝率は不可能。勝ち方からもAIだと推測された。 「Masterが10勝した時点では、誰かが破るだろう、という雰囲気でしたが、30勝を超えると、全世界がMasterの強さに気づきました。50勝でもうお手上げ、という感じでしたね」 と、対戦を見ていた大橋六段は打ち明ける。最初の10局を見た段階で未曽有の囲碁AIだと確信した、ともいう。 16年3月に行われた「アルファ碁」とイ・セドル九段との対戦で、グーグルは1敗もしない完全勝利を確信していたのではないか、と大橋六段は予想している。1敗のショックから「アルファ碁」を公の場から外し更なる開発を進めたのではないか、というのだ。 「Master」は勝率100%で、トッププロから60連勝したことで、胸を張ったのだろうという。その「Master」との対戦はどのようなものなのだろうか。 つづく http://rio2016.5ch.net/test/read.cgi/math/1483075581/488
489: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 19:05:10.90 ID:co7dEEx8 つづき 人間では理解できない手が30手以内に出てくる 人間ならば、構想を立て、流れを読みながら勝利を引き寄せる。しかし、「Master」にはそれがない。常に局面ごとの最適解を探索し、勝利を求める。囲碁はおよそ200手で決まるものだが、大橋六段は、 「人間では理解できない手が30手以内に出てくる。しかし、後にそれが良い場所になってくる不思議、マジックのようだった」 と説明し、30手までに「これはおかしい」と不安になり、50手で「ヤバイ」、100手で「大差で負ける」。最後は「お稽古してもらっている」気分になった、という。 それでもいつかはテレビゲームのように攻略法が見つかるのではないのか、と聞くと、 「無理なのではないでしょうか」 と大橋六段は語った。例えば現在5歳の囲碁の天才に囲碁AIの棋譜を記憶させ続ければ10歳の頃には攻略は可能になるかもしれないが、それは5年前の囲碁AIの性能に対する攻略であり、囲碁AIはさらに遥か先に進化しているからだという。 「絶対に勝てないからといってAI鬱、AIシンドロームなどと落ち込む必要はなく、囲碁界はこれからいかにAIを活用して全体を盛り上げていく道を探り、明るい関わり方をしていかなければならないと感じています」 そう大橋六段は話している。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1483075581/489
493: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 20:12:07.30 ID:co7dEEx8 >>486 おっちゃん、どうも。スレ主です。 レスありがとう もう、時枝擁護派のTさんは、あっち28へ行ったから、引っかき回してもらう必要はなくなった だから、その程度の軽いカキコで頼む たまには、あっち28にも書いてやってくれ さびれているから、歓迎されるとおもうぜ http://rio2016.5ch.net/test/read.cgi/math/1483075581/493
494: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/14(土) 20:31:56.00 ID:co7dEEx8 あまり引用されていないかも、ベイラー大学 Department of Philosophy、Bulletin of the Polish Academy of Sciences - Mathematics 61 (2013) https://arxiv.org/abs/1208.3187 "On the Law of Large Numbers for Nonmeasurable Identically Distributed Random Variables" 著者 http://alexanderpruss.com/cv.html (抜粋) Curriculum Vitae Alexander R. Pruss September, 2016 Department of Philosophy Baylor University Publications in Mathematics and Related Fields Peer-reviewed articles “On the Law of Large Numbers for nonmeasurable identically distributed random variables”, Bulletin of the Polish Academy of Sciences - Mathematics 61 (2013) 161?168 (引用終り) https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%83%A9%E3%83%BC%E5%A4%A7%E5%AD%A6 ベイラー大学(Baylor University)は、アメリカ合衆国テキサス州ウェイコにあるミッション系私立大学。 概要 キリスト教プロテスタントの一派である南部バプテスト派により設立された私立大学であり、キリスト教精神に基づいた教育を特色としている。米国で大いに利用されているUS News Ranking 2008年度で一般大学のランキングではtier2と見なされる75位にランクインしている。 日本の西南学院大学とは姉妹校の関係で、梅光学院大学大学院、法政大学とは交換留学制度を締結している。 スポーツではビッグ12カンファレンスに所属している。 http://rio2016.5ch.net/test/read.cgi/math/1483075581/494
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 23 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
アボンOFF
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s