1 名前:現代数学の系譜11 ガロア理論を読む mailto:sage [2012/05/26(土) 16:13:52.05 ] このスレはガロア原論文を読むためのスレです 過去スレ 現代数学の系譜11 ガロア理論を読む(4) uni.2ch.net/test/read.cgi/math/1335598642/ 現代数学の系譜11 ガロア理論を読む3 uni.2ch.net/test/read.cgi/math/1334319436/ 現代数学の系譜11 ガロア理論を読む2 uni.2ch.net/test/read.cgi/math/1331903075/ 現代数学の系譜11 ガロア理論を読む uni.2ch.net/test/read.cgi/math/1328016756/
49 名前:現代数学の系譜11 ガロア理論を読む [2012/05/28(月) 21:24:30.24 ] 深谷拳って、強そう pantodon.shinshu-u.ac.jp/topology/literature/Fukaya_category.html Fukaya category Symplectic 多 様 体 M から Lagrangian submanifold を object とする A ∞ -category が 作 られる 。 それが M の Fukaya category と 呼 ばれるもの [ Fuk93 , Fuk97 ] であ る 。 正 確 な 定 義 のためには 様 々 な 道 具 が 必 要 になり 、 理 解 するためにはその 背 景 も 知 る 必 要 があるため 、 どこから 手 をつけていいか 難 しい 。 幸 い Paul Seidel が “Fukaya categories and Picard-Lefschetz theory” という 題 名 の 本 を 書 いているので 、 A ∞ -category の 基 礎 か ら 書 いた Fukaya category に 関 する 解 説 として 期 待 できる 。 まだ 出 版 されていないが 、 Seidel の ホ ー ムペ ー ジ から proofreading 前 の 原稿 の PDF ファイル が 入 手 でき る 。 Riemann 面 の Fukaya category の Grothendieck group を 計 算 しているのは 、 Abouzaid [ Abo ] である 。 References [Abo] Mohammed Abouzaid. On the Fukaya Categories of Higher Genus Surfaces, arXiv:math.SG/0606598 . [Fuk93] Kenji Fukaya. Morse homotopy, A ∞ -category, and Floer homologies. In Proceedings of GARC Workshop on Geometry and Topology ’93 (Seoul, 1993) , volume 18 of Lecture Notes Ser. , pages 1?102, Seoul, 1993. Seoul Nat. Univ. [Fuk97] Kenji Fukaya. Morse homotopy and its quantization. In Geometric topology (Athens, GA, 1993) , volume 2 of AMS/IP Stud. Adv. Math. , pages 409?440. Amer. Math. Soc., Providence, RI, 1997. Updated on: Wed Sep 01 11:56:04 +0900 2010
50 名前:現代数学の系譜11 ガロア理論を読む [2012/05/28(月) 21:33:57.61 ] >>49 補足 pantodon.shinshu-u.ac.jp/topology/literature/mirror_symmetry.html#Xmath.AT/0603196 Mirror Symmetry Kontsevich は , ICM 94 で Fukaya の アイデア [ Fuk97 ] に 基 づいて , mirror symmetry を 多 様 体 上 の derived category の 間 の duality と 解 釈 するという アイデア を 発 表 した , らしい 。 Homological mirror symmetry conjecture と 呼 ばれている 。 解 説 としては , Ballard の [ Bal ] がある 。 Fukaya category Calabi-Yau 多 様 体 に 対 する Homological Mirror Symmetry Conjecture Kontsevich の アイデア に 忠 実 に 従 っ ているのが Polishchuk という 人 で , elliptic curve の 場 合 に Kontsevich の 予 想 を 証 明 したようである 。 その アイデア を superstring theory で 押 しすすめ , D-brane の 理論 が “categorical” にな っ てきている 。 例 えば , Lazaroiu の preprint [ Laz03 ] にある 解 説 を 読 むと よい 。 Kontsevich や 深 谷 の アイデア を 理 解 するためには , まず 以下 のことが 必 要 で ある 。 Complex projective variety 上 の coherent sheaf の derived category 具 体 的 な 空 間 の Fukaya category が 分 かれば , 理 解 の 助 けになることは 当 然 である が , あまり 詳 しいことは 分 っ ていないようである 。 Abouzaid が [ Abob ] で Riemann 面 の Fukaya category の K -theory を 調 べている 。 Abouzaid の [ Aboa ] の Introduction は Kontsevich の Homological Mirror Symmetry Conjecture の 現 況 を 知 るのによい 。 それによると , Kontsevich は Fano 多 様 体 への 予 想 の 拡 張 も 立 てているらしい 。 その Abouzaid の 論 文 は , toric variety の 場 合 に tropical (algebraic) geometry を 用 いて 調 べているという 点 で 興 味 深 い 。
51 名前:現代数学の系譜11 ガロア理論を読む [2012/05/28(月) 21:37:36.51 ] >>50 補足 pantodon.shinshu-u.ac.jp/topology/literature/A_infty-category.html A∞-category A ∞ -category は Fukaya により 導入 された [ Fuk93 , Fuk97 ] 概 念 である 。 k -linear category あるいは dg category の A ∞ 版 あるいは A ∞ -algebra の many objecti?cation である 。 解 説 としては , Paul Seidel の 本 [ Sei08 ] がよいだろう 。 Keller の 学 生 だ っ た Lefevre-Hasegawa の thesis [ LH ] もあるが , フランス 語 である 。 Bespalov と Lyubashenko と Manzyuk が 最 近 “Pretriangulated A ∞ -categories” という 600 ペ ー ジ もある 本 を ウクライナ で 出 したようである 。 Lyubashenko の ホ ー ムペ ー ジ から download できる 。 A ∞ -category Fukaya category Kontsevich と Soibelman は [ KS01 ] で A ∞ -pre-category という 概 念 を 定 義 した 。 特 定 の 組 に 対 してのみ “morphism の 成 す module” が 定 義 されるもので , Fukaya category の 定 義 される 状 況 をより 正 確 に 表 わしたものである 。 Effimov の [ E? ] によると , そのよ うな 部分 的 に morphism が 定 義 されたものは , A ∞ -category と 取 り 替 えることができる ようである 。 A ∞ -pre-category ホモロジ ー 代 数 的 には , A ∞ -category は DG category の 一 般 化 と 考 えることがで きる 。 つまり DG category から canonical な 方法 で A ∞ -category が 定 義 で きる
52 名前:132人目の素数さん [2012/05/28(月) 21:55:27.61 ] __ノ)-'´ ̄ ̄`ー- 、_ , '´ _. -‐'''"二ニニ=-`ヽ、 / /:::::; -‐''" `ーノ / /:::::/ \ / /::::::/ | | | | | |:::::/ / | | | | | | | |::/ / / | | || | | ,ハ .| ,ハ| | |/ / / /| ,ハノ| /|ノレ,ニ|ル' | | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。 . | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。 | l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。 | ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて | /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。 | (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は? | / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら? | |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \ . | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \ | /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 | | |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、 | |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄| | /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_| | |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ | /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
53 名前:現代数学の系譜11 ガロア理論を読む [2012/05/28(月) 21:59:13.83 ] >>49 深谷拳の写真がある 【Budget Allocation】 81,600 Thousand Yen は、なかなか凄いね www.jsps.go.jp/j-grantsinaid/12_kiban/ichiran_23/e-data/e34_fukaya.pdf 【Grant-in-Aid for Scientific Research(S)】 Science and Engineering (Mathematical and physical sciences) Title of Project:Proof of Homological Mirror symmetry Kenji Fukaya ( Kyoto University, Graduate School of Science, Professor ) 【Term of Project】 FY2011-2015 【Budget Allocation】 81,600 Thousand Yen 【Homepage Address and Other Contact Information】 www.math.kyoto-u.ac.jp/~fukaya/
54 名前:132人目の素数さん [2012/05/28(月) 22:15:02.74 ] __ノ)-'´ ̄ ̄`ー- 、_ , '´ _. -‐'''"二ニニ=-`ヽ、 / /:::::; -‐''" `ーノ / /:::::/ \ / /::::::/ | | | | | |:::::/ / | | | | | | | |::/ / / | | || | | ,ハ .| ,ハ| | |/ / / /| ,ハノ| /|ノレ,ニ|ル' | | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。 . | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。 | l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。 | ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて | /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。 | (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は? | / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら? | |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \ . | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \ | /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 | | |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、 | |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄| | /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_| | |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ | /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
55 名前:現代数学の系譜11 ガロア理論を読む [2012/05/28(月) 22:15:21.94 ] MathOverflowって、英語版数学板をもっと高度にした感じかな Welcome to MathOverflow A place for mathematicians to ask and answer questions. mathoverflow.net/questions/90789/noncommutative Noncommutative Fukaya category? (抜粋) The definition of the Fukaya category on a symplectic manifold uses techniques that only seem to be available in the geometric context, so is there a plausible definition of the `Fukaya category' of a noncommutative space in order to make the noncommutative homological mirror symmetry conjecture hold? 1 Answer Since no one else has tried to answer, I'll take a shot. It seems to me that there are threads of ideas in this story that in the very distant future might be woven together to give a possible answer. To begin, we should note that there seems to be a general idea, discussed in this mathoverflow question, mathoverflow.net/questions/37420/deformation-quantization-and-quantum-cohomology-or-fukaya-category-are-they.
56 名前:132人目の素数さん [2012/05/28(月) 22:23:41.95 ] __ノ)-'´ ̄ ̄`ー- 、_ , '´ _. -‐'''"二ニニ=-`ヽ、 / /:::::; -‐''" `ーノ / /:::::/ \ / /::::::/ | | | | | |:::::/ / | | | | | | | |::/ / / | | || | | ,ハ .| ,ハ| | |/ / / /| ,ハノ| /|ノレ,ニ|ル' | | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。 . | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。 | l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。 | ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて | /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。 | (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は? | / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら? | |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \ . | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \ | /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 | | |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、 | |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄| | /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_| | |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ | /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
57 名前:132人目の素数さん [2012/05/29(火) 04:25:35.01 ] __ノ)-'´ ̄ ̄`ー- 、_ , '´ _. -‐'''"二ニニ=-`ヽ、 / /:::::; -‐''" `ーノ / /:::::/ \ / /::::::/ | | | | | |:::::/ / | | | | | | | |::/ / / | | || | | ,ハ .| ,ハ| | |/ / / /| ,ハノ| /|ノレ,ニ|ル' | | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。 . | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。 | l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。 | ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて | /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。 | (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は? | / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら? | |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \ . | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \ | /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 | | |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、 | |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄| | /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_| | |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
58 名前:現代数学の系譜11 ガロア理論を読む [2012/05/29(火) 22:17:52.25 ] >>21 梅村”代数方程式は隠れた対称性をもっている。この対称性はガロア群*3で記述される”が分からんだと? 勉強不足だろう www.sci.kobe-u.ac.jp/seminar/pdf/saito2006.pdf 見える対称性と隠れた対称性 神戸大学理学部数学科 齋藤政彦 神戸大学理学部サイエンスセミナー 2006 年7月29 日・神戸大学神大会館 対称性とは何か? ? 対称 = Symmetry =Sym ・metry ギリシャ語 で「同じ尺度 」の意 ,転じて調和 ; 均整 (美), 調和 (美). ガロア理論 ??ガロアは各方程式に対するガロア群を定義し, そのガロア群の言葉で方程式の解の様子が制御される理論を構成した.. ??これを用いて, ガロアは、一般の5次方程式に対する解の公式が存在しないことを示した. ??これは, 現代代数学の始まりとも言われる画期的な理論である.
59 名前:132人目の素数さん [2012/05/29(火) 23:23:14.07 ] __ノ)-'´ ̄ ̄`ー- 、_ , '´ _. -‐'''"二ニニ=-`ヽ、 / /:::::; -‐''" `ーノ / /:::::/ \ / /::::::/ | | | | | |:::::/ / | | | | | | | |::/ / / | | || | | ,ハ .| ,ハ| | |/ / / /| ,ハノ| /|ノレ,ニ|ル' | | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。 . | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。 | l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。 | ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて | /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。 | (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は? | / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら? | |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \ . | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \ | /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 | | |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、 | |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄| | /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_| | |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/