431:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 00:32:06.26 liBiuo2u.net
>>379
ノイキルヒ「代数的整数論」を読んでいるけど
§11 局所化、局所環
§14 関数体 もいいね
第一章を読むだけでも値打ちある（＾＾
432:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 00:38:58.76 liBiuo2u.net
>>382
ノイキルヒは、分り易くよく書けているね
URLﾘﾝｸ(ja.wikipedia.org)
環のスペクトル
抽象代数学と代数幾何学において，可換環 R のスペクトル Spec(R) とは，R のすべての素イデアルからなる集合である．通常ザリスキー位相と構造層をともに考え，それにより Spec(R) は局所環付き空間である．この形の局所環付き空間はアフィンスキームと呼ばれる．
目次
1 ザリスキー位相
2 層とスキーム
3 関手として
4 関連項目
層とスキーム
ザリスキー位相を持った空間 X = Spec(R) が与えられると，その構造層 OX が開集合 Df 上 Γ(Df, OX) を R の f における局所化 Rf とすることで定義される．これは B 層（英語版）を定義し，したがって層を定義することを示すことができる．より詳しくは，開集合 Df たちはザリスキー位相の基底であるので，任意の開集合 U に対し，
関手として
圏論のことばを用いて Spec が関手であることを見ることは有用である．任意の環準同型 f: R → S は連続写像 Spec(f): Spec(S) → Spec(R) を誘導する（なぜなら S の任意の素イデアルの引き戻しは R の素イデアルなので）．このようにして，Spec は可換環の圏から位相空間の圏への反変関手と見ることができる．
433:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 07:05:56.16 liBiuo2u.net
いやー、静かになったね
いいことだｗ（＾＾
434:１３２人目の素数さん
19/04/10 07:25:19.75 31gxXPim.net
>>377
＞大阪大学の証明なんて、こんなスレでする必要もない
大阪大学理学部数学科の教員（退職者を含む）全員に対し
時枝記事に関する卒業生からの問い合わせの有無を確認した
その結果該当する事象がなかった、と調べがついている
つまり、貴様はウソつきだということだ
１）そもそも貴様は工学部の卒業者であって
大学数学科３年、４年の確率論・確率過程論を履修しておらず
それらが時枝記事と無関係で、時枝記事の成立を妨げないことが
理解できない
２）時枝記事が成立するのなぜ貴様には不成立に見えるのかが問題だ
３）一つは尻尾の同値類の代表元が、決定番号以降の箱の中身の情報をもたらす
ということが理解できてない
４）もう一つは有限列で決定番号が終端ならば、そもそもその先の尻尾がなく
したがって同値類の代表元が分からない、ということが理解できてない
貴様は函数の芽の同値類（茎、層）とかほざいてるが
上記の点に関する理解に全然つながらないので、無駄な足掻きである
結論：
435:思考力が欠如した白痴には数学は理解できない
436:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 07:31:20.28 liBiuo2u.net
>>382 追加
§3 イデアルを読んだが、”極大イデアル”の定義が出てこない
そういう目で見ると、当然ながら、この本はある程度大学レベルの代数の基礎は仮定しているんだねｗ（＾＾
現状でも十分厚い本だから、分りきったことは省くという考えか（＾＾；
当然だね
URLﾘﾝｸ(ja.wikipedia.org)
極大イデアル
環 R の極大左イデアル（きょくだいひだりいである、英: maximal left ideal）とは、R 以外の左イデアルの中で（集合の包含関係に関して）極大なもののことである。
すなわち、左イデアル I を真に含む左イデアルが R しかないときに I を R の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは（環が 0 でなく単位元をもつとき）ツォルンの補題によって存在が保証される[1]。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。
目次
1 性質
2 例
3 極大部分加群
437:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 07:34:33.74 liBiuo2u.net
>>385
(引用開始)
大阪大学理学部数学科の教員（退職者を含む）全員に対し
時枝記事に関する卒業生からの問い合わせの有無を確認した
その結果該当する事象がなかった、と調べがついている
(引用終り)
面白いジョークだね
ありがとう
笑える（＾＾
438:１３２人目の素数さん
19/04/10 07:37:57.12 31gxXPim.net
>>387
ジョークではない
実際に調べた
貴様は嘘つき
貴様は社会的に死んだ
R.I.P
439:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 07:39:54.40 liBiuo2u.net
> 大学数学科３年、４年の確率論・確率過程論を履修しておらず
確率過程論は、仕事及び自分の専門分野との関係で、いろいろその手の論文も読んだ
つーか、そういうランダム現象を扱う分野の論文があってね
そこで引用されているから、ある程度勉強せざるを得ない事情があった
だから、時枝記事を見たときに、「これは確率過程論とは合わない」ということが、すぐ分った
一番最初にそう書いたと思うよ
440:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 07:46:04.09 liBiuo2u.net
>>388
”ジョークではない
実際に調べた”
「私はウソは申しません！」かｗ
昔、政治家の言葉だった
いま、サイコパスが同じことをいうｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
池田勇人
内閣総理大臣（第58・59・60代）
発言と報道
私はウソは申しません
池田はテレビを本格的に活用しようとした最初の首相である[325]。
1960年11月20日の第29回総選挙に先立っては自ら自民党のテレビCMに登場して、本音しか言えない池田というイメージを逆手に取って「私はウソは申しません」と言い切った[162]。これらいずれもが当時の流行語となり、これが世論を背景にした政権運営という新しいスタイルに先鞭を付けるものともなった[215]。
441:１３２人目の素数さん
19/04/10 07:58:33.96 St6ZZb2B.net
スレ主は教科書に載ってる章末問題とかやらんの？
お前の学力じゃまったく解けんだろ
一番手っ取り早くバカを自覚できるぞ？
しかしスレ主はやろうともしないし、それ以前に教科書を持ってない
442:１３２人目の素数さん
19/04/10 08:01:35.74 St6ZZb2B.net
＞確率過程論は、仕事及び自分の専門分野との関係で、いろいろその手の論文も読んだ
基礎ができてないバカが論文読んだところで、所詮独善的解釈するだけ、分かった気になるだけ
試しに確率過程論の教科書買ってきて章末問題解いてみなさい
ゼロ点のはずだから
443:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 08:18:39.73 liBiuo2u.net
>>390
サイコパスは、すぐバレルウソをつくという
その典型だね
444:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 08:19:20.12 liBiuo2u.net
>>391-392
どうぞ、ご自由にｗ（＾＾
445:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 08:21
446::28.85 ID:liBiuo2u.net
447:１３２人目の素数さん
19/04/10 08:51:21.32 TKgkXBpw.net
工学バカが「おれは数学が分かってる」て
全然分かってないという独善。
448:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 09:50:30.96 3E6+cUQu.net
いいんじゃない？ｗ（＾＾
人それぞれで
昔、高校数学でおれは教科書の章末問題を飛ばして、青チャート、赤チャート、過去問、大学への数学、たまに数学セミナーを覗いたりだった
自分の専門分野の論文で、確率過程論を使ったのがあったので、確率過程論の本を見た。当然、章末問題なんかやらんよｗ
目的と手段を混同してはいけない
自分の専門分野の論文を読むのが目的なのであるから、確率過程論の章末問題を解いて、確率過程論全体を理解する必要はないんだ
もちろん、自分が論文を書く立場なら、その目的に応じた確率過程論の勉強の仕方があるだろう
学生で定期試験があって、いい成績を取りたいなら、章末問題を解いておくべきかも
449:１３２人目の素数さん
19/04/10 09:54:27.83 nOA91JH5.net
できないのをやらないと言い換えるのは無能の典型
450:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 09:55:33.97 3E6+cUQu.net
例えば、確率過程論が自分のやりたいことと深く関わっているなら、真剣に勉強して章末問題も解けばいい
だが、たまたま読んだが、結局は使えないと判断したのに、章末問題を解くのは無意味
451:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 09:57:20.87 3E6+cUQu.net
世の中、知っているか知っていないかで、大きな違いが出るときがある
時枝の大失敗は、確率過程論の必要な知識が欠落していたってことだな
452:１３２人目の素数さん
19/04/10 10:03:19.84 iRb2zAWf.net
確率過程論は確率過程論、数学ではない
453:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 10:07:26.04 3E6+cUQu.net
>>387-388
サイコパス
（参考）
URLﾘﾝｸ(www.psy-nd.info)
サイコパスとは何か？-私たちが知っておくべき善意を持たない人々
サイコパスの特徴 > 非常によく嘘をつく
非常によく嘘をつく
後先を考えない嘘
誰でも体裁を保ったり、見栄をはったり、事を荒立てないようにするために多少の嘘をつくことはあるでしょう。
しかし、我々は通常、サイコパスのように平気で大胆に、堂々と嘘をつく人間に出会う事はほとんどありません。
常識的に考えれば、そんな嘘をついて後でバレれば恥をかくだけですし、どう考えてもデメリットの方が明らかですから、動機の上でも理不尽な行動です。
しかし、サイコパスは目先の退屈しのぎや、自分が優位に立つことを優先して、迷わず嘘をつくという行動をとります。
そして少なくとも本性を知られるまでの一定の期間は、自分を魅力的な人物に見せようとするわけです。
本人すらそれを信じているように見える
サイコパスは嘘がバレることを普通の人のように恐れたり、自分を恥じたりすることがありません。
これによってサイコパスは嘘をついている本人自信がそれを信じ込んでいるかのごとく、まるで熟練した役者のように見事な演技力を発揮することができるのです。
この巧みな嘘によって、サイコパスは素人だけでなく、カウンセラーや心理学者などの専門家すら騙し、操ることがあると言われているほどです。
454:１３２人目の素数さん
19/04/10 10:11:07.82 TKgkXBpw.net
材料工学こそ至高の学問
数学をマスターするかどうかは「使えるか使えないか」で判断する
すっぱい葡萄ですなぁ
その割にはコピペ蒐集は大好き
結局、こいつはゴミ屋敷の主なんですよw
455:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 10:31:33.39 3E6+cUQu.net
＜決め台詞 (きめぜりふ)＞
わしがガロアスレのスレ主である！！ｗｗ（＾＾
URLﾘﾝｸ(dic.nicovideo.jp)
ニコニコ大百科
江田島平八単語
エダジマヘイハチ
(抜粋)
わしが男塾塾長江田島平八である！！
456:１３２人目の素数さん
19/04/10 10:31:45.98 TKgkXBpw.net
岡潔曰く「死蔵されている知識などない方がよい。」
「これらは少しも益はないが、自分の目でそれらをちゃんと見ることを妨げる働きだけはする。」
生半可な知識で分かった気になることほど数学の理解を妨げることはないということ。
スレ主にとっては頂門の一針ですな。
457:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 10:32:13.16 3E6+cUQu.net
ゴミ板のゴミ屋敷ねｗ（＾＾；
458:１３２人目の素数さん
19/04/10 10:38:28.89 TKgkXBpw.net
最後にスレ主ホイホイのテンプレでも貼っておきますか。
相手に確率過程論の知識が有ろうが無かろうが証明すりゃいいだけｗ
相手に知識が無いと困るというのは、「俺には証明はできないが、俺の言いたいことを汲み取ってくれ」と懇願しているのと同じこと。
これはスレ主の常とう手段。確率論の専門家のレスをやたら引用するのもそれ。自分が分かってれば引用する必要無い。
ということでさっさと証明しなさい。できないなら分かった気になってるだけ。
459:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 10:38:29.71 3E6+cUQu.net
>>406
ゴミ屋敷板という方が相応しいかもｗ（＾＾；
URLﾘﾝｸ(49.212.78.147)
勢いランキング
2ch全カテゴリ > 学問・理系 > 数学 4月10日 10:30:28 更新
順位 6H前比 スレッドタイトル レス数 勢い
1位 = 奇数の完全数の存在に関する証明4 884 43
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む63 403 38
3位 = 分からない問題はここに書いてね451 926 21
4位 = 数学の本第82巻 466 19
5位 = Inter-universal geometry と ABC予想 37 525 17
6位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 874 10
7位 = ゼロ除算で加減乗除が定義できた 185 9
8位 = 高校数学の質問スレPart399 610 9
9位 ↑1 33歳数学ど素人だが、フィールズ賞目指すスレ 37 6
10位 ↑1 数学ってネット上の情報だけで独学できるのかね 14 5
11位 ↑1 ■初等関数研究所■ 282 5
12位 ↓-3 小学校のかけ算順序問題×19 130 5
13位 = 【自称数学者】三鷹の大類昌俊 Part8【つどい出禁】 246 4
14位 = クソニートに数学を教えてくれないか 120 4
460:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 10:42:39.97 3E6+cUQu.net
>>407
これは、君子豹変 vs イヌコロのサイコパスさんじゃないですか？ｗ
イヌコロさんでしたね
確率変数が分かってなかったｗ（>>24-25ご参照）
確率変数が分かってないイヌコロと
確率過程論を語るほど暇ではないｗ
461:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 11:35:10.62 3E6+cUQu.net
コロンブスのタマゴかも
発想が面白いね 磁石非対称モーター
URLﾘﾝｸ(www.nikkei.com)
三菱電機、次世代ハイブリッド車に磁石非対称モーター
2019/4/9 6:30日本経済新聞
URLﾘﾝｸ(monoist.atmarkit.co.jp)
MONOist > オートモーティブ > HEV用SiCインバーターの体積がさらに半減、非対称構...
HEV用SiCインバーターの体積がさらに半減、非対称構造でモーター出力密度を向上 (2/2)
2019年03月04日
自動車はほとんどの場合前進する、ならばモーター構造も非対称でOK
世界最高クラスとする出力密度のモーターは、自動車向けモーターであることに着目して開発された非対称回転子構造が特徴になっている。
URLﾘﾝｸ(image.itmedia.co.jp)
URLﾘﾝｸ(image.itmedia.co.jp)
462:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 11:39:57.59 3E6+cUQu.net
>>405
>岡潔曰く「死蔵されている知識などない方がよい。」
>「これらは少しも益はないが、自分の目でそれらをちゃんと見ることを妨げる働きだけはする。」
>生半可な知識で分かった気になることほど数学の理解を妨げることはないということ。
>スレ主にとっては頂門の一針ですな。
おれは反対だね
いまどき、どんな天才であれ、学部レベルの数学で終わって、独力で数学研究したところで、二番煎じならまだまし
二番煎じにもならん
一方、鈍才でも最先端の分野で小さな石でも積み上げてそれが最初なら、オリジナルだよ
巨人の肩という
巨人の肩へのぼる努力をまずすべきだと思う
因みに、岡潔先生の弟子は育たなかった
岡先生は偉かったが、みんな自分と同じだと錯覚していたのかもねｗ（＾＾；
463:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 11:58:44.16 3E6+cUQu.net
フィールズ賞など、いろんな賞の業績紹介を見てみな
全てが全て、先人の研究の上にさらに積み上げたものだ
ほんとに独創というのは、ノイマンのゲーム理論くらいかも。
あれは、前例がないと思った
ワイルズさんのフェルマーだって、先人のフライ曲線とか谷山予想とかの上
Alexander Grothendieckの活躍もCategory theoryとの出会いによるという
人生、必要十分な勉強は理解は可能だろう
だがしかし、人生に必要最小限だけの知識を用意しておくことは難しい。なにが必要になるのか、神ならぬ人間には知りえないのだから
知っていれば、必要になったときに学習することは可能
まあ、普通探すけどね、自分が直面している問題の助けになる知識を
でも、必要なキーワードが浮かばないと苦しいことは確かだな
なので、岡先生は自分がうまく行ったからこその言葉と思うべしだろう
URLﾘﾝｸ(en.wikipedia.org)
Alexander Grothendieck
Category theory
Grothendieck's emphasis on the role of universal properties across varied mathematical structures brought category theory into the mainstream as an organizing principle for mathematics in general.
Among its uses, category theory creates a common language for describing similar structures and techniques seen in many different mathematical systems.[71] His notion of abelian category is now the basic object of study in homological algebra.[72]
The emergence of a separate mathematical discipline of category theory has been attributed to Grothendieck's influence, though unintentional.[73]
464:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 13:12:38.65 3E6+cUQu.net
メモ貼る
URLﾘﾝｸ(gendai.ismedia.jp)
「東大合格が人生のピークでした」…世間が知らない東大格差の実態 # 週刊現代 20190410
「週刊現代」2019年3月23日号より
URLﾘﾝｸ(gendai.ismedia.jp)
もちろん東大には本物の天才も存在する。東大を単なるステップアップの踏み台としてしか見ていない、いわゆる「東大からの人」だ。
文学部に在籍する岩﨑翔太氏（24歳）は'16年9月、3年生の時点で株式会社「終活ねっと」を設立した。葬儀やお墓など終活の悩みを解決する情報を載せたポータルサイト「終活ねっと」を運営している。
創業わずか1年で約1億円の資金調達
465:に成功し、昨年10月にはDMM.comに推定10億円で買収され（経営は独立した形で継続）、注目を集めた。 岩﨑氏はなぜ在学中の起業に踏み切ったのか。 設立から2年半で現在、従業員は60名だ。取りかかってすぐに結果を出せてしまうのが「東大からの人」なのだ。 https://gendai.ismedia.jp/articles/-/63807?page=3 いつまで勉強するつもり？ だが、「東大までの人」はまだ救いようがあると語るのは、東大経済学部出身の飯田泰之氏（明治大学准教授）だ。 「『そうだよね、俺は特別じゃないもんね』と言って、気楽な人生を歩む方向に舵を切れる人は、ある意味で成功者と言えるでしょう。しかし、本当に救いようがないのは、平凡であるのに、周囲の尊敬を集めたがる東大生です」（飯田氏） つづく
466:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 13:13:22.64 3E6+cUQu.net
>>413
つづき
URLﾘﾝｸ(gendai.ismedia.jp)
一握りの天才でないならばうまく生きていく方法を見つけて「東大までの人」になるしかない。しかし、神童と呼ばれていた頃との落差に耐えられず、それすらなれない「東大だけの人」が存在するのだ。
冒頭の小林さんはまさにこのタイプだった。周りに差を見せつけられ、プライドを傷つけられたが、大学3年になると一発逆転を狙って司法試験に挑戦することにした。
「試験勉強は小さい頃からずっとやってきた。自分にはこれしか取り柄がないと思い、猛勉強を始めたのです」（小林さん）
なんとか東大の法科大学院は出たが、司法試験に落ち続け、昨年5月の試験にも失敗してしまった。気がつけば、ただ時間だけが過ぎ、今年30歳になる。
「もう就職先もないでしょうから、挑戦し続けるしかありません。同級生は仕事で責任ある立場を任され、結婚している人もたくさんいます。
自分がどうしようもないことはわかっています。でも心のどこかで司法試験に合格して、弁護士として大成し、それこそ知事か市長にでもなれれば巻き返せるのではないかと思ってしまうんです」
茨の道だとわかっていても、もはや後戻りもできず、突き進んでいくしかない。「自分は東大生だった」というプライドだけが小林さんの拠り所なのだ。
子どもを前にしたり顔
小林さんがいま充実を感じるのは試験勉強の合間を縫って、週に2回、3時間担当している塾講師の仕事である。
「熱心に自分の授業を聞いてくれる生徒たちを前にすると、東大に合格した頃の栄光を思い出せます。
たとえ不安定な職業だとしても、東大卒というだけで生徒たちは『先生』と呼んで尊敬してくれる。再び司法試験に失敗してしまったら、このまま予備校講師になるのも一つの手だと思っています」（小林さん）
(引用終わり)
以上
467:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 13:18:41.85 3E6+cUQu.net
補足
>>413
>「東大合格が人生のピークでした」…世間が知らない東大格差の実態
冒頭の似た話（出身高校による情報格差）は、何年か前に読んだことがある
なので、その焼き直しだろう
>>414
>なんとか東大の法科大学院は出たが、司法試験に落ち続け、昨年5月の試験にも失敗してしまった。気がつけば、ただ時間だけが過ぎ、今年30歳になる。
>子どもを前にしたり顔
>小林さんがいま充実を感じるのは試験勉強の合間を縫って、週に2回、3時間担当している塾講師の仕事である。
>「熱心に自分の授業を聞いてくれる生徒たちを前にすると、東大に合格した頃の栄光を思い出せます。
サイコパスが、小学生を教えているという情報があったね（＾＾；
がんばれよ、サイコパス
468:１３２人目の素数さん
19/04/10 19:34:16.44 31gxXPim.net
>>413-415
貴様は「東大以前の人」だけどなｗ
御三家（開成・麻布・武蔵）や灘・ラ=サールや
国立大付属高の優秀な連中は、
鼻くそほじってても東大に入れる
関西で東大どころか京大にも入れん時点でカス
貴様もどうせ
469:どこぞのド田舎の公立校出身だろ はっきりいって勝負は中学受験時についている １２歳でトップに立てないヤツは いくつになろうがトップに立てない
470:１３２人目の素数さん
19/04/10 19:34:47.52 31gxXPim.net
>>411
>鈍才でも最先端の分野で小さな石でも積み上げてそれが最初なら、オリジナルだよ
>巨人の肩へのぼる努力をまずすべきだと思う
その考えがそもそも二番煎じｗ
岡潔も佐藤幹夫も、当時の最先端の事柄を研究したわけではない
むしろまだ海のものとも山のものともつかぬことを研究してきた
そこで成果を出したのを見て、後から食いついたって
パイオニアを超えるものは残っちゃいない
天才はそもそも何が面白いのか見つけられる目を持ってる
鈍才にはそれがない
いまごろグロタンとかトポスとか数十年前のブームを追っかけてる
時代遅れの馬鹿の貴様には決して分かるまいｗ
>岡潔曰く「死蔵されている知識などない方がよい。」
>「これらは少しも益はないが、自分の目でそれらをちゃんと見ることを妨げる働きだけはする。」
知識は所詮結果であり死体である
狩人は生きている獲物を狙うものだ
471:１３２人目の素数さん
19/04/10 19:35:30.03 31gxXPim.net
>「俺には証明はできないが、俺の言いたいことを汲み取ってくれ」
主張が証明できないのはそもそも主張が間違ってるから
いいたいことが間違いだと気づけ
工学部卒の馬鹿より時枝正のほうが
数学を理解していることは自明だ
うぬぼれるのもいい加減にしろ
東大どころか京大にも入れぬ
負け犬野郎のくせにデカい面するな
472:１３２人目の素数さん
19/04/10 20:51:50.75 St6ZZb2B.net
>>397
言い訳だけは一人前だなｗ
473:１３２人目の素数さん
19/04/10 21:45:58.78 31gxXPim.net
負け犬は言い訳しかしない
負け犬は死ね！！！
474:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 22:05:34.78 liBiuo2u.net
＜決め台詞 (きめぜりふ)＞
わしがガロアスレのスレ主である！！ｗｗ（＾＾
URLﾘﾝｸ(dic.nicovideo.jp)
ニコニコ大百科
江田島平八単語
エダジマヘイハチ
(抜粋)
わしが男塾塾長江田島平八である！！
475:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 22:06:51.93 liBiuo2u.net
サイコパス、口先だけは一人前 （一句）ｗ（＾＾
（参考）
URLﾘﾝｸ(www.psy-nd.info)
サイコパスとは何か？-私たちが知っておくべき善意を持たない人々
サイコパスの特徴 > 非常によく嘘をつく
非常によく嘘をつく
後先を考えない嘘
誰でも体裁を保ったり、見栄をはったり、事を荒立てないようにするために多少の嘘をつくことはあるでしょう。
しかし、我々は通常、サイコパスのように平気で大胆に、堂々と嘘をつく人間に出会う事はほとんどありません。
常識的に考えれば、そんな嘘をついて後でバレれば恥をかくだけですし、どう考えてもデメリットの方が明らかですから、動機の上でも理不尽な行動です。
しかし、サイコパスは目先の退屈しのぎや、自分が優位に立つことを優先して、迷わず嘘をつくという行動をとります。
そして少なくとも本性を知られるまでの一定の期間は、自分を魅力的な人物に見せようとするわけです。
本人すらそれを信じているように見える
サイコパスは嘘がバレることを普通の人のように恐れたり、自分を恥じたりすることがありません。
これによってサイコパスは嘘をついている本人自信がそれを信じ込んでいるかのごとく、まるで熟練した役者のように見事な演技力を発揮することができるのです。
この巧みな嘘によって、サイコパスは素人だけでなく、カウンセラーや心理学者などの専門家すら騙し、操ることがあると言われているほどです。
476:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 22:40:00.70 liBiuo2u.net
>>417
>いまごろグロタンとかトポスとか数十年前のブームを追っかけてる
落ちこぼれサイコパス
バカじゃねｗ
大学の学部の数学教程みてみろ！ｗ
イプシロ－デルタだぁ？ 19世紀の数学でしょｗ（150年くらい前）
集合論ZFCだぁ？ 位相空間だぁ？ 20世紀前半の数学でしょｗ（100年くらい前）
それが、日本の学部数学科の現状じゃないですか～ｗ
学部で落ちこぼれたサイコパスにはワカラないだろうが
グロタンとトポスは、圏論ルートで21世紀でも十分最先端に繋がっている
もちろん、それだけでは十分ではないけどね
層→圏→トポス→高階論理→ゲーデルの加速定理じゃねｗ（＾＾
477:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/10 23:05:51.15 liBiuo2u.net
大人の社会人の数学と、学生の数学とは違う
学生の数学は、カンニングはだめ。
限られた時間の定期試験や院試で良い成績を出すこと。
小綺麗な論文を書くこと
大人の数学は、カンニングあり、相談あり、この指とまれで仲間を集めるのも、人を雇うのも可。
定期試験や院試はない。しかし、仕事では結果が求められる
小綺麗な論文を書く必要は、必ずしもない。ビジネスになるならば
要するに、求められているものが違う
私スレ主？
趣味と遊びのスレと思ってくれ（＾＾；（>>9）
478:１３２人目の素数さん
19/04/10 23:12:23.90 69TfMprr.net
>>424
いいこと言うじゃん
479:１３２人目の素数さん
19/04/11 01:00:38.85 /tQWetI4.net
世の中、知っているか知っていないかで、大きな違いが出るときがある
アホバカの大失敗は、同値類の必要な知識が欠落していたってことだな
480:１３２人目の素数さん
19/04/11 01:02:41.85 /tQWetI4.net
>>409
確率過程論など不要ということが分かってないアホはお前だけ
481:１３２人目の素数さん
19/04/11 05:56:36.96 Z/fJ/j1R.net
＞層→圏→トポス→高階論理→ゲーデルの加速定理
馬鹿丸出し
ゲーデルの加速定理は圏とも高階論理とも無関係
池沼か？
482:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/11 07:24:24.03 SCIZmoFu.net
メモ
URLﾘﾝｸ(ja.wikipedia.org)
局所環
抽象代数学における局所環（きょくしょかん、英: lo
483:cal ring[1]）は、1938年にヴォルフガンク・クルルによって導入された概念で[2]、比較的簡単な構造を持つ環であり、代数多様体や可微分多様体上で定義される関数の、あるいは代数体を座や素点上の関数として見るときの「局所的な振る舞い」を記述すると考えられるものである。局所環およびその上の加群について研究する可換環論の一分野を局所環論と呼ぶ。 目次 1 定義 2 例 2.1 可換な例 2.2 非可換な例 3 諸事実と諸定義 3.1 可換の場合 3.2 一般の場合 例 可換な例 可換（および非可換な）体は {0} を唯一の極大イデアルとする局所環である。 局所環に「局所」の名を冠する理由は次のようなものである。まず、実数直線上で 0 を含むある開区間において定義される実数値連続函数を考え、函数の 0 付近という局所での挙動のみに注目して、0 を含むある開区間（これはいくらでも小さく取って構わない）で一致するような函数を全て同一視する。 この同一視というのは同値関係を成し、この同値類を 0 における実数値連続函数の芽（め、germ）または実数値連続函数芽（が）という。実数値連続函数の芽は通常の函数の値ごとの加法と乗法によって可換環をなす。 この連続函数芽全体の成す環が局所環であることを知るためには、函数芽の可逆性を定義する必要がある。函数芽 f が可逆であるとは f(0) が 0 でないこととする。これはつまり、f(0) が 0 でなければ、連続函数の性質から、0 を含む適当な開区間上で f が 0 にならず、したがってその区間上で g(x) = 1/f(x) という連続函数の芽を考えることができるという理由による。このとき fg は 1 に等しい。 この特徴づけで明らかなことは、非可逆な函数芽の和がやはり非可逆となるということであり、これによって函数芽の環が可換局所環であることを知ることができる。特にこの局所環の極大イデアルは f(0) = 0 を満たすような函数芽全体に一致する。
484:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/11 07:27:17.60 SCIZmoFu.net
>>428
>ゲーデルの加速定理は圏とも高階論理とも無関係
(>>184より)
URLﾘﾝｸ(ja.wikipedia.org)
ゲーデルの加速定理
ゲーデルの加速定理（ゲーデルのかそくていり、英: Godel's speedup theorem）は Godel (1936)で証明された。この定理によれば、弱い形式的体系では非常に長い形式的証明しか存在しないが、より強い形式的体系では極めて短い形式的証明が存在する、というような文が存在する。
クルト・ゲーデルはそのような性質を持つ文を具体的に構成した。それはn階算術の体系で証明可能な命題であってn+1階算術ではより短い証明を持つものが存在するというものである。
(引用終り)
ゲーデルの加速定理
↓
クルト・ゲーデルはそのような性質を持つ文を具体的に構成した。それはn階算術の体系で証明可能な命題であってn+1階算術ではより短い証明を持つものが存在するというものである。
↓
高階論理
↓
圏論
485:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/11 07:33:52.17 SCIZmoFu.net
>>425
どうも、ありがとう（＾＾
486:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/11 11:25:14.90 05tkXB0p.net
メモ
URLﾘﾝｸ(www.nikkei.com)
ブラックホール捉えた 100年越しの「存在証明」 日経 2019/4/10 22:12
アインシュタインの一般相対性理論に基づいて存在が予言されてから約100年、ブラックホールの姿がついに捉えられた。太陽のような恒星が何千億個も集まった銀河がどのようにできたかなどの解明につながる。一般相対性理論を超える新たな理論の発展へ突破口を開く期待もある。
URLﾘﾝｸ(www.nikkei.com)
URLﾘﾝｸ(www.nikkei.com)
487:8000/?n_cid=DSREA001 ブラックホールの撮影に成功 世界の電波望遠鏡を連動 日経 2019/4/10 22:09 (2019/4/10 22:14更新) https://www.nikkei.com/content/pic/20190410/96958A9F889DE6E1E7EAEAE3E1E2E3E2E2E6E0E2E3EB9F9FEAE2E2E2-DSXMZO4359189010042019MM8001-PN1-3.jpg 宇宙には無数の星の集まりである銀河が少なくとも数千億あり、その中心には巨大ブラックホールが存在するとされる。研究グループは地球から5500万光年離れたおとめ座のM87銀河にある巨大ブラックホールを2017年に撮影し、10日に画像を公開した。 分析によると、撮影したブラックホールの質量は太陽の約65億倍。画像には周辺に直径およそ1千億キロメートルの光の輪が映し出された。 観測技術や膨大なデータを処理するコンピューターの性能が飛躍的に向上し、理論上の存在だったものが実際にとらえられるようになった。ブラックホールも最先端の技術を駆使し、その姿を写し出すことに成功した。 観測技術の改良が進めば、地球からさらに離れたブラックホールを撮影できる可能性がある。重要な特徴を見つけ出すデータ解析の手法は、人工知能（AI）や通信、医療などにも応用され始めており、産業への貢献も期待される。
488:１３２人目の素数さん
19/04/11 19:19:51.80 Z/fJ/j1R.net
>>430
>ゲーデルの加速定理
> ↓
>それはn階算術の体系で証明可能な命題であって
>n+1階算術ではより短い証明を持つものが存在する
>というものである。
誤り
正しくは
「ゲーデルの加速定理は
弱い形式的体系では非常に長い形式的証明しか存在しないが、
より強い形式的体系では極めて短い形式的証明が存在する、
というような文が存在する、というものである」
形式的体系の強弱は、階の違いによるものだけではない
馬鹿は日本語が正しく読めない
数学以前の問題
489:１３２人目の素数さん
19/04/11 19:20:33.57 Z/fJ/j1R.net
>>424
>大人の数学は、カンニングあり
既に出来上がった成果をいくらカンニングしても
新しい「成果」は出せない
他人の成果を盗むカンニングしか能がない
永遠のお子様には大人の世界の厳しさが分からない
490:１３２人目の素数さん
19/04/11 20:03:33.38 0HmXLHH5.net
俺は厳しさ知りたくないけどなぁ
491:学術
19/04/11 20:25:27.31 p6WohLA5.net
数議論が必要かと。
492:１３２人目の素数さん
19/04/11 21:21:57.49 /tQWetI4.net
まあ「無限大に近い巨大な数」とか言ってる時点で数学は無理だわな
493:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 07:13:47.89 aUo1NtT0.net
>>433
(引用開始)
正しくは
「ゲーデルの加速定理は
弱い形式的体系では非常に長い形式的証明しか存在しないが、
より強い形式的体系では極めて短い形式的証明が存在する、
というような文が存在する、というものである」
形式的体系の強弱は、階の違いによるものだけではない
(引用終り)
全く同じだよ
強い形式的体系の例として、高階論理がある
”n階算術の体系で証明可能な命題であってn+1階算術ではより短い証明を持つものが存在する”
圏論は高階論理を含んでいるし
層は圏論の中だと
厳密な数学的議論ではないが
・筆算 （おっちゃん）（＾＾
↓
・ソロバン
↓
・電卓
↓
・アセンブラ
↓
・C
↓
・エクセル （おれスレ主）（＾＾
まあ、こんな感じじゃね？
高階へ行くと楽だねと（＾＾
楽なかわりに、見えなくなる面もあるけどね
494:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 07:15:18.36 aUo1NtT0.net
数学概念として、巨大数(>>207-208)は存在するよｗ（＾＾
495:１３２人目の素数さん
19/04/12 07:35:26.48 Mx1n2k0/.net
>>438
>全く同じだよ
全く異なるよ
強い＜－＞弱い と 階が高い＜－＞階が低い は 一致しない
日本語も読めない馬鹿だね 数学無理だからあきらめたら？
>・C
> ↓
>・エクセル （おれスレ主）（＾＾
馬鹿？ マジでCよりエクセルが高機能だと思ってる？
正真正銘の白痴だね 死んだら？
496:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 07:43:32.63 aUo1NtT0.net
>>410-411
>発想が面白いね 磁石非対称モーター
>一方、鈍才でも最先端の分野で小さな石でも積み上げてそれが最初なら、オリジナルだよ
・これ、ちょうど”小さな石の積み上げ”の一例でしょ
従来は、対称だったけど、非対称でどうかとの発想
だいぶ違うけど、コンヌ先生の非可換幾何
URLﾘﾝｸ(commutative.world.coocan.jp)
Commutative Weblog
物理学 アーカイブ
2008年3月 2日
スーパーストリング理論のライバル
アラン・コンヌの非可換幾何学
数学では
・クンマー先生：理想数を考えれば、因数分解の一意性が回復すると、発想の飛躍
・デデキント先生：それ（理想数）って、理想数→集合を使ってイデアルにすりゃ良いでしょ
・マクレーン先生：(a→b) ⇒（c→d)と函手（⇒）を考えれば、自然変換が説明できるでしょと、思いついた。これが圏論に大発展
みんな、”小さな思いつき＋当時の数学の最先端”という組み合わせ
（>>13より 渕野先生）
”そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらある”
497:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 07:45:16.59 aUo1NtT0.net
>>440
>馬鹿？ マジでCよりエクセルが高機能だと思ってる？
"厳密な数学的議論ではないが"
すぐに食いつくサイコパス （一句）ｗ（＾＾；
498:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 07:53:33.83 aUo1NtT0.net
ブルバキ：ヒルベルト流集合論による公理化＝～ZFC＝～一階論理
グロタンディーク：「カテゴリー論（圏論）に基づき今までの本を書き直すべしと主張」→高階論理使えよ！
ってことじゃね？（＾＾
URLﾘﾝｸ(commutative.world.coocan.jp)
Commutative Weblog 3
ブルバキ
user-pic あやたろう (2013年9月28日
(抜粋)
数学セミナー１０月号に、ブルバキの主要メンバーだった、ピエール・カルチエ氏が梅村浩氏と、ブルバキについて語った記事があったので、以下、この内容を私なりにまとめてみる。
グロタンディークは、カテゴリー論（圏論）に基づき今までの本を書き直すべしと主張した。それには、ブルバキの中の他のメンバーも同意したが、現実問題、そんなことはあまりにも大変である。そこで、可換環論の本は代数幾何学には踏み込まない、グロタンディークは可換環論は扱わず代数幾何学に専念するということで休戦協定が成立し、結果的にグロタンディークはブルバキと袂を分かった。
ブルバキは１９７０年頃までに数学のスタンダードを確定し、それはトポロジ、微分幾何学、代数幾何学、数論を主とし、解析学、確率論、その他応用数学を十分カバーするものでなく、そのせいで、フィールズ賞の受賞者も長らくトポロジ、微分幾何学、代数幾何学、数論の分野の数学者が主であった。
このように数学にスタンダードを導入し、一世を風靡したブルバキであるが、今ではもうすっかり休眠状態となってしまった。既にその役割を終えたのかもしれない。
499:１３２人目の素数さん
19/04/12 08:51:51.64 K8tM4ICZ.net
>数学概念として、巨大数(>>207-208)は存在するよｗ（＾＾
誰も巨大数が存在しないなんていうてまへんがなｗ（＾＾
500:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 18:50:08.47 ThnOgWRl.net
>>数学概念として、巨大数(>>207-208)は存在するよｗ（＾＾
>誰も巨大数が存在しないなんていうてまへんがなｗ（＾＾
そうでしょ？ｗ（＾＾
でもね
世の中、与党のスレ主のいうことならなんでも反対の
野党みたいなサイコパスちゅうのが、いるんよ
アマノジャクみたいなやつがねｗ（＾＾
501:１３２人目の素数さん
19/04/12 20:45:52.00 YG0WeCHX.net
工学部出身のモグリが与党のわけないだろ
502:１３２人目の素数さん
19/04/12 20:47:07.45 YG0WeCHX.net
「無限に近い巨大数」が存在すると思ってるのは工学部スレ主だけ
503:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 20:50:07.94 aUo1NtT0.net
>>386
”グロタンディークは、・・生成点（英語版）(generic point)と言う考え
504:方を導入した”か（＾＾ https://ja.wikipedia.org/wiki/%E3%82%B6%E3%83%AA%E3%82%B9%E3%82%AD%E3%83%BC%E4%BD%8D%E7%9B%B8 ザリスキー位相 (抜粋) 代数幾何学と可換環論において、ザリスキ位相は代数多様体に定義される位相であり、最初はオスカー・ザリスキによって導入された。ザリスキ位相は可換環の素イデアル全体の集合に対しても定義され、その環のスペクトルと呼ばれる。 ザリスキ位相によって、基礎体が位相体でないときでさえ、代数多様体の研究に位相空間論の道具を使うことができるようになる。このような手法はスキーム論の基本的な考えの1つであり、多様体 (manifold) が局所座標系（実アファイン空間の開部分集合）を貼り合わせて構成されるのと同じように、一般の代数多様体はアファイン多様体を貼り合わせて構成される。 グロタンディークのスキーム論のもう1つの基本的な考えは、極大イデアルに対応する普通の点のみならず、すべての（既約）代数多様体、これは素イデアルに対応する、をも点として考えることである。 目次 1 多様体のザリスキ位相 2 現代の定義 2.1 性質 2.2 例 グロタンディエクの Spec を定義した革新的な点は、極大イデアルを全ての素イデアルに置き換えたことであった。極大イデアルが環のスペクトルの中では閉集合を定義とすることができことの単純な一般化であることとして、この定式化では自然である。 性質 トポロジーの古典的描像と新しい描像の最も劇的な変化は、点がもはや閉じている必要はないということである。定義を拡張することで、グロタンディークは、閉包がそれ自体よりも大きい（同じではなく）生成点（英語版）(generic point)と言う考え方を導入した。 例 ・体 k のスペクトル Spec k は、一つの元からなる位相空間である。 ・整数?のスペクトル Spec ? は、素数 p に対応する極大イデアル (p) ⊂ ?を閉点（英語版）[要リンク修正](closed point) として持ち、零イデアル (0) を閉でない生成点（英語版）(generic point)（すなわち、閉包は全空間となる）として持つ。従って、Spec ? の閉集合全体は、ちょうど有限個の閉点の合併と全体空間からなる。
505:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 20:57:59.67 aUo1NtT0.net
>>448
>生成点（英語版）(generic point)
URLﾘﾝｸ(en.wikipedia.org)
Generic point
(抜粋)
In algebraic geometry, a generic point P of an algebraic variety X is, roughly speaking, a point at which all generic properties are true, a generic property being a property which is true for almost every point.
In scheme theory, the spectrum of an integral domain has a unique generic point, which is the minimal prime ideal.
Contents
1 Definition and motivation
2 Examples
3 History
History
In the foundational approach of Andre Weil, developed in his Foundations of Algebraic Geometry, generic points played an important role, but were handled in a different manner.
For an algebraic variety V over a field K, generic points of V were a whole class of points of V taking values in a universal domain Ω, an algebraically closed field containing K but also an infinite supply of fresh indeterminates.
This approach worked, without any need to deal directly with the topology of V (K-Zariski topology, that is), because the specializations could all be discussed at the field level (as in the valuation theory approach to algebraic geometry, popular in the 1930s).
つづく
506:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 20:58:57.51 aUo1NtT0.net
>>449
つづき
This was at a cost of there being a huge collection of equally generic points. Oscar Zariski,
507: a colleague of Weil's at Sao Paulo just after World War II, always insisted that generic points should be unique. (This can be put back into topologists' terms: Weil's idea fails to give a Kolmogorov space and Zariski thinks in terms of the Kolmogorov quotient.) In the rapid foundational changes of the 1950s Weil's approach became obsolete. In scheme theory, though, from 1957, generic points returned: this time a la Zariski. For example for R a discrete valuation ring, Spec(R) consists of two points, a generic point (coming from the prime ideal {0}) and a closed point or special point coming from the unique maximal ideal. For morphisms to Spec(R), the fiber above the special point is the special fiber, an important concept for example in reduction modulo p, monodromy theory and other theories about degeneration. The generic fiber, equally, is the fiber above the generic point. Geometry of degeneration is largely then about the passage from generic to special fibers, or in other words how specialization of parameters affects matters. (For a discrete valuation ring the topological space in question is the Sierpinski space of topologists. Other local rings have unique generic and special points, but a more complicated spectrum, since they represent general dimensions. The discrete valuation case is much like the complex unit disk, for these purposes.) (引用終り) 以上
508:１３２人目の素数さん
19/04/12 21:56:56.39 Mx1n2k0/.net
グロタンディクなんて５０年前のブームだろ
こいつ耄碌爺か？
509:１３２人目の素数さん
19/04/12 22:12:56.96 RZ8xEUTx.net
今のブームは時枝だよな
510:１３２人目の素数さん
19/04/12 22:48:52.64 K8tM4ICZ.net
時枝記事を読むには同値類と選択公理は必須
どちらも分かってないスレ主には無理
511:１３２人目の素数さん
19/04/12 22:50:47.01 K8tM4ICZ.net
game2は選択公理不要と勝ち誇るアホバカ
512:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 23:52:03.38 aUo1NtT0.net
>>448 関連
URLﾘﾝｸ(en.wikipedia.org)
Leray spectral sequence
(抜粋)
In mathematics, the Leray spectral sequence was a pioneering example in homological algebra, introduced in 1946[1][2] by Jean Leray. It is usually seen nowadays as a special case of the Grothendieck spectral sequence.
Contents
1 Definition
2 Classical definition
3 Examples
4 Degeneration Theorem
4.1 Example with Monodromy
5 History and connection to other spectral sequences
Definition
Let f:X→Y be a continuous map of topological spaces, which in particular gives a functor f* from sheaves on X to sheaves on Y. Composing this with the functor Γ of taking sections on Sh(Y) is the same as taking sections on Sh(X), by the definition of the direct image functor f*:
History and connection to other spectral sequences
At the time of Leray's work, neither of the two concepts involved (spectral sequence, sheaf cohomology) had reached anything like a definitive state. Therefore it is rarely the case that Leray's result is quoted in its original form.
After much work, in the seminar of Henri Cartan in particular, the modern statement was obtained, though not the general Grothendieck spectral sequence.
つづく
513:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 23:53:48.27 aUo1NtT0.net
>>455
つづき
Earlier (1948/9) the implications for fiber bundles were extracted in a form formally identical to that of the Serre spectral sequence, which makes no use of sheaves.
This treatment, however, applied to Alexander?Spanier cohomology with compact supports, as applied to proper maps of locally compact Hausdorff spaces, as the derivation of the spectral sequence required a fine sheaf of real differential graded algebras on the total space, which was obtained by pulling back the de Rham complex along an embedding into a sphere.
Serre, who needed a spectral sequence in homology that applied to path space fibrations, whose total spaces are almost never locally compact, thus was unable to use the original Leray spectral sequence and so derived a related spectral sequence whose cohomological variant agrees, for a compact fiber bundle on a well-behaved space with the sequence above.
In the formulation achieved by Alexander Grothendieck by about 1957, the Leray spectral sequence is the Grothendieck spectral sequence for the composition of two derived functors.
References
2^ Miller, H. "Leray in Oflag XVIIA : the origins of sheaf theory, sheaf cohomology, and spectral sequences, Jean Leray (1906-1998)" (PDF). Gaz. Math. 84 (2000): 17?34.
URLﾘﾝｸ(www-math.mit.edu)
(引用終り)
514:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 23:55:08.23 aUo1NtT0.net
>>452
時枝は終わったｗ（＾＾
515:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/12 23:56:11.20 aUo1NtT0.net
グロタン先生の偉大さがワカラン人は落ちこぼれです
分ってないねｗ（＾＾
516:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 00:01:50.43 TPdnRaQt.net
グロタン先生は、オイラーに近い存在かもしれん
20世紀の数学の起源を辿る、至ところオイラーに辿り着く
と同じように、20世紀後半からあとの現代数学の起源を辿ると、至ところでグロタン先生に出会うよ（＾＾
517:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 00:18:58.88 TPdnRaQt.net
>>455 関連
URLﾘﾝｸ(en.wikipedia.org)
Grothendieck spectral sequence
(抜粋)
In mathematics, in the field of homological algebra, the Grothendieck spectral sequence, introduced in Tohoku paper, is a spectral sequence that computes the derived functors of the composition of two functors G◯F, from knowledge of the derived functors of F and G.
Contents
1 Examples
1.1 The Leray spectral sequence
1.2 Local-to-global Ext spectral sequence
2 Derivation
518:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 00:27:13.56 TPdnRaQt.net
>>460
URLﾘﾝｸ(en.wikipedia.org)
Grothendieck's Tohoku paper
(抜粋)
The article "Sur quelques points d'algebre homologique" by Alexander Grothendieck,[1] now often referred to as the Tohoku paper,[2] was published in 1957 in the Tohoku Mathematical Journal. It has revolutionized the subject of homological algebra, a purely algebraic aspect of algebraic topology.[3]
It removed the need to distinguish the cases of modules over a ring and sheaves of abelian groups over a topological space.[4]
Contents
1 Background
2 Later developments
Background
Material in the paper dates from Grothendieck's year at the University of Kansas in 1955?6. Research there allowed him to put homological algebra on an axiomatic basis, by introducing the abelian category concept.[5][6]
つづく
519:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 00:28:15.73 TPdnRaQt.net
>>461
つづき
A textbook treatment of homological algebra, "Cartan?Eilenberg" after the authors Henri Cartan and Samuel Eilenberg, appeared in 1956. Grothendieck's work was largely independent of it. His abelian category concept had at least partially been anticipated by others.[7]
David Buchsbaum in his doctoral thesis written under Eilenberg had introduced a notion of "exact category" close to the abelian category concept (needing only direct sums to be identical); and had formulated the idea of "enough injectives".[8]
The Tohoku paper contains an argument to prove that a Grothendieck
520:category (a particular type of abelian category, the name coming later) has enough injectives; the author indicated that the proof was of a standard type.[9] In showing by this means that categories of sheaves of abelian groups admitted injective resolutions, Grothendieck went beyond the theory available in Cartan?Eilenberg, to prove the existence of a cohomology theory in generality.[10] Later developments After the Gabriel?Popescu theorem of 1964, it was known that every Grothendieck category is a quotient category of a module category.[11] The Tohoku paper also introduced the Grothendieck spectral sequence associated to the composition of derived functors.[12] In further reconsideration of the foundations of homological algebra, Grothendieck introduced and developed with Jean-Louis Verdier the derived category concept.[13] The initial motivation, as announced by Grothendieck at the 1958 International Congress of Mathematicians, was to formulate results on coherent duality, now going under the name "Grothendieck duality".[14] Notes 1^ Grothendieck, A. (1957), "Sur quelques points d'algebre homologique", Tohoku Mathematical Journal, (2), 9: 119?221, doi:10.2748/tmj/1178244839, MR 0102537. English translation. http://www.math.mcgill.ca/barr/papers/gk.pdf (引用終り)
521:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 00:32:30.05 TPdnRaQt.net
クルルは、ユルゲン・ノイキルヒの先生か（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ヴォルフガング・クルル
(抜粋)
ヴォルフガング・クルル(Wolfgang Krull、1899年8月26日-1971年4月12日)は、可換環論に対して基礎的な貢献を行い、現在はこの分野で中心的になっている概念を導入したドイツの数学者である。
指導した35人の博士課程学生の中には、ウィルフリード・ブラウアーやユルゲン・ノイキルヒがいる。
522:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 00:36:02.86 TPdnRaQt.net
URLﾘﾝｸ(en.wikipedia.org)
Jurgen Neukirch
(抜粋)
Jurgen Neukirch (24 July 1937 ? 5 February 1997[1]) was a German mathematician known for his work on algebraic number theory.
Contributions
He is known for his work on the embedding problem in algebraic number theory, the Bayer?Neukirch theorem on special values of L-functions, arithmetic Riemann existence theorems and the Neukirch?Uchida theorem in birational anabelian geometry. He gave a simple description of the reciprocity maps in local and global class field theory.
523:１３２人目の素数さん
19/04/13 08:57:14.26 +FQA/pTo.net
>グロタン先生は、オイラーに近い存在かもしれん
>20世紀後半からあとの現代数学の起源を辿ると、至ところでグロタン先生に出会うよ（＾＾
と同値類が分からないスレ主が申しております
スレ主は、白痴に近い存在かもしれん
524:１３２人目の素数さん
19/04/13 11:46:59.09 3HuTKjDn.net
スレ主の現代数学の知識は２０世紀で止まってるな
やっぱ定年退職した認知症の耄碌爺か
525:１３２人目の素数さん
19/04/13 11:55:16.87 xDFWGR45.net
21世紀最先端の数学である時枝理論を今やるしかないよな
526:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 12:48:13.64 TPdnRaQt.net
”グロタンディーク氏は「数学、代数幾何学の分野全体に革命をもたらした」と、この数学者の名前を冠した同大学の研究所のジャンミシェル・マラン（Jean-Michel Marin）所長は話す”
URLﾘﾝｸ(ja.wikipedia.org)
変人天才数学者の「落書き」約1万8000ページ、ネットで公開
2017年5月11日 9:57 発信地：マルセイユ/フランス [ ヨーロッパ フランス ]
(抜粋)
URLﾘﾝｸ(afpbb.ismcdn.jp)
527:78bd5bd1f9abadb0ea065aa1d5187598.jpg 1960年代に撮影された仏ビュール・シュリベットでの講義に臨むアレクサンドル・グロタンディーク氏（2014年11月18日提供）。(c)AFP/Institut des Hautes Etudes Scientifiques 【5月11日 AFP】ドイツ生まれのフランス人で変わり者の天才数学者、アレクサンドル・グロタンディーク（Alexandre Grothendieck）氏による1万8000ページ近くに上る手書きメモがこのほど、母校の仏モンペリエ大学（University of Montpellier）によってインターネットで公開された。 2014年に86歳で死去したグロタンディーク氏は「数学、代数幾何学の分野全体に革命をもたらした」と、この数学者の名前を冠した同大学の研究所のジャンミシェル・マラン（Jean-Michel Marin）所長は話す。 マラン所長は、AFPの取材に「彼のメモ書きから恩恵を得るには、専門家が複数で取り組んでも数年はかかる」としながら、「そこに記されていることを理解できる人は、世界に数百人ほどだろう」と語った。 今回公開された文書は、自身の教え子だったジャン・マルゴワール（Jean Malgoire）氏にグロタンディーク氏自らが遺贈した2万8000ページに及ぶ手書き文献の一部。マルゴワール氏は今もモンペリエ大で教鞭を執っている。 文書公開のため、グロタンディーク氏の子どもらが、ネット上での出版権をモンペリエ大に譲渡した。同氏が「いたずら書き」と呼んだ手書き文献の物理的な所有権は子どもらが保持したままだという。 「文献には、独創的な研究成果だけでなく、（グロタンディーク氏の）思考を理解するための助けとなる内容も含まれている」と、マラン所長は話す。
528:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 12:48:36.43 TPdnRaQt.net
サイコパスはよく釣れるｗ（＾＾
529:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 12:55:38.02 TPdnRaQt.net
URLﾘﾝｸ(www.taikutsu-breaking.com)
退屈ブレイキング
トップ > 教養 > 凄過ぎて理解不能。天才数学者のマジキチエピソードまとめ 2018-03-31
(抜粋)
もくじ
ピュタゴラス
ヒュパティア
関孝和
エヴァリスト・ガロア
シュリニヴァーサ・ラマヌジャン
クリストス・パパキリアコプロス
アレクサンドル・グロタンディーク
グリゴリー・ペレルマン
アレクサンドル・グロタンディーク - Alexander Grothendieck (1928 ? 2014)
URLﾘﾝｸ(cdn-ak.f.st-hatena.com)
ブルバキのメンバーでもあった天才数学者
その業績は、代数幾何学の近代化、
l-進コホモロジー、クリスタリンヌ・
コホモロジーの発見による
ヴェイユ予想への貢献など、
20世紀の数学者の中でも
特に群を抜いたもので、
1966年には
フィールズ賞も受賞しています。
またグロタンディークは
フランスの若手数学者集団
ブルバキの中心的メンバーであり、
さらに、グロタンディークの功績を称えて、
後に多くのフィールズ賞受賞者を輩出する
IHES(フランス高等化学研究所)が
設立されました。
最期は2014年11月13日に
フランス南西部サン・ギランスの
病院で息を引き取りました。
数学者として、
誰もが羨むような栄誉を掴みながら、
自らの思想のために、それらを全て
投げ捨ててしまったグロタンディーク。
その生き方を否定することはできませんが、
もし彼が純粋に数学の研究を続けていれば
どれだけの成果を残していたのかと考えると
なんとも歯がゆい思いがしますね。
530:１３２人目の素数さん
19/04/13 13:02:40.38 P7Hkk0pZ.net
「無限に近い巨大数」とか言ってる工学部が数学を語るな！
531:１３２人目の素数さん
19/04/13 13:04:43.26 P7Hkk0pZ.net
工学部が数学者を「先生」呼ばわりするのが、激しく気持ちわるい
532:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 13:16:33.62 TPdnRaQt.net
>>470
(引用開始)
さらに、グロタンディークの功績を称えて、
後に多くのフィールズ賞受賞者を輩出する
IHES(フランス高等化学研究所)が
設立されました。
(引用終り)
ここは完全に間違っている
フランス国籍を持たないグロタンディークは、フランスの大学で雇うことが難しい
そこで、IHESを作ったときに、グロタンディークを招聘した。
あるいは、グロタンディークをフランスへ呼ぶために、IHESを作ったとも言われている。
IHESが無ければ、グロタンディークは東北大へ来ていた可能性もある
（Grothendieck's Tohoku paper は、就職活動に一環だったと思われる）
まあ、こういう間違いが見抜けるくらいでないと、5ch（旧2ch）ではフェイクニュースに乗せられることになる
（時枝は、数学セミナーでこれやっちゃったんだね）
URLﾘﾝｸ(ja.wikipedia.org)
Institut des hautes etudes scientifiques (IHES) は、フランスのパリ郊外の町ビュール＝シュル＝イヴェット（フランス語版）にある数学及び理論物理学の研究所。訳語として、フランス高等科学研究所、フランス高等科学研究院等が当てられている。
(抜粋)
目次
1 概要
2 歴代所長
3 現在所属している正教授
4 過去に所属していた著名な研究者
概要
1958年にレオン・モチャーンにより設立された。同年にグロタンディークとデュドネが教授として選任された。その後、グロタンディークは1970年に研究所に軍からの資金援助があることを知って、研究所を去ることになった。
URLﾘﾝｸ(www.jstage.jst.go.jp)
J-STAGE home/SUGAKU / Volume 60 (2008) Issue 4 / Article overview
創立 50周年を迎えるフランス高等科学研究所と日本人研究者 前田吉昭 著 - ?2008
533:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 13:18:09.00 TPdnRaQt.net
>>473 補足
フィールズ賞を取ったから
「IHES(フランス高等化学研究所)が
設立されました」みたいな書き方が間違いってことね（＾＾；
534:１３２人目の素数さん
19/04/13 13:35:53.55 P7Hkk0pZ.net
グロタンは大学時代にルベーグ積分と同等の理論を自分で考え抜いて作った
大学の先生からはルベーグの仕事があるから無駄じゃないかみたいに思われたが
まったく気にしなかった
自分でやることに意味があったと書いてる
コピペ・参照で自分が賢くなったと錯覚しているスレ主とは対極にある人物
535:１３２人目の素数さん
19/04/13 13:39:37.21 P7Hkk0pZ.net
「無限に近い巨大数」の考えが根本的に間違ってる理由なら簡単に述べられる
そもそも無限と有限では定性的な違いがある
それが分かってないと、時枝解法が無限版では成立するが
有限版では成立しない理由が分からないスレ主みたいな工学部になっちゃうw
536:１３２人目の素数さん
19/04/13 13:49:06.47 xDFWGR45.net
>>475
俺も九九の表と同等の理論なら自力で作ったことあるは
537:１３２人目の素数さん
19/04/13 14:01:08.11 ojGhJIFE.net
無限に近いと言えるような距離の定義を示してみれば良い
538:１３２人目の素数さん
19/04/13 14:04:57.82 xDFWGR45.net
d(x,y)=0 for all x,y
どや！
539:１３２人目の素数さん
19/04/13 14:12:00.08 +FQA/pTo.net
だから聞いたんだよ
無限に近い巨大な数って例えば何？
と
すると奴は
君が思いつく巨大な数でいいよ
だとｗ
ペテン師臭ハンパないｗ
540:１３２人目の素数さん
19/04/13 14:18:40.20 xDFWGR45.net
∝
↑これ
541:１３２人目の素数さん
19/04/13 16:24:30.13 3HuTKjDn.net
スレ主の病気はピック病か？
情緒障害
さっきまで笑っていた方が突然泣き出してしまうなど、
情緒が病的に不安定となります。
人格障害
温和だった方が怒りっぽくなるなど、
今までみられなかったような人格になります。
この人格症状はピック病以外の認知症でも見られますが、
ピック病が特に強くみられる傾向にあります。
強さの程度はピック病＞アルツハイマー病＞脳血管性認知症 となります。
自制力低下
相手の話は聞かずに一方的にしゃべる、短絡的な行動をとるなど、
自制することが難しくなります。
異常行動
万引きを繰り返す、他人の家に勝手にあがるなど、
社会生活を送るうえで逸脱した行動をとるようになります。
対人的態度の変化
人を無視・馬鹿にしたような態度をとる、ひねくれた態度をとるなど、
相手に対しての態度が病的に悪くなります。
診察に協力を依頼しても拒否したり、不真面目に答えたりもします。
滞続症状
意味もなく同じ内容の言葉や行動を繰り返します。
542:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 19:06:34.44 TPdnRaQt.net
今日はサイコパスはよく釣れるｗ（＾＾
いったいいくつIDを持っているのだろうか？
「無限に近い巨大数」かも知れぬｗ（＾＾；
543:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/13 20:17:46.11 TPdnRaQt.net
>>462 まとめ
URLﾘﾝｸ(en.wikipedia.org)
Leray spectral sequence
(抜粋)
History and connection to other spectral sequences
At the time of Leray's work, neither of the two concepts involved (spectral sequence, sheaf cohomology) had reached anything like a definitive state. Therefore it is rarely the case that Leray's result is quoted in its original form.
After much work, in the seminar of Henri Cartan in particular, the modern statement was obtained, though not the general Grothendieck spectral sequence.
Earlier (1948/9) the implications for fiber bundles were extracted in a form formally identical to that of the Serre spectral sequence, which makes no use of sheaves.
In the formulation achieved by Alexander Grothendieck by about 1957, the Leray spectral sequence is the Grothendieck spectral sequence for the composition of two derived functors.
URLﾘﾝｸ(en.wikipedia.org)
Grothendieck's Tohoku paper
The Tohoku paper also introduced the Grothendieck spectral sequence associated to the composition of derived functors.[12] In further reconsideration of the foundations of homological algebra, Grothendieck introduced and developed with Jean-Louis Verdier the derived category concept.[13]
Notes
1^ Grothendieck, A. (1957), "Sur quelques points d'algebre homologique", Tohoku Mathematical Journal, (2),
English translation. URLﾘﾝｸ(www.math.mcgill.ca)
URLﾘﾝｸ(en.wikipedia.org)
Fiber bundle
URLﾘﾝｸ(upload.wikimedia.org)
A cylindrical hairbrush showing the intuition behind the term "fiber bundle". This hairbrush is like a fiber bundle in which the base space is a cylinder and the fibers (bristles) are line segments.
The mapping π：E → B would take a point on any bristle and map it to its root on the cylinder.
544:１３２人目の素数さん
19/04/13 21:03:06.52 oR9F4yo3.net
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
545:１３２人目の素数さん
19/04/13 21:04:13.55 oR9F4yo3.net
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
546:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 07:42:59.21 C5If4iEo.net
>>486
どうも。スレ主です。
ありがとう
見ました
大川 新之介先生ね
それ、コンパクトだと思ったけど、章立て下記だけど、抜けている（未稿の）章があるね
（下記）4章、10～14章も
米田の補題が練習問題か
3章終りに
”One can refer to [Pop73] for basics of additive and abelian categories. An English
translation of Grothendieck's Tohoku paper is available at
URLﾘﾝｸ(www.math.mcgill.ca)”とか（＾＾
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
(引用開始)
"Abstract. This is a note for the course `Topics in Algebra', which has been given
during the winter semester of 2016-2017 at Osaka university."
Date: January 13, 2017.
Contents
0. Plan of the lecture 1
1. Introduction and Overview 1
2. Category and functor 3
3. Additive category and abelian category 9
4. Recap on algebraic geometry 13
5. (Some) homological algebra 13
6. Derived category and the theorem of Bondal 17
7. Artin-Schelter algebras and AS-regular Z-algebras 17
8. Classication of 3-dimensional AS-regular algebras 21
9. Deformation theory of abelian categories 23
10. Blowup of noncommutative surfaces and SOD 26
11. Compact moduli of marked noncommutative del Pezzo surfaces 26
12. Noncommutative Hirzebruch surfaces 26
13
547:. Relation to generalized complex geometry 26 14. Noncommutative P3{4-dimensional Sklyanin algebras and central extensions of 3-dimensional Sklyanin algebras 26 15. Comments on references 26 Acknowledgements 27 References 27 (引用終り) http://www4.math.sci.osaka-u.ac.jp/~okawa/index_jp.html 大川 新之介 1985年9月12日生まれ。 大阪大学大学院理学研究科数学専攻 において准教授をしています。 2012年3月に東京大学数理科学研究科にて博士号(数理科学、課程博士)を取得しました。 指導教員： 川又雄二郎先生. (非可換)代数幾何学とその周辺に興味を持って研究を行っています
548:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 07:49:27.84 C5If4iEo.net
>>487
下記和文だが、参考になるよ
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
非可換代数曲面 大川 新之介 Date: January 2, 2017
それと、下記に、関連トピックスがあるから、それを見た方が良いでしょうね
7章”Mori dream space”
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
Past talks and where I will be
Schedule (temporary, with titles of the talks)
例えば
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
森夢空間にまつわるエトセトラ
大川 新之介 東京大学数理科学研究科博士課程 2 年
概要
森夢空間に関する基本事項を復習した後、著者の研究結果および関連する未解決
問題について概説する。
(抜粋)
1 導入
森夢空間 (Mori dream space) という代数多様体のクラスは 2000 年に [HK] で導入さ
れた。森夢空間には同値な二通りの定義の仕方があり、どちらの立場からも様々な研究が
為されている。
森夢空間のもっとも基本的な例は射影的 toric 多様体である。
549:１３２人目の素数さん
19/04/14 08:05:52.51 DgM6+Cvg.net
数学板ではこのスレだけを見ればよい、という噂ですね。数学板の顔だとか。
550:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 08:31:30.79 C5If4iEo.net
>>488
>森夢空間にまつわるエトセトラ
それの場所は、こっち（下記）だったね（＾＾；
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
論文、プレプリント他
551:１３２人目の素数さん
19/04/14 08:37:18.58 GjN8P0/s.net
ピエロが笑わせてくれるという意味なら
最近のヒットは「無限大に近い巨大な数」
552:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 08:45:29.25 C5If4iEo.net
>>489
どうも。スレ主です。
レスありがとう
>数学板ではこのスレだけを見ればよい、という噂ですね。数学板の顔だとか。
そんなことはないと思うが、まあ、下記でも
”7位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 874 10”
に、ご注目
いまスレ63で、スレ58だと５世代前だ。それが、7位にランクインすとは、これいかに？！
笑えるでしょ （＾＾
要するに、単にこの板が過疎っているだけですｗ（＾＾；
URLﾘﾝｸ(49.212.78.147)
数学 勢いランキング
順位 6H前比 スレッドタイトル レス数 勢い
1位 = ニコラスの3つの定理について語り合うスレ 28 35
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む63 489 34
3位 = 数学の本第82巻 561 19
4位 = Inter-universal geometry と ABC予想 37 628 18
5位 = 分からない問題はここに書いてね452 16 12
6位 = 奇数の完全数の存在に関する証明5 71 10
7位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 874 10
8位 = 高校数学の質問スレPart399 617 8
9位 ↑1 ゼロ除算で加減乗除が定義できた 185 7
10位 ↓-1 統計学者って何で株FXで大儲けしないの？ 15 7
11位 ↑1 33歳数学ど素人だが、フィールズ賞目指すスレ 66 6
12位 ↑2 数学�
553:ﾁてネット上の情報だけで独学できるのかね 34 5 (引用終り) なお、私は （>>8より） Inter-universal geometry と ABC予想 37 https://rio2016.5ch.net/test/read.cgi/math/1552141221/ をヤジウマしています。今年は、なんらかの形で（多分良い方向で）決着するんじゃないでしょうか？ 単なるカンですが 再録（>>9より） 大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ このスレは、半分趣味と遊びのスレと思ってくれ（＾＾； もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ） （ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ） (引用終り)
554:１３２人目の素数さん
19/04/14 08:47:00.56 8YMb3Uk5.net
>>492
＞「無限大に近い巨大な数」
ピエロは巨大数が実は数でなく
急増加する関数だということが
全然わかってない
555:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 09:04:32.13 C5If4iEo.net
>>492 補足
>Inter-universal geometry と ABC予想 37 ｽﾚﾘﾝｸ(math板)
>をヤジウマしています。今年は、なんらかの形で（多分良い方向で）決着するんじゃないでしょうか？ 単なるカンですが
兆候はあるよね
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Guides on IUT theory of Shinichi Mochizuki: reports, surveys, workshops materials, talks, lectures, videos
(抜粋)
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Foundations and Perspectives of Anabelian Geometry,
RIMS workshop, May 18-22 2020
Organisers: Ivan Fesenko (Univ. Nottingham), Arata Minamide (RIMS), Fucheng Tan (RIMS)
This workshop is one of four workshops of special RIMS year "Expanding Horizons of Inter-universal Teichmuller Theory". The workshop will review fundamental developments in several branches of anabelian geometry, as well as report on recent developments.
Anabelian geometry, together with higher class field theory and the Langlands correspondences, is one of three fundamental generalisations of class field theory.
Invited speakers:
Fedor Bogomolov (Courant Inst., NYU, USA),
Jakob Stix (Frankfurt Univ., Germany),
Akio Tamagawa (RIMS, Kyoto Univ., Japan),
Mikhail Kapranov (IPMU, Japan),
Fumiharu Kato (Tokyo Inst. Technology, Japan),
Krian Kedlaya (UCSD, USA),
Special RIMS year "Expanding Horizons of Inter-universal Teichmuller Theory", April 2020-March 2021, including 4 workshops
556:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 09:06:11.39 C5If4iEo.net
>>493
はいよ >>207-208 ｗ（＾＾
557:１３２人目の素数さん
19/04/14 10:03:43.66 8YMb3Uk5.net
>>495
ギャハハハハハハ！！！
日本語の序文だけ読む白痴ｗ
558:１３２人目の素数さん
19/04/14 10:20:30.20 AtgmV2U1.net
森夢空間って初めて聞いたは
自遊空間なら知ってる
559:１３２人目の素数さん
19/04/14 10:33:30.70 MOZTRFmz.net
5ch が有料になったら
560:１３２人目の素数さん
19/04/14 11:49:33.33 Xq4Qy1qG.net
宇宙船サジタリウス号のエンディングテーマかよ
561:１３２人目の素数さん
19/04/14 15:53:26.29 La53Hlof.net
URLﾘﾝｸ(www.youtube.com)
この人右翼ですか？この人の米国留学、じゃないですね、厳密には教員、否、教授として招聘されたはず、の内容とは記憶がつながりませんね…
講演に呼ばれた以上ある程度は聴衆に配慮するのは仕方がないにしても、理系の本丸の数学の本丸の数論の人が、ここまで執拗に「右翼論的」な内容を「敢て」意図して喋るその危機感は何なのでしょうか？
計画的・意図的にこの内容を設定した理由は何でしょうか？
562:１３２人目の素数さん
19/04/14 16:18:50.37 8YMb3Uk5.net
>>500
あの人は数学者としては終わった人ですから
563:１３２人目の素数さん
19/04/14 16:52:41.83 AtgmV2U1.net
と始まってもいない人がおっしゃってます
564:１３２人目の素数さん
19/04/14 19:51:37.43 8YMb3Uk5.net
>>502
バリバリの数学者ですが何か？
565:１３２人目の素数さん
19/04/14 19:54:31.95 AtgmV2U1.net
はい証拠どうぞ
どうせ出てこないけどな
566:１３２人目の素数さん
19/04/14 20:13:06.99 8YMb3Uk5.net
>>504
匿名掲示板で証拠求める馬鹿
ギャハハハハハハ！！！
567:１３２人目の素数さん
19/04/14 21:49:58.67 AtgmV2U1.net
あー手帳持ちの方でしたか
来世は植松されないといいですね
568:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 21:50:49.45 C5If4iEo.net
>>448 関連
エタール位相：ノイキルヒP93
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク位相
(抜粋)
グロタンディーク位相（英: Grothendieck topology）とは位相空間上の開集合系が成り立つ性質を公理化し、圏の上に定義された一般化された位相のことである。
またそのような位相を持つ圏を景（けい、仏、英: site, サイト）といい、その位相を用いることにより位相空間上での層の理論が使えてコホモロジー理論を得ることができる。
歴史的には代数幾何学のヴェイユ予想を解決するためにアレクサンドル・グロタンディークがエタール・コホモロジーを定義する際に導入された。
目次
1 定義
2 例
2.1 エタール景
2.2 ザリスキ景
エタール景
X をスキーム、(Et/X) を X 上エタールなスキームの成す圏とする。このときエタール射の族を被覆と定義することによりエタール景が得られ、それを再び (Et/X) で表す。このときの位相をエタール位相という。
569:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 21:52:07.32 C5If4iEo.net
>>507 追加
URLﾘﾝｸ(en.wikipedia.org)
Grothendieck topology
(抜粋)
The term "Grothendieck topology" has changed in meaning.
In Artin (1962) it meant what is now called a Grothendieck pretopology, and some authors still use this old meaning.
Giraud (1964) modified the definition to use sieves rather than covers.
Much of the time this does not make much difference, as each Grothendieck pretopology determines a unique Grothendieck topology, though quite different pretopologies can give the same topology.
Contents
1 Overview
2 Definition
2.1 Motivation
2.2 Sieves
2.3 Grothendieck topology
2.3.1 Axioms
2.3.2 Grothendieck pretopologies
3 Sites and sheaves
4 Examples of sites
4.1 The discrete and indiscrete topologies
4.2 The canonical topology
4.3 Small site associated to a topological space
4.4 Big site associated to a topological space
4.5 The big and small sites of a manifold
4.6 Topologies on the category of schemes
5 Continuous and cocontinuous functors
5
570:.1 Continuous functors 5.2 Cocontinuous functors 5.3 Morphisms of sites
571:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 22:02:11.46 C5If4iEo.net
>>506
>あー手帳持ちの方でしたか
>来世は植松されないといいですね
かれはサイコパス ピエロです
まともに、相手をしないように
泳がせておく
踊らせておく
これに限りますｗ（＾＾
よろしくねｗｗ（＾＾；
572:１３２人目の素数さん
19/04/14 22:53:12.02 GjN8P0/s.net
と、サイコパスピエロが申しております
573:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 23:12:10.06 C5If4iEo.net
>>497
追加
URLﾘﾝｸ(gakui.dl.itc.u-tokyo.ac.jp)
学位論文要旨
森夢空間の幾何学に関する研究 大川,新之介
学位授与日 2012.03.22
URLﾘﾝｸ(gakui.dl.itc.u-tokyo.ac.jp)
論文題目：Studies on the geometry of Mori dream spaces
博士課程における著者の研究は森夢空間(Mori dream space) の幾何学に関するものが主であった。本博士論文はその成果をまとめたものである。本文は4 つの章からなり、第1 章、第2 章は[Ok1]、第3 章は[Ok2]、第4 章は[Ok3] が元になっている。以下、各章の内容を要約する。
URLﾘﾝｸ(gakui.dl.itc.u-tokyo.ac.jp)
審査要旨
論文提出者大川新之介氏は、森夢空間の一般論の研究を行い、いくつかの基本的な結果を証明した。とくに、森夢空間の全射像は再び森夢空間になることを証明した。この結果は、たとえば極小モデル理論に出てくる森ファイバー空間や飯高ファイバー空間に応用することができるので有用である。
森夢空間の概念は2000年にHu-Keelが導入した。Hu-KeelはGITにおける偏極の変形の研究から森夢空間の概念に到達した。しかしそのあと大きな進展はなかった。最近になってBirkar-Cascini-Hacon-McKernanが標準環の有限生成定理の応用の一つとして、KLT log Fano多様体は森夢空間になるということを証明し、この概念が再び注目を集めることになった。
一般の代数多様体上では因子の線形系の振る舞いは複雑で、いつもよい性質を期待できるわけではない。しかし極小モデル理論では、標準因子Kxまたはその対数版Kx+Bが重要な役割を持ち、これらの因子に限ればその線形系の振る舞いはよいことが期待できる。森夢空間とは、任意の因子の線形系がよい振る舞いをするような特殊な多様体として定義される。
森夢空間は、そのCox環(または全座標環)が有限生成になるような正規射影的代数多様体と定義される。Hu-Keelは森夢空間上では、任意の因子Dに対してD-極小モデル・プログラムを考えることができ、フリップの存在と終結をこめてすべての主張が成り立つことを証明している。
論文提出者大川新之介氏は以下の定理を証明した:
574:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 23:13:04.94 C5If4iEo.net
>>511 追加
定理1.正規な射影的代数多様体の問の射f:X→Yで全射になっているものを考える。Xは森夢空間であると仮定する。このとき以下が成り立つ:
(1)Yも森夢空間である。
(2)埋め込み写像f*:Pic(Y)R→Pic(X)RによってXのファンをPic(Y)Rに制限すると、Yのファンになる。
さらに論文提出者大川新之介氏は、森夢空間の研究に関連してKLT log Fano多様体の特徴付けを研究した。Schwede-Smithは標数0のKLT log Fano多様体(X,B)に対して、Xは大域的にF-正則タイプになることを証明した。
ここと、代数多様体が大域的にF-正則タイプであるとは、ほとんどすべての素数pに対して、標数p還元をしたときに構造層がFrobenius写像に対して分裂するということで定義される。
大川新之介氏はSchwede-Smithの定理の逆を考え、2次元の場合にはそれが成り立っことを証明した:
定理2.正規で射影的な代数曲面Xに対して、もしもこれが大域的にF-正則タイプであるならば、X上にQ-因子Bが存在して、(X,B)がKLT log Fano多様体になる。
以上に述べたよう�
575:ﾉ大川新之介氏の業績は代数幾何学に重要な貢献している。よって、論文提出者大川新之介は、博士(数理科学)の学位を受けるにふさわしい充分な資格があると認める。 (引用終り)
576:１３２人目の素数さん
19/04/14 23:20:21.59 KIRP2yKs.net
＞定理1.正規な射影的代数多様体の問の射f:X→Yで全射になっているものを考える。Xは森夢空間であると仮定する。このとき以下が成り立つ:
＞(1)Yも森夢空間である。
＞(2)埋め込み写像f*:Pic(Y)R→Pic(X)RによってXのファンをPic(Y)Rに制限すると、Yのファンになる。
射f:X→Y：全射 すなわち YはXに対して森夢空間であると決める
Xは森夢空間であると仮定する
Yは森夢空間である
証明官僚
577:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 23:36:18.39 C5If4iEo.net
>>493
>巨大数が実は数でなく
>急増加する関数だということが
パロ
確率変数が実は変数でなく
確率事象で決まる関数だということが
分っていなかった自称イヌコロのサイコパスくんｗ（＾＾
（>>24より）
初歩の初歩「確率変数ってなに？」が分っていない人が、したり顔で時枝を語るの図
自称イヌコロがいましたね～
？ん、「君子豹変」くんだったかな？ｗ（＾＾；
（>>29より）
確率変数の定義と説明は、下記 渡辺澄夫 東工大が分り易い
スレ62 ｽﾚﾘﾝｸ(math板:892番)
”可測関数X: Ω→Ω’
・関数のことを確率変数と呼ぶ
関数を出力と同一視（混同）する(X=X(w))
関数がランダムなわけではない”
”P10 なぜこんな定義をするのか
（Ω, B, P)がわからずX だけ観測できる人には
Ｘがランダムである場合も含む定義になっている
そこで関数X(w) とその出力値X を同一視して
確率変数(random variable)と呼ぶことにした。
これで「ランダムでないとはいえないもの」が定義された”
578:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 23:37:38.46 C5If4iEo.net
>>513
うむ
森は、木の森ではなく
重文の森
579:１３２人目の素数さん
19/04/14 23:41:07.36 GjN8P0/s.net
初歩の初歩「同値類ってなに？」が分っていない人が、したり顔で時枝を語るの図
580:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 23:45:14.51 C5If4iEo.net
>>515
追加
URLﾘﾝｸ(en.wikipedia.org)
Mori dream space From Wikipedia, the free encyclopedia
In algebraic geometry, a Mori Dream Space is a projective variety whose cone of effective divisors has a well-behaved decomposition into certain convex sets called "Mori chambers".
Hu & Keel (2000) showed that Mori dream spaces are quotients of affine varieties by torus actions.
The notion is named so because it behaves nicely from the point of view of Mori's minimal model program.
See also
spherical variety URLﾘﾝｸ(en.wikipedia.org)
References
Hu, Yi; Keel, Sean (2000). "Mori dream spaces and GIT". The Michigan Mathematical Journal. 48 (1): 331?348. arXiv:math/0004017. doi:10.1307/mmj/1030132722. ISSN 0026-2285. MR 1786494.
URLﾘﾝｸ(arxiv.org)
581:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/14 23:47:37.59 C5If4iEo.net
>>516
はいよ >>20 より
(引用開始)
２）だが、さらに進んで、当たらないのになぜ当たるように見えるのかが問題になる
３）一つは、すでに述べたが、同値類である元と代表とを比較して、
なにか確たることが言えるが如くの標準外のトンデモ論法を使っているところだと
（例えば >>683-684 ご参照）
４）もう一つが、可算無限長の数列のしっぽの同値類にある
しっぽの箱を開けると、どの同値類に属するかが分る。
だが、それが分る全てだ。
どの同値類に属するかが分っても、箱の中の数で分るものが増えるわけでなないよと
（細かい議論は、上
582:記>>838などをご参照） (引用終り)
583:１３２人目の素数さん
19/04/14 23:59:03.03 GjN8P0/s.net
>>518
自分が理解できないとトンデモ扱いするキチガイｗ
584:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/15 07:27:18.78 GY+CIXbC.net
>>508 追加
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
第１７回（２００９年度）整数論サマースクール 「l進ガロア表現とガロア変形の整数論」
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
「l進ガロア表現とガロア変形の整数論」報告集原稿のページ
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
Website of Yoichi Mieda
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
エタールコホモロジーと?進表現
三枝 洋一（九州大学大学院数理学研究院）
(抜粋)
目 次
0 はじめに 2
1 エタールコホモロジー入門 4
1.1 楕円曲線の Tate 加群 . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 層係数コホモロジー再考 . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 エタールコホモロジーの定義 . . . . . . . . . . . . . . . . . . . . . . 9
1.4 エタールコホモロジーの諸性質 . . . . . . . . . . . . . . . . . . . . 21
2 エタールコホモロジーを用いた Galois 表現の構成 31
2.1 エタールコホモロジーとして得られる Galois 表現 . . . . . . . . . . 31
2.2 一般化：代数的対応付きの場合 . . . . . . . . . . . . . . . . . . . . 31
3 整モデルと Galois 表現の関係 35
3.1 Weil-Deligne 表現 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2 隣接輪体関手 Rψ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.3 良い還元の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.4 半安定還元の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.5 一般の還元の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.6 ウェイト・モノドロミー予想 . . . . . . . . . . . . . . . . . . . . . . 63
つづく
585:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/15 07:28:44.91 GY+CIXbC.net
>>520
つづき
0 はじめに
本稿は，第 17 回整数論サマースクール「? 進ガロア表現とガロア変形の整数論」
における講演「エタールコホモロジーと ? 進表現」の内容をまとめたものである．エ
タールコホモロジーとは，一般の体上の代数多様体に対して機能するコホモロジー
理論であり，もともと Grothendieck によって Weil 予想の解決を目的として発明さ
れたものである．その理論は，Grothendieck および彼の弟子たちによっていわゆ
る SGA (S´eminaire de G´eom´etrie Alg´ebrique du Bois-Marie) において徹底的に展
開された後，[Del2], [Del3] において元来の目標を達成するに至った（Grothendieck
の描いていた方針とは異なっていたようであるが）．それとともに，Weil 予想から
Ramanujan 予想を導いた Deligne の仕事 [Del1] を一つの契機として，エタールコ
ホモロジーは整数論にとっても重要な位置を占め始めた．Deligne は，モジュラー
曲線上の普遍楕円曲線のファイバー積から作られる高次元代数多様体（久賀・佐藤
多様体）のエタールコホモロジーを用いて，（重さの大きい）楕円モジュラー形式
から 2 次元 ? 進表現を構成した．そして，代数多様体から作られる ? 進表現が Weil
予想より来る性質を満たすことから，楕円モジュラー形式の q 展開の係数の絶対値
の評価を導いたのである．（もちろん，Eichler や志村五郎氏らによる先駆的な研究
がこの仕事の土台となっていることは言うまでもない．）
つづく
586:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/15 07:29:04.67 GY+CIXbC.net
>>521
つづき
この Deligne の仕事は，大
域的 Langlands 予想における「Galois 表現の構成問題」の特別な場合に位置付ける
ことができる．（GLn の）大域的 Langlands 予想とは，代数体 F に対し，GLn(AF )
の保型表現（のうち特別なもの）と Gal(F /F) の n 次元 ? 進表現（のうち特別なも
の）の間に自然な一対一対応が存在するという予想であり，そのうち，保型表現 Π
から始めてそれに対応する ? 進 Galois 表現 ρ(Π) を構成する問題が「Galois 表現の
構成問題」�