[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 50 (1002ﾚｽ)

Inter-universal geometry と ABC予想 50 http://rio2016.5ch.net/test/read.cgi/math/1586907848/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

711: １３２人目の素数さん [] 2020/04/19(日) 20:31:57.82 ID:UbuHltnc >>710 な、こんな馬鹿が、日本人だというだけで望月万歳とかいってるんだから ＩＵＴの前途は闇だよ http://rio2016.5ch.net/test/read.cgi/math/1586907848/711

712: １３２人目の素数さん [] 2020/04/19(日) 20:33:40.42 ID:uMwLCcbW 707は、擁護派の内部分裂かな http://rio2016.5ch.net/test/read.cgi/math/1586907848/712

713: １３２人目の素数さん [sage] 2020/04/19(日) 20:38:36.02 ID:yAKdOBQz >>706 全然違う分野 http://rio2016.5ch.net/test/read.cgi/math/1586907848/713

714: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 20:40:59.04 ID:ijGx7lvx >>709 >＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」 >＞なら、inter-scheme logic が素直だろ？ >論をlogicって訳す馬鹿　はじめてみた >theoryって言葉　知らんのか？ はい じゃ、問題 「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」 を数学用語を使って訳せ！ （和文英訳） 但し、望月論文表題 ”INTER-UNIVERSAL TEICHMULLER THEORY I ”の表題に使

えるようにせよ！ "theory"を使ったら、下記の”TEICHMULLER THEORY”と用語がダブるぜ？　どうすんだよｗ（＾＾ http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020 >>710 >グロタンディーク宇宙が一つとか、大丈夫か君 そっくりお返しするよ 山下氏 （>>699より） Q2. じゃあ, 宇宙を取り替えるってどういう意味？ A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを

変形します. スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです. 一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません. 一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています. 厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし, 数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて その中に別々にスキーム論があって, それを取り替え

ることを “宇宙を取り替える” という言葉で表現していると考えてもいいです. (引用終り) の説明だと、「INTER-UNIVERSAL」と説明が整合しないぜ ”UNIVERSAL”が、Grothendieck 宇宙とするならば ”INTER-”って、どうなるの？ｗ ”INTER-”だったら、”UNIVERSE”が2つ要る で、取り替えるんだろ？ グロタンディーク宇宙が2つあって、取り替える？ｗ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586907848/714

715: １３２人目の素数さん [] 2020/04/19(日) 20:48:16.57 ID:UbuHltnc >>714 な、コイツ正真正銘の馬鹿だろ？ http://rio2016.5ch.net/test/read.cgi/math/1586907848/715

716: BLACKX ◆SvoRwjQrNc [sage] 2020/04/19(日) 20:48:35.51 ID:qnt75GLx >>712 707はガロアスレの主やぞ一番取り合ったらまずい奴 http://rio2016.5ch.net/test/read.cgi/math/1586907848/716

717: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 20:52:34.66 ID:ijGx7lvx >>712 ＞ 707は、擁護派の内部分裂かな お答えします（＾＾ １．私は、ＩＵＴ応援派であって、擁護派ではない 　Ｄｕｐｕｙ先生みたいな、ＩＵＴ擁護なんて、とてもとてもとてもｗｗｗ（＾＾； 　ただ、ＩＵＴへ エールだけは送ります、がんばれＲＩＭＳ＆ＩＵＴ！ （＾＾ ２．そして、ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します〜！！！（＾＾ 　但し、数学の筋の通らない アンチＩＵＴ発言は つつきます

よ！ （普通は、あっちの隔離スレで こっそりねｗ） 　見かねると、今回のように 乱入します（＾＾； ３．なお、ＩＵＴ懐疑派、 ＩＵＴ否定派、ＩＵＴ擁護の数学バトル期待しています、ヤジウマとしてね。各位がんばってください（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1586907848/717

718: １３２人目の素数さん [] 2020/04/19(日) 20:53:32.42 ID:UbuHltnc >>712 毎度恒例の馬鹿の自爆ショーです 第１回　正規部分群はgHg^(-1)がHと同型な群 第２回　数セミ記事「箱入り無数目」はマチガッテル！ 第３回　順序数のZermelo構成で、ωは{{{…(無限個)…}}} 第４回　Grothendieck宇宙は、同型を除いて一意に定まる　←今ココ 数学書はウマに食わせるほど買ってるらしいが 一度もまともに読めた試しはないと専らの噂 全部古書店に売って楽になればいいのに・・・ http://rio2016.5ch.net/test/read.cgi/math/1586907848/718

719: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 20:54:04.50 ID:ijGx7lvx >>716 > 707はガロアスレの主やぞ一番取り合ったらまずい奴 Ｙｅｓ！ よくお分かりですね！！　（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586907848/719

720: １３２人目の素数さん [] 2020/04/19(日) 20:58:07.86 ID:UbuHltnc >>717 ＞ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します〜！！！ ◆e.a0E5TtKE が「数学の筋が通っている」と思ってる主張 「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔） こんなヤツが否定派に入ろうとしても門前払いを食らうのがオチｗ http://rio2016.5ch.net/test/read.cgi/math/1586907848/720

721: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 21:01:33.19 ID:ijGx7lvx >>718 ＞毎度恒例の馬鹿の自爆ショーです もう降参ですか？ｗ（＾＾； ＜経緯＞ 私の指摘は >>677 ">次元際なら上手く行くかもね いまでも、なんで”宇宙”？と思うわｗ（＾＾ でも、RIMSももう一頑張りでしょう！（＾＾ " だった で 対して、おサルが >>682 ”＞いまでも、なんで”宇宙”？と思うわ 宇宙って数学用語、知らないんだね https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%8

2%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99 ” に 私が >>684 ”IUT読んだ？ そのwikipediaの”宇宙”の定義が いまのIUTに当てはまっているか？ おれは、厳密には違うと思うよ 単なる用語の濫用ならぬ、”乱用”の方と思うぜｗ” と切り返して 　>>714 に至る ＜経緯終り＞ まだやりたいなら、どうぞ >>714の続きを書いてくださいｗｗ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586907848/721

722: １３２人目の素数さん [] 2020/04/19(日) 21:14:41.45 ID:UbuHltnc >>721 見当違いな自爆を嘲笑され逆上 見当違いな質問返しでさらに自爆し嘲笑される いい加減学習しようよ 数学板は勉強嫌いの馬鹿が書くところじゃないって http://rio2016.5ch.net/test/read.cgi/math/1586907848/722

723: １３２人目の素数さん [] 2020/04/19(日) 21:16:54.58 ID:UbuHltnc ＞次元際なら上手く行くかもね これも素人ならではの馬鹿発言 こんな馬鹿発言に喜んでレスする ◆e.a0E5TtKEは正真正銘の馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1586907848/723

724: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 21:53:28.99 ID:ijGx7lvx >>720 >「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔） とどめを刺すか？（＾＾ １．グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）（下記） ２．グロタンディーク宇宙は、下記のグロタンディーク宇宙公理と、ＺＦＣ＋到達不能基数 を公理とする、2つの道がある ３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（

∵ 実際には、集合論のためのモデルを与える から） https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99 グロタンディーク宇宙 （数式文字化けご容赦） 数学におけるグロタンディーク宇宙（英: Grothendieck universe、仏: Univers de Grothendieck）は次の性質をもった集合 U である[1]： １．x ∈ U, y ∈ x ⇒ y ∈ U（ U は推移的集合） ２．x, y ∈ U ⇒ {x, y} ∈ U ３．x ∈ U ⇒ x のベキ集合 P(x) ∈ U ４．{\displaystyle \{x_{\alpha }\}_{\alpha \in I}}\{x_\

alpha\}_{\alpha\in I}が U の元の集合で I ∈ U ⇒ {\displaystyle \bigcup _{\alpha \in I}x_{\alpha }}\bigcup_{\alpha\in I} x_\alpha ∈ U 特に、最後の公理は U が空集合でなければ、その有限部分集合のすべてと、それら各々の濃度を部分集合として含んでいなければならないことを意味する。このことは、任意の宇宙の類の共通集合が宇宙であるという定義から直ちに証明することが出来る。 宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。 グロタンディーク宇宙は

、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。 グロタンディーク宇宙と到達不能基数 グロタンディーク宇宙の2つの簡単な例がある: ・空集合 ・すべての遺伝的有限集合 の集合　{\displaystyle V_{\omega }}V_\omega 。 他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である: つづく http://rio2016.5ch.net/test/read.cgi/math/1586907848/724

725: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 21:53:55.27 ID:ijGx7lvx >>724 つづき (U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。 (C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。 https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) 宇宙 (数学) 集合論 到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。 圏論 圏論に歴史的につながる宇宙への別の

アプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1586907848/725

726: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 21:55:55.16 ID:ijGx7lvx >>724 タイポ訂正 ３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から） 　↓ ３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から） それタイポか？ おいおい（＾＾ ケアレスミスでした（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586907848/726

727: １３２人目の素数さん [] 2020/04/19(日) 21:56:15.14 ID:yMpHhz7D >>724 グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ？ あと同型てのはどう言う意味での同型？ http://rio2016.5ch.net/test/read.cgi/math/1586907848/727

728: １３２人目の素数さん [] 2020/04/19(日) 22:05:15.37 ID:yMpHhz7D 係数Rのn次元ベクトル空間は確かに同型だけど、じゃあR^nだけを考えるかというとそうじゃない 基底の取り換えとか、双対空間作ったりとか色々するでしょ 確かにそれは一つのR^nに固定してもできるかもしれないけど、そんなことは不自然で誰もしない（する必要もない） グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか http://rio2016.5ch.net/test/read.cgi/math/1586907848/728

729: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 22:05:18.73 ID:ijGx7lvx >>726 補足 >３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から） なお、この”同型”は、下記の望月ＩＵＴ Ｉ Ｐ39の ”isomorphism”およびＮｏｔｅの記述にならい、各人の解釈に任せるものとする（＾＾； 　>>691より http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRU

CTION OF HODGE THEATERS Shinichi Mochizuki April 2020 (抜粋) P33 Section 0: Notations and Conventions Monoids and Categories: We shall refer to an isomorphic copy of some object as an isomorph of the object. If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D. [Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.] ht

tp://rio2016.5ch.net/test/read.cgi/math/1586907848/729

730: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 22:10:28.76 ID:ijGx7lvx >>727-728 ID:yMpHhz7Dさん さすがの鋭いつっこみですね （>>729 がちょっと遅かったな） ザブトン １枚！（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586907848/730

731: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 22:15:33.08 ID:ijGx7lvx >>728 >グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか 「グロタンディーク宇宙を複数作って、取り替える」は、ないな、多分 　>>690 より、下記の記述ですな（＾＾； http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 202

0 (抜粋) Introduction P21 §I3. Basepoints and Inter-universality It is this fundamental aspect of the theory of the present series of papers - i.e., of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter - that we refer to as inter-universal. This inter-universal aspect of the theory manifestly leads to the issue of considering the extent to which one can understand various ring/scheme structures by co

nsidering only the underlying abstract topological group of some´etale fundamental group arising from such a ring/scheme structure - i.e., in other words, of considering the absolute anabelian geometry [cf. the Introductions to [AbsTopI], [AbsTopII], [AbsTopIII]] of the rings/schemes under consideration. http://rio2016.5ch.net/test/read.cgi/math/1586907848/731

732: BLACKX ◆SvoRwjQrNc [sage] 2020/04/19(日) 22:18:43.40 ID:qnt75GLx なんでスレ分かれてるんだよ！帰れよ http://rio2016.5ch.net/test/read.cgi/math/1586907848/732

733: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/19(日) 22:46:50.46 ID:ijGx7lvx >>732 おまえが、スレ主か？　ここの？　何の資格で人に指図するの？　 おれが、おまえに従う理由がない！！ｗ（＾＾ 証明終りｗ http://rio2016.5ch.net/test/read.cgi/math/1586907848/733

734: BLACKX ◆SvoRwjQrNc [sage] 2020/04/19(日) 22:54:16.36 ID:qnt75GLx 定義も何もしてないのに証明とは笑 http://rio2016.5ch.net/test/read.cgi/math/1586907848/734

735: １３２人目の素数さん [] 2020/04/19(日) 22:54:43.14 ID:YBBEAUTj ABC予想なんて訳したやつは誰だー conjectureは推論じゃねーか 毎回詰まる http://rio2016.5ch.net/test/read.cgi/math/1586907848/735

736: １３２人目の素数さん [] 2020/04/19(日) 23:11:48.08 ID:yMpHhz7D >>735 数学一般にconjectureは予想て訳すし、意味的に推論じゃなくて予想の方が正しいでしょ http://rio2016.5ch.net/test/read.cgi/math/1586907848/736

737: BLACKX ◆SvoRwjQrNc [sage] 2020/04/19(日) 23:11:50.71 ID:qnt75GLx OPコメント来たぞ http://rio2016.5ch.net/test/read.cgi/math/1586907848/737

738: １３２人目の素数さん [sage] 2020/04/19(日) 23:22:39.58 ID:Om6IlAxz もっちーのブログ、そろそろ閉じられそうな気がする せめてコメント欄閉じるだけで記事は残してね！ それにしてもコメントの改行、もしかしてガラケで返信してるんか？ まさかね… http://rio2016.5ch.net/test/read.cgi/math/1586907848/738

739: 粋蕎 ◆C2UdlLHDRI [sage] 2020/04/19(日) 23:23:59.93 ID:8BOyW/Ba 儂以外に居るんかガラケー http://rio2016.5ch.net/test/read.cgi/math/1586907848/739

740: １３２人目の素数さん [] 2020/04/19(日) 23:51:43.28 ID:uMwLCcbW 「京都大は３日、３０年以上にわたって未解決だった数学の難問「ＡＢＣ予想」を 京都大数理解析研究所の望月新一教授（５１）が証明したと発表した。 望月氏の論文が、同研究所が編集する国際専門誌「ＰＲＩＭＳ（プリムス）」の審査を 通過し採択された。同研究所は「重要かつ困難な問題を解決した」と評価した。」 ところで京大はこの後、どうするつもりなのか http://rio2016.5ch.net/test/read.cgi/math/1586907848/740

741: １３２人目の素数さん [] 2020/04/20(月) 00:09:58.37 ID:55beezTS 京都大学のサイトみたけど、ニュースリリースにそんな記事なかったから、 なかったことにしたんだすね http://rio2016.5ch.net/test/read.cgi/math/1586907848/741

742: BLACKX ◆SvoRwjQrNc [sage] 2020/04/20(月) 00:16:47.62 ID:5PJxxsfj 今のうちに魚拓とっとくべき http://rio2016.5ch.net/test/read.cgi/math/1586907848/742

743: １３２人目の素数さん [] 2020/04/20(月) 00:43:10.27 ID:nWvMZC6M >>736 数学界の慣行とはいえ日本語で考えてるからpre-でつづり始めてしまってconjectureの単語が毎回出てこない… ゲシュタルト崩壊みたいな http://rio2016.5ch.net/test/read.cgi/math/1586907848/743

744: １３２人目の素数さん [] 2020/04/20(月) 00:59:28.02 ID:lnvD9PiA なかなか痛烈な批判 これ擁護できないだろ >W says: >April 19, 2020 at 9:53 am >… >(1) The first couple hundred pages of the IUT papers introduce a lot of difficult new terminology. >Scholze and Stix demonstrated that none of this new terminology is necessary >to prove any of the formal statements in these pages. >Moreover, when the new terminology is ignored, the proofs all become simpler and easier to understand. >

They all follow quickly from Mochizuki’s previous work on the p-adic Grothendieck conjecture. >… >As an editor or referee, this should be completely unacceptable. >Even if the proof is technically correct in the sense that >Mochizuki or someone else can give a clear and precise argument >which the proof of Corollary 3.12 could be said to summarize, >allowing the paper to continue in its present form would be a failure at their duty >to ensure papers in their journal properly explain t

heir arguments. >A paper such that everyone who studies it seriously, >except a small inner circle, gets stuck at the same point simply isn’t a proper explanation. >… https://www.math.columbia.edu/~woit/wordpress/?p=11709&cpage=3#comment-236111 http://rio2016.5ch.net/test/read.cgi/math/1586907848/744

745: １３２人目の素数さん [] 2020/04/20(月) 01:04:37.06 ID:lnvD9PiA >>743 そんなこと言ったらリーマン予想とかRiemann hypothesisだし 固有名詞だと思うべき http://rio2016.5ch.net/test/read.cgi/math/1586907848/745

746: １３２人目の素数さん [] 2020/04/20(月) 01:24:19.76 ID:nWvMZC6M >>745 はい先生わかりました http://rio2016.5ch.net/test/read.cgi/math/1586907848/746

747: １３２人目の素数さん [sage] 2020/04/20(月) 03:24:44.56 ID:210Latl8 >>744 これ、単純に、(1)から続く段落の部分については、もっちーや擁護派は間違いって 言っていることじゃねーの。こいつが無意味って言っている部分に深い意味がある ってのがもっちーやブンゲンやフェセンコの言い分だろ。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/747

748: BLACKX ◆SvoRwjQrNc [sage] 2020/04/20(月) 04:02:55.18 ID:YjnQQnaT 普通深い意味を要求する場合その話題にも触れ定義し命題とし証明する。そういうのがない時点で自明としても扱われることがないから餅が今時を経て指摘されてるのは重大な欠陥だろ http://rio2016.5ch.net/test/read.cgi/math/1586907848/748

749: １３２人目の素数さん [sage] 2020/04/20(月) 04:56:57.52 ID:ba5R664K これほんとに査読終わったの？ ショルツ納得した？俺素人だからこのスレを眺めてるだけなんだけども 証明した！って主張してるのもしかして京大だけ？ http://rio2016.5ch.net/test/read.cgi/math/1586907848/749

750: １３２人目の素数さん [sage] 2020/04/20(月) 05:57:34.00 ID:lDogB3OP >>715 想像以上のイカレポンチだったわ http://rio2016.5ch.net/test/read.cgi/math/1586907848/750

751: １３２人目の素数さん [sage] 2020/04/20(月) 07:18:24.29 ID:BjIY/YLZ >>749 査読は終わった ショルツが納得するのは必要条件では無い 京大以外にもいる http://rio2016.5ch.net/test/read.cgi/math/1586907848/751

752: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 07:19:34.25 ID:w4pNIZe5 >>750 ああ、その>>715は ＳＳ vs 望月星 みたいなものよ おれが、望月星側だな で、>>744 W saysによれば 望月星側は、想像以上のイカレポンチだったわ ということね しかと、承ったｗ しばし待て 今年中には、どっちがどうか決着しそうだ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586907848/752

753: １３２人目の素数さん [] 2020/04/20(月) 07:20:01.95 ID:jmWfkEw+ >>724 >とどめを刺すか？ 自分に？ ＞グロタンディーク宇宙は、いわゆる同型を除いて一意と考えられる ＞（∵ 実際には、集合論のためのモデルを与える から） もしかして、集合論のモデルは「同型を除いて一意」と誤解してる？ 誤解じゃないというなら、根拠示してくれる？ ・・・そんなもんないけど http://rio2016.5ch.net/test/read.cgi/math/1586907848/753

754: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 07:23:37.10 ID:w4pNIZe5 >>751 同意 かつ、>>744 W saysは、ショルツの尻馬だ 彼自身は、ＩＵＴを直接批判する数学の能力なし！ ”Scholze and Stix”と書いているけれど いま（2020年）は、ショルツ氏のみ Stix氏は沈黙（コメント拒否）だよ http://rio2016.5ch.net/test/read.cgi/math/1586907848/754

755: １３２人目の素数さん [] 2020/04/20(月) 07:25:39.05 ID:jmWfkEw+ >>727 ＞グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ？ そりゃみんな同じところツッコむよね だって、まったくの誤りだからｗ >>729 ＞なお、この”同型”は、下記の望月ＩＵＴ Ｉ Ｐ39の ＞ ”isomorphism”およびＮｏｔｅの記述にならい、 ＞各人の解釈に任せるものとする やれやれ😥　数学だけじゃなく英語もダメなんだな　チミは http://rio2016.5ch.net/test/read.cgi/math/1586907848/755

756: １３２人目の素数さん [] 2020/04/20(月) 07:29:28.80 ID:jmWfkEw+ 「集合論のモデルが同型を除いて一意」という主張は 有名なコーエンの「選択公理及び一般連続体仮説の決定不能性」 を否定するものなんだが、分かってるか？ 分かってないんだろうな、こんな様子じゃｗ http://rio2016.5ch.net/test/read.cgi/math/1586907848/756

757: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 07:42:36.89 ID:w4pNIZe5 >>753 まあ、まじレスすれば それは、用語の濫用というやつだな（下記） それ>>729に茶化して書いておいたが、文脈に応じて解釈せよってことよ（望月論文に同じ） 日常言語に同じだ ”UNIVERSAL”について言えば、「ユニバーサル・スタジオ・ジャパン｜USJ」がある ユニバーサル＝宇宙と考える人はいないだろうよ 「宇宙」には、”space”という用語もある ところが、「駐車乗のスペース」といったとき、”スペース”を「宇宙」と考える人はい

ない もどると、>>724 「 実際には、集合論のためのモデルを与える」とあるだろ？ 2つの別の方法で構築した”集合論のためのモデル”が、実質同じだということを、用語の濫觴と茶化しで ”いわゆる同型を除いて一意と考えられる”と書いただけのこと そもそも、”同型”なる用語の意味が、数学用語としては、その文脈毎に異なることは、常識（当たり前）だろう （余談だが 望月論文も、それを言っているとおもうが、確かに分かり難いと思った） （参考） https://ja.wikipedia.org/wiki/%E8%A8%98%E5%8F%B7%E3%81%AE%E6%BF%AB%E7%94%A8 記号

の濫用 関連する概念に用語の濫用（英: abuse of language, abuse of terminology, 仏: abus de langage）がある。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/757

758: １３２人目の素数さん [] 2020/04/20(月) 07:49:07.65 ID:hY/oh56u Woitのブログ、新ブログだけど、理論が数学で正しいかはでなくなってきて、 ５ｃｈと同じレベルみたいだね。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/758

759: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 07:50:35.74 ID:w4pNIZe5 >>757 補足 >そもそも、”同型”なる用語の意味が、数学用語としては、その文脈毎に異なることは、常識（当たり前）だろう >（余談だが 望月論文も、それを言っているとおもうが、確かに分かり難いと思った） 下記の望月ＩＵＴ Ｉ Ｐ39の ”isomorphism”およびＮｏｔｅの記述 [Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series

of papers.] なら、i-isomorphism とかのネーミングにすれば良かった気がする （i-isomorphismって、i-phone みたいで 格好いいだろ？ｗ（＾＾；　） 　>>691より http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020 (抜粋) P33 Section 0: Notations and Conventions Monoids and Categories: We shall refer to an isomorphic copy of some object as an isomorph of the object. If C and

D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D. [Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.] http://rio2016.5ch.net/test/read.cgi/math/1586907848/759

760: １３２人目の素数さん [] 2020/04/20(月) 07:54:29.54 ID:jmWfkEw+ >>757 ああ、やっぱり、自分の誤りが全然わかってないのね >>756読んだ？え？読んだがわからん？ これはヒドイ 実数全体の集合をRとする あるモデルでRはℵ1、別のモデルでRはℵ2 どこが同型なんだ　ℵ1とℵ2は同じ濃度なのか？ それはℵの定義に反するなｗ 君みたいな馬鹿が支持することで望月の評価はどん底に下がるのだよ もし、望月を支持したいなら、君がやれることは只ひとつ ・・・なにも書かないことだ なにも書かなければ

、ボロがでないからな できるかな？ネットジャンキーの君に http://rio2016.5ch.net/test/read.cgi/math/1586907848/760

761: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 07:56:05.73 ID:w4pNIZe5 >>758 >Woitのブログ、新ブログだけど、理論が数学で正しいかはでなくなってきて、 > ５ｃｈと同じレベルみたいだね。 同意 ５ｃｈと同じレベル は、可哀想と思うが 数学ではなく、手続き論でしょ つまり、レフェリーがちゃんと指導しろとか、道義的にどうとか、云々 でも、ＲＩＭＳのレフェリーとか、柏原・玉川先生も理解できる 望月先生が、構想10年、営々と書いてきたＩＵＴ論文 「いまから書き直せ」って、さらに何年かかるって話にもなる

あと、遠アーベルになれていない人には、読みにくいかもしれんが、プロにはこの方が読みやすいってあるかも それは、軽々に判断できない でも、せめて分野外のＭ１、Ｍ２に読める解説書はいるよね（文元本以外にね） http://rio2016.5ch.net/test/read.cgi/math/1586907848/761

762: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 08:00:10.92 ID:w4pNIZe5 >>760 (引用開始) 実数全体の集合をRとする あるモデルでRはℵ1、別のモデルでRはℵ2 どこが同型なんだ　ℵ1とℵ2は同じ濃度なのか？ それはℵの定義に反するなｗ (引用終り) 墓穴掘っているな コンテキストが分かっていない いまコンテキストは>>724の グロタンディーク宇宙限定だよ その例は、全くアサッテの例だ 分かっていないのは、おサルさん、あ な た ｗ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1

586907848/762

763: １３２人目の素数さん [] 2020/04/20(月) 08:04:34.35 ID:jmWfkEw+ >>761 玉川はともかく、柏原はIUT理解してないでしょ あんた数学を舐めすぎ ＞遠アーベルになれていない人には、読みにくいかもしれんが、 ＞プロにはこの方が読みやすいってあるかも ない。望月論文の了解不能性は遠アーベルとは無関係 プロにも肝心なことが書いてないと突っ込まれてる なんのための６００ページ？　無意味だな ＞分野外のＭ１、Ｍ２に読める解説書はいるよね そんなん、専門家に了解できる論文書いた後の話 教科書なんて望月本人が書かなくたっ

て、 他の専門家がいくらでも書いてくれるだろうよ ・・・認められたら、の話だが http://rio2016.5ch.net/test/read.cgi/math/1586907848/763

764: １３２人目の素数さん [] 2020/04/20(月) 08:08:01.26 ID:jmWfkEw+ >>762 ＞コンテキストが分かっていない 同型はコンテキストでは誤魔化せないｗ ＞グロタンディーク宇宙限定だよ それでも誤魔化せないな 「集合論のモデル」と言い切ってしまったのは君 ＞その例は、全くアサッテの例だ アサッテなのは、君の口からデマカセ発言 全ての集合論のモデルが同型を除いて一意？ 君、ほんと考え無しの馬鹿野郎なんだねえｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1586907848/764

765: １３２人目の素数さん [] 2020/04/20(月) 08:13:02.13 ID:RYoxWBTv >>754 あれ、 望月星とショルツスティックスの ミーティングでした。 はじめから星は沈黙ですよ、 緘口令が敷かれているのか。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/765

766: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 08:44:53.07 ID:w4pNIZe5 >>765 望月星の関係は、代表望月、門下星で明確でしょ ＳＳでは、二人は同角で独立 全く違うよ http://rio2016.5ch.net/test/read.cgi/math/1586907848/766

767: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 08:45:46.13 ID:w4pNIZe5 >>766 誤変換訂正 ＳＳでは、二人は同角で独立 　↓ ＳＳでは、二人は同格で独立 http://rio2016.5ch.net/test/read.cgi/math/1586907848/767

768: １３２人目の素数さん [sage] 2020/04/20(月) 08:48:03.25 ID:wPwKBWOa >>381 もう少しまともに引用するように ********************** 望月の方法が機能しないという*証明*はありません。 Scholze-Stixの原稿が証明しているのは以下の通りです。 定理　望月の理論でホッジシアターを特定し、同時にq-pilotとθ-pilotの「具体的な正規化」を課せると仮定すると、矛盾が生じる。 1) 「具体的正規化を同時に課す」という仮説は、固定素数の場合と等価である。 望月の理論はこの導出には使われていない。この同一化に対する抗議が望月の

応答のC12でなされている。 にもかかわらず、ピーター・S.はこれが望月のいう意味であると主張している。 2) ホッジ劇場を特定できる、という仮説も、望月によって彼の述べた目的に反していると抗議された。 ガウス積分の調査のテーゼ、数学では元の物体について何かを証明するために、オブジェクトの「異質なコピー」を導入することがあるということを見ておくことは賢明です。これは、上記の定理でホッジ劇場を特定するという仮定に反している。 私は、望月の証明が正しい、あるいは正しいことが判明するという立場を取っているのではありませんが

、現状のままでは、スティックス＝ショルツの論文を望月の証明を否定する理由として取り上げるべきではありません。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/768

769: １３２人目の素数さん [sage] 2020/04/20(月) 08:48:09.68 ID:Ign/v1Yp 若輩☆さんがモッチ様にたてつけるとは思えないな 何か一言いおうものなら100倍正論で帰ってくるだろうからな http://rio2016.5ch.net/test/read.cgi/math/1586907848/769

770: １３２人目の素数さん [] 2020/04/20(月) 09:11:24.30 ID:RYoxWBTv >>766 森重文に依頼されたショルツが スティックスと共にRIMSを訪問し 望月星.ショルツスティックス ミーティングを行う ↓ S.Sレポートを提出 ↓ 望月レポート　星沈黙　ズーッと沈黙 ↓ RIMS 2020 IUTカンファレンス 遠アーベル幾何学ワークショップで スティックス講演予定 (IPMUカプラノフ参加予定) ↓ スティックス参加取りやめ (カプラノフも参加取りやめ) ↓ 望月新一ブログで 内部告発　アクセプト査読過程を批判 ↓ 玉川柏原が会見 柏原はPRIMSの編集者でない。

↓ RIMS封鎖 ↓ woitのブログでショルツ 「In my manuscript with Stix,」 と明言 http://rio2016.5ch.net/test/read.cgi/math/1586907848/770

771: １３２人目の素数さん [sage] 2020/04/20(月) 10:04:50.36 ID:3oXodUa0 >>292 Ｒ-Ｕ１０６ ── 優しく温かく住む人の心に馴染む家具・・・籐(ラタン) ── 家具って素敵ですよね。。。 ドレッサー(椅子付き)なんてあるんですね♪ 素敵なステマ乙ありで〜す♪♪ http://rio2016.5ch.net/test/read.cgi/math/1586907848/771

772: １３２人目の素数さん [sage] 2020/04/20(月) 10:28:21.90 ID:LhH52yzr モデル理論で同型という概念をあまり見ない(ドメインからドメインへの全単射があって構造を保つものらしい)けど、 異なる強到達不能基数κ、κ'が存在するならば、グロタンディーク宇宙Vκ、Vκ'は(それをドメインとして)ZFCのモデルだが、その間には全単射が存在しないので同型でなく、同型の違いを除いても一意ではないのでは http://rio2016.5ch.net/test/read.cgi/math/1586907848/772

773: 粋蕎 ◆C2UdlLHDRI [sage] 2020/04/20(月) 10:33:40.21 ID:oyGS3XIo 理研の前に東電も遣ら化して呉れとる。儂は信じもしない｡其の前は誰？捏造ゴッドハンド佐田か？ 勿論、Oversimplification & 十把一絡げ拡大解釈のｼｮｽﾃｨコンビも信じない｡ あー、ペレルマンをペロリマンしようとした、ヤウの伝手の二人組も居ったな｡ http://rio2016.5ch.net/test/read.cgi/math/1586907848/773

774: １３２人目の素数さん [] 2020/04/20(月) 10:39:10.73 ID:jmWfkEw+ >>772 ＞異なる強到達不能基数κ、κ'が存在するならば 強到達不能基数は無数に存在します ＞グロタンディーク宇宙Vκ、Vκ'はZFCのモデルだが、 ＞その間には全単射が存在しないので同型でなく、 ＞同型の違いを除いても一意ではないのでは そうですね　「準同型」写像を設定できるかどうかは知りませんが http://rio2016.5ch.net/test/read.cgi/math/1586907848/774

775: １３２人目の素数さん [] 2020/04/20(月) 10:42:54.98 ID:jmWfkEw+ >>773 高卒の君は安達と遊んでなさい http://rio2016.5ch.net/test/read.cgi/math/1586907848/775

776: １３２人目の素数さん [sage] 2020/04/20(月) 11:09:16.30 ID:LhH52yzr >>774 構造としては<Vκ, ∈κ>、 <Vκ', ∈κ'>で累積的階層の定義からドメインは一方に埋め込めるから準同型はありそうだけど、詳しくないから俺には示せないな ＞強到達不能基数は無数に存在 そうなの？ http://rio2016.5ch.net/test/read.cgi/math/1586907848/776

777: １３２人目の素数さん [sage] 2020/04/20(月) 11:21:55.91 ID:jmWfkEw+ >>777 ただし、巨大基数の存在を認めれば・・・だが https://ja.wikipedia.org/wiki/%E5%B7%A8%E5%A4%A7%E5%9F%BA%E6%95%B0 http://rio2016.5ch.net/test/read.cgi/math/1586907848/777

778: １３２人目の素数さん [sage] 2020/04/20(月) 11:24:59.24 ID:ba5R664K >>751 ありがと！ http://rio2016.5ch.net/test/read.cgi/math/1586907848/778

779: １３２人目の素数さん [sage] 2020/04/20(月) 11:25:27.47 ID:QwBcY9W0 自己レス∞サイクル＠＠〜 http://rio2016.5ch.net/test/read.cgi/math/1586907848/779

780: 粋蕎 ◆C2UdlLHDRI [sage] 2020/04/20(月) 11:44:19.60 ID:oyGS3XIo >>775 まだ居たん？妄想出鱈目出任せ大法螺吹きな大嘘でIUTTを否定する風説流し中傷人間｡ もう御前は『例えIUTTが世界的に否定的証明されたとしても』風説流し中傷人間でしか無い、他ならん｡ 要するに、SSコンビを初めとするアンチ勢の面汚し｡ いつまで中傷（=無根拠貶言）でスレを汚してく積もりなんじゃか｡ 前に「アナーキスト」気取ったコテハン付けてたな。そう名乗れば許されるとでも思うとるんか？ http://rio2016.5ch.net/test/read.cgi/math/1586907848/780

781: １３２人目の素数さん [] 2020/04/20(月) 11:46:20.85 ID:jmWfkEw+ >>697 ＞数学基礎論的・論理学的に非自明な操作 おそらく具体的には「巨大基数の存在を前提する」とかいう話かと思われ そういうことは必要ない、というのがリンク先の文書の主旨 http://rio2016.5ch.net/test/read.cgi/math/1586907848/781

782: １３２人目の素数さん [] 2020/04/20(月) 11:51:17.51 ID:jmWfkEw+ >>780 また統失が妄想書き散らかしてるなｗ はよ病院に戻れ　勝手に隔離病棟（＝0.999スレ）から出たらダメだぞ http://rio2016.5ch.net/test/read.cgi/math/1586907848/782

783: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 12:05:36.39 ID:jS1N2Wjo >>772 &>>776 ID:LhH52yzr さん、どうも あなたはレベルが高そうだねぇ（＾＾ スレチだが、少しだけ >モデル理論で同型という概念をあまり見ない(ドメインからドメインへの全単射があって構造を保つものらしい)けど、 >構造としては<Vκ, ∈κ>、 <Vκ', ∈κ'>で累積的階層の定義からドメインは一方に埋め込めるから準同型はありそうだけど、 同意です 前提として、細かい定義抜きで、日常の雑談風でやりましょう １．

同型とは？　代数学を例にとれば、集合A,Bで 射：A→B で、演算を保存するもので全単射 　　群なら積、環なら積和を保存する ２．では、モデル理論では、何を保存するのか？　 　簡単には、宇宙A,Bで 射：A→B で、集合基礎論として数学理論を展開する舞台として欲しい数学要素が全て過不足なく揃うこと 　かな？ 宇宙A,Bともに 　数学的には、宇宙A内の任意の数学要素が 宇宙Bにある 　また、その逆も成り立てば、射：A→Bが同型としてよいとしましょう ３．さて、おっしゃるように、階層構造を考えるのが筋でしょう 　つまり、宇宙内の個別の数学要

素を考えるのではなく、まずは階層を考えれば良い 　宇宙A,Bで、Aで到達できる階層がBにあれば、同型 　なければ、同型でない 　そして、AとBで階層までは一致しているなら、じゃ準同型かな？とか（適当でスマンｗ） こんな話じゃないでしょうか？（＾＾ で、へんなオッサン（おサル）がいて、私の数学ダジャレで書いた （>>757） ”いわゆる同型を除いて一意と考えられる”に 顔を真っ赤にして、アサッテのツッコミ(>>762)をしてくるから オッサン、なに血迷って、墓穴掘ってんだぁ〜？ ってことですよｗ （”同型”の意味、代数

の同型と 集合基礎論の宇宙の同型では、違うでしょ（上記の通り） 　厳密な話をしだしたら、一行のダジャレに１頁の解説いるわな、シャレにならんぜ！ｗｗ（＾＾；　） まあ、スレチだから、この程度で http://rio2016.5ch.net/test/read.cgi/math/1586907848/783

784: 粋蕎 ◆C2UdlLHDRI [sage] 2020/04/20(月) 12:06:48.13 ID:oyGS3XIo 妄想？ ↓事実じゃろ >>426-443にて おどれ『ID:lQKSp/GA』の『犯罪者呼ばわり』の根拠の『妄想出鱈目出任せ大法螺吹きな大嘘』、正式に成立 IUTT主張派を犯罪者呼ばわりしても地獄の世界｡ IUTT否定派を犯罪者呼ばわりしても地獄の世界｡ 数学者は数学的成果を挙げるに当たり品行方正さを欠かしては、闇に消える。所詮、数学界も人間界｡ http://rio2016.5ch.net/test/read.cgi/math/1586907848/784

785: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 12:11:03.63 ID:jS1N2Wjo >>781 >＞数学基礎論的・論理学的に非自明な操作 >おそらく具体的には「巨大基数の存在を前提する」とかいう話かと思われ >そういうことは必要ない、というのがリンク先の文書の主旨 おサル違うよ 望月IUTは、圏論ベースだから そもそも、グロタンディークの数学だし 到達不能基数を含む グロタンディーク宇宙の数学だよ それに”操作”というキーワード落として ”「巨大基数の存在を前提する」とかいう話かと思われ”なんて回答は 問いに

正面から答えてないぜ （国語でアウトだな） （そもそもが、山下解説が怪しいのだけれどｗ（＾＾；　） http://rio2016.5ch.net/test/read.cgi/math/1586907848/785

786: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/20(月) 12:16:05.13 ID:jS1N2Wjo >>783 タイポ訂正 　宇宙A,Bで、Aで到達できる階層がBにあれば、同型 　　　↓ 　宇宙A,Bで、Aで到達できる階層がBにあれば、同型かも （同型と断定するとまずいか（＾＾；　　） http://rio2016.5ch.net/test/read.cgi/math/1586907848/786

787: １３２人目の素数さん [] 2020/04/20(月) 12:46:55.78 ID:lnvD9PiA センセーショナルな内容の論文のギャップが指摘されたら、じゃあ俺がギャップを埋めてやるよという奴が現れるはず でもIUTについてはそれは起きていない それどころか、ショルツはIUTは間違っているとさえ主張している これはなぜか？ http://rio2016.5ch.net/test/read.cgi/math/1586907848/787

788: １３２人目の素数さん [] 2020/04/20(月) 13:02:02.26 ID:jmWfkEw+ >>783 ＞あなたはレベルが高そうだねぇ 正規部分群の定義も間違える工学部卒の数盲の君より レベルの低い人なんてまずいないよ ＞細かい定義抜きで、日常の雑談風でやりましょう 君は定義を読まずに　自分勝手な俺様定義をでっちあげるから間違う 雑談は馬鹿の証 http://rio2016.5ch.net/test/read.cgi/math/1586907848/788

789: １３２人目の素数さん [] 2020/04/20(月) 13:06:31.85 ID:jmWfkEw+ >>785 ＞おサル違うよ そう私は君がおサルと思ってる人とは全く違う 以下は意味不明なので黙殺 論理的に思考できない統合失調症患者には困ったものだね ＞（そもそもが、山下解説が怪しいのだけれど） 君の読解がオカシイ 山下剛の解説は、実質的に宇宙の取り換えが便宜的であると述べている つまり君がナイーブに言いたがってたことと同じ 君はそんなことも読み取れないのかね？ http://rio2016.5ch.net/test/read.cgi/math/1586907848/789

790: １３２人目の素数さん [sage] 2020/04/20(月) 13:13:38.10 ID:OrFXa98B モッチーの数学力はわからんが、 政治力はアインシュタイン級だな。 http://rio2016.5ch.net/test/read.cgi/math/1586907848/790

791: １３２人目の素数さん [] 2020/04/20(月) 13:17:54.28 ID:jmWfkEw+ >>699 ＞宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します. ＞スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです. ＞一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません. ＞一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています. ＞あくまで 1 つの Grothendieck 宇宙の中で考えて，その

中に別々にスキーム論があって, ＞それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです. 下2行では、実際には宇宙そのものを取り換えるわけではない、と云ってる 別々のスキーム論というものが具体的にどういうものかは知らないが、 集合論の中で、異なる群が存在し得るように、 異なるスキームが存在し得るから、問題ないだろう http://rio2016.5ch.net/test/read.cgi/math/1586907848/791

---

上下前次1-新書関写板覧索設栞歴

---

あと 211 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.022s