トップページ⇒math
1001コメント267KB

【宇宙の鍵】グロタンディーク�W【Motifs】

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2005/09/14(水) 00:51:09
グロタンディークについて語るスレです

前スレ
アレクサンドル・グロタンディーク
http://science3.2ch.net/test/read.cgi/math/1093754703/
[ママン]グロタンディーク★★[いかないで]
http://science3.2ch.net/test/read.cgi/math/1113080894/

黒田貞玖氏によるEGA邦訳進行中
EGA日本語翻訳計画
http://grothende.gozaru.jp/

グロタンディークのホームページ
http://www.grothendieck-circle.org/

グロタンディークとは?
入門書はこれ
山下純一著『グロタンディーク』
http://www.amazon.co.jp/exec/obidos/ASIN/4535783942/qid=1113105301/sr=1-6/ref=sr_1_10_6/250-7553172-6155464

夢をめぐる謎の書『夢の鍵』がうpされつつあります:
http://www.math.jussieu.fr/~leila/ClefI-II-III.pdf
http://www.math.jussieu.fr/~leila/ClefIV-V.pdf
http://www.math.jussieu.fr/~leila/ClefVI.pdf



0002132人目の素数さん2005/09/14(水) 00:53:33
       /\___/ヽ
    /ノヽ       ヽ、
    / ⌒''ヽ,,,)ii(,,,r'''''' :::ヘ
    | ン(○),ン <、(○)::|.  .|`ヽ、  
    |  `⌒,,ノ(、_, )ヽ⌒´ ::l.  .|::::ヽl     俺達VIP海賊団!2はいただいてくぜ!!
.   ヽ ヽ il´トェェェイ`r ;/   .|:::::i |
   /ヽ  !l |,r-r-| l!   /ヽ   |:::::l |
  /  |^|ヽ、 `ニニ´/|^|`,r -|:「 ̄
  /   | .|           | .| ,U(ニ )
 /    | .|           | .|人(_(ニノ
0003132人目の素数さん2005/09/14(水) 00:53:56
前スレのテンプレが抜けちゃいました。
0004132人目の素数さん2005/09/14(水) 01:05:08
[おまえが]グロタンディーク3[がんばれよ]
http://science4.2ch.net/test/read.cgi/math/1117523095/
0005132人目の素数さん2005/09/14(水) 01:45:10
パフタリーチェ、パジャールスタ
0006132人目の素数さん2005/09/14(水) 02:12:07
>>5
Что с вами ?
0007ついでにどうぞ2005/09/14(水) 02:22:30
2004/08/29 13:45
アレクサンドル・グロタンディーク
http://grothende.gozaru.jp/2ch-logs/1093754703.html
http://science3.2ch.net/test/read.cgi/math/1093754703/

2005/04/10 06:08:14
[ママン]グロタンディーク★★[いかないで]
http://grothende.gozaru.jp/2ch-logs/1113080894.html
http://science3.2ch.net/test/read.cgi/math/1113080894/

2005/05/31 16:04:55
[おまえが]グロタンディーク3[がんばれよ]
http://grothende.gozaru.jp/2ch-logs/1117523095.html (予定)
http://science4.2ch.net/test/read.cgi/math/1117523095/
0008132人目の素数さん2005/09/14(水) 04:07:02
グレート・ピレニーズを従え、ロバに大型の買物カゴを積んで、
隠遁中のとある洞窟から麓の村まで買いだしに行きますじゃ。
それと、ときどき年金を受け取りに村の小さな郵便局にも行くが。
ピレネーの洞窟の奥で瞑想するグロタンというイメージは悪くない!
ピレネーには鍾乳洞が多い。
アリエージュ県
http://www.gites-09.com/Activites-Decouvertes-Ariege/activites-decouvertes-ariege.html
の高校(大学はない)の数学の先生あたりに聞いてみれば、
噂でグロタンの隠れ家はわかるはず!
0009132人目の素数さん2005/09/14(水) 04:08:07
帰らぬグロタン 孤高のピレネー
われも恋しや 消えし天才
尽きせぬ望み 「夢の鍵」読む
きのうも今日も そして明日(あした)も

『夢の鍵:グロタンディークよ永遠に』

近日発売!
0010132人目の素数さん2005/09/14(水) 04:29:50
>>8
ネアンデルタール人やクロマニオン人はもちろん
縄文人だって一部は洞窟で暮らしていた。
洞窟生活は不可能ではないかもね。
0011132人目の素数さん2005/09/14(水) 10:58:23
Motivesにして欲しかった
0012なぜ?2005/09/14(水) 13:02:16
>>11
フランス語だと「motif」の複数形は「motifs」ですが、何か?
モチフ理論(モチーフ理論)は「La theorie des motifs」と書きます。
英語なら「The theory of motives」ですが。
ここはやはり、英語よりフランス語を使うべきでは?
0013132人目の素数さん2005/09/14(水) 13:08:02
過去スレにおいて既出でつが。

グロタン選定の主要十二テーマ

�@トポロジー・テンソル積と核型空間
�A「連続」および「離散」双対性(導来カテゴリー、「六つの演算」)
�Bリーマン‐ロッホ‐グロタンディークの理論(ヨガ)(k理論、交叉の理論との関係)
�Cスキーム
�Dトポス
�Eエタールおよびl進コホモロジー
�Fモチーフとモチーフ的ガロア群
�Gクリスタルとクリスタル・コホモロジー、「ド・ラーム係数」、「ホッジ係数」の理論(ヨガ)
�H「トポロジー代数」:∞‐園(シャン)、導来手、新しいホモトピー代数に対する
 着想としてのトポスのコホモロジー的定式化
�I穏和トポロジー
�J遠アーベル幾何の構想(ヨガ)、ガロア‐タイヒミュラーの理論
�K正多面体とあらゆる種類の正規配位図形の「スキーム的」もしくは「数論的」観点
001412 idees de Grothendieck2005/09/14(水) 13:37:29
La liste de 12 idees de Grothendieck (par ordre chronologique d'apparition)

1. Produits tensoriels topologiques et espaces nucleaires.
2. Dualite "continue" et "discrete" (categories derivees, "six operations").
3. Yoga Riemann-Roch-Grothendieck (K-theorie, relation a la theorie des intersections).
4. Schemas.
5. Topos.
6. Cohomologie etale et l-adique.
7. Motifs et groupe de Galois motivique (categories tensorielles de Grothendieck).
8. Cristaux et cohomologie cristalline, yoga "coefficients de De Rham", "coefficient de Hodge".
9. "Algebre topologique" ∞-champs, derivateurs ; formalisme cohomologique des topos,
  comme inspiration pour une nouvelle algebre homotopique.
10. Topologie moderee.
11. Yoga de geometrie algebrique anabelienne, theorie de Galois-Teichmuller.
12. Point de vue "schematique" ou "arithmetique" pour les polyedres reguliers
  et les configurations regulieres en tous genres.
0015132人目の素数さん2005/09/14(水) 13:42:36
子供の素描もね
0016132人目の素数さん2005/09/14(水) 13:47:06
>>13-14
グロタン自身が『収穫と蒔いた種と』の中で選定したグロタン自身にとっての12の主要テーマ
(グロタンが考えついた順に配列されている.数学以外は排除されている.)
0017132人目の素数さん2005/09/14(水) 14:06:31
>>15
グロタン自身は「"maitre-themes" de mon oeuvre」の中に
「子供の素描」(dessins d'enfant)は入れていません.
0018132人目の素数さん2005/09/14(水) 14:16:01
>>17
文献は 『Recoltes et Semailles』p.44
http://www.math.jussieu.fr/〜leila/RetS.ps
0019Has Grothendieck gone mad? 2005/09/14(水) 16:29:27
Has Grothendieck ― runs the obvious question ― gone mad?
Well, possibly. It all depends on what you mean by ‘mad’.
‘He lives alone and he writes on really deep ideas,’ says Schneps.
‘In the past, what about saints or prophets? Did people think they had gone mad?
He cannot bear to live in the world we’re in.... He’s certainly abnormal.
I could not possibly call him mad. People say there’s normal and there’s insane.
These are not the only two categories....’
http://www.lewrockwell.com/spectator/spec262.html
0020132人目の素数さん2005/09/14(水) 16:49:11
>>19
ピレネーに一人で住んで思索を深めているグロタン。
つぎの著作はいつ出現するのかな?
そのテーマは数学か?物理学か?生物学か?
0021132人目の素数さん2005/09/14(水) 16:58:32
『夢の鍵』のつぎは『宇宙の鍵』だという説もあるようだね
とすると、テーマはやはり、高次元圏論による量子重力理論あたりでは
0022132人目の素数さん2005/09/14(水) 17:23:55
もともとグロタンは物理学者志望だったからね。
0023132人目の素数さん2005/09/14(水) 17:35:51
>>13
結構まともなことやってんだ。前のスレ見たら、あれだったけど。
個人的には、�Cと�Dをもう一度やって欲しいな。
0024132人目の素数さん2005/09/14(水) 22:26:14
グロタン自身は自分の数学的な仕事の中でもっとも重要なのは「Topos」
だと考えていたらしい。
0025132人目の素数さん2005/09/14(水) 22:48:44
空間概念に革命を起こした
0026132人目の素数さん2005/09/14(水) 22:56:21
トポス理論って最近では音楽理論にまで応されとります。
0027Topos of Music2005/09/14(水) 23:02:07
>>26
The Topos of Music: Geometric Logic of Concepts, Theory, and Performance
http://www.amazon.co.jp/exec/obidos/ASIN/3764357312/qid=1126706365/sr=8-2/ref=sr_8_xs_ap_i2_xgl14/249-7109649-8303503

何が書かれているのやら??
0028著者 Mazzola2005/09/14(水) 23:10:14
>>27
Author of over ten books and over 90 papers in the fields of
Arithmetic, Topology, Category Theory, Algebraic Geometry,
Mathematical Music Theory, Brain Research, Computergraphics
in the Arts, Performance Theory, Computer Musicology.
Mazzola is an internationally recognized jazz pianist.
0029132人目の素数さん2005/09/15(木) 00:32:27
数論、トポロジー、圏論、代数幾何、数理音楽理論、脳研究、コンピュータグラフィクス、
演奏理論、コンピュータ音楽の専門家にして、著名なジャズピアニスト
なんでもやる人ですね
0030132人目の素数さん2005/09/15(木) 04:01:07
狂気に近い。まるでグロ短のようだ。
0031132人目の素数さん2005/09/15(木) 08:54:29
トポスってよくわからない。勿論、俺の勉強不足だけど。
エタールコホモロジーだけならトポスなくてもsiteだけでいいような。
Milneもsiteだけでやってる(オンライン版)。
0032132人目の素数さん2005/09/15(木) 10:49:58
>>31
>エタールコホモロジーだけならトポスなくてもsiteだけでいいような

グロタンの精神がわかっておらぬ。。。
0033132人目の素数さん2005/09/15(木) 11:06:17
>>32

それ(彼の精神が分かっていないということ)は初めからわかっています。
だから教えてください。
エタールコホモロジーにおけるトポスの意義とは何でしょうか?
0034132人目の素数さん2005/09/15(木) 13:30:27
サイト上の層を視野に入れる事自体、
トポスの哲学の一環なのでは。
0035132人目の素数さん2005/09/15(木) 13:56:55
トポス哲学の一環であり、同時に、
トポス哲学の歴史的起源でもあろうかと。
0036132人目の素数さん2005/09/15(木) 14:47:29
でエタールコホモロジーにおけるトポスの意義とは何でしょうか?
0037132人目の素数さん2005/09/15(木) 15:32:38
エタールコホモロジーの概念が相対化できることかも
0038132人目の素数さん2005/09/15(木) 17:00:41
どなたかグロタンのトポス哲学の神髄についてお教えください!
なぜ、グロタン自身はトポス概念の構成を自分の最高の仕事だと
考えているのでしょうか?
0039132人目の素数さん2005/09/15(木) 17:06:34
スキーム、トポス 、エタールコホモロジー、モチーフ

はいずれも重要な気がするけど、この中でトポスを選んだグロタンの
真意は何なのでしょうか?
0040132人目の素数さん2005/09/15(木) 17:36:42
すべてを包括するような一般的概念
0041132人目の素数さん2005/09/15(木) 17:46:21
なんか勉強になるな。具体的にはほとんどわからないけど。
前スレと同じ人たちとは思えない。やっぱ数学ができる人は
ちょっと変なのかな?
0042132人目の素数さん2005/09/15(木) 19:50:42
La notion des topos est une metamorphose
de la notion d'un espace.

      -- Grothendieck
0043132人目の素数さん2005/09/15(木) 19:52:45
あたりまえのことでもグロタンがいえば迫力あるな
0044132人目の素数さん2005/09/15(木) 20:14:29
La notion de topos est l'idee unificatrice feconde et
le puisante outil de decouverte... Grothendieck
0045132人目の素数さん2005/09/15(木) 20:16:42
>>44
これは『収穫と蒔いた種と』の第四部にある文章らしい。
0046132人目の素数さん2005/09/15(木) 20:18:58
>>42
×:La notion des topos
○:La notion de topos
0047復刊リクエスト2005/09/15(木) 23:50:48
復刊リクエスト投票 No.13739
『収穫と蒔いた種と』
http://www.fukkan.com/vote.php3?no=13739
復刊リクエスト数16票 / 100票

まだまだ復刊の日は遠いか?
0048132人目の素数さん2005/09/16(金) 00:07:12
>>47
未刊部分もついでに出してほしいが
0049132人目の素数さん2005/09/16(金) 00:20:07
>>47
買えたころには欲しくなかったのに。買えなくなると欲しくなる。
0050132人目の素数さん2005/09/16(金) 10:18:28
ここは地の果て流されてグロ
今日も彷徨い涙も枯れる
0051132人目の素数さん2005/09/16(金) 10:39:54
夢を探って著述を急げ
我らの希望未来を描け

>>50
それどこかで聴いたことあるね
ついでに続きを作ってみました
0052もっと関手っぽく2005/09/16(金) 10:45:14
このあいだ、大学のセミナー室行ったんです。セミナー室。
そしたらなんか人がめちゃくちゃいっぱいで座れないんです。
で、よく見たらなんか黒板上がってて、モジュライ、とか書いてあるんです。
もうね、アホかと。馬鹿かと。
お前らな、モジュライ如きで普段来てない大学に来てんじゃねーよ、ボケが。
objectを分類してんだよ、分類。
なんかHartshorneとかもあるし。スキーム論の演習か。おめでてーな。
スキームとは環付き空間であって、とか言ってるの。もう見てらんない。
お前らな、Knutsonやるからその席空けろと。
スキームってのはな、もっと関手っぽくあるべきなんだよ。
http://science4.2ch.net/test/read.cgi/math/1103212410/80
00532-カテゴリー。これ最強。2005/09/16(金) 10:47:26
表現可能性を巡っていつ喧嘩が始まってもおかしくない、
スキームか関手か、そんな雰囲気がいいんじゃねーか。
底空間だの構造層だのは、すっこんでろ。
で、やっと座れたかと思ったら、隣の奴が、レベル構造はNが3以上で、とか言ってるんです。
そこでまたぶち切れですよ。
あのな、表現可能モジュライなんてきょうび流行んねーんだよ。ボケが。
得意げな顔して何が、Drinfeldのレベル構造、だ。
お前は本当にモジュライを考えたいのかと問いたい。問い詰めたい。小1時間問い詰めたい。
お前、レベル構造って言いたいだけちゃうんかと。
モジュライ通の俺から言わせてもらえば今、モジュライ通の間での最新流行はやっぱり、
スタック、これだね。 擬分離代数的スタック。これが通の考え方。
スタックってのは自己同型射が多めに入ってる。そん代わり貼りあわせデータが緩め。これ。
で、それに2-カテゴリー。これ最強。
しかしこれを使うと高次の射も出てくるという危険も伴う、諸刃の剣。
素人にはお薦め出来ない。
http://science4.2ch.net/test/read.cgi/math/1103212410/80
0054132人目の素数さん2005/09/16(金) 11:02:14
流行が重要なの?
0055132人目の素数さん2005/09/16(金) 12:07:54
流行を追ってちゃ一人前には成れないよ
って先生が言ってたけど、先生のやってることは流行に乗ってるじゃんとツッコミを入れたかった。
0056132人目の素数さん2005/09/16(金) 12:40:30
スタックや重さの哲学もグロタンが元祖だったかな。
0057132人目の素数さん2005/09/16(金) 13:03:16
「重さ」はわからんが、スタックならグロ師経由で
J.Giraud の論考に書いてあったはず。
0058132人目の素数さん2005/09/16(金) 13:25:04
>>57
ご教示感謝でつ。
0059132人目の素数さん2005/09/16(金) 13:34:02
>>57
どっちのジローだよ?
0060572005/09/16(金) 13:50:04
>>59
Jean Giraud:Cohomologie non-abelienne[Springer 1971]
0061132人目の素数さん2005/09/16(金) 15:43:00
>>60
これはジローの学位論文ですよね。キレンへの手紙
Pursuing stacks (A la poursuite des champs)
はこの発展だっていえますか。
0062132人目の素数さん2005/09/16(金) 16:11:16
>>54
そういうマジレスするかいな
0063132人目の素数さん2005/09/16(金) 17:19:11
うん?流行は大事でしょ?
0064132人目の素数さん2005/09/16(金) 17:26:02
え〜あ〜う〜ああ〜それは〜〜
0065132人目の素数さん2005/09/16(金) 19:16:05
誰かローモンのalgebraic stacks輪読しない?
0066132人目の素数さん2005/09/17(土) 02:11:29
どこでするの?
0067132人目の素数さん2005/09/17(土) 12:55:48
俺もそのうち読むぞ
0068EnglishMasturbation ◆xOWEo7BWwI 2005/09/17(土) 15:30:56
>>65 輪読するために集まって輪姦されるのはいやだ.
0069132人目の素数さん2005/09/17(土) 16:30:20
輪姦する立場になれば?
0070132人目の素数さん2005/09/17(土) 16:42:20
アナタ何言うあるか
それいけない事ある
0071132人目の素数さん2005/09/17(土) 18:30:25
スタックの勉強って一人でやっているとなかなか進みませんな
0072132人目の素数さん2005/09/17(土) 18:54:49
理由は?
0073132人目の素数さん2005/09/17(土) 19:16:17
私の出来が悪いから。
0074132人目の素数さん2005/09/18(日) 02:18:11
Ce qui est le bruit... Je vis.
0075132人目の素数さん2005/09/18(日) 04:46:16
            6年制              4年制
1年次              共通カリキュラム
2年次              共通カリキュラム
3年次前期           共通カリキュラム
3年次後期 6年制カリキュラム       4年制カリキュラム
4年次    臨床科目、CBTなど         卒論研究
5年次(M1) 病院実習、臨床科目など      修論研究
6年次(M2) 卒論研究、国家試験など      修論研究
7−8?年目                   臨床科目、CBT、病院実習、国家試験など  
0076132人目の素数さん2005/09/18(日) 12:33:48
グロタンが構築した概念なり手法は、あらゆる分野に浸透してるけど
それにしても、トポロジー代数というのは謎ですな。
『収穫〜』も元々は、トポロジー代数が手付かずでいた事に対して、業を
煮やしたグロタンが『園(シャン)の探求』で、その概要を述べようと
したものが、いつしかそのように変容したものだとか。
0077132人目の素数さん2005/09/18(日) 14:24:21
コホモロジーよりも情報量の多いはずのホモトピーを
代数幾何に導入しようというのがもともとの構想では?
0078132人目の素数さん2005/09/18(日) 16:06:06
グロタンにはまだまだ手付かずのアイデアが眠っているのだろうか?
0079132人目の素数さん2005/09/18(日) 20:31:42
チラシの裏

先日、ちょっと用事があって、何年ぶりかで都立中央図書館へ行ったら
「収穫〜」四巻が開架式で閲覧できますた(前三巻は書庫)。
知ってたらスマソ
0080132人目の素数さん2005/09/18(日) 23:09:02
どの巻でも、モチーフに関する記述は熱いですね。
ちなみに、モチーフとラングランズ哲学は大いに関係あるらしいのだが
その点に関してグロタンは、自分は保型関数についてはあまり詳しくない、
と述べておられまする。
0081132人目の素数さん2005/09/18(日) 23:14:33
コホモロジーよりホモトピーの方が情報多いんですか?
0082132人目の素数さん2005/09/19(月) 01:31:25
さて ここいらでグロタンの写真集をつくろうと思うのだが・・・・

お前らの手持ちの画像をアップしてくれ
0083132人目の素数さん2005/09/19(月) 02:06:07
>>79
国会図書館にあるのは確かめたけど、都立中央図書館はまだ確認
していなかったので、うれしいです。しかも、開架で閲覧できる
なんて、、、900ページもあるとコピーは絶望的ですが。
何とか出版されないものか。。。多少高くなってもいいから。
0084132人目の素数さん2005/09/19(月) 02:11:59
>>82
ちょっと珍しいかも
http://www.ams.org/notices/200409/fea-grothendieck-oncouch.jpg
0085132人目の素数さん2005/09/19(月) 03:20:07
>>82
当然ですが、まずこれを。
http://www.math.jussieu.fr/~leila/photosschurik1.php
http://www.math.jussieu.fr/~leila/photosschurik2.php
http://www.math.jussieu.fr/~leila/photosschurik3.php
0086132人目の素数さん2005/09/19(月) 23:01:12
モチーフとラングランズ哲学のつながりが今ひとつ
分からないんですが、一言でいうとどうなりますか?
0087132人目の素数さん2005/09/20(火) 00:25:14
おそらくは、両方とも非可換類体論に到達できるもの
と信じられてるところでしょうかね。
0088132人目の素数さん2005/09/20(火) 00:44:57
もう少し具体的にお願いしたいのですが・・・
0089132人目の素数さん2005/09/20(火) 01:27:15
ラングランズ群からモチーフ的ガロア群、そしてそこから絶対ガロア群
へと、それぞれ全射の列が存在するのではないかと。

予想といえる程に定式化されているのかよく分からん(ヴィジョンと言うべきか)。
0090132人目の素数さん2005/09/20(火) 01:44:03
ふむふむ。
0091132人目の素数さん2005/09/20(火) 12:34:49
>>89
レスどうもです。モチーフ的ガロア群というのは、
モチーフの代数的基本群と考えていいんですか?
0092132人目の素数さん2005/09/20(火) 16:56:40
ホモトピーの本質に係わるという事であれば、モチーフ的基本群とも呼べる
かな。
そもそも、標準予想が解決されないと定義する事ができん(らしい)。
0093132人目の素数さん2005/09/20(火) 19:10:05
グロタンとヴェイユは、どれほど面識があったのかいまいち
はっきりしない。
セールの場合は、谷山‐志村予想にヴェイユの名を付け足したと
非常に献身的な印象があるのだが。
0094132人目の素数さん2005/09/20(火) 20:02:00
交流関係の方は分からないけど、ヴェイユはグロタンの数学に
あまり共感していなかったのでは。

もっとも、グロタンの理論がなければヴェイユ予想は解けなかった
だろうけど。
0095132人目の素数さん2005/09/20(火) 22:34:04
スティーンロッドがホモロジー代数を、アブストラクト・ナンセンスと
評したらしいけど、それは、愛情を込めてそのように表現したと、
ラングは述べております。
0096132人目の素数さん2005/09/20(火) 23:15:34
ジェネラル・ナンセンスなんてのも響きがいいですね。

ところで、代数的基本群に対応して代数的ホモトピー
群というものもあるんでしょうか?
0097132人目の素数さん2005/09/21(水) 01:20:30
>>96
(答えにはなってませんが)
代数的K理論は、そういった事を視野に入れてるのでは
ないでしょうか。
0098132人目の素数さん2005/09/21(水) 10:43:44
ヴェイユはグロタンは互いに嫌っていただろうね。グロタンはEGAを
ZariskiとWeilに献呈している(序文において)けど、Weilからは何の反応も
得られなかったはず。そりゃそうだろうなと思う。EGAによりWeil流の
代数幾何は壊滅状態になったのだから。
0099132人目の素数さん2005/09/21(水) 12:39:34
>>97

代数的K理論ですか・・・。
>>13 の�Hが何か関係あるのかも知れないです。
0100132人目の素数さん2005/09/21(水) 18:18:54
100ぐろたん
0101132人目の素数さん2005/09/21(水) 20:50:09
モチフィックLie環とモチフィック基本群の関係について教えてください。
■ このスレッドは過去ログ倉庫に格納されています