[表示 : 全て 最新50 1-99 2chのread.cgiへ]
Update time : 05/30 08:03 / Filesize : 80 KB / Number-of Response : 60
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

現代数学の系譜11 ガロア理論を読む5



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::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/






[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧](*・∀・)<80KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef