【Motifs】グロタンディーク 8【Topos】

グロタンディーク（愛称：グロタン）について語るスレです。

過去スレ
1　http://science3.2ch.net/test/read.cgi/math/1093754703/
2　http://science3.2ch.net/test/read.cgi/math/1113080894/
3　http://science4.2ch.net/test/read.cgi/math/1117523095/
4　http://science4.2ch.net/test/read.cgi/math/1126626669/
5　http://science4.2ch.net/test/read.cgi/math/1129651162/
6　http://science4.2ch.net/test/read.cgi/math/1129651447/
7　http://science4.2ch.net/test/read.cgi/math/1136430669/

（過去スレは　http://grothende.gozaru.jp/　でも見れます。）

グロタンディーク・サークル
http://www.math.jussieu.fr/~leila/grothendieckcircle/index.php

グロタンディークの短い紹介
http://en.wikipedia.org/wiki/Alexander_Grothendieck

グロタンディークへの入門
山下純一著『グロタンディーク』
http://www.amazon.co.jp/exec/obidos/ASIN/4535783942

黒田貞玖作「EGA日本語翻訳計画」
http://grothende.gozaru.jp/

グロタンディークの12大業績
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.

加藤和也せんせのスレ
http://science4.2ch.net/test/read.cgi/math/1148609325/l50
望月新一（京都大学数理解析研究所教授）
http://science4.2ch.net/test/read.cgi/math/1115288892/l50
代数幾何学（スキーム）
http://science4.2ch.net/test/read.cgi/math/1089720002/l50
大好き★代数幾何 Part 3
http://science4.2ch.net/test/read.cgi/math/1119870806/l50
圏論 / カテゴリー論 / Category Theory 2
http://science4.2ch.net/test/read.cgi/math/1089645233/l50
ブルバキ
http://science4.2ch.net/test/read.cgi/math/1042548616/l50
20世紀最高はグロタンじゃなくヒルベルトだと思う
http://science4.2ch.net/test/read.cgi/math/1108740453/l50
【対称性】超弦理論、M理論の数学【非可換幾何学】
http://science4.2ch.net/test/read.cgi/math/1088692151/l50
非可換類対論（ﾗﾝｸﾞﾗﾝｽﾞ予想）
http://science4.2ch.net/test/read.cgi/math/1137223042/l50
モチーフの哲学と志村多様体
http://science4.2ch.net/test/read.cgi/math/1048985715/l50
数論幾何を勉強するための最短方法
http://science4.2ch.net/test/read.cgi/math/1132048097/l50
ベルギーが産んだ天才・ドリーニュを語れ
http://science4.2ch.net/test/read.cgi/math/1108288035/l50

本日午後 Kontsevich の講演あり
http://coe.math.keio.ac.jp/2006/kontsevich.pdf

Kashiwara & Schapira
Categories And Sheaves
http://www.amazon.co.jp/exec/obidos/ASIN/3540279490/

この本の序文は、当然にもグロタンを非常に高く評価するところから
はじまっていましたね。「導来圏のアイデアは佐藤幹夫先生も独自で
作っていた」という話は無視する書きっぷりでした。

>>4
関連スレって予想以上にあるな

20世紀最高はグロタンじゃなくヒルベルトだと思う

はちょっと懐かしい

In 1963, Paul Cohen introduced the method of forcing to prove the independence
of both the axiom of choice and the continuum hypothesis from Zermelo-Fraenkel
set theory. It was not long before Saul Kripke noted a connection between forcing
and his semantics for modal and intuitionistic logic, which had, in turn, appeared
in a series of papers between 1959 and 1965. By 1965, Scott and Solovay had
rephrased Cohen's forcing construction in terms of Boolean-valued models,
foreshadowing deeper algebraic connections between forcing, Kripke semantics,
and Grothendieck's notion of a topos of sheaves. In particular, Lawvere and
Tierney were soon able to recast Cohen's original independence proofs as
sheaf constructions.
http://www.andrew.cmu.edu/user/avigad/Papers/forcing.pdf



Grothendieck believes cohomology in number theory can have no genuine mathematical
meaning without Grothendieck universes (specifically, without derived functor cohomology).
http://www.cs.nyu.edu/pipermail/fom/1999-April/003013.html

999 名前：１３２人目の素数さん ：2006/06/02(金) 03:32:29
どうしてグロタンはヴェイユ予想を証明できなかったんですかぁ？

>>1乙。

前スレに出てたChevalleyの論文Les Schemasは
NUMDAMから手に入りまつね。

>>10
Seminaire Henri Cartan が全てUpされてる！！
Thanks!!
http://www.numdam.org/numdam-bin/feuilleter?j=SHC&sl=0

Gro師の
“Techniques de construction en géométrie analytique”
もあります、ハイ。

NUMDAM進化してまつね！これはうれしい！

ブラボー！！！！！！！！１１１１１１１１

現代の数論幾何における重要なツールである
adele（idele）とschemasがともにChevalleyの頭から
捻り出されたというのは興味深いでつ。
Chevalley自身はschemasをどう捉えていたんだらう？
抽象化のお遊びぐらいにしか思ってなかったんでつかね？

>>15
Weil予想の事もそれとなく意識していたのだろうか。

あの、ここの住人は、数学者の方なのでしょうか？
数学者のレベルとしてはどれくらいのかたがたなのでしょうか？

僕は数学者になれなかったおちこぼれです。

>>17
妖精レベル

>>17
やはり来ていたか沢竹屋

『Introduction to the Language of Stacks and Gerbes』
�T.Moerdijk
http://xxx.lanl.gov/PS_cache/math/pdf/0212/0212266.pdf
これらは最近、物理でもチラホラ出てきますけど、これといった教科書は何かあったかな。

>>20
Champs algébriques
(Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge )
by Gerard Laumon, L. Moret-Bailly
簡単な紹介なら、
寺杣友秀「コンツェビッチによるウィッテン予想の解決」
　（上智大学数学講究録　No.40)
にもあります。

>>21
どうもありがとです。
さっそく図書室で探してみます。

age

>>15

ChevalleyのschemaはGrothendieckのそれと違う。

>>24
どういう意味ででつか？
少なくとも踏み台にはなっていると思うのでつが。。
Chevalley schema ＋ FAC ＝ EGA I
ではなかろうかという認識でつ。

>>25

GrothendieckのschemaはChevalleyのschemaから出てきたわけではない。
FACの影響は大きいが。

>>26
schemaの言う名の由来はChevalleyとは無関係という
ことでつか？
精神的な影響はFAC由来のものであるということは
理解しておりまつ。

>>27

osoraku Galfand Naimark theorem kara...

>>27
>schemaの言う名の由来はChevalleyとは無関係という
>ことでつか？

おたくは>>15で名前の由来を問題してるわけではないでしょ。
だから>>15にコメントした私も名前の由来を問題にしてるわけではない。
概念を問題にしてるわけ。そしてChevalleyのschema(という概念)と
Grothendieckのそれとは違うし、
Grothendieckのschema(という概念)はChevalleyのschema(という概念)
から出てきたものではない。
これだけくどく書けばわかるよね？

言ったもん勝ちの世界

>>29
問題の半分は名前の由来でつよ。
前スレの

985 名前：１３２人目の素数さん[sage] 投稿日：2006/06/01(木) 12:49:13
Schemasの定義及び命名はChevalleyが起源？

からの流れだったので。。。

>>31

あそう。だけど>>15は的はずれ。
名前は同じだけど両者は別物。

前にどこかでschemaの名前の由来は可換図式を使って
代数幾何をするからだ、みたいなレスを見たんでつよねー。
だから概型という訳は不適当で、むしろ図式と訳すべきだ、
みたいな。
でもChevalleyが素イデアルの集合に位相を入れる形で
schemaを定義し、グロタンがそれを援用したのであれば
上のようなこともおかしいな〜とｵﾓﾃ985をｶｷｺしたわけでつ。

で、グロタンはFACを受けて明確に圏論的観点で代数幾何を捉え、
schemaによって標数pごとの代数多様体を統一した視点で捉える
ことができると考えていたわけだけど、
Chevalleyの目にはどういうものが映ってschemaを定義したのか？
というのが

＞Chevalley自身はschemasをどう捉えていたんだらう？
＞抽象化のお遊びぐらいにしか思ってなかったんでつかね？

というレスの理由なのでありまつ。

ここはGrothendieckのスレだからそれはちょっとスレ違いなんじゃないの。
何度も言うけどChevalleyのschemaは名前は同じでも別物。
Grothendieckのschemaの重要な特性である構造層または座標環に
べき零元を許すという発想はなかったし。

>>35

soreja kuwashiku (Chevalleyのschema) setsumei onegai!!!

>>36

EGA I の §8 Les schemas de Chevalley に書いてある。
尤も、代数幾何に興味がありフランス語が読めればとっくに読んでるだろうが。

モチーフとファインマンダイアグラムの関係って何ですか？
http://www.ihes.fr/IHES/Scientifique/feynman/programme.html

King!!!

talk:>>39 私を呼んだだろう？

>>39-40
うまい！とくにどうということもないが。

talk:>>41 私を呼んだだろう？

わかったことはわかってた

LUSZTIG還暦記念カンファレンス
http://www-math.mit.edu/conferences/lusztig60/index.html
もっと年いってる方かとオモテタ

Lusztigか。グロタンと遠縁のおっさんやね。
このカンファレンスはちょっと難しすぎやろ。

>>45
Deligne 繋がりで遠縁とは思えんが…。

パクリ柏原繋がりで遠縁とは思えんが

パクった論文を見れば還暦より上に思えたということだろう

パクリ柏原?Lusztigが樫原さんの研究をパクった？

なかなか面白いカラクリやなぁ。
ようわからんけど、だいたいわかってきた！
お前ら悪趣味やなぁ〜。

まぁ、ここだけの話。

大伴家持

昔、この人の本を立ち読みしたら電波系かと思ったんですぐに棚に戻した。

>>51
どの本？ などと、こんな時間にこう聞くこと自体、
すでに電波系の可能性があるでしょうが。。。
しかも>>50のような意味不明の発言では。。。

>>52 このうちのどれか。３０秒くらいしか見なかったんで覚えていない

数学者の孤独な冒険―数学と自己の発見への旅 収穫と蒔いた種と
アレクサンドル グロタンディーク (著), 辻 雄一 (翻訳) 単行本 (1989/02) 現代数学社
おすすめ度：
発送可能時期：出品者から通常2営業日以内に発送します。

価格： ￥3,045（税込）

2. ある夢と数学の埋葬―陰(イン)と陽(ヤン)の鍵 収穫と蒔いた種と
アレクサンドル グロタンディーク (著), その他 単行本 (1993/03) 現代数学社
在庫切れ

価格： ￥7,350（税込）

3. 数学と裸の王様―ある夢と数学の埋葬
アレクサンドル グロタンディーク (著), 辻 雄一 (翻訳) 単行本 (1990/02) 現代数学社
在庫切れ

>>53
グロタンディークを知らないの？この人なんですが。。
http://www.math.jussieu.fr/~leila/grothendieckcircle/index.php

「この人の本」とかいうから勘違いしたじゃないですか。

>>54 ここはグロタンディークスレだ。
勘違いしたのはあなただけ。
こんなこと言いたくないんだけど、つまんないから消えてくれるかな。

パクリ柏原繋がり??もっと正確に追加説明を

モチーフの着想は、WEIL予想とHODGE予想のどちらがきっかけなんですかね。

グロタン自身は、モチーフが完成した暁にWeil予想も自然に証明されると
考えていたそうな。
実際は、その必要がない事をドリーニュが証明している。
（Ｑl-コホモロジーの範囲でWeil予想を解決）
ちなみに、ドリーニュによるレフシェッツの超平面切断に関する強定理の証明
は、標準予想の一部でなかったかな。

>>1
「無意味なスレ立て厳禁」
って読めませんか？
そういうくだらない話は質問スレでやってください


　
　　　　　　　　　　　　　　　　　終　　　了


そして>>1はすぐ死ね

>>20
こんな物があった。
ttp://magma.maths.usyd.edu.au/~voight/notes/moduli-red-harvard.pdf

SchapiraさんのLecture Notes
『Categories and Homological Algebra』
ttp://www.institut.math.jussieu.fr/~schapira/polycopies/Cat.pdf

http://xxx.lanl.gov/list/math.AG/new.
math.AG/0606406

Fujita's conjecture solved!!!!

Alexandre Grothendieck's EGA�X
Translation and Editing of his prenotes(PDF版）
by Piotr Blass and Joseph Blass

ttp://www.jmilne.org/math/Documents/EGA-V.pdf

EGA1〜4やSGA1〜7の英訳はないですか

Liskerとグロタンの会合（1988年）とは何なんだ。
http://rendezvous.com/tangledweb/conferences/fermat/aug11.html

>>65
Roy Lisker はちょっと「ペテン師的側面」をもった人物。グロタンの「病状」
が心配だからとカンパを集めて（アメリカから）フランスに渡ったのが最初。

Lisker が書いて自費出版したグロタンを探す旅の記録
THE QUEST FOR GROTHENDIECK
http://rendezvous.com/tangledweb/ferment/ads/fermad3.html
があるが読みにくい文章だった。ネットで無料で流していたこともあったものの、
なぜかなぜかまた有料にもどしたらしい。15ドルだったかどうかはともかく、
封筒に直接現金を入れて送ってみたら手作りの冊子が送られてきた記憶がある。

その後、おそらく「やるな」といわれたはずなのにグロタンの「隠れ家」の
ひとつを暴露した。しかもその町の綴りが間違っていたので嘲笑されている。

>>66
Liskerによる『収穫〜』の翻訳なんかも、純粋にグロタンを世に広く知らしめる
といった動機であるならば評価出来るのですが、やはり何となく怪しいですね。
レス�dクスです。

『CATEGORICAL GEOMETRY AND THE MATHEMATICAL FOUNDATION OF QUANTUM GRAVITY』
by Louis Crane
＞The mathematical ideas we shall consider trace back to the work of Alexan-
der Grothendieck, perhaps the deepest mathematical thinker who ever lived.
Much of his work was only appreciated after several decades,his deepest ideas
are still not fully understood.
http://arxiv.org/PS_cache/gr-qc/pdf/0602/0602120.pdf

Trimester at Henri Poincare Institute
Groupoids and Stacks in Physics and Geometry
(January8-April6,2007)
http://poncelet.sciences.univ-metz.fr/~tu/IHP/

環Ａの拡大環ＢとＣについて、
ＢとＣがＡ上torsion independentの定義を知っていたら、
教えてください。

>>70
どういう文脈で言っているかによるとも思うが
おそらく
BやCをA加群と見てA上でTorを計算したとき
Tor_i(B,C)=0(i>0)となっている、
ということなんじゃないか。
まあ、SGA6の230ページあたりをみると参考になるかも知れん。

有難うございます。そのようです。

>>71
いかにも知ったか君だな

こんなとこで他人を羨んでいる暇があったら
イプシロンデルタ論法を理解することに時間を使った方が
よほど有益だと思われ

251

スレ隠遁中

ちなみに切り返しの無いものもあります。
例えばレースクイーンの穿いているものにはありません。
あと、直穿きタイプのパンストにも切り返しはありません。
直穿きタイプはショーツ付きタイプとも言いまして、
パンティラインを出したくない時とかに穿きます。
パンティのマンコの当たる部分は布が２重になっていますが、
このタイプのパンスちなみに切り返しの無いものもあります。
例えばレースクイーンの穿いているものにはありません。
あと、直穿きタイプのパンストにも切り返しはありません。
直穿きタイプはショーツ付きタイプとも言いまして、
パンティラインを出したくない時とかに穿きます。
パンティのマンコの当たる部分は布が２重になっていますが、
このタイプのパンストも同じように柔らかい布が縫い付けてあります。
そうすればオシッコした後の雫も垂れることなく吸収されます。
キチンと拭かなかったウンチの欠片はどうなるかは知りません。 トも同じように柔らかい布が縫い付けてあります。
そうすればオシッコした後の雫も垂れることなく吸収されます。
キチンと拭かなかったウンチの欠片はどうなるかは知りません。

http://www.arxiv.org/abs/math.AG/0608265
Counterexample to the Hodge Conjecture
Authors: K. H. Kim, F. W. Roush

浅田章氏がグロタンディークを高く評価しているそうです。

Lectures on n-Categories and Cohomology
Authors: John C. Baez, Michael Shulman
http://jp.arxiv.org/abs/math.CT/0608420

面白いね

650

このスレ終了か？
歴史あるのにな

age

クレイのThe Millennium Prize Problemsって本
写真がいっぱいのってるが
Wilesもだいぶんふけてしまって時の流れを感じる....

sage

何気に黒田さんのメッセージがあるんだけど。
http://grothende.gozaru.jp/
＞更新は９月以降になりそうです('A`)

ご無事で何よりでつ。　

>>86
EGAの日本語訳なんてあるんだ！！
凄いな。
ちょっと読んだところによると、擬古文
みたいな言葉で訳してるのかな？！

もうちょっと翻訳を進めていたように思ったけど、
なかなか大変みたいだね。

岩波の「展開」ですら完結しなかったのだから
無理されないように。

あれはほとんどただ一人の責任だけどねｗ
尤も執筆をお願いした委員とか岩波とかの人にも責任は無いではないけど

>>90
いや、戦犯は二人だろ。

フェルマー予想2のほうは出来てるんじゃないの？
共犯ってことは考えがたいけど

さっさと出版したらどうなんだ。何やってんだ岩波は。

一流どころでも数学書を書く人と書かない人いるよね。
平祐さんは後者だろな。英文でもないように思うが。
Wilesもなし。内容は論文と変わらないけどTaylor、
Deligne、Beilinson、Bloch、Drinfeld、etc.は前者。

>>94
平祐は確か数学書書いてるぞ。英文だが。
日本語のくだらん本はたくさん書いてるな。

一流はある時点でCollected Papersなる数巻の
本がでるが、H先生の場合、１０タイトル以下で１冊でOK?
多分出ないんじゃないか？

また、Dedicated to XXXなる副題の本があれば
XXX氏はかなり高名だということになるのかな。

>>94
スペインかイタリアの大学から３冊物の講義録が出ている。

あっそう、全然知らなかった。
ワールドワイドまで登りつめられながら、
受賞後しばらくして去って行かれたという事実は
後進にとっては残念至極。Mumford同じく。
目標には到底できない、反面教師的。
しかし、Noticeのインタビューなんかでは弁はたつし
意気軒昂だな。

by　一数学評論家。

LangのAlgebra読んでたらグロタンディック群の構成書いてあったんだけど
普遍性質の証明が分かりません。
誰か証明してください

不偏性質とは何のこと

不偏ではなく普遍です。以上。

レスがたってる。無駄かもしんないけど詳しく書きます。
M:モノイド　K(M)：可換群　γ:Ｍ→Ｋ(Ｍ)：モノイド準同型
任意の可換群G、f:M→G：モノイド準同型に対して、
g:K(M)→G:群準同型 s.t. gγ=fとなるgが一意に存在するとき、
K(M)をグロタンディック群というそうですが、
gが一意に存在するということが普遍性質です。
本ではMを生成系とする自由アーベル群F(M)への同一視的な
写像ι:M→F(M)についてι(x)=[x]とかいて、
Ｂを[x+y]-[x]-[y]の形の元全体の生成するF(M)の部分群をＢとして、
ιと標準的写像F(M)→F(M)/Bの合成をもってγとし、K(M)とγを
構成しています。
こっから普遍性は簡単にでるだろってLangは言うんですが
俺には全然分からんです

http://www.google.co.jp/search?&q=%22Grothendieck+group%22+%22universal+property%22&lr=

>>103
数学版の住人はドクターレベル以上で、君が考えてるほどレベルは低くないと思うよ。

f:M→G：モノイド準同型に対して、
ｈ:F(M)→G:群準同型を、
Mの元xに対しｈ([x])=f([x])と定義して線形拡張する。

これが[x+y]-[x]-[y]なるＢの元にたいしては、
h([x+y]-[x]-[y]）＝h([x+y]）-h([x])-h([y]）＝f([x+y]）-f([x])-f([y]）＝０
よって、ｇがuniqueに決定される。

うおーレスがきてるありがとうございます
hのkerがＢを含むからF(M)/Bにuniqueに拡張できるってのが
肝なんですね。
無駄かもしんないなんてかいたのは質問する側からしたら失礼でした。
すんません

いやそこのuniqueは肝じゃないか。
もう一つgがあったときgι=fからgは[x]+Bをx∈Gに写す。
[x]+BはK(M)をgenerateするからそのgはhを持ち上げたものに一致する
っていう訳ですね

ここに次の問題とける奴いる？

Rをintegral local Noether domain でdimR=1とする。
ａをＲの元で、０でもunitでもないとし、
さらに、Rは素体ｋ_0を含むとする。
このとき、Rはk_0[a]上flatであることを示せ。

http://grothende.gozaru.jp/
何この漢字趣味

グロタンサークル久々の更新
A new play by Adrian Heathcote, Grothendieck's Dream of the Rising Sea
(Biographical Texts)
http://www.math.jussieu.fr/~leila/grothendieckcircle/Grothendieck.pdf
なんか意味がよくわからん

>「モチーフ」を一言で述べるなら，代数多様体全体のなす圏から
>加法的な圏を自然に構成し，そこにおいてホモロジー代数を展開し，
>代数多様体の様々なコホモロジー理論の背後にある普遍的コホモロジー理論を見出すこと，
>ということになるでしょう．
>モチーフのアイデアは1970年代の Grothendieck にさかのぼります．
>彼は Weil 予想を解決するためエタールコホモロジー理論を開発し，
>有限体上の多様体の合同ゼータ関数を，エタールコホモロジーへの
>フロベニウス作用の固有多項式で表示しました．・・・
http://www.math.wani.osaka-u.ac.jp/group/numberth/algebra/daisugakusho.html#hanamura
面白そうなんだけど難しス(･ω･`)

おそらく、普遍的なコホモロジー理論などというものはないだろう。
普遍的な「環」や普遍的な「体」などというものがないのと同じ意味で。
なんのことはない。モチーフとはコホモロジーの単なる捨象化なのだ。

代数体 k で定義された非特異射影多様体 V と k の素イデアル p
に対して V のmod p での還元を V_p と書く。V_p が非特異のときその
ゼータ関数 Z_p と書く。Z(V) = ΠZ_p とおく。ここで積は有限個を除いた
k の素イデアルすべてをわたる。V が曲線のときは Z(V) は Hasseのゼータ関数
と呼ばれ、V　が特殊な場合は k の量指標によるゼータであらわされる。
V が曲線でない場合に何か知られているんだろうか。

ＴＡ●大学院博士課程単位取得●土木作業員
http://money4.2ch.net/test/read.cgi/recruit/1155606061/

博士課程から脱北するための心得。
1. まずは読んどけ。
http://www.geocities.jp/dondokodon41412002/
2. 指導教官は他人であり、かつ社会的感覚が欠落している人間だということを忘れるな。
　自分の将来は自分で切り開け！世間は広いぞ！視野を狭めるな！
3. ポスドクへ行くのは現状を悪化させるだけと心得よ。
4. スーパーポスドクって月50万も貰えるんだー！などと考えるな。50×12で高々年収600万だ。
　 雇用の不安定さを考えると安い。ノーマルポスドクなぞ以ての外だ！
5. 同じ研究室の修士が就職していくような企業であれば簡単に受け入れてくれるなどと思うな。
　 実務経験３年は学位より遥かに重い。
6. 年齢制限がない新卒枠に応募しまくれ。情報収集は怠るな！
7. 50社は最低でも応募し、それでも採用されなかったらはじめて悩め。
　 普通の文系学部生でさえ、それ位は応募する。
8. 就職しさえすれば奨学金の返済なんて簡単だろ。それより生涯賃金を考えるべし。
9. 鬱気味の奴は薬飲みながらでもいいから就活せよ。（胃潰瘍も然り）
　 鬱の最大の原因を取り除くことが、快方に向かう一番の近道だ。
　 （ただし、酷い鬱の奴は無理するなよ。）
10. 親より先に逝くのが最大の親不孝。

一般次元Riemann-Hilbelt 問題w

↑Wikipedia

716

グロタンって今どこで何してんの？

次の問題が分かる人、教えてくれ。

A:ring
B,C: A上のpositively graded 次数環でそれぞれ有限個の1次要素で生成されているとする。
このとき、Proj(B)=Proj(C)⇒B=C　?

>>115-116
Riemann-Hilbert だろうが。

誰かWiki直しとけ

次の問題が分かる人、教えてくれ。

A:ring
B,C: A上のpositively graded 次数環とする。
このとき、f: X=Proj(B)->Proj(C)=Y がA-schemeの同型で、ｆ^*O_Y(1)=O_X(1) ⇒ BとCは同型か　?

Etale site でのalgebraic K　は難しいね

んなこたーない

馬鹿だなもう

なにがbakaなのか？

馬鹿を馬鹿と云って何が悪い。
全てが馬鹿だ。

ここは馬鹿の集合体

馬鹿と書いた奴は自分が馬鹿でないことを証明せよ。

>>129
明らか

「明らか」ー｢簡単に証明できる」

山純また出てこい！

だれか分かる人、教えるべし。

f:X->S　をflat morphism
Y=X×XをXのS上のfiber produt とする。
p_1, p_2をprojectionsとする。
IをX上のinjective O_X module sheafとする。
このとき、Iをp_2でpullbackしたO_Y module sheaf p_2^*(I) は
p_1によるdirectimage p_1_*　にたいしacycicか？
すなわち、R^i p_1_*(p_2^* I)=0 (i>0)?

条件追加：

EをS上のベクトルバンドルとし、X＝P(E)で、ｆ：X->Sをprojectionとして,考えてください。

条件追加：

injective sheaf　I は　quasi-coherent

自力で何とか証明できたよ：

R^i p_1_*の値は、p_1の値域であるX上localに決定されるから、
U＝Spec（C）をXのopen affine subschemeとして、
U×X上で考えればいい。
このとき、R^i p_1_*（p_2^*(I)）はquasi-coherent だから、
そのU上のsection の全体Γ（U、R^i p_1_*（p_2^*(I)））によって決定される。
ところが、Γ（U、R^i p_1_*（p_2^*(I)））＝H^i（U×X、p_2^*(I)）であるから、
X=P(E)のstandard covering {D_+(x_j): j=1,...,r}に関するCech cohomology と一致する。
ところが、そのCeck complex は　IのX上のCech　Complexを　X上　U×X　へbase change したものである。
ところが、UはS上flat であるから、U×XもX上flatであり、
よって、p_2^*(I)のU×X上での Cech complex もexactである。
よって、 H^i（U×X、p_2^*(I)）＝０（i＞０）

レッドブックの和訳が出るようじゃて。

Artin, Grothedieck Topologies?

レッドブックといやマンフォードでしょ。

シュプリンガー数学クラシックス19　（近刊）
『代数多様体とスキームのレッドブック』（仮題）
Ｄ.マンフォード著

訳者と値段は忘れてもた。

ハーツ本といい，マン本ドといい…
和訳しないでくれ給え．

このレベルの本を、わざわざ和訳出版する理由がわからんｗ

>>142は天才

>>142
儲けたいから。只それだけ。>>143は馬鹿。

>>144
そういう意味じゃないだろｗ

SGCライブラリ　52　12月18日発売
理工系のための トポロジー・圏論・微分幾何
　　― 双対性の視点から ―
谷村 省吾　著
B5判　216頁　本体1886円　
>トポロジーや圏論や微分幾何学は，素人には近寄りがたい「高級な数学」では決してなく，
>この世界に生起する出来事を語るためのきわめて自然な言語であり，自分の言葉として
>活用できるようにしておくと，いろいろなことが明解に，かつ生き生きと見えてくる
>ようなものである．
>本書は，そのことをわかり易く伝える，理工系一般の学部上級生，
>大学院生向けの平易な入門書である．
【主要目次】　外延と内包の双対性／位相空間／ホモトピー／
ホモロジー／圏論／微分幾何学／物理への応用
http://www.saiensu.co.jp/SGC.htm
なにげに楽しみ。。。

谷村って知らんな

教えてくれ！！

affine scheme の連結成分はopen subschemeか？

至急Help

分かる奴おらんのか？なさけない

>>148

ネーター環ならそう。
ネーター環でなければ反例があるんじゃないか？

ネーター環の場合はどう証明できる？

>>151

連結成分の個数が有限になるから。
連結成分というのはハウスドルフとは限らない任意の位相空間で
閉集合。

↑はまちがい。
閉集合の増大列が無限に存在することがネーター性からはいえないだろ。
実際、連結成分が有限個の環はdecomposibleで特殊な環に限る。

X 位相空間
OC(X) Xの開閉な部分集合全体の集合。包含関係で順序集合を定める。
¬:OC(X)→OC(X) 開閉集合Uに対してUの補集合を対応させる。
¬は順序を入れ替える自己同型写像。

C(X)をXの閉集合からなる順序集合とする。
C(X)が極小条件を満たすとする。すなわちC(X)の任意の部分集合は極小元を持つと仮定する。
するとOC(X)⊂C(X)たがらOC(X)も極小条件を満たす。
又OC(X)には順序を入れ替える自己同型写像が存在するので極大条件も満たす。

p∈Xに対してOC(X,p)⊂OC(X)をpを含む開閉集合の全体とする。
OC(X)が極小条件をみたすとすると　OC(X,p)には極小元U_pが存在する。
(U_pはOC(X,p)の最小元にもなっている。)この時U_pはpを含む連結な開閉集合。
Xは連結な開閉集合の非連結和になっている。
さらに、OC(X)が極大条件をみたすとすると和の個数は有限個。
なぜなら、無限個なら途中で止まらない上昇列が作れるから。

よって、C(X)が極小条件を満たすとすると、
Xは連結な開閉集合の有限個の非連結和になっている。

>>153
>閉集合の増大列が無限に存在することがネーター性からはいえないだろ。

だからなんだよ？
関係ねえよ、そんなの。

ネーター空間では有限個の既約成分しかないだろ。
だから連結成分も有限個。
何故なら、連結成分は閉集合だからその既約成分は空間全体の
既約成分となるから。

有限個の連結閉集合の合併で書ける空間の場合は、
繋がっている連結閉集合達の合併が連結成分になる。

ネター空間は既約閉集合の有限合併である。

既約集合は連結。

ということか。

良く分かった。

ttp://www.numdam.org/en/

ここで見れる Seminaire Chevalley に Grothendieck が代数群について
かなり書いてる。この当時は代数群にかなり関心があったんだね。

横浜のヤクザ林一家林組は､経営しているカラオケ屋バンガーローハウス中華街店で、
カラオケをしている時に機械を使い脳に電波ではいり、人をもて遊んでいる
だれにもばれないとおもってやりたい放題。そして気づかれないように思考盗聴、自殺、突然死、、マインドコントロール、誰かをずっと好きにさせる、思ったことを行動させるなど。
痛みやいやがらせや声を聞かせることもできる。
中国人でヤクザという少数派

グロタンディークって人まだ生きてるの？

Grothen位相の定義は
カテゴリーcat(T)とcoveringとしていくつかの｛V_i->U｝が与えられていて、
の次の条件を満たすという条件で定義されている。
i)｛U->U｝なる恒等coveringはcoveringである。
ii)coveringの合成はcoveringである。
iii)covering｛V_i->U｝のbase change｛V_i×W->W｝ はcoveringである。

ｆ：T->T'　なるGroten位相の射とはcat(T)からcat（T')への射で
そのTにおけるcoveringをT'におけるcoveringに移すもののことを言う。

このとき、さらにｆが「Grothen位相の同値な射」であるとは、
ｆの任意のquasi-inverseもGroten位相の射となるものと定義されている。

これは本当に同値な概念か？

参考）
ｆがcategory同値なfunctorであるとき、
ｇがｆのquasi-inverse　とは、
ｆｇ〜Identity　かつ　ｇｆ〜Identity　であることをいう。
　（ただし、〜　はfunctorの同型を意味する　）

分かった。

i)｛U->U｝なる恒等coveringはcoveringである。
ii)coveringの合成はcoveringである。

により、coveringに同型な図式は再びcoveringであるため、
「ある」のquasi-inverse　ｇ：T'->T　がGroten位相の射であれば、
「任意」のquasi-inverseも、Groten位相の射となるからだ。

sage

めっさ久しぶりに来たんじゃが
黒田さんは元気でっしゃろか。

てかさ、グロタンって生きてるのってば

俺は何故かグローディンタークって言ってしまうのよ、
しかも誰も咎めないし

ﾂﾏﾗﾝ

なんだと！ほんとうのことなんだぞ！！

けっきょく正式な発音はなんなの？
グロタンディックとかディークとかグローテンディックとか

グローテンディークかね　独語発音すればいいんじゃ

お前判ってんなら何故に間違うよ

最近どのスレも人いるね

俺は書き込んでいない

>なんだと！ほんとうのことなんだぞ！！

ｲﾀｲな

>>166
自分で自分を個人特定してはいけません

皆さんこいつはぬこみたいなもんなんでほっといて下さい

age

モチーフというのは人気あるのか無いのか良く分からん。
重要である事は間違いないんだろうけど。

ほえほえつきーのあとは際立った進歩ないよね。

このあたりのWeil予想に関連した数論幾何の（日本語の）教科書となると
殆どというか全くないのかな。
雑誌の解説記事ではチラホラと見かけるけど。

それにしてもグロタンの数学には、ｎ圏やトポスみたいに
これからのものが色々ありますね。

日本人嫌いだったと聞いた
だからどうでもないけど　あるけど

日本人嫌いというのは？
なんか言ったり書いたりしたのか？＞グロ師

多分日本での講演をキャンセルしたことがうわさの出所じゃない？
やまじゅん氏と交流があるくらいだから日本人が嫌いと言うことは
ないと思われるが。

山純ちゃんはオシカケ的交流をやったんじゃないかと思われて仕方がない。
グロちゃんのハートの真意も分からないまま日本人的発想でのアプローチ。
まあ現在疎遠であるのは当然と言えば当然。日本人のみならずみんな拒絶。

>>183
しかし収穫は日本語訳が一等最初に出たんだぜ。
ていうか、グロタンの活動の仕方から見て、
特定の民族が嫌いとかないんじゃないかと思ったり。

日本人の若い仏教の僧を泊めたりとかしてなかったっけ。
日本人だから拒絶ってことじゃないと思う。

600

仏教の僧はどんな生物だろうと殺さないけど
軍国主義だったころの日本人は

グロタンが目指していたものとは。

岩波数学辞典 第4版
いよいよ来月発売ですか。
グロタン数学関係の項目も何かしらあったりするのかな。
ttp://bookweb.kinokuniya.co.jp/htm/4000803093.html

発売された？まだー？
ブックサービスが３，４日以内に発送となっていたので
注文入れたが。
MSJも気を利かせてグロ氏の写真くらい掲載してもよかったのにな
と思う。

Xをコンパクトｎ次元複素多様体でK_xをcanonical bundleのとき、
H^n(X,K_x)＝C（複素数体）
はどうやって証明できますか？

>>142
同意する。
日本語で読むことの出来る専門書を期待する、ってのも理解できるが、
「これからいよいよ本格的に代数幾何学の基礎を勉強するぞ！」って時に、
本が「和訳モノ」ってのは情けないｗ

代数幾何を学ぶ位なら、英語くらいは読めるだろうにｗｗｗ

商売によって、日本の知的文化が衰退されてきていないか？（笑〜

フランス語→英語とかの翻訳は
そんなこと気にせずどんどん行われているね

翻訳を考えないと言う態度の方が知的文化の衰退のように思われますが。

英訳さえあればいいよ。和訳なんてイラネ。

馬鹿じゃねーの？

外国語くらい勉強しろっての！
英語・仏語・独語くらいは勉強して損はないし、むしろするべきだ！

> むしろするべきだ

理由は？
英語しか分からないフィールズ賞受賞者だって沢山いるんだから、
とりあえず英語さえ出来ればいいんとちゃうの？

日本の数学者を見ると英語すらまともに使えない人が過半を
占めているけどね〜

大学院に入ってからまずフランス語の勉強をして、毎日NHKラジオ講座聞いて、
とかで良いのであれば良いんだろうけどね。
そんなん置いてかれちゃうよ。

まあ大学の第二外国語の勉強はきちんとしましょう、ってのは言えるけどさ。

終わってる・・・・・・・。

精々グロタン、グロタンって呟いてろｗ

はいはい。

自分の主張の根拠を述べられないような人は数学板に来ないでね。

>>192-194
朝の７時、８時って。
徹夜明けですか？

>>197
>とりあえず英語さえ出来ればいいんとちゃうの？

ならGrothendieckは読む必要がないと？
彼の書いたものはほとんど仏語だ。
しかも、それらはほとんど英訳されてない。

>>202
> ならGrothendieckは読む必要がないと？

専門家でも意見が分かれるところだね。
要領よくまとまった教科書があるのに
わざわざ現論文なんか読んで時間を無駄にするな、
という意見にはどう反論する？

>>203
>専門家でも意見が分かれるところだね。

例えば誰がどう言ってる？

>要領よくまとまった教科書があるのに

何のことを言ってる？

白熱してきました
ﾈﾙﾎﾟ

分野に拠るっしょ。
代数幾何とかじゃなかったら、英語以外は出来なくても
どうにでもなる分野も多いんじゃないの？

>>201
あなたは何時に起きるの？
お寝坊さんですか？

たまにEGA、SGAを独学でやってるという人がおりまつね。
さらには（仏語云々はさて置き）独学向けだと言う人も居たり。
まあEGA、SGAを題材に手取り足取りというのもあまり聞かんけど。

Grothendieck の書いたもので EGA、SGA だけが重要じゃないんだが

ルールのはっきりしてるギャンブルじゃないんだから
EGA・SGAを読む際の、フランス語勉強する際の
コストとリターンがちゃんと決まってる訳ねーだろ

数オタはちゃんとコストとリターンが決まってると考えて
期待値が存在するとすぐ思っちゃうから困る

>>206が書いてるように数論幾何以外の分野では
そもそもフランス語なんか使わない。

>>210

仮にそうだとして、だから何？

いつかIHESから招聘されるような研究成果をあげたいとか
仏数学者、例えばVoisin(ヴォワザン＝隣人masculin)と
共同研究ないし、お近づきになりたいと思うのであれば
French必須だろな。
IAS志向、または国内常駐内弁慶型の人ならどうでもよい。
こんなんでどうですか？

>212
>こんなんでどうですか？

ダメだな。
視野が狭すぎ。

自分の専門分野で重要な論文をフランス人がフランス語で書いてたらとりあえず
読んでおくべきだわな。

>フランス人がフランス語で

別にフランス人でなくともよい。
志村の論文でフランス語で書いてるのがあったな。
岡はいわずもがな。

Grauertの論文なんかドイツ語だし。

>>213-215
〷 とりあえず読んでおくべきだわな。
◯ 絶対に読まなくてはならない。(Must)

何語であっても。

数学に行き詰まると語学に逃げるよね。

talk:>>217 力学に逃げるのが先だ。申し訳ないけれど。

>>218
経験があるのかね？

>>216

mustってことはない。
自分で考えることが出来れば不用。

talk:>>219 お前も気分転換はするだろう？

>>217

俺は酒とか女に逃げるｗ

>>221

久しぶりにまともだな。
その調子でいけ。
荒らすなよ。

talk:>>223 久しぶりとは何だ？

>>224

つまり普段はまともでないってことだ。
自分でも分かってるだろ？

talk:>>225 それは会話ができるようになってからもか？

>>226

知らないよ。
俺が知ってるあんたは、とにかく例の調子（自分でも分かってるだろ？）。
人のなんとかとか。

talk:>>227 そうなるのは社会に問題点があるからだ。

>>228

仮にそうだとして、何故あんただけがそうなる？

語学は手段だからね。
自分で読めなくとも他の誰かに翻訳させれば済む話だ。

talk:>>229 私だけではない。思考盗聴の話をする人は他にも居る。

talk:>>230 それでは私のある主張を翻訳できるか？

>>230

それを言ったら数学も手段じゃないのか？
誰かに数学させれば済む話だ。
っていうかこの世のすべては誰かにさせれば済む。
別にあんたがやらなきゃならないってことはない。
セックスもそうだなｗ

>>231

だからと言ってあんたがまともってことにはならない。
自分でもうすうす分かってるだろ？

>>233
> それを言ったら数学も手段じゃないのか？
そうだよ。それが何か？

talk:>>234 まともであれば私のような運動は起こさない。当たり前だ。

>そうだよ。それが何か？

だからあんたはいらないってこと。

>>236
霊界では人の脳を読むのは当たり前なんだぜ？

>>236

ひょっとして、この世の悪をしょって立つ救世主気取りですか？

>>220
＞自分で考えることが出来れば不用

あなたは一流ですか？

>>240

そんなの関係ない。
事実を述べただけ。

talk:>>238 霊界とは？
talk:>>239 私の身に不都合が起こっているから、運動を起こす。

>>241

普通、聞いて知る、読んでなお知るでしょ。

>>242

どんな不都合が起こってる？
運動を起こすからにはちゃんとした理由を述べてもらわないと迷惑だ。

>>243

だから、それは must じゃないだろ。
had better ではあっても。

talk:>>244 私もうまく説明できなくて困っている。説明するには敵をもっと知る必要がある。

>>242
死後に行く世界です。霊界では相手の考えていることがすぐわかるから脳を読むのと同じではないでしょうか。

>>233
その理屈はおかしい
翻訳は、「語学が趣味であり翻訳作業が楽しい」というような人でないかぎりは
手段にすぎないから他人にやってもらってかまわない（というかむしろそうすべき）だが、
セックスはあくまで自分の快楽のため・および自分の遺伝子を残すためだから、
他人に代替してもらうことはできない。

talk:>>247 死後の世界を知っている人は居るのか？

>>249
私は一応知っているが、聞きたいことでもありますか？

talk:>>250 死後の世界は生前よりも居心地がいいですか？

>>251
それは程度によりますね。光明界であればその美しさは地上の比ではありませんが暗黒界はその逆です。闇の濃度がものすごいですね。

数学が出来ない奴が語学に逃げるｗ

talk:>>252
美しい世界であるのなら行ってみたいのですが、
実際に行ったらその情報が間違いであったという可能性があります。
今の私は死後から生前に戻る方法を知りません。
死後の世界が具体的にどうであるということを生前の人に納得できるように説明してください。

>>254
情報が間違っているかどうかは、死んだ後確かめてみるとよろしい。私の言うことを信じる必要はありません。
死後霊になっても地上には戻ってこれます。最も大部分は戻って来たいとはあまり思わないでしょうが。
もう一度生まれたいのならば再生という過程を踏むことになりますが、ここの詳しい機構は生命の神秘であり
現時点での人類には理解できないもののようです。
死後の世界は一言で言うと生命の本来の側面が現れている世界といえます。地上は影にすぎません。

talk:>>255 参考程度にとどめておきます。

この人はグロタンに吹き込んだあの仏教徒でつか

本日のストップ高

実はMotifsの解説でっしゃろか。

>>256
死後の世界に対する疑問はもうありませんか。たいていの質問には答えられると思います。

>>260

脳がなくても考えられるの？

>>246

なら説明出来るようになるまで運動はやめろ。

一言で標語的に説明していただかなくても結構ですが
死後の世界を具体的に説明してください。

死後の世界には人間の霊以外には何があるのでしょうか。
大腸菌の霊などもあるのでしょうか。

質問してくれることはありがたいですね。答えられる限り答えて見ましょう。
>>261
実は、霊の体、すなわち霊体にも脳はあります。神経構造は肉体の脳とは違うらしいですが。
>>263
>死後の世界には人間の霊以外には何があるのでしょうか。
>大腸菌の霊などもあるのでしょうか。
死後の世界というのは物的宇宙の霊的側面だと思ってもらっていいです。霊界全体にもあらゆる種類の生き物が存在しています。
大腸菌ですか。これは面白い質問ですね。一言でいれば大腸菌の霊はいます。しかしその存在形態はは大腸菌一つ一つの霊としてではなく、
類魂という統合体にまとめられていると考えていいようです。もちろんその操作に当たっている者はわれわれよりはるかに進化した天使群です。

>>264

あんたの言ってることの根拠は？
嘘八百は誰でも言える。

talk:>>260 [>>255]で私の知りたいことから大きく遠ざかった。したがって、もう質問の意義は無いと判断した。

>>265
根拠は各種の霊界通信で述べられているところからです。出典ははシルバーバーチ、モーゼス、アラン・カルデック、マイヤースなどです。
私の言っていることを信じる必要は全くありません。疑ってかかるがよろしい。いずれ死後に真偽が判明するでしょう。これ以上は板違いなので失礼します。

>>267

孔子は、君主、鬼神を語らず（だっけ？）とか言ったという。
ヴィトゲンシュタインは、知り得ぬことは語りえぬ（だっけ？）とか言ったという。

両者とも言わんとすることは同じだろう。

あの世があるとしても我々（生きているもの）にとっては知り得ないし関係がない。
ちょうど、別の宇宙があるにしてもこの宇宙に生きている人間にとっては
それは知り得ないし関係がないのと同じ。

>>267-268
ゴミレスはゴミ箱へ

数学と哲学
http://science6.2ch.net/test/read.cgi/math/1149065789/

>>269

超過疎スレで仕切ってるお前ってｗ

と、哲厨が申しております

結局、数学をすることの出来ない連中が、
空論を交わすスレ（ﾜﾗ。

グロタンディックにかぶれるとこうなる（ﾜﾗﾜﾗ。

あんたら、1秒毎に死んでるねんで？知らんの？
記憶が連続的にダウンロードされてるだけやで？
1秒後に石っころが頭を直撃してイタイタイしても
痛がってる自分はもう1秒前の自分とは別人なんやで？
1秒前の自分はもう、全身麻酔みたいな完全な無やねんで？
まぁ、敢えてそれを生きてるって定義するんやったら
技術次第で自我をDLで保存し続けるのは可能やろ。
複数にまたがって自我を量産複製もできるんちゃうけ。
そやけど、完全に均質な大量の自我のコピーした時
あんたらそれのどれを自分って思う訳？？
この話は一見パラドックスに見えて
実は自我を唯一つだけDLする場合にも処理すべき問題や。
あー、俺生きてルナーと、思ってる瞬間のあんたは
１秒前のあんたがそう実感してるんちゃうねん。
その瞬間瞬間だけが自分で、生きてるねん…。

グロタンのディックかね？

4

数学辞典（第四版）の発売は３月１９日ですたか。
http://www.nucoop.jp/book/su0703.html
まあ、すぐに買うというわけじゃないけど。

主な新項目
>「量子群」「無限次元リー代数」「モジュライ問題」「シンプレクティック幾何学と接触幾何学」
>「モジュライ空間と偏微分方程式」「周期積分」「パンルヴェ方程式」「q級数」
>「精度保証付き数値計算」「数理モデル」「反応拡散方程式」「粘性解」「マリアバン解析」
>「情報幾何学」「代数的組合せ論」「暗号理論」「マルコフ決定過程」「複雑系」
>「共形場理論」「ゲーデルの不完全性定理」「ヴェイユ」「チューリング」「関孝和」

age

よく、微積の本に、lim （sinθ／θ）＝１　の証明をするのに、
「単位円の扇の面積＝θ/２」を利用しているが、
この扇の面積の公式を証明するのに　
そもそも　lim （sinθ／θ）＝１　を用いているはずだ。

よって、扇の面積を用いて　lim （sinθ／θ）＝１　を証明するのは正しくないと思うのだが
どうだろうか。

本当の証明は、扇に内接する折れ線P_0,P_1,・・・,P_n の長さが
　n->∞　にするときに上に有界であることを示すことで証明される、
と思うのだが。

ここの住民の意見を聞きたい

>よく、微積の本に、lim （sinθ／θ）＝１　の証明をするのに、
>「単位円の扇の面積＝θ/２」を利用しているが、

高校生の教科書の話か？まともな解析の本ならそんな証明はせんよ。

まともなグロタンスレの住人ならそんなレスはせんよ。

三角関数を単位円周上の（１、０）から反時計回りに距離θの点の座標を（cosθ、sinθ）として三角関数を定義するとき、
lim （sinθ／θ）＝１　はどうやって証明しますか？

>>281
小平本嫁

ドリーニュさんがいらっしゃるIASというのは
プリンストン大学とは関係ないんですかね。

>>278
常微分方程式の解の存在と一意性でやるのがすっきりしている。

グロタンはゼネラリストなのか。

ゼネラリスト的な視野を持った（代数幾何の）スペシャリスト、ｼﾞｬﾏｲｶ。

数論幾何自体、かなり分野横断的でないの。

まずは『収穫〜』を読むこってすな。

ふむ

「くろちゃんで〜す」が「くろたんでぇーく」に聞こえる。

山純さん、理系への数学でグロタンの続編を始めたみたいだな
例の我こそは第一人者の口調は健在で、まあいつものことだけど
その１で、小川洋子、ソートイ、冨永星、カルチエ等がこきおろされた
この人の文章は激しい、うかうか口出しすると反撃されそうで、怖い
日本数学会出版賞はもらえないし、本人もさらさらそんな気は...ない

激しいけれど用意周到ではないな。脇が甘い。数学版小谷野敦ってところ。

うっｐと

>>290
記事うpしてちょ

へー

△ABCと△PQR　でＡＢ＝ＰＱ、ＢＣ＝ＱＲ，ＣＡ＝ＲＳのとき、これら２つの三角形は合同である。
この主張はユークリッドの公理系だけで、どうやって証明するのか？
だれか教えてくれたら助かる。

ユークリッドだけなのか？
ちょっと待て。

合同をどう定義するかだよね。

空間のＯとＰ(a,b,c)の距離は√(a^2+b^2+c^2)だけど、
これの証明にはピタゴラスの定理と３垂線の定理が必要だ。
しかし、３垂線の定理の証明にいくつかのユークリッドの公理と３角形の合同を用いている。
だから、ユークリッドの公理系から295の合同の定理が言えるないとなると、
ユークリッドの公理系からは空間の2点間の距離の公式が得られないということになって変だから、
きっと何らかの方法でユークリッドの公理系からは合同の定理が導けるはずだと思うのだが。

空間のＯとＰ(a,b,c)の距離は√(a^2+b^2+c^2)だけど、
これの証明にはピタゴラスの定理と３垂線の定理が必要だ。
しかし、３垂線の定理の証明にいくつかのユークリッドの公理と３角形の合同を用いている。
だから、ユークリッドの公理系から295の合同の定理が言えるないとなると、
ユークリッドの公理系からは空間の2点間の距離の公式が得られないということになって変だから、
きっと何らかの方法でユークリッドの公理系からは合同の定理が導けるはずだと思うのだが。

う〜ん・・・

数論幾何をつくったのがこの人って本当でつか？

空間のＯとＰ(a,b,c)の距離は√(a^2+b^2+c^2)だけど、
これの証明にはピタゴラスの定理と３垂線の定理が必要だ。
しかし、３垂線の定理の証明にいくつかのユークリッドの公理と３角形の合同を用いている。
だから、ユークリッドの公理系から295の合同の定理が言えるないとなると、
ユークリッドの公理系からは空間の2点間の距離の公式が得られないということになって変だから、
きっと何らかの方法でユークリッドの公理系からは合同の定理が導けるはずだと思うのだが。

ど、どうしたの？

まず合同とは何かを明確に定義しないと。

というか今気付いたんだが何でこのスレでやってるんだ？
初等幾何用スレもあるよ。

『夢の鍵』に言及してるものって、無いっすね。

今どこにいるの？

ここの住人じゃないと答えられないからだろうから

>>295以降
AMS分類の何番に属することを
ここでやっているのですか？

対称性を使って証明するんだね。すると、合同が言える。

186

山下さんは今年の3月にグロタンディークに会ったらしいね

またお前かよ、ドアばたんの門前払いだったらしい

age

グロタン生きてんの？

グロたんが自宅に泊めて食事を与えて罰金刑になった外国人て、
東大数学科出身のぼーさん　って本当ですか？

>>313
そのショックで「大学への数学」の山下さんの文章が最近凄くおかしいわけか。
納得した。

>>317
くわしく

グロたんは「収穫と..」の中で、トポスが基礎論以外で受け入れられないのは
トポスの圏が通常受け入れられているものと違うからだ、と書いていますが、
これはどーゆー意味ですか？

通常受け入れられているもの　というのは位相空間のこと。
つまり「集合と位相」の代わりに「圏とトポス」になるべきだと
おっしゃっているわけです。

>>321
いや、「トポスの圏」を「圏とトポス」と言い換えても非才の身にはなんのことやら。もちょっとkwsk

>>313
山下さんって、日本数学会を代表してグロタンディークとの
連絡を取っているんですよね。

>>322

私は、>>321 ではないが。

Grothendieckは位相空間 X より X 上 の層全体のなす圏(トポスになる)
がより本質的だと考えた。

彼はこの考えを、エタールコホモロジーのアイデアとともに得たと
思われる。

位相空間 X の開集合全体 Top(X) は包含関係による射を考えて圏になる。
Top(X) から集合の圏 (Set) への反変関手が前層である。
この考えを推し進めると層の理論をある種の圏(site)の上に拡張できる。

>>323

私は、>>313ではないが。

グロタンをターゲットにした芸能リポーターみたいなもんじゃないですか。

それが仕事ですから放っておきましょう。

なるほど

１０月に発売だそうな。
『ブルバキとグロタンディーク 』
アミール・Ｄ・アクゼル
税込価格 ： \2,310
出版 ： 日経ＢＰ社
２０世紀後半の数学界に大旋風を巻き起こした数学者グループ、
ブルバキとブルバキに一時参加した伝説の数学者グロタンディークの功績と盛衰に迫った読み物。

佐藤の数学よりは面白いかもな。

訂正
「佐藤の数学」という本よりは面白いかもな。

>>327-329
その本、かなり評判悪いぞ。
http://www.amazon.com/dp/1560259310/

前から思ってたんだけどさ、「グロタンディーク」って表記おかしくね？
解析系の人ならともかく、思いっきり代数寄りの人なんだからさ、
もっとアルジェブリックに「グロツァンズイィク」とかのが良くね？
グロタンディークだと滑らか過ぎるだろ・・・

>>327
少し読んだ。
今は生死不明だけど、少し前は、悪魔とかメートルに悩まされてたらしいよ。

>>324
�d。その解説、絶妙。
たしかにトポスを認めれば層の理論を圏論に持ち込むことが、容易とまでは言わないが、できそう。
じゃ、>>320に戻るけど、「トポスの圏が通常受け入れられているものと違う」ってのはどういうこと？
>>324の解説どおりで進めればよさそうなのに。何か不都合があるのかな？

age

私は、321でも322でもないが、
古典論理と集合論、その上に咲く位相空間という枠組みを
直観論理を含むToposに変更しないといけないからではないかなあ。

集合と写像の圏　-> 位相空間と連続写像の圏=通常受け入れられているもの
　　　| |
V V
圏と函手の圏 -> トポスとgeometric morphismの圏

この四つの函手は忠実充満になる。（位相空間にsobreというちょっとした条件は必要）

そして右縦の函手は324にある通りで、これが本質的な全射にはならない、
位相空間では実現できないトポスがあるということが
トポスの圏が通常受け入れられているものと違うということの意味のはずです。

で直観主義論理はさらにgeometric morphismというのも外れて、foliationとかも
含むようになるという話を聞いたことがあります。

>>335-336
�d。勉強し始めたばかりですがはじめてよくわかる解説を聞けました。
ここまで見通しをもってはじめたグロタンディークってやっぱりすごい。

グロタン選定の主要十二テーマの
�H「トポロジー代数」：∞‐園（シャン）、導来手、新しいホモトピー代数に対する
　着想としてのトポスのコホモロジー的定式化

の"新しいホモトピー代数に対する着想としてのトポスのコホモロジー的定式化"ってまだ行われていないの？
これが出来れば、トポスが基礎論以外で受け入れられない状況を変えトポス理論を大きく発展させられると言う事は無いの？

トポスの入門書ってないですか？

>>339
MacLane S., Moerdijk Sheaves in geometry and logic.. a first introduction to topos theory

ttp://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&seq=17&frames=0&view=50
ttp://www.amazon.co.jp/Topoi-Categorial-Analysis-Logic-Mathematics/dp/0486450260/ref=pd_sxp_f_pt/503-7783690-0702326
Goldblatt, Robert Topoi, the categorial analysis of logic

ttp://www.case.edu/artsci/math/wells/pub/pdf/ttt.pdf
Michael Barr and Charles Wells Toposes, Triples and Theories

ぐろたん周辺を理解したくて勉強するなら
Goldblattは避けたほうがいい

P. T. Johnstoneの
Sketches of an Elephant: A Topos Theory Compendium
なんかはどうなんですかね。

トポス？

北千住にあるスーパーのことか？

ペレルマン人気でグロタンも一気に過去の人になった感があるな

>>344
どういう意味で言っているのかよくわからないが。
ペレルマンとグロタンでは数学の方向性が全然違うから、
ペレルマンの登場でグロタン流儀の数学が古くなったってこともないし、
素人でグロタンの名前を知っている人なんて昔から少数だろうし。

>>344はこの板の厨にとって過去の人になったっていってるだけｼﾞｬﾏｲｶ？
真面目に過去扱いしてる香具師はいないだろう。

グロタン流の数論幾何に挑むペレルマンというのも見てみたい。

彼がグロタンのスタンダード予想解決すりゃ、
そりゃおったまげるけど、１００％無理です。

>>340
Topology via logicも面白いんじゃね？
CS系の人向けかもだけど。
>>342
Stone Spacesを買うべし買うべし。

Stone Spaces って何が分かるの？

この人大した人じゃないよ。知名度が低すぎる。
名前がこんだけカッコイイのに知名度が低いのには、ワケがありそうだ。
名前のカッコヨサならニーチェにも負けてないというのに。
ニーチェの実力の半分以上は名前だよ。

ペレリマンならリッチフローを使って
標準予想を解決しそう

e

>>351

数学の知名度が低いだけ。

?

数学自体に対する世間の認知度が低いだけと言いなおしても分からないか？

ポアンカレ予想は数学を知らない素人にも雰囲気を説明できるし、
宇宙を絡めて話をできるから盛り上がってるんだろうね。
宇宙になると食いつきがよくなるからｗ

そりゃそうだな。
Weil予想なんていくら説明してもわからんだろ。

数学者にとっちゃポアンカレ予想よりWeil予想のほうがはるかに
インパクトがあったんじゃないかな。

ポアンカレ予想は、まあ自然な予想。
しかし、Weil予想は途方もないというのが第一印象。
まさか、こんなことが有り得るのかという。

両者の性格がまったく違うからどっちが深いとか優れているとか言えないが。

>>
Fermat 予想と比べると？

Fermat 予想はFreiが楕円曲線と関係つけるまでは一部の好事家が
研究してるというような超マイナーな印象。

フライって八百長やってた人？

ゼータ関数は繰り込み理論とも深いつながりがあるしな。

ヴェイユ予想なんてたった25年で解決された底の浅い予想でしょ。
100年掛かったポアンカレや350年かかったフェルマーとは比べ物にならない。

解決に要した時間が長ければ偉いってもんでもないだろ。
早い話が凡人が道具なしの手ぶらでいくら長い間考えても駄目なもんは駄目。
Weil予想はGrothendieckの天才がなければ今でも解けてるかどうか。
フェルマー予想の解決はWeil予想解決の努力も影響してたんじゃなかったっけ？

Weil予想が底が浅いって、深夜にふいたわｗ

ただWeil予想はDeligneが解決した部分以外はグロタンの手法を用いなくても証明可能なんで。

>>367

Deligneが解決した部分はグロタンの手法が必要なのか？

>>368
Deligneが解決した部分以外はDworkによるp進解析を用いたやり方でも出来る。
Deligneの解決したやり方はグロタンのやり方の延長上にあるもの。つまり
Weilコホモロジーに依存する方法。ただ、グロタンが想定していた方法とは違うが。

だから、Weil予想はGrothendieckの天才がなければ今でも解けてるかどうか。

岡潔がいなければ連接層の理論はなかったかも
これ無しでグロタンディークは大理論を構築できたか？

これほど有名な人が消息不明ってありうるの？

わざわざ見つけ出してインタビューしたがるメディアが出てこない
だけで、居場所は分かってるの？

>>371
そんなこと言っていたらきりがない。

>>361
クンマーくらいまではそれなりにじゃないかなあ。

マイナーどころが、ワイルズの証明とは違う経路では
ヴェイユ、モーデル、ファルティンクス、パーシン、宮岡・・・
というそうそうたるメンバーが関わっているわけだが。

>>375
>ワイルズの証明とは違う経路では

フェルマーの最終定理の証明はワイルズしか成功してないわけだが。

別経路ってのは ABC予想の方だろ
望月さんが解きそうだとかなんとか
聴いたがあれは断ち切れか？

もともとWeilの数論幾何の構想の中には当然Fermat予想も視野に入っていた。
「種数が2以上の代数曲線は有限個の有理点しかもたない」というMoerdell予想を
Faltingsが証明し、Parshinが宮岡-Yau不等式の類似が数論的多様体で成り立つなら
Fermat予想が成立することを証明したとき、誰もがFermat予想の解決は近いと
感じたはず。実際、宮岡氏がFermat予想の証明ができたとアナウンスしたこともあったが、
これは結局失敗に終わった。それからFreyによるブレークスルーがあって、こっち経路での
証明が成功したわけだけど、それまでFermat予想が一部の好事家の関心を引くだけであった
ということはない。
ABC予想も前者の経路に位置するものだけど、どうなってるんでしょうねー？

フェルマー予想やヴェイユ予想解決に対するグロタンの貢献と言ったら
エタール・コホモロジー（グロタン位相）の構築という事になるんかな。

それだけではないかもだけど。

>>378
>もともとWeilの数論幾何の構想の中には当然Fermat予想も視野に入っていた。

根拠は？

アンドレから直接聞いた。

>>380
Weilは16歳のときにRiemannやFermatの論文を読んでいて、
双有理同値の枠組みの中でDiophantus方程式の解を考えるという
数論幾何の構想を胸に抱いていた。
ってようなことをどっかで読んだ。

>>381
俺はまだ若い。

>>382

一般のDiophantus方程式の解を考えることイコール　フェルマー予想の証明
を考えることではない。

何も知らんのにやけにからんでくるんだな。
Weilの初期の論文でも読めばわかるよ。

Weilの論文集の論文に関するWeilの注は日本語訳されてるので図書館ででも読んだら？
「数学の創造」だったっけ。

>>384
>>385

だからWeilはフェルマーの最終定理なんて扱ってないよ。

半可通はこれだから。
WeilがFermatのアイデアからインスピレーションを得て代数多様体の
数論に関する論文を書いたのは事実。
しかしそれはFermatの最終定理とは何の関係もない。

素人はFermatの最終定理というと聞き耳を立てるが無理もない。
それくらいしか理解出来ないからｗ

理解と言っても勿論証明ではなく定理が何を言ってるかというだけｗ

>>361に反論したのがそんなに悔しかったの？

ところで、
＞WeilがFermatのアイデアからインスピレーションを得て代数多様体の
＞数論に関する論文を書いたのは事実。
って何のことを言ってるのかな？

見当はずれの反論に悔しいもなにもない。
呆れてるだけ。

おまえのおつむには脳みそがほとんどはいっていないよ

で、言質を取られるのが怖くて390はスルーする訳ねｗ

うーむ、７９歳か....。平均寿命ってか....。
健康面はどうなんだろう。定期健診受けているのかなー。
老眼はどうだろう。もし入院となったら、いったい誰が世話するのか？
高齢者のグロタンさん。あなたのことですよ。

グロタンのメールアドレス教えて

>>393

面倒なだけだが。

>>396
別に詳しい説明はいらんよ。論文のタイトルは？

>>397

Thesisだよ

Actaに掲載されたやつだね。
ところで、君自身その論文を眺めたことはあるのかい？

>>399

読んでないがMordell-Weilの定理が証明されているのは知っている。
Fermatの最終定理とは関係ない。

＞WeilがFermatのアイデアからインスピレーションを得て

って書いたのは君だが。俺は別にFermatの最終定理が関係するなんて言っていないし。

>>401

なんだ、そんなことか。
スレの流れを読めよ。

それから人にものを聞くときは礼儀をわきまえろ。

Fermatのアイデアからインスピレーションを得てというのは
Weil自身が書いている。
>>385の「数学の創造」にも書いてるし、自伝にも書いてる。

Fermatの無限降下法から着想を得て、Q上の楕円曲線の場合を証明したのはMordell
WeilはMordellの論文を読んでそれをヤコビ多様体の場合に拡張したの。

幸いWebでソースが見つかった。これの3ページ目でも読んでなさい、お馬鹿さんｗ
ttp://www.ams.org/notices/199904/mem-weil-prologue.pdf

>>403

WeilはFermatの無限降下法から着想を得たのではない。
P(x,y)Q(x,y) = z^n の形の方程式に関するものから。

無限降下法なんて数学的帰納法の一種にすぎない。
それを不定方程式の解法に使えばFermatの最終定理と関係あるなんて
見当はずれ。

>>406
お前さんの方が見当外れなことを書いているような気がするが。

気がするって、
勝手に気がしてればｗ

おまえは低脳だなｗ

＞無限降下法なんて数学的帰納法の一種

マジ？

"数学的帰納法の一種にすぎない" に一致する日本語のページ 2 件中 1 - 2 件目 (0.19 秒)

>>411

http://www.inamori-f.or.jp/laureates/k10_b_andre/img/wks.pdf

Weil自身が次のように書いてる。

>フェルマー自身はこの結果が御自慢だったようだが、我々の今日の主題に
>関するフェルマーの主な寄与は別の所にある。
>フェルマーが無限降下法と呼んだものがそれである。
>もっとも、論理的には、単なる数学的帰納法の一種にすぎない。


>>406 を見当はずれとか低脳とかいってる奴はｗ

人の尻馬に乗るなよｗ

ふと、無限降下法を使って解く問題を思い出した。
スレ違いだけど、暇つぶしにどうぞ。

a，bは正の整数で、ab + 1はa^2 + b^2を割り切る。
(a^2 + b^2)/(ab + 1)
は整数の2乗であることを示せ。

人って誰だよ。

>>414

＞ a，bは正の整数で、ab + 1はa^2 + b^2を割り切る。

は、仮定かい？

仮定でしょう。

まだ数学の研究してるのかな？

しておりません
脳がだんだんと退化して...
確か森毅くんと同年かと

Grothen情報は下山氏の「理系への数学」記事だぜ
イエイー

メブｗ

ttp://www.math.jussieu.fr/~mebkhout/
これはディズニーに通報すべき

グロタンから数学をとったらいったい何が残るんだ？

反戦

森毅さんてもう数学やってないの？

広中さん、数学をやめないで、特異点還元の本を書いて欲しい。

１小平、２広中、３森のフィールズ３人衆で
「疲れたのでやーめた」レースの３連単は２３１で確定しとる。
一方、「世間にでしゃばる」レースでは２の単勝ぶっちぎり。
「人間性を問う」レースでは、３連複１２３か？

メブｗｗｗ

>>425
森毅さんて数学やってたことあるの？

>>429
教授に専念されておられました。

メブｗｗ

http://natto.2ch.net/math/kako/1007/10076/1007625226.html
懐かしいスレ

既出かもしれないが、
Grothendieck's Prenotes for EGA5はここにあった。
http://www.jmilne.org/math/

メブｗｗｗｗ

メブwwww = >>1 ?

Ofer Gabber wa tensai Soudaro!????

Ofer Gabber seems to be a kind of genius!????
Not so much.

グロﾀﾝって何だよ。

(ﾟДﾟ)≡ﾟдﾟ)、ｶｧｰ ﾍﾟｯ!!

メブｗｗｗｗｗ

http://www.doblog.com/weblog/myblog/19256/2621371#2621371

>著者によれば、アレクサンドル・グロタンディークは
>「今毎日毎日悪魔に悩まされ続けている」という。
>この地球を悪くしようとする悪魔と戦っているらしい。
>それでアルプス山中に身を隠しているらしい。
>最近では「メートルと戦っている」らしい。

典型的な統合失調症ですね。

メブｗｗｗｗｗｗ

二年四時間。

SGAって代数幾何学者すらまともに読んでる人は少ないという噂だけど、2ちゃんねらー
でちゃんと読んだ人いるの？

読むものじゃない。見るものだ。

>>444
ハーツホーンなら全部解読したけど

グロタンは毎日なにしてるんだろう？

グロタンディーク（愛称：グロタン）について語るスレです。

過去スレ
1　http://science3.2ch.net/test/read.cgi/math/1093754703/
2　http://science3.2ch.net/test/read.cgi/math/1113080894/
3　http://science4.2ch.net/test/read.cgi/math/1117523095/
4　http://science4.2ch.net/test/read.cgi/math/1126626669/
5　http://science4.2ch.net/test/read.cgi/math/1129651162/
6　http://science4.2ch.net/test/read.cgi/math/1129651447/
7　http://science4.2ch.net/test/read.cgi/math/1136430669/

（過去スレは　http://grothende.gozaru.jp/　でも見れます。）


398 ：１３２人目の素数さん：2007/11/23(金) 01:18:05
>>397

Thesisだよ


399 ：１３２人目の素数さん：2007/11/23(金) 01:35:02

　　　　,,;f::::::::::::::::::::::ヽ
　　　　　　　　　　　i::/'￣￣￣ヾi::l
　　　　　　　　　　　|::|　／　　＼,|::|
　　　　　　　　　　　|r-（ ・ );（ ・ )-|
　　　　　　　　　　　(　ヽ :::(__)..:: 　}　　
　 　 　 　 ,＿＿__／ヽ　 -==-　/　　　　もう・・・ムレムレよ！
　　　　r'"ヽ　　 t､　　ヽ＿＿_/　　　　　　　　　
　 | l;' 　/　　　　 / l
　 | !　 /　　　　/_ノ
　 |　 /　　　　/__l
　 |　 l　　　／/￣ｌヽ、
　 | 　 ',　　 プ　 / ｀　‐　､._ 　　,､-､__
　 |￣￣￣￣￣￣￣￣￣ヽ｀ ‐-＜ill::｀ヽ
　 |＿＿＿＿＿＿＿＿＿／　　　　ヽ:::::::＼
　 |　　　　　l'"´l::-､:::＼　　 ヽ､＿　､ﾄ」::::::::::＼
　 |　, -‐ｰｲ:::iヽ:l:::::';::::::ヽ　　　 └イ:i:::::::::::::::::::＼
　 |'´::/:::::ﾉ:::::::l::i:l:::::iヽ::::::',　　　 ／l:iﾄ､::::::::::::::::::::＼
　 |／::／::::::::::l:::l:l:::::l::::';:::::i　,.イ/:::ｌ::iｌ　 ＼:::::::::::::::::＼
　 |:::::::::::::::::::::/:::lﾉ::::l::::::i::::::l´　￣ l::il｀ ‐ ､ ＼:::::::::::::::＼
　 |:::::::::::::::::/:::::ノ::::/:::::ﾉ:::::l　　　 ｌ:::iｌ::::::::::ヽ.　＼:::::::::::::＼
／|￣￣￣￣￣￣￣￣￣￣￣￣lﾘ:::::::::::::l 　 　＼::::::::::::ヽ
／￣￣￣￣￣￣￣￣￣￣￣￣/:::::::::::::::!　　 　　＼:::::::::::＼
　　　　　　　　　　　　　　　　　 ／:::::::::::::::/　　　　　　）:::::::::::::::＼
　　　　 「￣　ヽ　　　　　　　／/::::::::::::::::/　　　　　　（::::::::::::::::::::::::ヽ
＿＿＿_l　　　|＿＿＿___／　/:::::::::::::::/　　　　　　　 ｀ ー- ､:::::::::::::ヽ

>>447
ひきこもりです。

ｸﾞﾛﾀﾝ好きっｽ。
なんでこのｽﾚが８まであるのか考えますた。
ﾄｰｼﾛでｽﾏｿでつが、ｸﾞﾛﾀﾝの絶対的孤独に共感しまつ。

でも、ｸﾞﾛﾀﾝには、そろそろ娑婆世界に下りてきて欲ｽいでつ。

>>451
いつ降りてこられるかわかりませんが、
ぜひ、フランス語と数学を勉強してｸﾞﾛﾀﾝとお話してください。

>>447
うんこに決まってるだろ

Verdier と Deligne は
有罪だと思ふ

メブｗｗｗｗｗｗ

Verdier と Deligne の罪状：

グロタンディークの業績を
意図的に埋葬した行為

ともかく、スキームと層が何のことかさっぱりわからない。
圏もよくわからない。
さすがブルバキの申し子。さっぱりわからない。

もう定義、証明って言うスタイルの前に、
「何故こんな概念を考えたのかとか歴史的経緯とか全体の半分くらいの量でおもいっきり説明して欲しい。」
後、具体例を最大もらさず教えて欲しい。

この人って自分の事ガロアとか思ってたりしない？もうさっぱりわからない。
いきなり専門の論文読むぐらいわからない。

後２，３０十年たてば、ガロア並みの評価を得るのでせうか？
もう得ているのでせうか？

後、最初のアイデアの説明も倍くらいのスペースで説明して欲しい。

グロタン80歳、IHES 50周年。
おまえら、これを見ろよ。

http://www.ams.org/notices/200808/tx080800930p.pdf

DLにちょいと時間かかるが、写真がある。
80年代でこれだ。はじめて見た。
20年後の今はどうなっているのか？

ここは山純さんの出番かも知んね。
彼は忙しくなるぞ。稼ぎ時かも。

ヤマジュン！ ヤマジュン！

>>457
馬鹿が
とにかく EGA と SGA 嫁

ヤマジュン待望論

458

GrothendieckのGalois理論の理解のレベルは驚嘆

遠アーベル幾何

まだ数学やってるのかな？

mixed motifカテゴリーはもう構成されたのですか？

標準予想はどうなった？

>>468
ドリーニュが逃げたので
なかったことにします

>>467
まだです

この分野何から勉強すればいいの。
代数多様体に付随する複素多様体のsingular cohomologyとetale cohomologyが一致するのはSerreのGAGA原理によるのですか？

うほほ
岩波の現代数学の展開から読め

アラケロフ幾何の本がでてたな、これはグロタンの射程にはいるのだろうか。

むしろ絶対数学の範疇だろう。

>>473
なんて本ざんすか

まんまのタイトルのが出てたのね

あの本を読んでも本質はわからんよ。

数論幾何のカズこと、KKだけど、
岩波の「お詫び文」で本を出すと書いていたのに
どうなったのかな。出版予定あるのか、ないのか？

最近もなんか論文出していたから研究に忙しくてそれどころじゃないよ

ご立派ですな。
一、自身で画期的な成果を出す。
二、弟子を育てて画期的な成果を出させる。
いずれかが達成できれば吉。

森脇さんの「アラケロフ幾何｣岩波

どっかでやった集中講義を他の人がまとめてKKに少しだけアドバイスしてもらって本にしればいい

953

うるさい。

来年になればモチーフ勉強します。どなたか一緒にYveAndreの本読みませんか。

Yves Andreの本は近々改訂されるけど、
さらに難しくなるのかな???
日本人には不利だと思う。

グロタンディクまだ生きてんの？

死んだらニュースになるだろうから生きてるんじゃないのか。
ひっそり死んでるのかもしれんけど。

ヤマじゅんさんの記事が新聞一面を飾るのか？
それともナシか？
いずれにしても、Noticeには大々的に出ます。

「夢の鍵」翻訳プロジェクトをやらないか？

謎を解く人びと　欲しいけど高い。

仮にグロﾀﾝディークが亡くなったとしたら、
新聞記事はどれくらいの扱いになるかな。
さすがに一面トップにはならないだろうか。

>>492
ちなみに Weil が死んだときは
読売だか朝日だかの夕刊の
科学面に写真つきの記事が載った

一度、Deligne に
Grothendieck に対する思いを
存分に語ってほしい。

誰かインタビューしに行け。

誰か稲盛さんにかけあって
京都賞がとれるよう計らえyo

仏門に入った人と瞑想の人
以外に意気投合したりして
即決になるんじゃネ？

Weil予想 = 約束の地

本屋でIHESの写真集(？)みたいなの売ってましたけど何ですかあれ？

http://www.ihes.fr/jsp/site/Portal.jsp?document_id=1661&portlet_id=14

>>498
日本人ひとりもいないね

>>497
IHESの写真集（ポエム付き）だろ。RIMSでも作ればいいのに。

RIMSの被写体がどうもねえー
あかんだろ

>>478 479 482
http://www.iwanami.co.jp/.BOOKS/00/X/006617+.html

>>501
白黒で難しそうな顔してるの撮ればどうにかなるよ。

>>502めるしーびや〜ん

Yves Andreの本読み始めたけど、読めないね。ある程度知ってる人じゃないと読めないな。おまけにフランス語だから

面白そうだと思ったけどp-adicか

Yves Andre の本は　p-adic　ということはないけど、証明は殆どないし、モチーフが何かということをまったく知らないで読むには無理があるね。
ひととおりモチーフについて知っている人が読むには全体像が分かってよいと思うけど。

Levineの大作が一番基礎から理解できる本みたいだね。

どうやって食物を確保していたのか誰か詳しい事知らない？

A proof of Grothendieck’s standard conjectures?!?
http://homotopical.wordpress.com/2008/12/11/a-proof-of-grothendiecks-standard-conjectures/

原田雅名京都大学数学教室助教授がスタンダード予想を証明?!?

http://www.math.uiuc.edu/K-theory/0919/

↑スタンダード予想の証明

http://homotopical.wordpress.com/2009/01/10/error-in-the-article-of-harada/
ってのもあるけど、この論文の価値はどうなるの？

1/10にエラーがあったって書いてあるぞｺﾞﾙｧ

モチーフの何たるかを知ってる人なんているの？

この証明を修正できればアーベル賞だね。
1987年にジョンズホプキンス大学でThomasonの元でPhdを取っているから、40歳以上だから年齢制限でフィールズ賞はない。
標準予想と言う大予想を証明した人が年齢制限のあるフィールズ賞なんかを取らないで、アーベル賞を取ることで
アーベル賞の方が格上である事を一般人にもはっきりと示して欲しい。

この論文の内容はすでにどこかで講演してるの？

かっこワル-
ついにRiemannとかHodgeとかできましたって中国人なみなのか　
京都ならせめてMorihikoに見せてからにしてくれ

でも、そのblogにもあるけど指摘されてるのが唯一の欠陥だったら、
十分に意味あるんだろ？

へー、原田さんてモチーフなんかも研究してたんだ。

近年特に弱体化しているようにも見える邦人勢が
超難問を解決できようはずもないと思うがどうか？
絶頂期のグロタンを超えるということですよ

引退後のグロタンって何によって収入を得ていたの？

クラフォード賞の辞退を伝える手紙の中に
自分は経済的に充分恵まれている
みたいな事が書いてあった。
過度に恵まれるのは良くない
だったかも。

ドリーニュはどのような思いで
このニュースを聞いているのだろう

大家は無視を決め込むでしょう。
ただ昨年のLiのRiemannの場合、
まずTaoがある部分を指摘、
続いてConnesが途中で誤りがあるので読むのを止めた
ってのもあったけど。

Thomasonって糖尿病で死亡したんだよな
日本人が罹るのとは違うタイプの
着る物なんて気にかけず、よれよれの身なりだったらしい
そんな人に日本人弟子がいたとは知らなかった

どうせなら、なんか別の誤りを見つけるなり、補題の確認するなりしてくれよ。

是非、幾分かの穴埋めをして、論文誌に載せていただきたいですね。
元々トポロジーの人だけど、代数幾何も出来たんですね。
若い頃、森脇先生や池田先生と同じぐらい出来たのに、一人だけ
万年助手なんておかしいと思っていました。
今回の事で、昇進はあるのでしょうか？
４月が楽しみです。

I wrote earlier about the recent preprints of Harada,
in which he claims to prove the standard conjectures of
Grothendieck. Having asked some experts what they think
about this, most seem sceptical, and my supervisor pointed
out to me that there is at least one serious mistake in
The Tate-Thomason conjecture. After Theorem 6.3 on page 19,
he states that the Hodge conjecture for CM abelian varieties
implies the standard conjecture of Hodge type for varieties
of positive characteristics, and he gives a reference to
Milne: Polarizations and Grothendieck’s Standard Conjectures.
However, Milne only proves that the Hodge conjecture for CM
abelian varieties implies the standard conjecture of Hodge type
for abelian varieties, so the argument of Harada is not valid.
Of course, if this is the only mistake in the article, his
results would still be extremely interesting, but in any case
it seems like the standard conjectures are certainly not
proven in full.

Homotopicalってだれと思う？

421 名前：１３２人目の素数さん[sage] 投稿日：2009/01/11(日) 14:59:55
http://forum.shimozono.net/contents.cgi?room=insei-1&area=101-160
大学の数理会議室　院生以上の数学 　でエタールコホモロジーについてtopiaと話している、代数的K理論が専門のlunatic moonて
原田助教授なのかな。Thomasonの事やホモトピーについて色々話しているけど。

で、standard conjecturesはどうなってるの？

原田さんの証明は、
たとえ欠陥があるにしても、
スタンダード予想の解決へ向けて
何かしかの前進をもたらすものなのだろうか？

それともあまり意味のないものなのだろうか？

いまのところ欠陥は見つかってないんだろ？

Harada:Hodge conjecture for CM abelian varieties
implies the standard conjecture of Hodge type for
varieties of positive characteristics.（証明なし）
Milne:Hodge conjecture for CM abelian varieties
implies the standard conjecture of Hodge type for
abelian varieties.（引用先）

つまりMilneの仕事をよく理解していなかったってこと。

いや間違って引用しているがゆえにまだ有効だといってるよ
http://homotopical.wordpress.com/2009/02/04/update-on-haradas-proof/
Milne自身Actually, I’m not sure it is an error.といってる

せっかくだから論文勉強会を本人交えてやったりすればいいのに。

２ちゃんではこのスレが現在一番興味深い

>>534
ならば情報書きこめや

http://www.jsps.go.jp/jsps-prize/ichiran_5th/12_tsuji.html

スタンダード予想解決なら、
ついでにホッジ予想、テイト予想も
証明しておいてくれ

しかしエキスパートの反応がないな
真であれば、小林ー益川以上確実だが....
しかもノーマークの大穴
IASの教授に迎えられます
めでたし、めでたし

グロタンディークも南仏の
山奥で泣いて喜んでますね。

ほろ、言った通りだろ、って

Standard Conjectures、Hodge Conjecture（100万ドル）、
そしてTate Conjecture
果たして10代に受験数学をやらされた日本人ができるのでしょうか？

なんでもかんでも「受験」にしわ寄せをするという考え方の方が
よほど頭が硬化しているように思えますが。

>>540
は
>>539
と普段から良く話してるのか？

>>541
そんなやり取りに思えるわけだろうが
おれは540はかなり切れるとみた

539は自分の事を書いてるんでしょ

ちなみに、スタンダード予想とテイト予想って独立だっけ？

例えばスタンダードやテイトやホッジを長年研究してきて
成果がないままの人が、夢を息子に託して、学校教育とは
全く別の個人レッスンを、現代数学の初歩から
自分の専門の最先端レベルまで、小学生から英才教育したとするなら
希望もあろうが、息子がDQNの理由で失敗しているのが現状だろうな。
540のような数学先進国の教育に無知な人がいる限り、日本人には難しい。

>>545
夢を息子に託して数学の英才教育ってｗ
ここはグロタンのスレだけど、グロタンは幼少期に英才教育を受けたかい？
数学は神に愛された者のみによって、次の段階に進むことができるんだよ。
英才教育とか、数オリでメダルを稼ぐ目的でぐらいしか意味ないから。

なるほど・・・・・

しかし、グロタン自身、スタンダード予想や
テイト予想やホッジ予想、できてないジャーん。

さらに、日本人には難しいと言っているのだ。
よく読めアホ!!

こうやってどんどん論点がずれていくんだよねーｗ
俺が言ってるのは受験数学は別に数学の発展の妨げにはなっていないということ。
やるやつは勝手にやる。
むしろどのような状況でも自分で切り開いていく能力をもっているのが天才でしょ。
英才教育と数学の発展とは別の次元だと言ってるんですよ。

ドリーニュは英才教育の賜物だよね

?

原田さんの証明、続報よろしく

なあ、もう復刊は諦めなきゃダメ？？？

受験数学にも論理、平面幾何、整数を重視してもらいたい

Berthlot＆Ogusのクリスタルコホモロジーを呼んでいるんだが、stratificationって分かりにくい。あれは何？だれか簡単にイメージを教えてくれませんか。

そんなの読んでも無駄だから

無駄って？
クリスタルコホモロジーが不用ということ？
ほかの意味？

その程度も理解できんようなら才能ないからあきらめた方がいい。

>>554
単体分割みたいなもんだろ？

有難う御座います。

第１段のstratificationは接続と同値ということは分かるのだけど。

微分幾何の通常の接続と、ベクトルバンドルの張り合わせは、特別な関係が歩きが市内のだけど、代数幾何では関係するのかなどと何かよく分からない。

何がいいたいのかなどと何かよく分からない

Berthlot & Ogus　の本は定義があいまいで読めないね。Berthlotのフランス語の本で読むことにしようと思うけど、それも読めるかどうだか不安だ

inegale caracteristique って 標数０ということですか？　どなたか

>559

×　市内
○　竹刀

クリスタルコホモロジーは

Berthlot＆Ogusで「§３のdivided power」と「Appendix　A　のuniversal PD ring」のところを読んでおけば、
Berthlotのフランス語の本で完全に理解できるみたいです。

で、標準予想はどうなったの？

そんなに気になるなら自分で読めばいのに、、、

気になるけど、関連してるってだけで自分の分野じゃないから…

RiemannのM本H、FermatのM岡Yに
続く怪挙?でないことを祈る。

>>568
Riemannのってだれ？

http://homotopical.wordpress.com/2009/03/16/updated-version-of-haradas-preprints/

>>569

前スレ７の５００以降にヒント。

>>571
http://www.secamlocal.ex.ac.uk/people/staff/mrwatkin/zeta/RHproofs.htm
に日本人はのってないぞ。仲間うちだけの噂ばなしか？

>>569
あの当時、数理研で研究会が終わった後5時くらいから
M氏の講演ノートのコピーの解説があったから、関係者に
聞けば皆知っている。

Berthlotのフランス語の本を読むのに、SGA4の第１冊目は携える必要があるね。toposやuniverseなどの定義を確認するために。

ひきこもりで、どうやって食べているのだろう。。。

数学版には引きこもりはいないでしょう

283

あげて、みんなで猫先生を迎えよう

これから全部読むから、ちょっと待ってね

>>573
猫は一応全部コピーしたから、探せばどっかにはある。まあ読みにくい原稿で、証明は欠けてるわ、
何を使っているかは判らんわで、猫にはどうにもならんかったね。そんでも当時のその筋からの噂
ではファインマン積分と極限操作の交換がダメっちゅう顛末だったという記憶ですな。そんなん、加
算性もないのにどうにもならん、という言い方だったですよ。

訂正：

加算性　→　可算性

失礼しました。

経路積分とトポスが関係あるとな?!

>573
関係者って、どこにおるねん。
>580
ファインマン積分なんて、どこに書いてあるねん。

人から伝え聞いた話なので、詳細は全然知りません

>>584
無責任なやつ！！

はい、どうもスンマヘン。今度は件のコピーを探し出して、見ときますわ

>>579-581
ﾊﾞｰﾔﾊﾞｰﾔ

>>584
ﾊﾞｰﾔﾊﾞｰﾔ

また新手のスクリプト厨か

三年一時間。

719

756

他分野のものです。
グロたんって生きてるの？
あといまの数学界でグロたん並みのアイドルってだれ？

>>592
＞ あといまの数学界でグロたん並みのアイドルってだれ？

猫

>>592
タオ
グロモフ
だと思う

あのなァ、ワシはアイドルなんて言うてへんよ！
彼はまあ人間じゃないナ。神様か、まあ精々いいとこ
神の遣いかな。

とにかくワシを含めて下々が語ったら絶対にアカン。

数学の神はみんなグロでFA

グロい

こいつもう死んでんじゃないの？

神様であって、その価値は永久不滅なんだから、
生きてようと死んでようと下々には関係がありません。

猫

生きているかどうかの違いについて意味が分からないの？

生きている　⇒　論文などの新しい情報発信があり得る
死んでいる　⇒　既存のものだけになる

まぁ、もう論文書いたりしないっしょー
ペレルマンと一緒
俗世間との関わりを捨てて数学も捨ててあっちの世界にいっちゃった

恐らく、数学を究めた瞬間
宇宙に存在するアカシックレコードに触れて精神が乖離してしまったんだろうな

どこかに掲載するような論文は書かないだろうが
数学に関することは続けてた、または続けてるだろ

死ぬ当日まで計算してたオイラータイプじゃないっぽいが

ワシが一番恐れる（従って期待する）のは、彼の死後何年も経ってから
大量の未公開文書が発見されて、その文書の記述内容を人類が理解する
までに今後数百年の数学の進歩が必要である・・・

正に夢の様な話だとは思いませんか！

猫

フェルマーじゃん

いやいや、ガウスを想定してますねん。

ふん　偉そうにするなよ　この性犯罪者がｗ

Lectures on motivic cohomology 2000/2001 (written by Pierre Deligne)
Authors: Vladimir Voevodsky
(Submitted on 28 May 2008)
http://arxiv.org/abs/0805.4436

錚々たる顔ぶれということしか分からん

いろいろモチーフに関してやってるみたいだけど
モチーフの定義について決定打みたいなのはあるの？

http://www.math.columbia.edu/~woit/wordpress/?p=2334

そういえばグロタンディーク標準予想はどうなったの？
まだ検証が続いているの？

>>601
最初からナマギーリ女神様と共にあったラマヌジャンと異なる点ですね

>>594
ほんとうにタオとグロモフでおｋ？

夢の鍵　概要だけサッと読んだけど
なんかうっとうしかったような気が

>>499
日本人写ってる。

>>613
＞ ほんとうにタオとグロモフでおｋ？
＞
ウィッテンとかは？

スレチですがひも理論って眉唾じゃなかたんですか？

あとブルバキは構造主義　グロタンはポスト構造でＯＫですか

美術史の文脈では射影幾何学がヴェネツィア派などで構図として好まれるらしい
んですが、これに対抗できるおもしろい幾何学をさがしています
マンデルブロ、エレガントユニバースの変な網みたいなもの以外に何か
おもしろい幾何学があればスレチですがご教授を　

スレ違いすぎるだろ
グロタンディークと何の関係も無い

やっぱり

グロたんは最初物理に興味があったが
物理の才能がない事に気づき数学に転向した

でもグロタンってすごいよね。
Weil予想を解くためにその方向に向かって言葉を次々に作っていくんだもの。
並みの天才じゃないよ。

しかし結局本人は解けなかった
でもグロタン無しには今でも解けなかった？

色んな解釈があるとは思いますけどね、
まあ「問題を解く」というのは目標程度にはなりますわなぁ
でも「其処迄の道を引く」とか「言語や環境を整備する」と
言うのは並大抵の天才ではどうにもならんでしょうな。
まあ「恐ろしい人」だと思いますね。

猫

猫は珍獣 ◆ghclfYsc82 は境界性人格障害のコテハンです
彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください

BPDの人は何人もしってるけれど、猫さんはBPDとはちがうな。

お前はNPDだろ

マリーの森の代数幾何セミナーのマリーって誰のことですか？？

>>626
Border Personality Disorderですよね。実はかなり前に自分で
その可能性を疑いましたけど、でも専門のある精神科医にはその
可能性を否定されましたね。但し精神科医の判断は「その人まち
まち」なので何とも言えません。しかもアメリカ精神医学会の
判定基準も数年毎に更新されるなど、かなり正確性に欠いている
為に、そういう可能性に関する正確な判定は極めて難しいと思い
ますね。

その専門医の所見は（脳機能検査の結果として）依存的かつ攻撃的
だそうで、ソレ等はディフェクトではないそうですが、私自身は
実は疑っています。それで、その誘発要因はですね、例えば：
（あ）機能不全家庭
（い）両親の離婚
（う）過干渉
等が挙げられている事から「かなり可能性が高い」と私は自分で
判断しましたが専門医（の一人）には否定されました。但し彼は
ACでさえ認めないという立場の医師なので、私は実は彼の判定を
疑っています。取り敢えず私が今言える事は此処までですね。

あとまあ、私の糞父は「自己愛性人格障害」だと私は睨んでいます。
もし気になる方が居られましたら、例えば「Toxic parents」（和訳
は確か「毒になる親」だったと思います）が参考になるのではと
考えますが、私は未だ読んではいません。悪しからず。

猫

猫は珍獣 ◆ghclfYsc82 は境界性人格障害のコテハンです
彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください

>630
おまえのコピエのほうがうぜーよ

＞しかもアメリカ精神医学会の 判定基準も数年毎に更新されるなど、
＞かなり正確性に欠いている為に
DSMが数年毎に更新されるから不正確だ、というのは如何かと思います。
高血圧やら糖尿病やらCOPDやらの診断基準でさえ年を経れば
更新されますが、だから高血圧の診断基準は不正確だとは言いません。
寧ろ何を診断基準にどこから先を「疾患」或いはそれに準じるものと
みなすかと言う考え方の違いに近いものです。

ACってもしかしてアダルトチルドレンのことですか？
これを疾患としての単位として認める医師が居たら
そっちのほうがおかしいと思いますけどね。
何と言うか、ノロウイルスの感染症を生牡蠣症候群と呼ぶようなもので。。
患者が、幼少期の親に原因があったんだ、と自分で言った場合に、
それを軽々しく鵜呑みにして一緒に親を責めるようなことは絶対してはいけないことで、
医師が多少距離を置いた態度を取るのはごく当然のことです。

猫は珍獣 ◆ghclfYsc82 は境界性人格障害のコテハンです
彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください

>>629
BPDの診断基準（一応当てはめの基準ということで）
1、「見捨てられ不安」　
これあるよ。自覚あるだろ。
２、「不安定な人間関係、理想化とこき下ろし」
共著者との関係破綻、佐藤スクール京大の理想化、その他を見下す
３、「自己イメージの不安定」
数学にこだわってそれ以外を否定するのは不安定性を隠すため
４、「自己破壊衝動」
分からない。アルコールの量は？
５、「自殺企図」
知らん。なさそうだが。
６、「気分の不安定」
人格変わるよね
７、「空虚感」
知らん。「私は何のために数学をやっているんでしょうね」とは言っていた。
８、「制御不能の怒り」
あるよ
９、「ストレスへの弱さ」
これは分からない。ストレスに負けたときどういう行動するのか判別できない
アカハラと言われているから、何か非常識な行動があったんだと思う

５つに当てはまり２つが不明、１つは当てはまらない。基準によればＢＰＤ。
医者が判断を控えたのは、猫が元数学研究者だからだよ。
人格障害という概念がいかに差別的な理論かよくわかるね。

いや２も３も無理あるだろ
その理想化とこきおろしってのは周囲の人間に対しての
人間関係上のもので、同一の人物が理想化され
その後唐突にこき下ろされるとかいうのが良くあるパターン
学説の評価とかのことを言ってるんじゃない
数学者が数学に拘るのは当たり前のことで、それと自己イメージは関係ない

634は全般にこじ付けが過ぎる

猫の話題なんか止めよ。

でもちょっと勉強になったｗ

以下の様な書き込みがありました。皆さんのご意見を賜りたいと
存じます。

敬具

猫拝


>頭が悪いのがコンヌみたいな数学史に残るであろう大天才に推薦状を書く雑用をさせていいと思ったのかい？
>お前が飢えてどこで野垂れ死のうと数学の歴史には全く影響がないが
>コンヌの時間を奪えば数学の歴史に影響しかねんとは考えられなかったのかい？
>お前は数学という学問への良心や献身の精神すら残ってないんだね

>その数学者の業績が高々30年以内に消えてしまうような数学者はマクロに見れば存在しようがしまいがどうでも良いんだよ
>そんなレベルの数学研究の従事者は世界全体で見れば掃いて捨てるほどいるからな
>そいつがそれなりに大事な定理を発見して証明したとしても、そいつがいなくても誰かがいずれは見つけてるんだよ
>その程度の独創性しかないからこそ30年未満で消えていくんだ

>そういう掃いて捨てるレベルの数学従事者に求められるのは研究よりも教育だよ
>教育者に求められるのは中途半端な数学の研究業績よりもちゃんとした人間性だ

>女性への欲望を押えられなくて痴漢に及ぶのなんてのは教育従事者としては論外だな
>自分の業績でウソをつくのも教育従事者としては論外だな
>盗撮も論外だ

>最低でも30年以上は業績がリファーされるほどの才能もなく教育従事者としての適性もない数学しかできん半端者に税金から給料を払う必要なんてないのさ
>何をやろうと許されるのは数学史に名前が刻まれるレベル、つまりそいつが消えれば数学の歴史が変わってしまうであろう本当の天才だけだ
>それ以外の少し数学が得意なだけの幾多の凡人は社会人としての常識がなければ社会では必要ないのさ
>社会で必要ないってことは大学や組織が給料を払ってやる必要はないってことだ

EOF

>>634
昨夜の私のアクションを受けてですね、もう一度境界性人格障害を
疑ってですね、更なる分析をしてみませんかね？　アナタの判定結果
には興味がありますんでね。

まあ気長に貴方のレスをお待ちしますよ。

猫

猫は社会の屑
猫の懲戒免職は因果応報

>>639　
あなたは一人では何ーんも出来ない人です。
２ちゃんねるに書けば書くほどのめりこみ、のめりこむほどダメージを受けます。
ボロボロにされてしまいには完璧な境界例になりますよ。素質あるんだから。

グロタン神がお怒りのようだ
ttp://sbseminar.wordpress.com/2010/02/09/grothendiecks-letter/

数学科っちゅうんは色々とあってや、まあ：
★『とんでも数学科』の学生事情は知って真っ青やそうやしね、ほしてから
★『とんでも大学院』の修士論文っちゅうんは中々凄いんやそうやナ。また
★『とんでも大学院』の博士論文っちゅうんも結構アルそうやしね、ほんで
★『誰でも大学院』の何でも博士っちゅう話は最近の話題らしいナ。そやけど
★『馬鹿でも大学院』のアホでも修士っちゅうんが一番困るらしいナ。

ホンマにエラいこっちゃーーー

猫

グロタン頭おかしくなっちゃったのか？

>>644
昔からです

>>642

知らなかった
山も知らんだろう

グロタン数学を埋葬せよ

698

GrothendieckがIHESを去ってからしばらくしてたぶん７５年くらいだろうが
フランスの主だった大学に職を求めて全て断られたらしいね。
だれかの陰謀なのか？
やっと決まったのがフランスの片田舎のモンペリエ大学のそれも教授でなく講師。
これがもし本当のことならフランスの大学は最低だな。

もしGrothendieckがエコールノルマルなどの教授職についていたらその門下生から
優れた数学者が育っただろうに。
M.ArtinとかDeligneみたいな。

グロタンが生きているって分かって良かったじゃん

>>649
アメリカの大学なら喜んで
むかい入れたんじゃないかな

日本の大学にグロタンとかペレルマン来たら凄いことになるだろうなぁ

たとえば、EGAが中断してすぐあたりに、
京大数理研究所に招いていたらどうなっただろう。

中断した頃は本人は何も心配してなかったんじゃない

結果、みんなはグロタンの理論を、未解決問題を無理やり解くのに
応用するばかりで、グロタンのビジョン自体は余り発展しなかった
（彼ほどの先見の明のある人は居なかったので発展させられなかったし、
　搾取されていると思ってたことでしょう）

最近十数年やっとそういう方向に進みつつあるので、
それに気が付いたグロタン関係者はやべーって感じで焦ってるんじゃない

244 名前：１３２人目の素数さん[] 投稿日：2010/04/14(水) 18:17:55
ブンゲンってよ。ハンサムだし、ちゃんと、京大の准教授なんかやってんのに
なんで、２ｃｈでは馬鹿にされてるんだ？

一種の妬みだろ。

>>336

633

102