【Motifs】グロタンディーク 8【Topos】
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
2006/06/02(金) 02:01:47過去スレ
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/ でも見れます。）
0002１３２人目の素数さん
2006/06/02(金) 02:04:41http://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/
0003１３２人目の素数さん
2006/06/02(金) 02:06:26La 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.
0004関連スレ
2006/06/02(金) 02:33:59加藤和也せんせのスレ
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
0005１３２人目の素数さん
2006/06/02(金) 02:47:50http://coe.math.keio.ac.jp/2006/kontsevich.pdf
0006１３２人目の素数さん
2006/06/02(金) 03:17:19Categories And Sheaves
http://www.amazon.co.jp/exec/obidos/ASIN/3540279490/
この本の序文は、当然にもグロタンを非常に高く評価するところから
はじまっていましたね。「導来圏のアイデアは佐藤幹夫先生も独自で
作っていた」という話は無視する書きっぷりでした。
0007１３２人目の素数さん
2006/06/02(金) 03:22:22関連スレって予想以上にあるな
20世紀最高はグロタンじゃなくヒルベルトだと思う
はちょっと懐かしい
0008１３２人目の素数さん
2006/06/02(金) 03:35:36of 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
0009前スレより
2006/06/02(金) 04:58:38どうしてグロタンはヴェイユ予想を証明できなかったんですかぁ？
0010１３２人目の素数さん
2006/06/02(金) 07:51:51前スレに出てたChevalleyの論文Les Schemasは
NUMDAMから手に入りまつね。
0011１３２人目の素数さん
2006/06/02(金) 10:45:16Seminaire Henri Cartan が全てUpされてる！！
Thanks!!
http://www.numdam.org/numdam-bin/feuilleter?j=SHC&sl=0
0012１１
2006/06/02(金) 10:50:03“Techniques de construction en géométrie analytique”
もあります、ハイ。
0013１３２人目の素数さん
2006/06/02(金) 10:52:430014１３２人目の素数さん
2006/06/02(金) 11:56:230015１３２人目の素数さん
2006/06/02(金) 12:05:18adele（idele）とschemasがともにChevalleyの頭から
捻り出されたというのは興味深いでつ。
Chevalley自身はschemasをどう捉えていたんだらう？
抽象化のお遊びぐらいにしか思ってなかったんでつかね？
0016１３２人目の素数さん
2006/06/02(金) 15:16:20Weil予想の事もそれとなく意識していたのだろうか。
0017１３２人目の素数さん
2006/06/02(金) 23:25:27数学者のレベルとしてはどれくらいのかたがたなのでしょうか？
僕は数学者になれなかったおちこぼれです。
0018１３２人目の素数さん
2006/06/02(金) 23:37:01妖精レベル
0019１３２人目の素数さん
2006/06/03(土) 18:53:26やはり来ていたか沢竹屋
0020１３２人目の素数さん
2006/06/05(月) 01:28:08Ⅰ.Moerdijk
http://xxx.lanl.gov/PS_cache/math/pdf/0212/0212266.pdf
これらは最近、物理でもチラホラ出てきますけど、これといった教科書は何かあったかな。
0021１３２人目の素数さん
2006/06/05(月) 22:18:54Champs algébriques
(Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge )
by Gerard Laumon, L. Moret-Bailly
簡単な紹介なら、
寺杣友秀「コンツェビッチによるウィッテン予想の解決」
（上智大学数学講究録 No.40)
にもあります。
0022１３２人目の素数さん
2006/06/06(火) 00:11:33どうもありがとです。
さっそく図書室で探してみます。
0023１３２人目の素数さん
2006/06/06(火) 04:28:570024１３２人目の素数さん
2006/06/07(水) 08:25:58ChevalleyのschemaはGrothendieckのそれと違う。
0025１３２人目の素数さん
2006/06/07(水) 08:34:10どういう意味ででつか？
少なくとも踏み台にはなっていると思うのでつが。。
Chevalley schema ＋ FAC ＝ EGA I
ではなかろうかという認識でつ。
0026１３２人目の素数さん
2006/06/07(水) 08:42:44GrothendieckのschemaはChevalleyのschemaから出てきたわけではない。
FACの影響は大きいが。
0027１３２人目の素数さん
2006/06/07(水) 08:50:40schemaの言う名の由来はChevalleyとは無関係という
ことでつか？
精神的な影響はFAC由来のものであるということは
理解しておりまつ。
0028１３２人目の素数さん
2006/06/07(水) 09:32:45osoraku Galfand Naimark theorem kara...
0029１３２人目の素数さん
2006/06/07(水) 10:43:33>schemaの言う名の由来はChevalleyとは無関係という
>ことでつか？
おたくは>>15で名前の由来を問題してるわけではないでしょ。
だから>>15にコメントした私も名前の由来を問題にしてるわけではない。
概念を問題にしてるわけ。そしてChevalleyのschema(という概念)と
Grothendieckのそれとは違うし、
Grothendieckのschema(という概念)はChevalleyのschema(という概念)
から出てきたものではない。
これだけくどく書けばわかるよね？
0030１３２人目の素数さん
2006/06/07(水) 11:02:210031１３２人目の素数さん
2006/06/07(水) 11:04:59問題の半分は名前の由来でつよ。
前スレの
985 名前：１３２人目の素数さん[sage] 投稿日：2006/06/01(木) 12:49:13
Schemasの定義及び命名はChevalleyが起源？
からの流れだったので。。。
0033１３２人目の素数さん
2006/06/07(水) 11:29:18代数幾何をするからだ、みたいなレスを見たんでつよねー。
だから概型という訳は不適当で、むしろ図式と訳すべきだ、
みたいな。
でもChevalleyが素イデアルの集合に位相を入れる形で
schemaを定義し、グロタンがそれを援用したのであれば
上のようなこともおかしいな～とｵﾓﾃ985をｶｷｺしたわけでつ。
0034１３２人目の素数さん
2006/06/07(水) 11:37:30schemaによって標数pごとの代数多様体を統一した視点で捉える
ことができると考えていたわけだけど、
Chevalleyの目にはどういうものが映ってschemaを定義したのか？
というのが
＞Chevalley自身はschemasをどう捉えていたんだらう？
＞抽象化のお遊びぐらいにしか思ってなかったんでつかね？
というレスの理由なのでありまつ。
0035１３２人目の素数さん
2006/06/07(水) 12:13:10何度も言うけどChevalleyのschemaは名前は同じでも別物。
Grothendieckのschemaの重要な特性である構造層または座標環に
べき零元を許すという発想はなかったし。
0036１３２人目の素数さん
2006/06/08(木) 16:41:38soreja kuwashiku (Chevalleyのschema) setsumei onegai!!!
0037１３２人目の素数さん
2006/06/08(木) 17:25:54EGA I の §8 Les schemas de Chevalley に書いてある。
尤も、代数幾何に興味がありフランス語が読めればとっくに読んでるだろうが。
0038１３２人目の素数さん
2006/06/08(木) 23:55:20http://www.ihes.fr/IHES/Scientifique/feynman/programme.html
0039１３２人目の素数さん
2006/06/09(金) 13:41:480040GiantLeaves ◆6fN.Sojv5w
2006/06/09(金) 17:52:570041１３２人目の素数さん
2006/06/09(金) 18:44:14うまい！とくにどうということもないが。
0042GiantLeaves ◆6fN.Sojv5w
2006/06/09(金) 22:31:430043１３２人目の素数さん
2006/06/10(土) 00:20:170044１３２人目の素数さん
2006/06/10(土) 12:22:38http://www-math.mit.edu/conferences/lusztig60/index.html
もっと年いってる方かとオモテタ
0045１３２人目の素数さん
2006/06/11(日) 18:35:20このカンファレンスはちょっと難しすぎやろ。
0046１３２人目の素数さん
2006/06/11(日) 19:21:49Deligne 繋がりで遠縁とは思えんが…。
0047１３２人目の素数さん
2006/06/11(日) 21:15:590048１３２人目の素数さん
2006/06/11(日) 22:35:330049１３２人目の素数さん
2006/06/12(月) 09:05:240050 ◆HCMpRrSfEs
2006/06/14(水) 02:14:00ようわからんけど、だいたいわかってきた！
お前ら悪趣味やなぁ～。
まぁ、ここだけの話。
大伴家持
0051１３２人目の素数さん
2006/06/14(水) 03:10:310053１３２人目の素数さん
2006/06/14(水) 06:21:34数学者の孤独な冒険―数学と自己の発見への旅 収穫と蒔いた種と
アレクサンドル グロタンディーク (著), 辻 雄一 (翻訳) 単行本 (1989/02) 現代数学社
おすすめ度：
発送可能時期：出品者から通常2営業日以内に発送します。
価格： ￥3,045（税込）
2. ある夢と数学の埋葬―陰(イン)と陽(ヤン)の鍵 収穫と蒔いた種と
アレクサンドル グロタンディーク (著), その他 単行本 (1993/03) 現代数学社
在庫切れ
価格： ￥7,350（税込）
3. 数学と裸の王様―ある夢と数学の埋葬
アレクサンドル グロタンディーク (著), 辻 雄一 (翻訳) 単行本 (1990/02) 現代数学社
在庫切れ
グロタンディークを知らないの？この人なんですが。。
http://www.math.jussieu.fr/~leila/grothendieckcircle/index.php
「この人の本」とかいうから勘違いしたじゃないですか。
0055１３２人目の素数さん
2006/06/14(水) 08:51:33勘違いしたのはあなただけ。
こんなこと言いたくないんだけど、つまんないから消えてくれるかな。
0056１３２人目の素数さん
2006/06/14(水) 12:48:280057１３２人目の素数さん
2006/06/15(木) 13:19:280058１３２人目の素数さん
2006/06/15(木) 23:19:40考えていたそうな。
実際は、その必要がない事をドリーニュが証明している。
（Ｑl-コホモロジーの範囲でWeil予想を解決）
ちなみに、ドリーニュによるレフシェッツの超平面切断に関する強定理の証明
は、標準予想の一部でなかったかな。
0059１３２人目の素数さん
2006/06/17(土) 05:11:53「無意味なスレ立て厳禁」
って読めませんか？
そういうくだらない話は質問スレでやってください
終 了
そして>>1はすぐ死ね
0060１３２人目の素数さん
2006/06/17(土) 09:42:03こんな物があった。
ttp://magma.maths.usyd.edu.au/~voight/notes/moduli-red-harvard.pdf
0061１３２人目の素数さん
2006/06/19(月) 22:24:39『Categories and Homological Algebra』
ttp://www.institut.math.jussieu.fr/~schapira/polycopies/Cat.pdf
0062１３２人目の素数さん
2006/06/21(水) 01:48:10math.AG/0606406
Fujita's conjecture solved!!!!
0063１３２人目の素数さん
2006/06/21(水) 21:43:37Translation and Editing of his prenotes(PDF版）
by Piotr Blass and Joseph Blass
ttp://www.jmilne.org/math/Documents/EGA-V.pdf
0064１３２人目の素数さん
2006/06/22(木) 19:56:210065１３２人目の素数さん
2006/06/24(土) 21:43:48http://rendezvous.com/tangledweb/conferences/fermat/aug11.html
0066１３２人目の素数さん
2006/06/25(日) 07:42:34Roy Lisker はちょっと「ペテン師的側面」をもった人物。グロタンの「病状」
が心配だからとカンパを集めて（アメリカから）フランスに渡ったのが最初。
Lisker が書いて自費出版したグロタンを探す旅の記録
THE QUEST FOR GROTHENDIECK
http://rendezvous.com/tangledweb/ferment/ads/fermad3.html
があるが読みにくい文章だった。ネットで無料で流していたこともあったものの、
なぜかなぜかまた有料にもどしたらしい。15ドルだったかどうかはともかく、
封筒に直接現金を入れて送ってみたら手作りの冊子が送られてきた記憶がある。
その後、おそらく「やるな」といわれたはずなのにグロタンの「隠れ家」の
ひとつを暴露した。しかもその町の綴りが間違っていたので嘲笑されている。
006765
2006/06/25(日) 10:56:32Liskerによる『収穫～』の翻訳なんかも、純粋にグロタンを世に広く知らしめる
といった動機であるならば評価出来るのですが、やはり何となく怪しいですね。
レス㌧クスです。
0068１３２人目の素数さん
2006/06/26(月) 23:17:12by 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
0069１３２人目の素数さん
2006/07/07(金) 23:38:50Groupoids and Stacks in Physics and Geometry
(January8-April6,2007)
http://poncelet.sciences.univ-metz.fr/~tu/IHP/
0070１３２人目の素数さん
2006/07/08(土) 20:31:03ＢとＣがＡ上torsion independentの定義を知っていたら、
教えてください。
0071１３２人目の素数さん
2006/07/09(日) 00:12:33どういう文脈で言っているかによるとも思うが
おそらく
BやCをA加群と見てA上でTorを計算したとき
Tor_i(B,C)=0(i>0)となっている、
ということなんじゃないか。
まあ、SGA6の230ページあたりをみると参考になるかも知れん。
0072１３２人目の素数さん
2006/07/09(日) 00:24:140073１３２人目の素数さん
2006/07/11(火) 21:53:42いかにも知ったか君だな
0074１３２人目の素数さん
2006/07/12(水) 23:24:52イプシロンデルタ論法を理解することに時間を使った方が
よほど有益だと思われ
0075１３２人目の素数さん
2006/07/28(金) 17:08:140076１３２人目の素数さん
2006/07/31(月) 23:53:520077１３２人目の素数さん
2006/08/03(木) 08:56:24例えばレースクイーンの穿いているものにはありません。
あと、直穿きタイプのパンストにも切り返しはありません。
直穿きタイプはショーツ付きタイプとも言いまして、
パンティラインを出したくない時とかに穿きます。
パンティのマンコの当たる部分は布が２重になっていますが、
このタイプのパンスちなみに切り返しの無いものもあります。
例えばレースクイーンの穿いているものにはありません。
あと、直穿きタイプのパンストにも切り返しはありません。
直穿きタイプはショーツ付きタイプとも言いまして、
パンティラインを出したくない時とかに穿きます。
パンティのマンコの当たる部分は布が２重になっていますが、
このタイプのパンストも同じように柔らかい布が縫い付けてあります。
そうすればオシッコした後の雫も垂れることなく吸収されます。
キチンと拭かなかったウンチの欠片はどうなるかは知りません。 トも同じように柔らかい布が縫い付けてあります。
そうすればオシッコした後の雫も垂れることなく吸収されます。
キチンと拭かなかったウンチの欠片はどうなるかは知りません。
0078１３２人目の素数さん
2006/08/14(月) 09:20:18Counterexample to the Hodge Conjecture
Authors: K. H. Kim, F. W. Roush
0079１３２人目の素数さん
2006/08/16(水) 09:59:470080１３２人目の素数さん
2006/08/19(土) 17:18:52Authors: John C. Baez, Michael Shulman
http://jp.arxiv.org/abs/math.CT/0608420
0081１３２人目の素数さん
2006/08/19(土) 17:52:050082１３２人目の素数さん
2006/08/30(水) 17:03:440083１３２人目の素数さん
2006/08/30(水) 20:00:44歴史あるのにな
age
0084１３２人目の素数さん
2006/08/30(水) 20:06:54写真がいっぱいのってるが
Wilesもだいぶんふけてしまって時の流れを感じる....
0085１３２人目の素数さん
2006/08/30(水) 20:56:490086１３２人目の素数さん
2006/08/30(水) 21:03:29http://grothende.gozaru.jp/
＞更新は９月以降になりそうです('A`)
ご無事で何よりでつ。
0087１３２人目の素数さん
2006/08/30(水) 21:25:51EGAの日本語訳なんてあるんだ！！
凄いな。
ちょっと読んだところによると、擬古文
みたいな言葉で訳してるのかな？！
0088１３２人目の素数さん
2006/08/31(木) 18:08:09なかなか大変みたいだね。
0089１３２人目の素数さん
2006/08/31(木) 20:13:45無理されないように。
0090１３２人目の素数さん
2006/09/01(金) 10:25:53尤も執筆をお願いした委員とか岩波とかの人にも責任は無いではないけど
0091１３２人目の素数さん
2006/09/01(金) 17:28:32いや、戦犯は二人だろ。
0092１３２人目の素数さん
2006/09/01(金) 19:57:32共犯ってことは考えがたいけど
0093１３２人目の素数さん
2006/09/01(金) 20:45:240094sage
2006/09/01(金) 21:23:58平祐さんは後者だろな。英文でもないように思うが。
Wilesもなし。内容は論文と変わらないけどTaylor、
Deligne、Beilinson、Bloch、Drinfeld、etc.は前者。
0095１３２人目の素数さん
2006/09/01(金) 23:10:58平祐は確か数学書書いてるぞ。英文だが。
日本語のくだらん本はたくさん書いてるな。
0096１３２人目の素数さん
2006/09/01(金) 23:18:38本がでるが、H先生の場合、１０タイトル以下で１冊でOK?
多分出ないんじゃないか？
0097１３２人目の素数さん
2006/09/01(金) 23:24:52XXX氏はかなり高名だということになるのかな。
0098１３２人目の素数さん
2006/09/02(土) 00:11:57スペインかイタリアの大学から３冊物の講義録が出ている。
0099１３２人目の素数さん
2006/09/02(土) 20:17:14ワールドワイドまで登りつめられながら、
受賞後しばらくして去って行かれたという事実は
後進にとっては残念至極。Mumford同じく。
目標には到底できない、反面教師的。
しかし、Noticeのインタビューなんかでは弁はたつし
意気軒昂だな。
by 一数学評論家。
0100１３２人目の素数さん
2006/09/02(土) 21:20:39普遍性質の証明が分かりません。
誰か証明してください
0101１３２人目の素数さん
2006/09/02(土) 23:21:500102１３２人目の素数さん
2006/09/03(日) 00:18:480103１３２人目の素数さん
2006/09/03(日) 11:48:03M:モノイド 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は言うんですが
俺には全然分からんです
0104１３２人目の素数さん
2006/09/03(日) 12:19:480105１３２人目の素数さん
2006/09/03(日) 12:56:56数学版の住人はドクターレベル以上で、君が考えてるほどレベルは低くないと思うよ。
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に決定される。
0106１３２人目の素数さん
2006/09/03(日) 17:39:28hのkerがＢを含むからF(M)/Bにuniqueに拡張できるってのが
肝なんですね。
無駄かもしんないなんてかいたのは質問する側からしたら失礼でした。
すんません
0107106
2006/09/03(日) 17:46:49もう一つgがあったときgι=fからgは[x]+Bをx∈Gに写す。
[x]+BはK(M)をgenerateするからそのgはhを持ち上げたものに一致する
っていう訳ですね
0108１３２人目の素数さん
2006/09/06(水) 20:17:26Rをintegral local Noether domain でdimR=1とする。
ａをＲの元で、０でもunitでもないとし、
さらに、Rは素体ｋ_0を含むとする。
このとき、Rはk_0[a]上flatであることを示せ。
0109１３２人目の素数さん
2006/09/11(月) 17:34:59何この漢字趣味
0110１３２人目の素数さん
2006/09/16(土) 10:39:03A new play by Adrian Heathcote, Grothendieck's Dream of the Rising Sea
(Biographical Texts)
http://www.math.jussieu.fr/~leila/grothendieckcircle/Grothendieck.pdf
なんか意味がよくわからん
0111１３２人目の素数さん
2006/09/18(月) 14:06:23>加法的な圏を自然に構成し，そこにおいてホモロジー代数を展開し，
>代数多様体の様々なコホモロジー理論の背後にある普遍的コホモロジー理論を見出すこと，
>ということになるでしょう．
>モチーフのアイデアは1970年代の Grothendieck にさかのぼります．
>彼は Weil 予想を解決するためエタールコホモロジー理論を開発し，
>有限体上の多様体の合同ゼータ関数を，エタールコホモロジーへの
>フロベニウス作用の固有多項式で表示しました．・・・
http://www.math.wani.osaka-u.ac.jp/group/numberth/algebra/daisugakusho.html#hanamura
面白そうなんだけど難しス(･ω･`)
0112未来数学人
2006/09/18(月) 21:58:40普遍的な「環」や普遍的な「体」などというものがないのと同じ意味で。
なんのことはない。モチーフとはコホモロジーの単なる捨象化なのだ。
0113１３２人目の素数さん
2006/09/20(水) 18:45:41に対して V のmod p での還元を V_p と書く。V_p が非特異のときその
ゼータ関数 Z_p と書く。Z(V) = ΠZ_p とおく。ここで積は有限個を除いた
k の素イデアルすべてをわたる。V が曲線のときは Z(V) は Hasseのゼータ関数
と呼ばれ、V が特殊な場合は k の量指標によるゼータであらわされる。
V が曲線でない場合に何か知られているんだろうか。
0114１３２人目の素数さん
2006/09/24(日) 07:51:02http://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. 親より先に逝くのが最大の親不孝。
0115１３２人目の素数さん
2006/09/30(土) 19:45:140116１３２人目の素数さん
2006/10/01(日) 01:49:470117１３２人目の素数さん
2006/10/03(火) 06:10:570118１３２人目の素数さん
2006/10/04(水) 15:53:450119１３２人目の素数さん
2006/10/10(火) 21:37:24A:ring
B,C: A上のpositively graded 次数環でそれぞれ有限個の1次要素で生成されているとする。
このとき、Proj(B)=Proj(C)⇒B=C ?
0120１３２人目の素数さん
2006/10/10(火) 23:01:30Riemann-Hilbert だろうが。
0121１３２人目の素数さん
2006/10/10(火) 23:02:170122１３２人目の素数さん
2006/10/11(水) 12:28:17A:ring
B,C: A上のpositively graded 次数環とする。
このとき、f: X=Proj(B)->Proj(C)=Y がA-schemeの同型で、ｆ^*O_Y(1)=O_X(1) ⇒ BとCは同型か ?
0123１３２人目の素数さん
2006/10/12(木) 21:59:270124１３２人目の素数さん
2006/10/13(金) 00:27:360125１３２人目の素数さん
2006/10/14(土) 11:36:200126１３２人目の素数さん
2006/10/14(土) 15:50:330127１３２人目の素数さん
2006/10/20(金) 19:07:52全てが馬鹿だ。
0128１３２人目の素数さん
2006/10/21(土) 15:34:230129１３２人目の素数さん
2006/10/21(土) 17:50:150130１３２人目の素数さん
2006/10/22(日) 12:08:49明らか
0131１３２人目の素数さん
2006/10/22(日) 12:22:390132１３２人目の素数さん
2006/10/22(日) 12:40:250133１３２人目の素数さん
2006/11/03(金) 15:21:46f: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)?
0134１３２人目の素数さん
2006/11/03(金) 20:30:52EをS上のベクトルバンドルとし、X＝P(E)で、ｆ：X->Sをprojectionとして,考えてください。
0135１３２人目の素数さん
2006/11/04(土) 00:37:04injective sheaf I は quasi-coherent
0136１３２人目の素数さん
2006/11/04(土) 01:28:45R^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＞０）
0137１３２人目の素数さん
2006/11/12(日) 16:22:450138１３２人目の素数さん
2006/11/12(日) 17:40:360139１３２人目の素数さん
2006/11/12(日) 18:38:460140１３２人目の素数さん
2006/11/12(日) 20:11:52『代数多様体とスキームのレッドブック』（仮題）
Ｄ.マンフォード著
訳者と値段は忘れてもた。
0141１３２人目の素数さん
2006/11/12(日) 20:17:20和訳しないでくれ給え．
0142１３２人目の素数さん
2006/11/12(日) 20:59:000143１３２人目の素数さん
2006/11/12(日) 21:27:290145１３２人目の素数さん
2006/11/14(火) 12:33:26そういう意味じゃないだろｗ
0146１３２人目の素数さん
2006/11/26(日) 14:23:59理工系のための トポロジー・圏論・微分幾何
― 双対性の視点から ―
谷村 省吾 著
B5判 216頁 本体1886円
>トポロジーや圏論や微分幾何学は，素人には近寄りがたい「高級な数学」では決してなく，
>この世界に生起する出来事を語るためのきわめて自然な言語であり，自分の言葉として
>活用できるようにしておくと，いろいろなことが明解に，かつ生き生きと見えてくる
>ようなものである．
>本書は，そのことをわかり易く伝える，理工系一般の学部上級生，
>大学院生向けの平易な入門書である．
【主要目次】 外延と内包の双対性／位相空間／ホモトピー／
ホモロジー／圏論／微分幾何学／物理への応用
http://www.saiensu.co.jp/SGC.htm
なにげに楽しみ。。。
0147１３２人目の素数さん
2006/11/27(月) 20:21:260148１３２人目の素数さん
2006/11/30(木) 13:58:47affine scheme の連結成分はopen subschemeか？
至急Help
0149１３２人目の素数さん
2006/11/30(木) 16:29:070150１３２人目の素数さん
2006/11/30(木) 22:53:31ネーター環ならそう。
ネーター環でなければ反例があるんじゃないか？
0151１３２人目の素数さん
2006/11/30(木) 23:41:150152１３２人目の素数さん
2006/12/01(金) 06:37:28連結成分の個数が有限になるから。
連結成分というのはハウスドルフとは限らない任意の位相空間で
閉集合。
0153１３２人目の素数さん
2006/12/01(金) 12:34:26閉集合の増大列が無限に存在することがネーター性からはいえないだろ。
実際、連結成分が有限個の環はdecomposibleで特殊な環に限る。
0154１３２人目の素数さん
2006/12/01(金) 13:39:19OC(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は連結な開閉集合の有限個の非連結和になっている。
0155１３２人目の素数さん
2006/12/01(金) 14:40:18>閉集合の増大列が無限に存在することがネーター性からはいえないだろ。
だからなんだよ？
関係ねえよ、そんなの。
ネーター空間では有限個の既約成分しかないだろ。
だから連結成分も有限個。
何故なら、連結成分は閉集合だからその既約成分は空間全体の
既約成分となるから。
0156１３２人目の素数さん
2006/12/01(金) 15:36:56繋がっている連結閉集合達の合併が連結成分になる。
ネター空間は既約閉集合の有限合併である。
既約集合は連結。
ということか。
0157１３２人目の素数さん
2006/12/01(金) 22:06:400158１３２人目の素数さん
2006/12/02(土) 11:17:21ここで見れる Seminaire Chevalley に Grothendieck が代数群について
かなり書いてる。この当時は代数群にかなり関心があったんだね。
0159１３２人目の素数さん
2006/12/02(土) 12:30:30カラオケをしている時に機械を使い脳に電波ではいり、人をもて遊んでいる
だれにもばれないとおもってやりたい放題。そして気づかれないように思考盗聴、自殺、突然死、、マインドコントロール、誰かをずっと好きにさせる、思ったことを行動させるなど。
痛みやいやがらせや声を聞かせることもできる。
中国人でヤクザという少数派
0160１３２人目の素数さん
2006/12/06(水) 12:50:200161１３２人目の素数さん
2006/12/15(金) 19:13:59カテゴリー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の同型を意味する ）
0162１３２人目の素数さん
2006/12/15(金) 19:22:16i)｛U->U｝なる恒等coveringはcoveringである。
ii)coveringの合成はcoveringである。
により、coveringに同型な図式は再びcoveringであるため、
「ある」のquasi-inverse ｇ：T'->T がGroten位相の射であれば、
「任意」のquasi-inverseも、Groten位相の射となるからだ。
0163１３２人目の素数さん
2006/12/21(木) 18:15:210164１３２人目の素数さん
2006/12/25(月) 17:36:24黒田さんは元気でっしゃろか。
0165１３２人目の素数さん
2006/12/26(火) 16:49:430166１３２人目の素数さん
2006/12/26(火) 17:12:44しかも誰も咎めないし
0167１３２人目の素数さん
2006/12/26(火) 17:46:170168１３２人目の素数さん
2006/12/26(火) 17:51:540169１３２人目の素数さん
2006/12/26(火) 18:00:15グロタンディックとかディークとかグローテンディックとか
0170１３２人目の素数さん
2006/12/26(火) 18:07:260171１３２人目の素数さん
2006/12/26(火) 18:09:590172１３２人目の素数さん
2006/12/26(火) 18:23:260173１３２人目の素数さん
2006/12/26(火) 19:36:500174１３２人目の素数さん
2006/12/27(水) 12:42:45ｲﾀｲな
0175１３２人目の素数さん
2006/12/27(水) 13:27:31自分で自分を個人特定してはいけません
皆さんこいつはぬこみたいなもんなんでほっといて下さい
0176１３２人目の素数さん
2006/12/30(土) 16:17:150177１３２人目の素数さん
2007/01/15(月) 17:39:14重要である事は間違いないんだろうけど。
0178１３２人目の素数さん
2007/01/15(月) 18:02:480179１３２人目の素数さん
2007/01/15(月) 21:06:09殆どというか全くないのかな。
雑誌の解説記事ではチラホラと見かけるけど。
それにしてもグロタンの数学には、ｎ圏やトポスみたいに
これからのものが色々ありますね。
0180１３２人目の素数さん
2007/01/22(月) 17:26:41だからどうでもないけど あるけど
0181１３２人目の素数さん
2007/01/22(月) 19:20:23なんか言ったり書いたりしたのか？＞グロ師
0182１３２人目の素数さん
2007/01/22(月) 19:23:49やまじゅん氏と交流があるくらいだから日本人が嫌いと言うことは
ないと思われるが。
0183１３２人目の素数さん
2007/01/22(月) 20:56:29グロちゃんのハートの真意も分からないまま日本人的発想でのアプローチ。
まあ現在疎遠であるのは当然と言えば当然。日本人のみならずみんな拒絶。
0184１３２人目の素数さん
2007/01/22(月) 21:16:48しかし収穫は日本語訳が一等最初に出たんだぜ。
ていうか、グロタンの活動の仕方から見て、
特定の民族が嫌いとかないんじゃないかと思ったり。
0185１３２人目の素数さん
2007/01/22(月) 21:24:04日本人だから拒絶ってことじゃないと思う。
0186１３２人目の素数さん
2007/02/05(月) 17:31:500187１３２人目の素数さん
2007/02/09(金) 22:45:17軍国主義だったころの日本人は
0188１３２人目の素数さん
2007/02/24(土) 16:16:460189１３２人目の素数さん
2007/02/26(月) 10:02:21いよいよ来月発売ですか。
グロタン数学関係の項目も何かしらあったりするのかな。
ttp://bookweb.kinokuniya.co.jp/htm/4000803093.html
0190１３２人目の素数さん
2007/03/03(土) 00:37:35ブックサービスが３，４日以内に発送となっていたので
注文入れたが。
MSJも気を利かせてグロ氏の写真くらい掲載してもよかったのにな
と思う。
0191１３２人目の素数さん
2007/03/06(火) 23:09:50H^n(X,K_x)＝C（複素数体）
はどうやって証明できますか？
0192１３２人目の素数さん
2007/03/07(水) 07:31:54同意する。
日本語で読むことの出来る専門書を期待する、ってのも理解できるが、
「これからいよいよ本格的に代数幾何学の基礎を勉強するぞ！」って時に、
本が「和訳モノ」ってのは情けないｗ
代数幾何を学ぶ位なら、英語くらいは読めるだろうにｗｗｗ
商売によって、日本の知的文化が衰退されてきていないか？（笑～
0193１３２人目の素数さん
2007/03/07(水) 07:55:10そんなこと気にせずどんどん行われているね
0194１３２人目の素数さん
2007/03/07(水) 08:18:230195１３２人目の素数さん
2007/03/07(水) 14:03:310196１３２人目の素数さん
2007/03/07(水) 16:23:36外国語くらい勉強しろっての！
英語・仏語・独語くらいは勉強して損はないし、むしろするべきだ！
0197１３２人目の素数さん
2007/03/07(水) 16:32:20理由は？
英語しか分からないフィールズ賞受賞者だって沢山いるんだから、
とりあえず英語さえ出来ればいいんとちゃうの？
日本の数学者を見ると英語すらまともに使えない人が過半を
占めているけどね～
0198１３２人目の素数さん
2007/03/07(水) 16:34:14とかで良いのであれば良いんだろうけどね。
そんなん置いてかれちゃうよ。
まあ大学の第二外国語の勉強はきちんとしましょう、ってのは言えるけどさ。
0199１３２人目の素数さん
2007/03/07(水) 16:36:13精々グロタン、グロタンって呟いてろｗ
0200１３２人目の素数さん
2007/03/07(水) 16:45:57自分の主張の根拠を述べられないような人は数学板に来ないでね。
0201１３２人目の素数さん
2007/03/07(水) 20:35:43朝の７時、８時って。
徹夜明けですか？
0202１３２人目の素数さん
2007/03/07(水) 21:03:58>とりあえず英語さえ出来ればいいんとちゃうの？
ならGrothendieckは読む必要がないと？
彼の書いたものはほとんど仏語だ。
しかも、それらはほとんど英訳されてない。
0203１３２人目の素数さん
2007/03/07(水) 21:34:16> ならGrothendieckは読む必要がないと？
専門家でも意見が分かれるところだね。
要領よくまとまった教科書があるのに
わざわざ現論文なんか読んで時間を無駄にするな、
という意見にはどう反論する？
0204１３２人目の素数さん
2007/03/07(水) 21:52:41>専門家でも意見が分かれるところだね。
例えば誰がどう言ってる？
>要領よくまとまった教科書があるのに
何のことを言ってる？
0205１３２人目の素数さん
2007/03/07(水) 22:04:02ﾈﾙﾎﾟ
0206１３２人目の素数さん
2007/03/07(水) 23:30:47代数幾何とかじゃなかったら、英語以外は出来なくても
どうにでもなる分野も多いんじゃないの？
>>201
あなたは何時に起きるの？
お寝坊さんですか？
0207１３２人目の素数さん
2007/03/08(木) 11:50:03さらには（仏語云々はさて置き）独学向けだと言う人も居たり。
まあEGA、SGAを題材に手取り足取りというのもあまり聞かんけど。
0208１３２人目の素数さん
2007/03/08(木) 12:14:260209１３２人目の素数さん
2007/03/08(木) 15:50:04EGA・SGAを読む際の、フランス語勉強する際の
コストとリターンがちゃんと決まってる訳ねーだろ
数オタはちゃんとコストとリターンが決まってると考えて
期待値が存在するとすぐ思っちゃうから困る
0210１３２人目の素数さん
2007/03/08(木) 15:57:25そもそもフランス語なんか使わない。
0211１３２人目の素数さん
2007/03/08(木) 19:34:22仮にそうだとして、だから何？
0212１３２人目の素数さん
2007/03/08(木) 19:53:18仏数学者、例えばVoisin(ヴォワザン＝隣人masculin)と
共同研究ないし、お近づきになりたいと思うのであれば
French必須だろな。
IAS志向、または国内常駐内弁慶型の人ならどうでもよい。
こんなんでどうですか？
0213１３２人目の素数さん
2007/03/08(木) 20:00:32>こんなんでどうですか？
ダメだな。
視野が狭すぎ。
自分の専門分野で重要な論文をフランス人がフランス語で書いてたらとりあえず
読んでおくべきだわな。
0214213
2007/03/08(木) 20:03:12別にフランス人でなくともよい。
志村の論文でフランス語で書いてるのがあったな。
岡はいわずもがな。
0215１３２人目の素数さん
2007/03/08(木) 20:03:580216１３２人目の素数さん
2007/03/08(木) 21:07:41〷 とりあえず読んでおくべきだわな。
◯ 絶対に読まなくてはならない。(Must)
何語であっても。
0217１３２人目の素数さん
2007/03/08(木) 21:24:570218KingOfUniverse ◆667la1PjK2
2007/03/08(木) 21:28:460219１３２人目の素数さん
2007/03/08(木) 21:29:31経験があるのかね？
0220１３２人目の素数さん
2007/03/08(木) 21:29:47mustってことはない。
自分で考えることが出来れば不用。
0221KingOfUniverse ◆667la1PjK2
2007/03/08(木) 21:30:470222１３２人目の素数さん
2007/03/08(木) 21:30:55俺は酒とか女に逃げるｗ
0223１３２人目の素数さん
2007/03/08(木) 21:36:51久しぶりにまともだな。
その調子でいけ。
荒らすなよ。
0224KingOfUniverse ◆667la1PjK2
2007/03/08(木) 21:38:130225１３２人目の素数さん
2007/03/08(木) 21:40:14つまり普段はまともでないってことだ。
自分でも分かってるだろ？
0226KingOfUniverse ◆667la1PjK2
2007/03/08(木) 21:41:190227１３２人目の素数さん
2007/03/08(木) 21:48:43知らないよ。
俺が知ってるあんたは、とにかく例の調子（自分でも分かってるだろ？）。
人のなんとかとか。
0228KingOfUniverse ◆667la1PjK2
2007/03/08(木) 21:51:070229１３２人目の素数さん
2007/03/08(木) 21:52:19仮にそうだとして、何故あんただけがそうなる？
0230１３２人目の素数さん
2007/03/08(木) 21:53:17自分で読めなくとも他の誰かに翻訳させれば済む話だ。
0231KingOfUniverse ◆667la1PjK2
2007/03/08(木) 21:56:060232KingOfUniverse ◆667la1PjK2
2007/03/08(木) 21:56:520233１３２人目の素数さん
2007/03/08(木) 21:57:41それを言ったら数学も手段じゃないのか？
誰かに数学させれば済む話だ。
っていうかこの世のすべては誰かにさせれば済む。
別にあんたがやらなきゃならないってことはない。
セックスもそうだなｗ
0234１３２人目の素数さん
2007/03/08(木) 21:59:41だからと言ってあんたがまともってことにはならない。
自分でもうすうす分かってるだろ？
0235１３２人目の素数さん
2007/03/08(木) 22:03:31> それを言ったら数学も手段じゃないのか？
そうだよ。それが何か？
0236KingOfUniverse ◆667la1PjK2
2007/03/08(木) 22:04:140237１３２人目の素数さん
2007/03/08(木) 22:06:14だからあんたはいらないってこと。
0238１３２人目の素数さん
2007/03/08(木) 22:06:24霊界では人の脳を読むのは当たり前なんだぜ？
0239１３２人目の素数さん
2007/03/08(木) 22:08:45ひょっとして、この世の悪をしょって立つ救世主気取りですか？
0240１３２人目の素数さん
2007/03/08(木) 22:09:42＞自分で考えることが出来れば不用
あなたは一流ですか？
0241１３２人目の素数さん
2007/03/08(木) 22:11:22そんなの関係ない。
事実を述べただけ。
0242KingOfUniverse ◆667la1PjK2
2007/03/08(木) 22:14:07talk:>>239 私の身に不都合が起こっているから、運動を起こす。
0243１３２人目の素数さん
2007/03/08(木) 22:15:19普通、聞いて知る、読んでなお知るでしょ。
0244１３２人目の素数さん
2007/03/08(木) 22:16:33どんな不都合が起こってる？
運動を起こすからにはちゃんとした理由を述べてもらわないと迷惑だ。
0245１３２人目の素数さん
2007/03/08(木) 22:19:17だから、それは must じゃないだろ。
had better ではあっても。
0246KingOfUniverse ◆667la1PjK2
2007/03/08(木) 22:25:480247１３２人目の素数さん
2007/03/08(木) 22:33:52死後に行く世界です。霊界では相手の考えていることがすぐわかるから脳を読むのと同じではないでしょうか。
0248１３２人目の素数さん
2007/03/08(木) 22:33:54その理屈はおかしい
翻訳は、「語学が趣味であり翻訳作業が楽しい」というような人でないかぎりは
手段にすぎないから他人にやってもらってかまわない（というかむしろそうすべき）だが、
セックスはあくまで自分の快楽のため・および自分の遺伝子を残すためだから、
他人に代替してもらうことはできない。
0249KingOfUniverse ◆667la1PjK2
2007/03/08(木) 22:38:080250１３２人目の素数さん
2007/03/08(木) 22:39:10私は一応知っているが、聞きたいことでもありますか？
0251KingOfUniverse ◆667la1PjK2
2007/03/08(木) 22:43:130252１３２人目の素数さん
2007/03/08(木) 22:45:10それは程度によりますね。光明界であればその美しさは地上の比ではありませんが暗黒界はその逆です。闇の濃度がものすごいですね。
0253１３２人目の素数さん
2007/03/08(木) 22:47:280254KingOfUniverse ◆667la1PjK2
2007/03/08(木) 22:49:18美しい世界であるのなら行ってみたいのですが、
実際に行ったらその情報が間違いであったという可能性があります。
今の私は死後から生前に戻る方法を知りません。
死後の世界が具体的にどうであるということを生前の人に納得できるように説明してください。
0255１３２人目の素数さん
2007/03/08(木) 22:55:19情報が間違っているかどうかは、死んだ後確かめてみるとよろしい。私の言うことを信じる必要はありません。
死後霊になっても地上には戻ってこれます。最も大部分は戻って来たいとはあまり思わないでしょうが。
もう一度生まれたいのならば再生という過程を踏むことになりますが、ここの詳しい機構は生命の神秘であり
現時点での人類には理解できないもののようです。
死後の世界は一言で言うと生命の本来の側面が現れている世界といえます。地上は影にすぎません。
0256KingOfUniverse ◆667la1PjK2
2007/03/08(木) 22:58:430257１３２人目の素数さん
2007/03/08(木) 22:59:550258１３２人目の素数さん
2007/03/08(木) 23:04:270259１３２人目の素数さん
2007/03/08(木) 23:09:270260１３２人目の素数さん
2007/03/08(木) 23:46:55死後の世界に対する疑問はもうありませんか。たいていの質問には答えられると思います。
0261１３２人目の素数さん
2007/03/09(金) 00:58:32脳がなくても考えられるの？
0262１３２人目の素数さん
2007/03/09(金) 01:01:50なら説明出来るようになるまで運動はやめろ。
0263１３２人目の素数さん
2007/03/09(金) 01:30:29死後の世界を具体的に説明してください。
死後の世界には人間の霊以外には何があるのでしょうか。
大腸菌の霊などもあるのでしょうか。
0264１３２人目の素数さん
2007/03/09(金) 02:16:35>>261
実は、霊の体、すなわち霊体にも脳はあります。神経構造は肉体の脳とは違うらしいですが。
>>263
>死後の世界には人間の霊以外には何があるのでしょうか。
>大腸菌の霊などもあるのでしょうか。
死後の世界というのは物的宇宙の霊的側面だと思ってもらっていいです。霊界全体にもあらゆる種類の生き物が存在しています。
大腸菌ですか。これは面白い質問ですね。一言でいれば大腸菌の霊はいます。しかしその存在形態はは大腸菌一つ一つの霊としてではなく、
類魂という統合体にまとめられていると考えていいようです。もちろんその操作に当たっている者はわれわれよりはるかに進化した天使群です。
0265１３２人目の素数さん
2007/03/09(金) 19:47:42あんたの言ってることの根拠は？
嘘八百は誰でも言える。
0266KingOfUniverse ◆667la1PjK2
2007/03/09(金) 21:23:210267１３２人目の素数さん
2007/03/09(金) 22:10:48根拠は各種の霊界通信で述べられているところからです。出典ははシルバーバーチ、モーゼス、アラン・カルデック、マイヤースなどです。
私の言っていることを信じる必要は全くありません。疑ってかかるがよろしい。いずれ死後に真偽が判明するでしょう。これ以上は板違いなので失礼します。
0268１３２人目の素数さん
2007/03/09(金) 22:45:05孔子は、君主、鬼神を語らず（だっけ？）とか言ったという。
ヴィトゲンシュタインは、知り得ぬことは語りえぬ（だっけ？）とか言ったという。
両者とも言わんとすることは同じだろう。
あの世があるとしても我々（生きているもの）にとっては知り得ないし関係がない。
ちょうど、別の宇宙があるにしてもこの宇宙に生きている人間にとっては
それは知り得ないし関係がないのと同じ。
0269１３２人目の素数さん
2007/03/10(土) 01:27:53ゴミレスはゴミ箱へ
数学と哲学
http://science6.2ch.net/test/read.cgi/math/1149065789/
0270１３２人目の素数さん
2007/03/10(土) 22:04:18超過疎スレで仕切ってるお前ってｗ
0271１３２人目の素数さん
2007/03/10(土) 22:08:260272１３２人目の素数さん
2007/03/11(日) 02:56:35空論を交わすスレ（ﾜﾗ。
グロタンディックにかぶれるとこうなる（ﾜﾗﾜﾗ。
0273数が苦出来ないグロタンかぶれ
2007/03/11(日) 04:19:03記憶が連続的にダウンロードされてるだけやで？
1秒後に石っころが頭を直撃してイタイタイしても
痛がってる自分はもう1秒前の自分とは別人なんやで？
1秒前の自分はもう、全身麻酔みたいな完全な無やねんで？
まぁ、敢えてそれを生きてるって定義するんやったら
技術次第で自我をDLで保存し続けるのは可能やろ。
複数にまたがって自我を量産複製もできるんちゃうけ。
そやけど、完全に均質な大量の自我のコピーした時
あんたらそれのどれを自分って思う訳？？
この話は一見パラドックスに見えて
実は自我を唯一つだけDLする場合にも処理すべき問題や。
あー、俺生きてルナーと、思ってる瞬間のあんたは
１秒前のあんたがそう実感してるんちゃうねん。
その瞬間瞬間だけが自分で、生きてるねん…。
0274１３２人目の素数さん
2007/03/11(日) 05:02:370275１３２人目の素数さん
2007/03/11(日) 22:22:330276１３２人目の素数さん
2007/03/14(水) 11:34:02http://www.nucoop.jp/book/su0703.html
まあ、すぐに買うというわけじゃないけど。
主な新項目
>「量子群」「無限次元リー代数」「モジュライ問題」「シンプレクティック幾何学と接触幾何学」
>「モジュライ空間と偏微分方程式」「周期積分」「パンルヴェ方程式」「q級数」
>「精度保証付き数値計算」「数理モデル」「反応拡散方程式」「粘性解」「マリアバン解析」
>「情報幾何学」「代数的組合せ論」「暗号理論」「マルコフ決定過程」「複雑系」
>「共形場理論」「ゲーデルの不完全性定理」「ヴェイユ」「チューリング」「関孝和」
0277１３２人目の素数さん
2007/03/26(月) 17:38:070278１３２人目の素数さん
2007/03/29(木) 16:53:48「単位円の扇の面積＝θ/２」を利用しているが、
この扇の面積の公式を証明するのに
そもそも lim （sinθ／θ）＝１ を用いているはずだ。
よって、扇の面積を用いて lim （sinθ／θ）＝１ を証明するのは正しくないと思うのだが
どうだろうか。
本当の証明は、扇に内接する折れ線P_0,P_1,・・・,P_n の長さが
n->∞ にするときに上に有界であることを示すことで証明される、
と思うのだが。
ここの住民の意見を聞きたい
0279１３２人目の素数さん
2007/03/29(木) 17:53:44>「単位円の扇の面積＝θ/２」を利用しているが、
高校生の教科書の話か？まともな解析の本ならそんな証明はせんよ。
0280１３２人目の素数さん
2007/03/29(木) 18:53:590281１３２人目の素数さん
2007/03/29(木) 18:57:43lim （sinθ／θ）＝１ はどうやって証明しますか？
0282１３２人目の素数さん
2007/03/29(木) 19:29:12小平本嫁
0283１３２人目の素数さん
2007/04/11(水) 12:53:24プリンストン大学とは関係ないんですかね。
0284１３２人目の素数さん
2007/04/11(水) 14:14:43常微分方程式の解の存在と一意性でやるのがすっきりしている。
0285１３２人目の素数さん
2007/05/02(水) 11:20:570286１３２人目の素数さん
2007/05/02(水) 12:55:36数論幾何自体、かなり分野横断的でないの。
0287１３２人目の素数さん
2007/05/02(水) 15:30:230288１３２人目の素数さん
2007/05/03(木) 02:31:570289１３２人目の素数さん
2007/05/12(土) 00:05:490290１３２人目の素数さん
2007/05/13(日) 21:41:08例の我こそは第一人者の口調は健在で、まあいつものことだけど
その１で、小川洋子、ソートイ、冨永星、カルチエ等がこきおろされた
この人の文章は激しい、うかうか口出しすると反撃されそうで、怖い
日本数学会出版賞はもらえないし、本人もさらさらそんな気は...ない
0291１３２人目の素数さん
2007/05/13(日) 21:48:200292１３２人目の素数さん
2007/05/13(日) 23:32:260293１３２人目の素数さん
2007/05/14(月) 00:51:53記事うpしてちょ
0294１３２人目の素数さん
2007/05/14(月) 02:11:350295１３２人目の素数さん
2007/05/18(金) 17:16:28この主張はユークリッドの公理系だけで、どうやって証明するのか？
だれか教えてくれたら助かる。
0296１３２人目の素数さん
2007/05/18(金) 19:06:23ちょっと待て。
0297１３２人目の素数さん
2007/05/18(金) 20:54:270298１３２人目の素数さん
2007/05/18(金) 23:18:05これの証明にはピタゴラスの定理と３垂線の定理が必要だ。
しかし、３垂線の定理の証明にいくつかのユークリッドの公理と３角形の合同を用いている。
だから、ユークリッドの公理系から295の合同の定理が言えるないとなると、
ユークリッドの公理系からは空間の2点間の距離の公式が得られないということになって変だから、
きっと何らかの方法でユークリッドの公理系からは合同の定理が導けるはずだと思うのだが。
0299１３２人目の素数さん
2007/05/18(金) 23:25:34これの証明にはピタゴラスの定理と３垂線の定理が必要だ。
しかし、３垂線の定理の証明にいくつかのユークリッドの公理と３角形の合同を用いている。
だから、ユークリッドの公理系から295の合同の定理が言えるないとなると、
ユークリッドの公理系からは空間の2点間の距離の公式が得られないということになって変だから、
きっと何らかの方法でユークリッドの公理系からは合同の定理が導けるはずだと思うのだが。
0300１３２人目の素数さん
2007/05/18(金) 23:34:06う～ん・・・
0301１３２人目の素数さん
2007/05/18(金) 23:37:320302１３２人目の素数さん
2007/05/18(金) 23:59:56これの証明にはピタゴラスの定理と３垂線の定理が必要だ。
しかし、３垂線の定理の証明にいくつかのユークリッドの公理と３角形の合同を用いている。
だから、ユークリッドの公理系から295の合同の定理が言えるないとなると、
ユークリッドの公理系からは空間の2点間の距離の公式が得られないということになって変だから、
きっと何らかの方法でユークリッドの公理系からは合同の定理が導けるはずだと思うのだが。
0303１３２人目の素数さん
2007/05/19(土) 00:00:510304１３２人目の素数さん
2007/05/19(土) 02:17:430305１３２人目の素数さん
2007/05/19(土) 09:26:26初等幾何用スレもあるよ。
0306１３２人目の素数さん
2007/05/19(土) 14:22:230307１３２人目の素数さん
2007/05/19(土) 16:12:570308１３２人目の素数さん
2007/05/19(土) 21:57:480309１３２人目の素数さん
2007/05/19(土) 23:38:18AMS分類の何番に属することを
ここでやっているのですか？
0310１３２人目の素数さん
2007/05/21(月) 14:24:520311１３２人目の素数さん
2007/06/25(月) 11:35:320312１３２人目の素数さん
2007/07/03(火) 09:47:080313１３２人目の素数さん
2007/07/18(水) 23:19:080314１３２人目の素数さん
2007/07/20(金) 14:12:400315１３２人目の素数さん
2007/07/20(金) 21:28:150316１３２人目の素数さん
2007/08/11(土) 20:54:45東大数学科出身のぼーさん って本当ですか？
0317１３２人目の素数さん
2007/08/11(土) 21:25:57そのショックで「大学への数学」の山下さんの文章が最近凄くおかしいわけか。
納得した。
0318１３２人目の素数さん
2007/08/12(日) 07:57:18くわしく
0319１３２人目の素数さん
2007/08/31(金) 18:58:170320１３２人目の素数さん
2007/09/22(土) 17:00:24トポスの圏が通常受け入れられているものと違うからだ、と書いていますが、
これはどーゆー意味ですか？
0321１３２人目の素数さん
2007/09/23(日) 03:09:58つまり「集合と位相」の代わりに「圏とトポス」になるべきだと
おっしゃっているわけです。
0322１３２人目の素数さん
2007/09/25(火) 22:46:40いや、「トポスの圏」を「圏とトポス」と言い換えても非才の身にはなんのことやら。もちょっとkwsk
0323１３２人目の素数さん
2007/09/26(水) 12:17:48山下さんって、日本数学会を代表してグロタンディークとの
連絡を取っているんですよね。
0324１３２人目の素数さん
2007/09/26(水) 13:23:54私は、>>321 ではないが。
Grothendieckは位相空間 X より X 上 の層全体のなす圏(トポスになる)
がより本質的だと考えた。
彼はこの考えを、エタールコホモロジーのアイデアとともに得たと
思われる。
位相空間 X の開集合全体 Top(X) は包含関係による射を考えて圏になる。
Top(X) から集合の圏 (Set) への反変関手が前層である。
この考えを推し進めると層の理論をある種の圏(site)の上に拡張できる。
0325１３２人目の素数さん
2007/09/27(木) 00:00:48私は、>>313ではないが。
グロタンをターゲットにした芸能リポーターみたいなもんじゃないですか。
それが仕事ですから放っておきましょう。
0326１３２人目の素数さん
2007/09/27(木) 05:45:520327１３２人目の素数さん
2007/09/30(日) 21:44:59『ブルバキとグロタンディーク 』
アミール・Ｄ・アクゼル
税込価格 ： \2,310
出版 ： 日経ＢＰ社
２０世紀後半の数学界に大旋風を巻き起こした数学者グループ、
ブルバキとブルバキに一時参加した伝説の数学者グロタンディークの功績と盛衰に迫った読み物。
0328１３２人目の素数さん
2007/10/04(木) 23:15:230329１３２人目の素数さん
2007/10/04(木) 23:16:16「佐藤の数学」という本よりは面白いかもな。
0330１３２人目の素数さん
2007/10/07(日) 18:27:21その本、かなり評判悪いぞ。
http://www.amazon.com/dp/1560259310/
0331１３２人目の素数さん
2007/10/19(金) 00:31:29解析系の人ならともかく、思いっきり代数寄りの人なんだからさ、
もっとアルジェブリックに「グロツァンズイィク」とかのが良くね？
グロタンディークだと滑らか過ぎるだろ・・・
0332１３２人目の素数さん
2007/10/19(金) 13:36:05少し読んだ。
今は生死不明だけど、少し前は、悪魔とかメートルに悩まされてたらしいよ。
0333１３２人目の素数さん
2007/10/28(日) 11:28:06㌧。その解説、絶妙。
たしかにトポスを認めれば層の理論を圏論に持ち込むことが、容易とまでは言わないが、できそう。
じゃ、>>320に戻るけど、「トポスの圏が通常受け入れられているものと違う」ってのはどういうこと？
>>324の解説どおりで進めればよさそうなのに。何か不都合があるのかな？
0334１３２人目の素数さん
2007/10/28(日) 12:36:130335１３２人目の素数さん
2007/10/29(月) 00:53:31古典論理と集合論、その上に咲く位相空間という枠組みを
直観論理を含むToposに変更しないといけないからではないかなあ。
0336１３２人目の素数さん
2007/10/29(月) 01:40:31| |
V V
圏と函手の圏 -> トポスとgeometric morphismの圏
この四つの函手は忠実充満になる。（位相空間にsobreというちょっとした条件は必要）
そして右縦の函手は324にある通りで、これが本質的な全射にはならない、
位相空間では実現できないトポスがあるということが
トポスの圏が通常受け入れられているものと違うということの意味のはずです。
で直観主義論理はさらにgeometric morphismというのも外れて、foliationとかも
含むようになるという話を聞いたことがあります。
0337１３２人目の素数さん
2007/10/31(水) 19:36:14㌧。勉強し始めたばかりですがはじめてよくわかる解説を聞けました。
ここまで見通しをもってはじめたグロタンディークってやっぱりすごい。
0338１３２人目の素数さん
2007/11/05(月) 14:27:14⑨「トポロジー代数」：∞‐園（シャン）、導来手、新しいホモトピー代数に対する
着想としてのトポスのコホモロジー的定式化
の"新しいホモトピー代数に対する着想としてのトポスのコホモロジー的定式化"ってまだ行われていないの？
これが出来れば、トポスが基礎論以外で受け入れられない状況を変えトポス理論を大きく発展させられると言う事は無いの？
0339１３２人目の素数さん
2007/11/05(月) 15:11:100340１３２人目の素数さん
2007/11/05(月) 16:32:47MacLane 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
0341１３２人目の素数さん
2007/11/05(月) 16:37:48Goldblattは避けたほうがいい
0342１３２人目の素数さん
2007/11/05(月) 21:10:39Sketches of an Elephant: A Topos Theory Compendium
なんかはどうなんですかね。
0343１３２人目の素数さん
2007/11/05(月) 21:14:58北千住にあるスーパーのことか？
0344１３２人目の素数さん
2007/11/05(月) 22:09:420345１３２人目の素数さん
2007/11/05(月) 22:59:04どういう意味で言っているのかよくわからないが。
ペレルマンとグロタンでは数学の方向性が全然違うから、
ペレルマンの登場でグロタン流儀の数学が古くなったってこともないし、
素人でグロタンの名前を知っている人なんて昔から少数だろうし。
0346１３２人目の素数さん
2007/11/06(火) 00:06:49真面目に過去扱いしてる香具師はいないだろう。
0347１３２人目の素数さん
2007/11/06(火) 12:10:140348１３２人目の素数さん
2007/11/06(火) 23:08:01そりゃおったまげるけど、１００％無理です。
0349１３２人目の素数さん
2007/11/07(水) 02:17:03Topology via logicも面白いんじゃね？
CS系の人向けかもだけど。
>>342
Stone Spacesを買うべし買うべし。
0350１３２人目の素数さん
2007/11/09(金) 11:09:300351１３２人目の素数さん
2007/11/17(土) 08:06:36名前がこんだけカッコイイのに知名度が低いのには、ワケがありそうだ。
名前のカッコヨサならニーチェにも負けてないというのに。
ニーチェの実力の半分以上は名前だよ。
0352１３２人目の素数さん
2007/11/17(土) 08:23:47標準予想を解決しそう
0353１３２人目の素数さん
2007/11/17(土) 09:54:010354１３２人目の素数さん
2007/11/17(土) 10:00:44数学の知名度が低いだけ。
0355１３２人目の素数さん
2007/11/17(土) 11:19:420356１３２人目の素数さん
2007/11/17(土) 12:10:530357１３２人目の素数さん
2007/11/17(土) 16:08:25宇宙を絡めて話をできるから盛り上がってるんだろうね。
宇宙になると食いつきがよくなるからｗ
0358１３２人目の素数さん
2007/11/17(土) 16:34:25Weil予想なんていくら説明してもわからんだろ。
0359１３２人目の素数さん
2007/11/17(土) 16:40:10インパクトがあったんじゃないかな。
ポアンカレ予想は、まあ自然な予想。
しかし、Weil予想は途方もないというのが第一印象。
まさか、こんなことが有り得るのかという。
両者の性格がまったく違うからどっちが深いとか優れているとか言えないが。
0360１３２人目の素数さん
2007/11/17(土) 16:53:36Fermat 予想と比べると？
0361１３２人目の素数さん
2007/11/17(土) 16:57:45研究してるというような超マイナーな印象。
0362１３２人目の素数さん
2007/11/17(土) 16:59:010363１３２人目の素数さん
2007/11/17(土) 20:01:190364１３２人目の素数さん
2007/11/18(日) 00:27:27100年掛かったポアンカレや350年かかったフェルマーとは比べ物にならない。
0365１３２人目の素数さん
2007/11/18(日) 00:41:50早い話が凡人が道具なしの手ぶらでいくら長い間考えても駄目なもんは駄目。
Weil予想はGrothendieckの天才がなければ今でも解けてるかどうか。
フェルマー予想の解決はWeil予想解決の努力も影響してたんじゃなかったっけ？
0366１３２人目の素数さん
2007/11/18(日) 03:30:540367１３２人目の素数さん
2007/11/18(日) 03:43:030368１３２人目の素数さん
2007/11/18(日) 03:45:28Deligneが解決した部分はグロタンの手法が必要なのか？
0369１３２人目の素数さん
2007/11/18(日) 08:56:41Deligneが解決した部分以外はDworkによるp進解析を用いたやり方でも出来る。
Deligneの解決したやり方はグロタンのやり方の延長上にあるもの。つまり
Weilコホモロジーに依存する方法。ただ、グロタンが想定していた方法とは違うが。
0370１３２人目の素数さん
2007/11/18(日) 09:03:250371１３２人目の素数さん
2007/11/18(日) 19:38:37これ無しでグロタンディークは大理論を構築できたか？
0372１３２人目の素数さん
2007/11/18(日) 19:53:16わざわざ見つけ出してインタビューしたがるメディアが出てこない
だけで、居場所は分かってるの？
0373１３２人目の素数さん
2007/11/18(日) 20:07:12そんなこと言っていたらきりがない。
0374１３２人目の素数さん
2007/11/19(月) 01:16:06クンマーくらいまではそれなりにじゃないかなあ。
0375１３２人目の素数さん
2007/11/19(月) 11:44:47ヴェイユ、モーデル、ファルティンクス、パーシン、宮岡・・・
というそうそうたるメンバーが関わっているわけだが。
0376１３２人目の素数さん
2007/11/19(月) 21:13:16>ワイルズの証明とは違う経路では
フェルマーの最終定理の証明はワイルズしか成功してないわけだが。
0377１３２人目の素数さん
2007/11/19(月) 21:18:02望月さんが解きそうだとかなんとか
聴いたがあれは断ち切れか？
0378１３２人目の素数さん
2007/11/20(火) 08:45:13「種数が2以上の代数曲線は有限個の有理点しかもたない」というMoerdell予想を
Faltingsが証明し、Parshinが宮岡-Yau不等式の類似が数論的多様体で成り立つなら
Fermat予想が成立することを証明したとき、誰もがFermat予想の解決は近いと
感じたはず。実際、宮岡氏がFermat予想の証明ができたとアナウンスしたこともあったが、
これは結局失敗に終わった。それからFreyによるブレークスルーがあって、こっち経路での
証明が成功したわけだけど、それまでFermat予想が一部の好事家の関心を引くだけであった
ということはない。
ABC予想も前者の経路に位置するものだけど、どうなってるんでしょうねー？
0379１３２人目の素数さん
2007/11/20(火) 10:50:07エタール・コホモロジー（グロタン位相）の構築という事になるんかな。
それだけではないかもだけど。
0380１３２人目の素数さん
2007/11/20(火) 20:14:38>もともとWeilの数論幾何の構想の中には当然Fermat予想も視野に入っていた。
根拠は？
0381１３２人目の素数さん
2007/11/20(火) 20:54:550382１３２人目の素数さん
2007/11/20(火) 21:45:40Weilは16歳のときにRiemannやFermatの論文を読んでいて、
双有理同値の枠組みの中でDiophantus方程式の解を考えるという
数論幾何の構想を胸に抱いていた。
ってようなことをどっかで読んだ。
>>381
俺はまだ若い。
0383１３２人目の素数さん
2007/11/20(火) 21:57:13一般のDiophantus方程式の解を考えることイコール フェルマー予想の証明
を考えることではない。
0384１３２人目の素数さん
2007/11/20(火) 23:52:56Weilの初期の論文でも読めばわかるよ。
0385１３２人目の素数さん
2007/11/21(水) 00:36:02「数学の創造」だったっけ。
0387１３２人目の素数さん
2007/11/21(水) 21:24:03WeilがFermatのアイデアからインスピレーションを得て代数多様体の
数論に関する論文を書いたのは事実。
しかしそれはFermatの最終定理とは何の関係もない。
素人はFermatの最終定理というと聞き耳を立てるが無理もない。
それくらいしか理解出来ないからｗ
0388１３２人目の素数さん
2007/11/21(水) 21:26:160389１３２人目の素数さん
2007/11/21(水) 23:10:560390１３２人目の素数さん
2007/11/21(水) 23:24:58＞WeilがFermatのアイデアからインスピレーションを得て代数多様体の
＞数論に関する論文を書いたのは事実。
って何のことを言ってるのかな？
0391１３２人目の素数さん
2007/11/22(木) 20:20:19呆れてるだけ。
0392１３２人目の素数さん
2007/11/22(木) 20:48:210393１３２人目の素数さん
2007/11/22(木) 22:54:300394１３２人目の素数さん
2007/11/22(木) 23:55:22健康面はどうなんだろう。定期健診受けているのかなー。
老眼はどうだろう。もし入院となったら、いったい誰が世話するのか？
高齢者のグロタンさん。あなたのことですよ。
0395１３２人目の素数さん
2007/11/23(金) 00:29:280396１３２人目の素数さん
2007/11/23(金) 00:51:40面倒なだけだが。
0397１３２人目の素数さん
2007/11/23(金) 01:08:32別に詳しい説明はいらんよ。論文のタイトルは？
0398１３２人目の素数さん
2007/11/23(金) 01:18:05Thesisだよ
0399１３２人目の素数さん
2007/11/23(金) 01:35:02ところで、君自身その論文を眺めたことはあるのかい？
0400１３２人目の素数さん
2007/11/23(金) 01:47:11読んでないがMordell-Weilの定理が証明されているのは知っている。
Fermatの最終定理とは関係ない。
0401１３２人目の素数さん
2007/11/23(金) 01:49:12って書いたのは君だが。俺は別にFermatの最終定理が関係するなんて言っていないし。
0402１３２人目の素数さん
2007/11/23(金) 01:55:10なんだ、そんなことか。
スレの流れを読めよ。
それから人にものを聞くときは礼儀をわきまえろ。
Fermatのアイデアからインスピレーションを得てというのは
Weil自身が書いている。
>>385の「数学の創造」にも書いてるし、自伝にも書いてる。
0403１３２人目の素数さん
2007/11/23(金) 01:58:52WeilはMordellの論文を読んでそれをヤコビ多様体の場合に拡張したの。
0404１３２人目の素数さん
2007/11/23(金) 02:00:46ttp://www.ams.org/notices/199904/mem-weil-prologue.pdf
0405１３２人目の素数さん
2007/11/23(金) 02:06:57WeilはFermatの無限降下法から着想を得たのではない。
P(x,y)Q(x,y) = z^n の形の方程式に関するものから。
0406１３２人目の素数さん
2007/11/23(金) 02:18:33それを不定方程式の解法に使えばFermatの最終定理と関係あるなんて
見当はずれ。
0407１３２人目の素数さん
2007/11/23(金) 08:18:13お前さんの方が見当外れなことを書いているような気がするが。
0408１３２人目の素数さん
2007/11/23(金) 08:25:51勝手に気がしてればｗ
0409１３２人目の素数さん
2007/11/23(金) 10:15:240410１３２人目の素数さん
2007/11/23(金) 23:22:31マジ？
0411１３２人目の素数さん
2007/11/24(土) 08:49:590412１３２人目の素数さん
2007/11/24(土) 09:39:16http://www.inamori-f.or.jp/laureates/k10_b_andre/img/wks.pdf
Weil自身が次のように書いてる。
>フェルマー自身はこの結果が御自慢だったようだが、我々の今日の主題に
>関するフェルマーの主な寄与は別の所にある。
>フェルマーが無限降下法と呼んだものがそれである。
>もっとも、論理的には、単なる数学的帰納法の一種にすぎない。
>>406 を見当はずれとか低脳とかいってる奴はｗ
0413１３２人目の素数さん
2007/11/24(土) 13:08:260414１３２人目の素数さん
2007/11/24(土) 13:25:31スレ違いだけど、暇つぶしにどうぞ。
a，bは正の整数で、ab + 1はa^2 + b^2を割り切る。
(a^2 + b^2)/(ab + 1)
は整数の2乗であることを示せ。
0415１３２人目の素数さん
2007/11/24(土) 13:30:450416１３２人目の素数さん
2007/11/24(土) 13:58:23＞ a，bは正の整数で、ab + 1はa^2 + b^2を割り切る。
は、仮定かい？
0417１３２人目の素数さん
2007/11/24(土) 18:10:310418１３２人目の素数さん
2007/12/20(木) 14:57:220419１３２人目の素数さん
2007/12/20(木) 21:15:58脳がだんだんと退化して...
確か森毅くんと同年かと
0420１３２人目の素数さん
2007/12/21(金) 00:26:28イエイー
0421１３２人目の素数さん
2008/01/18(金) 23:28:150422１３２人目の素数さん
2008/01/19(土) 13:32:08これはディズニーに通報すべき
0423１３２人目の素数さん
2008/01/19(土) 13:50:010424１３２人目の素数さん
2008/01/20(日) 00:46:160425１３２人目の素数さん
2008/01/20(日) 13:33:450426１３２人目の素数さん
2008/01/20(日) 19:11:480427１３２人目の素数さん
2008/01/20(日) 22:04:51「疲れたのでやーめた」レースの３連単は２３１で確定しとる。
一方、「世間にでしゃばる」レースでは２の単勝ぶっちぎり。
「人間性を問う」レースでは、３連複１２３か？
0428１３２人目の素数さん
2008/01/29(火) 23:27:230429１３２人目の素数さん
2008/03/06(木) 11:51:18森毅さんて数学やってたことあるの？
0430１３２人目の素数さん
2008/03/22(土) 12:54:37教授に専念されておられました。
0431１３２人目の素数さん
2008/03/23(日) 23:08:340432１３２人目の素数さん
2008/03/25(火) 10:55:24懐かしいスレ
0433１３２人目の素数さん
2008/03/29(土) 02:16:53Grothendieck's Prenotes for EGA5はここにあった。
http://www.jmilne.org/math/
0434１３２人目の素数さん
2008/04/01(火) 08:31:480435１３２人目の素数さん
2008/04/01(火) 20:50:330436１３２人目の素数さん
2008/04/05(土) 06:59:330437１３２人目の素数さん
2008/04/06(日) 00:02:40Not so much.
0438１３２人目の素数さん
2008/05/07(水) 00:12:030439１３２人目の素数さん
2008/05/14(水) 10:06:190440１３２人目の素数さん
2008/05/18(日) 09:26:180441１３２人目の素数さん
2008/05/21(水) 22:41:29>著者によれば、アレクサンドル・グロタンディークは
>「今毎日毎日悪魔に悩まされ続けている」という。
>この地球を悪くしようとする悪魔と戦っているらしい。
>それでアルプス山中に身を隠しているらしい。
>最近では「メートルと戦っている」らしい。
典型的な統合失調症ですね。
0442１３２人目の素数さん
2008/05/30(金) 01:24:040443１３２人目の素数さん
2008/06/02(月) 06:01:470444１３２人目の素数さん
2008/06/28(土) 01:21:01でちゃんと読んだ人いるの？
0445１３２人目の素数さん
2008/06/29(日) 13:05:340446１３２人目の素数さん
2008/06/29(日) 13:31:17ハーツホーンなら全部解読したけど
0447１３２人目の素数さん
2008/06/30(月) 03:46:580448１３２人目の素数さん
2008/07/01(火) 14:08:02グロタンディーク（愛称：グロタン）について語るスレです。
過去スレ
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
0449１３２人目の素数さん
2008/07/01(火) 14:15:33i::/'￣￣￣ヾ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 |＿＿＿___／ /:::::::::::::::/ ｀ ー- ､:::::::::::::ヽ
0450１３２人目の素数さん
2008/07/01(火) 16:27:43ひきこもりです。
0451１３２人目の素数さん
2008/07/07(月) 23:46:21なんでこのｽﾚが８まであるのか考えますた。
ﾄｰｼﾛでｽﾏｿでつが、ｸﾞﾛﾀﾝの絶対的孤独に共感しまつ。
でも、ｸﾞﾛﾀﾝには、そろそろ娑婆世界に下りてきて欲ｽいでつ。
0452１３２人目の素数さん
2008/07/08(火) 03:37:16いつ降りてこられるかわかりませんが、
ぜひ、フランス語と数学を勉強してｸﾞﾛﾀﾝとお話してください。
0453１３２人目の素数さん
2008/07/10(木) 23:03:37うんこに決まってるだろ
0454１３２人目の素数さん
2008/07/20(日) 04:35:57有罪だと思ふ
0455１３２人目の素数さん
2008/07/20(日) 07:51:240456１３２人目の素数さん
2008/07/20(日) 08:07:45グロタンディークの業績を
意図的に埋葬した行為
0457１３２人目の素数さん
2008/07/23(水) 06:41:51圏もよくわからない。
さすがブルバキの申し子。さっぱりわからない。
もう定義、証明って言うスタイルの前に、
「何故こんな概念を考えたのかとか歴史的経緯とか全体の半分くらいの量でおもいっきり説明して欲しい。」
後、具体例を最大もらさず教えて欲しい。
0458１３２人目の素数さん
2008/07/23(水) 06:44:58いきなり専門の論文読むぐらいわからない。
後２，３０十年たてば、ガロア並みの評価を得るのでせうか？
もう得ているのでせうか？
0459１３２人目の素数さん
2008/07/23(水) 06:46:320460１３２人目の素数さん
2008/08/09(土) 21:28:52おまえら、これを見ろよ。
http://www.ams.org/notices/200808/tx080800930p.pdf
DLにちょいと時間かかるが、写真がある。
80年代でこれだ。はじめて見た。
20年後の今はどうなっているのか？
ここは山純さんの出番かも知んね。
彼は忙しくなるぞ。稼ぎ時かも。
0461１３２人目の素数さん
2008/08/10(日) 02:04:370462１３２人目の素数さん
2008/08/10(日) 07:21:13馬鹿が
とにかく EGA と SGA 嫁
0463１３２人目の素数さん
2008/08/10(日) 11:03:090464１３２人目の素数さん
2008/08/16(土) 14:13:14GrothendieckのGalois理論の理解のレベルは驚嘆
0465１３２人目の素数さん
2008/08/17(日) 11:50:180466１３２人目の素数さん
2008/08/23(土) 11:45:460467１３２人目の素数さん
2008/08/23(土) 21:34:310468１３２人目の素数さん
2008/08/26(火) 03:56:200469１３２人目の素数さん
2008/08/26(火) 05:09:31ドリーニュが逃げたので
なかったことにします
0470１３２人目の素数さん
2008/09/03(水) 14:50:59まだです
0471１３２人目の素数さん
2008/09/10(水) 02:42:44代数多様体に付随する複素多様体のsingular cohomologyとetale cohomologyが一致するのはSerreのGAGA原理によるのですか？
0472１３２人目の素数さん
2008/09/10(水) 23:41:52岩波の現代数学の展開から読め
0473１３２人目の素数さん
2008/09/12(金) 02:48:180474１３２人目の素数さん
2008/09/13(土) 02:01:380475１３２人目の素数さん
2008/09/14(日) 23:17:52なんて本ざんすか
0476１３２人目の素数さん
2008/09/14(日) 23:23:510477１３２人目の素数さん
2008/09/15(月) 00:08:310478１３２人目の素数さん
2008/09/18(木) 21:55:01岩波の「お詫び文」で本を出すと書いていたのに
どうなったのかな。出版予定あるのか、ないのか？
0479１３２人目の素数さん
2008/09/21(日) 17:29:540480１３２人目の素数さん
2008/09/22(月) 21:44:37一、自身で画期的な成果を出す。
二、弟子を育てて画期的な成果を出させる。
いずれかが達成できれば吉。
0481１３２人目の素数さん
2008/09/23(火) 13:20:390482１３２人目の素数さん
2008/09/24(水) 19:37:350483１３２人目の素数さん
2008/10/26(日) 13:24:170484１３２人目の素数さん
2008/11/27(木) 02:21:320485１３２人目の素数さん
2008/12/03(水) 03:00:430486１３２人目の素数さん
2008/12/04(木) 00:03:11さらに難しくなるのかな???
日本人には不利だと思う。
0487１３２人目の素数さん
2008/12/13(土) 07:34:260488１３２人目の素数さん
2008/12/13(土) 14:35:42ひっそり死んでるのかもしれんけど。
0489１３２人目の素数さん
2008/12/13(土) 20:34:37それともナシか？
いずれにしても、Noticeには大々的に出ます。
0490１３２人目の素数さん
2008/12/17(水) 20:43:320491１３２人目の素数さん
2008/12/18(木) 09:40:130492１３２人目の素数さん
2008/12/18(木) 14:54:44新聞記事はどれくらいの扱いになるかな。
さすがに一面トップにはならないだろうか。
0493１３２人目の素数さん
2008/12/21(日) 12:16:09ちなみに Weil が死んだときは
読売だか朝日だかの夕刊の
科学面に写真つきの記事が載った
0494１３２人目の素数さん
2008/12/21(日) 12:19:48Grothendieck に対する思いを
存分に語ってほしい。
誰かインタビューしに行け。
0495１３２人目の素数さん
2008/12/21(日) 22:02:40京都賞がとれるよう計らえyo
仏門に入った人と瞑想の人
以外に意気投合したりして
即決になるんじゃネ？
0496１３２人目の素数さん
2008/12/23(火) 14:31:260497１３２人目の素数さん
2008/12/25(木) 06:25:210498１３２人目の素数さん
2008/12/26(金) 00:00:430499１３２人目の素数さん
2008/12/26(金) 06:12:45日本人ひとりもいないね
0500１３２人目の素数さん
2008/12/26(金) 10:53:38IHESの写真集（ポエム付き）だろ。RIMSでも作ればいいのに。
0501１３２人目の素数さん
2008/12/27(土) 23:09:41あかんだろ
0502１３２人目の素数さん
2008/12/30(火) 18:41:12http://www.iwanami.co.jp/.BOOKS/00/X/006617+.html
0503１３２人目の素数さん
2008/12/31(水) 12:36:51白黒で難しそうな顔してるの撮ればどうにかなるよ。
0504１３２人目の素数さん
2008/12/31(水) 22:09:390505１３２人目の素数さん
2009/01/05(月) 14:33:570506１３２人目の素数さん
2009/01/05(月) 14:53:050507１３２人目の素数さん
2009/01/06(火) 12:38:21ひととおりモチーフについて知っている人が読むには全体像が分かってよいと思うけど。
Levineの大作が一番基礎から理解できる本みたいだね。
0508１３２人目の素数さん
2009/01/07(水) 14:53:160509日本人がスタンダード予想を証明キタ━━━━(゜∀゜)━━━━ッ!!
2009/01/11(日) 14:13:31http://homotopical.wordpress.com/2008/12/11/a-proof-of-grothendiecks-standard-conjectures/
原田雅名京都大学数学教室助教授がスタンダード予想を証明?!?
http://www.math.uiuc.edu/K-theory/0919/
↑スタンダード予想の証明
0510１３２人目の素数さん
2009/01/11(日) 14:36:12ってのもあるけど、この論文の価値はどうなるの？
0511１３２人目の素数さん
2009/01/11(日) 14:42:090512１３２人目の素数さん
2009/01/11(日) 15:58:520513１３２人目の素数さん
2009/01/11(日) 16:43:371987年にジョンズホプキンス大学でThomasonの元でPhdを取っているから、40歳以上だから年齢制限でフィールズ賞はない。
標準予想と言う大予想を証明した人が年齢制限のあるフィールズ賞なんかを取らないで、アーベル賞を取ることで
アーベル賞の方が格上である事を一般人にもはっきりと示して欲しい。
0514１３２人目の素数さん
2009/01/11(日) 17:35:040515１３２人目の素数さん
2009/01/12(月) 23:04:25ついにRiemannとかHodgeとかできましたって中国人なみなのか
京都ならせめてMorihikoに見せてからにしてくれ
0516１３２人目の素数さん
2009/01/13(火) 13:49:31十分に意味あるんだろ？
0517１３２人目の素数さん
2009/01/13(火) 16:33:190518１３２人目の素数さん
2009/01/13(火) 20:49:37超難問を解決できようはずもないと思うがどうか？
絶頂期のグロタンを超えるということですよ
0519１３２人目の素数さん
2009/01/13(火) 22:25:530520１３２人目の素数さん
2009/01/13(火) 22:33:15自分は経済的に充分恵まれている
みたいな事が書いてあった。
過度に恵まれるのは良くない
だったかも。
0521１３２人目の素数さん
2009/01/14(水) 02:56:45このニュースを聞いているのだろう
0522１３２人目の素数さん
2009/01/14(水) 23:05:16ただ昨年のLiのRiemannの場合、
まずTaoがある部分を指摘、
続いてConnesが途中で誤りがあるので読むのを止めた
ってのもあったけど。
0523１３２人目の素数さん
2009/01/15(木) 00:34:45日本人が罹るのとは違うタイプの
着る物なんて気にかけず、よれよれの身なりだったらしい
そんな人に日本人弟子がいたとは知らなかった
0524１３２人目の素数さん
2009/01/15(木) 08:57:160525１３２人目の素数さん
2009/01/24(土) 02:56:10元々トポロジーの人だけど、代数幾何も出来たんですね。
若い頃、森脇先生や池田先生と同じぐらい出来たのに、一人だけ
万年助手なんておかしいと思っていました。
今回の事で、昇進はあるのでしょうか？
４月が楽しみです。
0526１３２人目の素数さん
2009/01/24(土) 23:29:33in 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ってだれと思う？
0527１３２人目の素数さん
2009/02/02(月) 13:40:34http://forum.shimozono.net/contents.cgi?room=insei-1&area=101-160
大学の数理会議室 院生以上の数学 でエタールコホモロジーについてtopiaと話している、代数的K理論が専門のlunatic moonて
原田助教授なのかな。Thomasonの事やホモトピーについて色々話しているけど。
0528１３２人目の素数さん
2009/02/05(木) 08:54:150529１３２人目の素数さん
2009/02/07(土) 02:27:25たとえ欠陥があるにしても、
スタンダード予想の解決へ向けて
何かしかの前進をもたらすものなのだろうか？
それともあまり意味のないものなのだろうか？
0530１３２人目の素数さん
2009/02/07(土) 14:06:570531１３２人目の素数さん
2009/02/07(土) 20:17:19implies 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の仕事をよく理解していなかったってこと。
0532１３２人目の素数さん
2009/02/08(日) 01:05:52http://homotopical.wordpress.com/2009/02/04/update-on-haradas-proof/
Milne自身Actually, I’m not sure it is an error.といってる
0533１３２人目の素数さん
2009/02/08(日) 11:09:470534１３２人目の素数さん
2009/02/08(日) 11:18:100535１３２人目の素数さん
2009/02/08(日) 12:18:39ならば情報書きこめや
0536１３２人目の素数さん
2009/02/08(日) 17:44:540537１３２人目の素数さん
2009/02/09(月) 00:23:50ついでにホッジ予想、テイト予想も
証明しておいてくれ
しかしエキスパートの反応がないな
真であれば、小林ー益川以上確実だが....
しかもノーマークの大穴
IASの教授に迎えられます
めでたし、めでたし
0538１３２人目の素数さん
2009/02/09(月) 02:30:24山奥で泣いて喜んでますね。
ほろ、言った通りだろ、って
0539１３２人目の素数さん
2009/02/10(火) 20:40:03そしてTate Conjecture
果たして10代に受験数学をやらされた日本人ができるのでしょうか？
0540１３２人目の素数さん
2009/02/10(火) 20:53:38よほど頭が硬化しているように思えますが。
0542１３２人目の素数さん
2009/02/11(水) 10:51:21そんなやり取りに思えるわけだろうが
おれは540はかなり切れるとみた
0543１３２人目の素数さん
2009/02/12(木) 11:34:450544１３２人目の素数さん
2009/02/12(木) 16:51:290545１３２人目の素数さん
2009/02/14(土) 00:27:20成果がないままの人が、夢を息子に託して、学校教育とは
全く別の個人レッスンを、現代数学の初歩から
自分の専門の最先端レベルまで、小学生から英才教育したとするなら
希望もあろうが、息子がDQNの理由で失敗しているのが現状だろうな。
540のような数学先進国の教育に無知な人がいる限り、日本人には難しい。
0546１３２人目の素数さん
2009/02/14(土) 10:30:43夢を息子に託して数学の英才教育ってｗ
ここはグロタンのスレだけど、グロタンは幼少期に英才教育を受けたかい？
数学は神に愛された者のみによって、次の段階に進むことができるんだよ。
英才教育とか、数オリでメダルを稼ぐ目的でぐらいしか意味ないから。
0547１３２人目の素数さん
2009/02/17(火) 00:21:24しかし、グロタン自身、スタンダード予想や
テイト予想やホッジ予想、できてないジャーん。
さらに、日本人には難しいと言っているのだ。
よく読めアホ!!
0548１３２人目の素数さん
2009/02/17(火) 01:05:51俺が言ってるのは受験数学は別に数学の発展の妨げにはなっていないということ。
やるやつは勝手にやる。
むしろどのような状況でも自分で切り開いていく能力をもっているのが天才でしょ。
英才教育と数学の発展とは別の次元だと言ってるんですよ。
0549１３２人目の素数さん
2009/02/17(火) 08:29:000550１３２人目の素数さん
2009/02/17(火) 21:24:500551１３２人目の素数さん
2009/02/17(火) 23:31:380552１３２人目の素数さん
2009/02/18(水) 01:43:070553１３２人目の素数さん
2009/02/18(水) 03:01:560554１３２人目の素数さん
2009/02/18(水) 19:20:280555５５５
2009/02/18(水) 19:27:180556１３２人目の素数さん
2009/02/18(水) 19:31:32クリスタルコホモロジーが不用ということ？
ほかの意味？
0557１３２人目の素数さん
2009/02/18(水) 22:17:100558１３２人目の素数さん
2009/02/19(木) 20:13:21単体分割みたいなもんだろ？
0559１３２人目の素数さん
2009/02/20(金) 18:11:37第１段のstratificationは接続と同値ということは分かるのだけど。
微分幾何の通常の接続と、ベクトルバンドルの張り合わせは、特別な関係が歩きが市内のだけど、代数幾何では関係するのかなどと何かよく分からない。
0560１３２人目の素数さん
2009/02/20(金) 20:07:410561１３２人目の素数さん
2009/02/21(土) 02:42:390562１３２人目の素数さん
2009/02/27(金) 17:06:440563１３２人目の素数さん
2009/02/27(金) 18:24:18× 市内
○ 竹刀
0564１３２人目の素数さん
2009/03/06(金) 20:57:56Berthlot＆Ogusで「§３のdivided power」と「Appendix A のuniversal PD ring」のところを読んでおけば、
Berthlotのフランス語の本で完全に理解できるみたいです。
0565１３２人目の素数さん
2009/03/17(火) 18:45:000566１３２人目の素数さん
2009/03/18(水) 13:42:090567１３２人目の素数さん
2009/03/19(木) 11:54:030568１３２人目の素数さん
2009/03/21(土) 23:46:29続く怪挙?でないことを祈る。
0569１３２人目の素数さん
2009/03/22(日) 13:49:25Riemannのってだれ？
0570１３２人目の素数さん
2009/03/22(日) 14:14:250571１３２人目の素数さん
2009/03/22(日) 22:51:51前スレ７の５００以降にヒント。
0572１３２人目の素数さん
2009/03/23(月) 09:24:02http://www.secamlocal.ex.ac.uk/people/staff/mrwatkin/zeta/RHproofs.htm
に日本人はのってないぞ。仲間うちだけの噂ばなしか？
0573１３２人目の素数さん
2009/03/26(木) 15:38:06あの当時、数理研で研究会が終わった後5時くらいから
M氏の講演ノートのコピーの解説があったから、関係者に
聞けば皆知っている。
0574１３２人目の素数さん
2009/03/28(土) 19:25:120575１３２人目の素数さん
2009/03/30(月) 20:43:480576１３２人目の素数さん
2009/03/30(月) 21:42:390577１３２人目の素数さん
2009/05/01(金) 08:36:060578１３２人目の素数さん
2009/05/05(火) 21:03:180579猫はもうジジイやし勘弁して ◆ghclfYsc82
2009/05/05(火) 21:22:270580ねこ君 ◆ghclfYsc82
2009/05/06(水) 14:35:30猫は一応全部コピーしたから、探せばどっかにはある。まあ読みにくい原稿で、証明は欠けてるわ、
何を使っているかは判らんわで、猫にはどうにもならんかったね。そんでも当時のその筋からの噂
ではファインマン積分と極限操作の交換がダメっちゅう顛末だったという記憶ですな。そんなん、加
算性もないのにどうにもならん、という言い方だったですよ。
0581ねこ君 ◆ghclfYsc82
2009/05/06(水) 18:36:22加算性 → 可算性
失礼しました。
0582１３２人目の素数さん
2009/05/07(木) 20:09:070583１３２人目の素数さん
2009/05/07(木) 20:15:09関係者って、どこにおるねん。
>580
ファインマン積分なんて、どこに書いてあるねん。
0584ねこ ◆ghclfYsc82
2009/05/07(木) 20:17:530585１３２人目の素数さん
2009/05/07(木) 20:25:31無責任なやつ！！
0586ねこ ◆ghclfYsc82
2009/05/07(木) 20:40:080587１３２人目の素数さん
2009/05/07(木) 22:12:06ﾊﾞｰﾔﾊﾞｰﾔ
>>584
ﾊﾞｰﾔﾊﾞｰﾔ
0588１３２人目の素数さん
2009/05/08(金) 06:18:130589１３２人目の素数さん
2009/06/02(火) 03:01:520590１３２人目の素数さん
2009/07/10(金) 08:50:010591１３２人目の素数さん
2009/08/18(火) 11:07:460592１３２人目の素数さん
2009/08/21(金) 14:13:07グロたんって生きてるの？
あといまの数学界でグロたん並みのアイドルってだれ？
0593１３２人目の素数さん
2009/08/23(日) 03:48:59＞ あといまの数学界でグロたん並みのアイドルってだれ？
猫
0594１３２人目の素数さん
2009/08/23(日) 03:51:51タオ
グロモフ
だと思う
0595「猫」∈社会の屑 ◆ghclfYsc82
2009/08/23(日) 09:22:36彼はまあ人間じゃないナ。神様か、まあ精々いいとこ
神の遣いかな。
とにかくワシを含めて下々が語ったら絶対にアカン。
0596１３２人目の素数さん
2009/08/23(日) 11:45:120597１３２人目の素数さん
2009/08/24(月) 00:11:250598１３２人目の素数さん
2009/09/21(月) 10:48:280599猫は獣 ◆ghclfYsc82
2009/09/21(月) 11:01:22生きてようと死んでようと下々には関係がありません。
猫
0600１３２人目の素数さん
2009/09/21(月) 11:22:46生きている ⇒ 論文などの新しい情報発信があり得る
死んでいる ⇒ 既存のものだけになる
0601１３２人目の素数さん
2009/09/21(月) 12:05:38ペレルマンと一緒
俗世間との関わりを捨てて数学も捨ててあっちの世界にいっちゃった
恐らく、数学を究めた瞬間
宇宙に存在するアカシックレコードに触れて精神が乖離してしまったんだろうな
0602１３２人目の素数さん
2009/09/21(月) 12:16:48数学に関することは続けてた、または続けてるだろ
0603１３２人目の素数さん
2009/09/21(月) 12:32:090604猫は獣 ◆ghclfYsc82
2009/09/21(月) 12:44:00大量の未公開文書が発見されて、その文書の記述内容を人類が理解する
までに今後数百年の数学の進歩が必要である・・・
正に夢の様な話だとは思いませんか！
猫
0605１３２人目の素数さん
2009/09/21(月) 13:00:080606猫は獣 ◆ghclfYsc82
2009/09/21(月) 13:10:500607β
2009/09/21(月) 13:56:490608１３２人目の素数さん
2009/09/21(月) 14:58:10Authors: Vladimir Voevodsky
(Submitted on 28 May 2008)
http://arxiv.org/abs/0805.4436
錚々たる顔ぶれということしか分からん
0609１３２人目の素数さん
2009/09/21(月) 16:04:37モチーフの定義について決定打みたいなのはあるの？
0610１３２人目の素数さん
2009/10/06(火) 23:02:150611１３２人目の素数さん
2009/10/07(水) 03:17:45まだ検証が続いているの？
0612１３２人目の素数さん
2009/10/08(木) 00:31:34最初からナマギーリ女神様と共にあったラマヌジャンと異なる点ですね
0613１３２人目の素数さん
2009/12/09(水) 17:26:20ほんとうにタオとグロモフでおｋ？
0614１３２人目の素数さん
2009/12/09(水) 17:27:31なんかうっとうしかったような気が
0615１３２人目の素数さん
2009/12/09(水) 19:22:44日本人写ってる。
0616１３２人目の素数さん
2009/12/10(木) 03:56:00＞ ほんとうにタオとグロモフでおｋ？
＞
ウィッテンとかは？
0617１３２人目の素数さん
2009/12/10(木) 04:46:34あとブルバキは構造主義 グロタンはポスト構造でＯＫですか
0618１３２人目の素数さん
2009/12/10(木) 04:50:43んですが、これに対抗できるおもしろい幾何学をさがしています
マンデルブロ、エレガントユニバースの変な網みたいなもの以外に何か
おもしろい幾何学があればスレチですがご教授を
0619１３２人目の素数さん
2009/12/10(木) 07:01:18グロタンディークと何の関係も無い
0620１３２人目の素数さん
2009/12/11(金) 08:21:450621１３２人目の素数さん
2009/12/11(金) 18:29:47物理の才能がない事に気づき数学に転向した
0622１３２人目の素数さん
2009/12/11(金) 19:22:36Weil予想を解くためにその方向に向かって言葉を次々に作っていくんだもの。
並みの天才じゃないよ。
0623１３２人目の素数さん
2009/12/11(金) 19:47:24でもグロタン無しには今でも解けなかった？
0624猫は珍獣 ◆ghclfYsc82
2009/12/11(金) 20:22:58まあ「問題を解く」というのは目標程度にはなりますわなぁ
でも「其処迄の道を引く」とか「言語や環境を整備する」と
言うのは並大抵の天才ではどうにもならんでしょうな。
まあ「恐ろしい人」だと思いますね。
猫
0625１３２人目の素数さん
2009/12/11(金) 20:26:06彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
0626やんやん ◆yanyan72E.
2009/12/11(金) 21:28:160627１３２人目の素数さん
2009/12/12(土) 23:53:480628１３２人目の素数さん
2009/12/13(日) 10:27:480629猫は珍獣 ◆ghclfYsc82
2009/12/13(日) 10:51:26Border Personality Disorderですよね。実はかなり前に自分で
その可能性を疑いましたけど、でも専門のある精神科医にはその
可能性を否定されましたね。但し精神科医の判断は「その人まち
まち」なので何とも言えません。しかもアメリカ精神医学会の
判定基準も数年毎に更新されるなど、かなり正確性に欠いている
為に、そういう可能性に関する正確な判定は極めて難しいと思い
ますね。
その専門医の所見は（脳機能検査の結果として）依存的かつ攻撃的
だそうで、ソレ等はディフェクトではないそうですが、私自身は
実は疑っています。それで、その誘発要因はですね、例えば：
（あ）機能不全家庭
（い）両親の離婚
（う）過干渉
等が挙げられている事から「かなり可能性が高い」と私は自分で
判断しましたが専門医（の一人）には否定されました。但し彼は
ACでさえ認めないという立場の医師なので、私は実は彼の判定を
疑っています。取り敢えず私が今言える事は此処までですね。
あとまあ、私の糞父は「自己愛性人格障害」だと私は睨んでいます。
もし気になる方が居られましたら、例えば「Toxic parents」（和訳
は確か「毒になる親」だったと思います）が参考になるのではと
考えますが、私は未だ読んではいません。悪しからず。
猫
0630１３２人目の素数さん
2009/12/13(日) 11:30:53彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
0631１３２人目の素数さん
2009/12/13(日) 12:10:29おまえのコピエのほうがうぜーよ
0632１３２人目の素数さん
2009/12/13(日) 13:34:40＞かなり正確性に欠いている為に
DSMが数年毎に更新されるから不正確だ、というのは如何かと思います。
高血圧やら糖尿病やらCOPDやらの診断基準でさえ年を経れば
更新されますが、だから高血圧の診断基準は不正確だとは言いません。
寧ろ何を診断基準にどこから先を「疾患」或いはそれに準じるものと
みなすかと言う考え方の違いに近いものです。
ACってもしかしてアダルトチルドレンのことですか？
これを疾患としての単位として認める医師が居たら
そっちのほうがおかしいと思いますけどね。
何と言うか、ノロウイルスの感染症を生牡蠣症候群と呼ぶようなもので。。
患者が、幼少期の親に原因があったんだ、と自分で言った場合に、
それを軽々しく鵜呑みにして一緒に親を責めるようなことは絶対してはいけないことで、
医師が多少距離を置いた態度を取るのはごく当然のことです。
0633１３２人目の素数さん
2009/12/13(日) 13:38:45彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
0634１３２人目の素数さん
2009/12/13(日) 14:25:40BPDの診断基準（一応当てはめの基準ということで）
1、「見捨てられ不安」
これあるよ。自覚あるだろ。
２、「不安定な人間関係、理想化とこき下ろし」
共著者との関係破綻、佐藤スクール京大の理想化、その他を見下す
３、「自己イメージの不安定」
数学にこだわってそれ以外を否定するのは不安定性を隠すため
４、「自己破壊衝動」
分からない。アルコールの量は？
５、「自殺企図」
知らん。なさそうだが。
６、「気分の不安定」
人格変わるよね
７、「空虚感」
知らん。「私は何のために数学をやっているんでしょうね」とは言っていた。
８、「制御不能の怒り」
あるよ
９、「ストレスへの弱さ」
これは分からない。ストレスに負けたときどういう行動するのか判別できない
アカハラと言われているから、何か非常識な行動があったんだと思う
５つに当てはまり２つが不明、１つは当てはまらない。基準によればＢＰＤ。
医者が判断を控えたのは、猫が元数学研究者だからだよ。
人格障害という概念がいかに差別的な理論かよくわかるね。
0635１３２人目の素数さん
2009/12/13(日) 15:02:46その理想化とこきおろしってのは周囲の人間に対しての
人間関係上のもので、同一の人物が理想化され
その後唐突にこき下ろされるとかいうのが良くあるパターン
学説の評価とかのことを言ってるんじゃない
数学者が数学に拘るのは当たり前のことで、それと自己イメージは関係ない
634は全般にこじ付けが過ぎる
0636１３２人目の素数さん
2009/12/13(日) 15:05:000637１３２人目の素数さん
2009/12/26(土) 18:45:240638猫は淫獣 ◆ghclfYsc82
2010/01/10(日) 22:32:22存じます。
敬具
猫拝
>頭が悪いのがコンヌみたいな数学史に残るであろう大天才に推薦状を書く雑用をさせていいと思ったのかい？
>お前が飢えてどこで野垂れ死のうと数学の歴史には全く影響がないが
>コンヌの時間を奪えば数学の歴史に影響しかねんとは考えられなかったのかい？
>お前は数学という学問への良心や献身の精神すら残ってないんだね
>その数学者の業績が高々30年以内に消えてしまうような数学者はマクロに見れば存在しようがしまいがどうでも良いんだよ
>そんなレベルの数学研究の従事者は世界全体で見れば掃いて捨てるほどいるからな
>そいつがそれなりに大事な定理を発見して証明したとしても、そいつがいなくても誰かがいずれは見つけてるんだよ
>その程度の独創性しかないからこそ30年未満で消えていくんだ
>そういう掃いて捨てるレベルの数学従事者に求められるのは研究よりも教育だよ
>教育者に求められるのは中途半端な数学の研究業績よりもちゃんとした人間性だ
>女性への欲望を押えられなくて痴漢に及ぶのなんてのは教育従事者としては論外だな
>自分の業績でウソをつくのも教育従事者としては論外だな
>盗撮も論外だ
>最低でも30年以上は業績がリファーされるほどの才能もなく教育従事者としての適性もない数学しかできん半端者に税金から給料を払う必要なんてないのさ
>何をやろうと許されるのは数学史に名前が刻まれるレベル、つまりそいつが消えれば数学の歴史が変わってしまうであろう本当の天才だけだ
>それ以外の少し数学が得意なだけの幾多の凡人は社会人としての常識がなければ社会では必要ないのさ
>社会で必要ないってことは大学や組織が給料を払ってやる必要はないってことだ
EOF
0639猫は淫獣 ◆ghclfYsc82
2010/01/11(月) 09:27:11昨夜の私のアクションを受けてですね、もう一度境界性人格障害を
疑ってですね、更なる分析をしてみませんかね？ アナタの判定結果
には興味がありますんでね。
まあ気長に貴方のレスをお待ちしますよ。
猫
0640１３２人目の素数さん
2010/01/11(月) 12:07:30猫の懲戒免職は因果応報
0641１３２人目の素数さん
2010/01/13(水) 01:04:57あなたは一人では何ーんも出来ない人です。
２ちゃんねるに書けば書くほどのめりこみ、のめりこむほどダメージを受けます。
ボロボロにされてしまいには完璧な境界例になりますよ。素質あるんだから。
0642１３２人目の素数さん
2010/02/15(月) 05:00:11ttp://sbseminar.wordpress.com/2010/02/09/grothendiecks-letter/
0643ソヤシ猫 ◆ghclfYsc82
2010/02/15(月) 07:32:40★『とんでも数学科』の学生事情は知って真っ青やそうやしね、ほしてから
★『とんでも大学院』の修士論文っちゅうんは中々凄いんやそうやナ。また
★『とんでも大学院』の博士論文っちゅうんも結構アルそうやしね、ほんで
★『誰でも大学院』の何でも博士っちゅう話は最近の話題らしいナ。そやけど
★『馬鹿でも大学院』のアホでも修士っちゅうんが一番困るらしいナ。
ホンマにエラいこっちゃーーー
猫
0644１３２人目の素数さん
2010/02/15(月) 17:54:14グロタン頭おかしくなっちゃったのか？
0645１３２人目の素数さん
2010/02/15(月) 17:56:03昔からです
0646１３２人目の素数さん
2010/02/16(火) 01:05:37知らなかった
山も知らんだろう
0647１３２人目の素数さん
2010/02/16(火) 23:13:470648１３２人目の素数さん
2010/03/10(水) 23:40:010649１３２人目の素数さん
2010/03/11(木) 14:48:34フランスの主だった大学に職を求めて全て断られたらしいね。
だれかの陰謀なのか？
やっと決まったのがフランスの片田舎のモンペリエ大学のそれも教授でなく講師。
これがもし本当のことならフランスの大学は最低だな。
もしGrothendieckがエコールノルマルなどの教授職についていたらその門下生から
優れた数学者が育っただろうに。
M.ArtinとかDeligneみたいな。
0650１３２人目の素数さん
2010/03/24(水) 05:56:150651１３２人目の素数さん
2010/03/24(水) 06:55:25アメリカの大学なら喜んで
むかい入れたんじゃないかな
0652１３２人目の素数さん
2010/03/24(水) 07:28:000653１３２人目の素数さん
2010/03/24(水) 15:06:04京大数理研究所に招いていたらどうなっただろう。
0654１３２人目の素数さん
2010/03/25(木) 09:34:13結果、みんなはグロタンの理論を、未解決問題を無理やり解くのに
応用するばかりで、グロタンのビジョン自体は余り発展しなかった
（彼ほどの先見の明のある人は居なかったので発展させられなかったし、
搾取されていると思ってたことでしょう）
最近十数年やっとそういう方向に進みつつあるので、
それに気が付いたグロタン関係者はやべーって感じで焦ってるんじゃない
0655１３２人目の素数さん
2010/04/14(水) 18:21:26ブンゲンってよ。ハンサムだし、ちゃんと、京大の准教授なんかやってんのに
なんで、２ｃｈでは馬鹿にされてるんだ？
0656１３２人目の素数さん
2010/04/16(金) 04:13:490657１３２人目の素数さん
2010/04/16(金) 11:21:000658１３２人目の素数さん
2010/06/27(日) 11:45:50■ このスレッドは過去ログ倉庫に格納されています