Inter-universal geometry と ABC予想 (応援スレ) 76

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 75
https://rio2016.5ch.net/test/read.cgi/math/1757554210/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
About the study of IUT by Ivan Fesenko http://ivanfesenko.org/wp-content/uploads/rapg.pdf https://ivanfesenko.org/?page_id=80
https://www.kurims.kyoto-u.ac.jp/~motizuki/
望月新一＠数理研
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
＜新展開＞
・2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！
つづく

https://rio2016.5ch.net/test/read.cgi/math/1749926306/589
>「∈ループ」への執着が何らかの問題の兆候である点には同意します。また
>「∈ループ」が核心的な問題ではないが関連している点にも同意します。

>IUT におけるディオファントスの目標は、
>「素数ストリップ」と呼ばれる（悪い還元を持つ）特定の素数の集合を、
>あたかもそれらがすべての素数と同等であるかのように、何らかの形で扱うことです。

>つまり、この集合は、より大きな素数の集合に属しています。
>それらを同等として扱うことは、
>本質的に、その一部が全体と同じであると言うことに他なりません。

>したがって、この集合がｐであり、すべての素数がPであるならば、ｐ∈ P となる。
>しかしここでは、IUTの設定がｐ=Pと仮定しているため、これはｐ∈ ｐを意味する。
>これが「∈ループ」という表現の起源であるが、
>私の見解では、これは本質的な問題に迫っていない。
>ｐ∈ ｐが真の問題ではない。
>真の問題は、IUTがｐ≠Pであるにもかかわらずｐ=Pと仮定している点にある。
>したがって「∈ループ」とは、IUT内で矛盾を生じさせる同一視を婉曲に表現した言葉に過ぎない。

>>449
仲間の他スレからの無断引用　荒らし　IUTもみ消しはおやめください

誤爆すまん

https://rio2016.5ch.net/test/read.cgi/math/1749926306/590
>これは重要なことです。
>なぜなら、当初（つまり2000 年代初頭）から、
>「宇宙際」/ 異なるラベルの主な動機として挙げられていたのは、
>これらの「∈-ループ」だったからです。　
>しかし、その真の意味は
>素数ストリップは実際にはそうではないにもかかわらず、
>すべての素数と同等であると扱うことが
>主な動機だったということです。
>そのため、私は時間の経過とともに、
>ショルツとスティックスの主張に
>非常に共感するようになりました。
>それは、ｐ=P と仮定することで生じる矛盾を保留するために導入された
>ラベル付けの仕組みを取り除くと、その矛盾が即座に明らかになること
>を示しているだけなのです。

>この「宇宙際」/戦略について考える際に、
>次のような例えを使用しています。
>それは、構文エラーが発生しているにもかかわらず、
>エラーメッセージが表示されないように、
>あるコンピュータで左辺を、
>別のコンピュータで右辺を
>処理するようなものです。
>ショルツとスティックスによる議論は、
>すべてを 2 つのホッジ劇場とシータリンクに単純化し、
>本質的には
>「最初から 1 台のコンピューターでこれを実行して、何が起こるかを確かめよう」
>というものです。　
>もちろん、その答えは、
>「構文エラーがすぐに発生する」
>というものです。

「ｐ∈Pが真の問題ではない。
真の問題は、IUTがｐ≠Pであるにもかかわらずｐ=Pと仮定している点にある。
「∈ループ」とは、IUT内で矛盾を生じさせる同一視を婉曲に表現した言葉に過ぎない。」

「ｐ=P と仮定することで生じる矛盾を保留するために導入された
ラベル付けの仕組みを取り除くと、その矛盾が即座に明らかになる」

「（ラベル付けの仕組みは）
構文エラーが発生しているにもかかわらず、
エラーメッセージが表示されないように、
あるコンピュータで左辺を、
別のコンピュータで右辺を
処理するようなものです。
ショルツとスティックスによる議論は、
すべてを 2 つのホッジ劇場とシータリンクに単純化し、
本質的には
「最初から 1台のコンピューターでこれを実行して、何が起こるかを確かめよう」
というものです。　
もちろん、その答えは、
「構文エラーがすぐに発生する」
というものです。」

（IUTは）ｐ≠Pであるにもかかわらずｐ=Pと仮定している
（ラベル付けの仕組みは）ｐ=P と仮定することで生じる矛盾を保留するために導入された

エラーメッセージが表示されないように、
あるコンピュータで左辺を、別のコンピュータで右辺を
処理する「トリック」をやめて、
最初から 1台のコンピューターでこれを実行して、何が起こるかを確かめよう
もちろん、その答えは、
「構文エラーがすぐに発生する」

2 名前：１３２人目の素数さん[] 投稿日：2020/12/19(土) 21:18:55.00 ID:4b7NgT9S [2/2]
雑談 ◆yH25M02vWFhP

2012年以来、8年間も延々と「ガロア理論」と名の付くスレッドを立て続けるも
一冊の本も読み通せず、ガロア理論の基本定理のステートメントすら
正しく読解できなかった正真正銘のidiot

最初のスレッド
https://uni.5ch.net/test/read.cgi/math/1328016756/

自称　大阪大学工学部卒　資源工学専攻

ただし正則行列も行列式も知らんので、学歴詐称の疑惑あり

数学板　４大💩Tripper
https://rio2016.5ch.net/test/read.cgi/math/1608378900/2

>>349
htt
ps://youtube.com/shorts/TG0mNbmbiq0?si=CRP79TFxdk742Xhd

誤爆した

>>458
(引用開始)
話は真逆だろうぜ
・このDL氏氏がどれだけ 吹いているかしらないが
・下記 IUT Challenger Prize 賞金100万ドル
　”MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの”
　この基準に合致する数学論文が、１本もないのは どうしたことよ？ｗ　；ｐ）
・いや、arXive で良いんだよ。未掲載でも。 「いま投稿した 望月よ首を洗って待て！」という数学論文投稿の話が
　２年経って全く無いぞｗｗ
・口番長のDL氏とwoit氏ｗｗｗ
(引用終り)

＜小話その1＞
Ｏ教授：学生Ａくん、君は証明が さっぱりできないね
学生Ａ：教授、違うんです。実は、私は天才で 先生の出題は簡単すぎて 全部自明なので証明が掛けないのです
Ｏ教授：言い訳の弁論だけは一人前だな

＜小話その2＞
望月教授：ＤＬ氏よ、IUTがダメというならば、Challenger Prize 賞金100万ドルの論文書け！
ＤＬ氏：望月教授、違うんです。望月教授のIUTは自明に不成立で それは自明すぎて証明が掛けないのです
望月教授：おまえ 言い訳の弁論だけは一人前だなｗ

チャンチャン
お後がよろしい ようでｗ　；ｐ）

言い訳だけは
一人前のＤＬ氏であったｗｗｗ　（＾＾；

>>465-466
ありがとう　（＾＾

>>467
高卒カラスが見当違いにカァカァ鳴いてうるさいうるさいｗ

>>467
引用しかできないんですね

カー、カー、カー
オチコボレさんの頭をツツイタぞｗｗｗ　；ｐ）

>>470
・ショルツェ氏は、藁人形論法
・DL氏とwoit氏は、口番長ｗｗ　（＾＾

>>471
支離滅裂ですね

査読した人に
説明させるのが
良いと思いますが
しないんですかね？

だからiutの言語規則と推論規則をセタが抜きだきて引用してくれや
それすらないのに何を議論するんや

（IUTは）ｐ≠Pであるにもかかわらずｐ=Pと仮定している
（ラベル付けの仕組みは）ｐ=P と仮定することで生じる矛盾を保留するために導入された

左辺、右辺をそれぞれ別のコンピュータで処理する「トリック」をやめて、
最初から 1台のコンピューターでこれを実行して、何が起こるかを確かめよう
もちろん、その答えは・・・

「構文エラーがすぐに発生する」

さてスレ主さんに言うと政権を引き受けても旧体制が間違っていれば痛みや苦しみが出るわけであえて野に下って旧政治を立て直すのも一つの選択肢だ。そういう意味で言えば自民党総裁はいずれにしろ最高権力者に違いはない。実権を十分にふるえるだろう。間違った政治にすがりつくのは良くなく、正しい政治を貫く準備ができていればどう転んでも問題はない。

僕は総理経験者だけどもちょうど数学をやっていた時期かなあなたを推薦しますよ。能登のほうが忘れ去られず元気になるといいね。

部落の投票は無効にしておく。非部落はあなたを指示ます。

神戸が都になるね、平家物語以来だ。

支持。

します。

自民党と連立を組むと党が消滅する法則

新自由クラブ
日本社会党
新党さきがけ
自由党
保守党
保守新党

土井委員長か。え角栄や中曽根よりだいぶ良かったけど。

村山富市明大が現役時代さ。ちょうど時代は阪神大震災。鶴の一声小泉とも、仲が悪くないポジションだったが。安倍は陰陽師か、陰性。

でも国連大佐、サー。とかのほうが動きやすいけども。

国連軍軍医師にでもまた人を雇うか。国境のない医師団長も懐かしい。

自由党が大元だけどそこと社会科学を社会と社会学の管理において、共産党を追い込んでいるという流れだ日の丸クスでもいいんだが武装が安いから。

>>489
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとうございます。
スレ主です
今後ともどうかよろしくお願いいたします。（＾＾

セタさんは>>359の問題さえ自力で考えられないコピペ脳のようなので
解答を書きます。答えは1.2.いずれの場合も4つとなる。
まず、f(z)の根が分岐点であることが分かるが、他に分岐点の候補として
z=∞が問題になる。z=∞の近傍での挙動を調べるには
局所変数 z=1/tを用いて、t=0の近傍を調べればよい。
が、それは省略して漸近同値記号〜を用いる。
簡単のため、f(z)の最高次の係数を1とすると
f(z)が4次式の場合、z=∞の近傍では√f(z)〜√z^4=z^2
となり、これは分岐点ではない。
f(z)が3次式の場合は、√f(z)〜√z^3=z√z となり
分岐点である。したがって、f(z)の根と合わせて
f(z)が3次でも4次でも、√f(z)の分岐点は4つという結論になる。

昨日の話を補足すると
Q(ζ_11)/Q(ζ_5)がクンマー拡大であるというのは、必要なべき根を後から添加
するという意味ではなく、すでに基礎体に入っているということ。
実際、Q(ζ_11)/Q(ζ_5)は10次クンマー拡大だが、(1の原始10乗根)=-(1の原始5乗根)
は基礎体に含まれている。Q(ζ_5)/Q(i)は4次クンマー拡大であり同様。
Q(i)/Qは2次クンマー拡大であり同様。

>>484
日本社会党の場合、自民党と連立する前からもうヤバかった

ソ連崩壊で「社会主義あかんな」と思われたのが一つ
（但し、社会主義＝ソ連、というのは知的後進地域日本の誤解だが）
日本新党とかいうわけのわかんない党とか出来て
改革＝社会主義、じゃねえぞとかいう雰囲気になったのが一つ
（立憲民主党とかいう”なんちゃって革新”の淵源）

一つ言えるのは社会党がなくなったおかげで
日本から革新は一旦絶滅した、ということ
みんなハゲタカみたいなエゴイストばかりになった
実におぞましい

>>491
世田某は算数脳だから（笑）

一次方程式は移項＆割り算で解けるとか
連立一次方程式は移項＆変数消去で解けるとか
二次方程式は左辺を平方式にして、両辺を開平すれば、一次式になるから解けるとか
数学とは、そういう問題解決の方法(method)を、理屈抜きで覚えるもんだと思ってんのよ

まあ、そう開き直るんならそれでもいいよ
だったら、ガロア理論なんか興味持つのは愚の骨頂よ
そういう発想から最も遠いもんだから（笑）

だって、問題が素人が考えなくても出来そうな方法では解けない理由を語るってもんでしょ
で、なんか別の方法とか提案するわけじゃないでしょ　意味ないじゃん（笑）

５次とかいう前に３次でも開立とか幾何的方法では解けないわけじゃん
結局解析的方法で限りなく近似していく以外ないのよ
それが嫌なら、数学なんかやめちまいな、ってのが正直なところよ

世田某はトマス・ホッブスみたいに、
「すべての問題は有限手数で解ける」
と信じたいみたいだけど無理よ

ま、俺はジョン・ウォリスみたいに
ちくちくとツッコミいれるってわけさ

詳しいことは
アミーア・アレクサンダー
『無限小 世界を変えた数学の危険思想』
でも読んでな

解けないものを解けないと教えてくれるのは
理論が第一の現代数学の世界では重大な成果だけど
計算が第一の日常世界ではハナクソレベルの話

どうやれば実用上使える結果が出るか？が日常世界では重要なこと
解析学というのは本来そういう野蛮な獣道の開発なのよ
まあ、解析学も理論化されちゃったけどね（笑）

>>492
いやいや、大間違い。
Q(ζ_11,ζ_5)/Q(ζ_5)としないとダメだ。
Q(ζ_5,i)/Q(i)も同様。
だから、結構、煩雑な話になる。

>>495
解析でもまだ基本的なことが日の目を見ずに眠っているというのが
期待というか妄想というか。

一例として、p進数にはそういう期待がある。
OTでさえ重要性に気づいてなかったし。

>>491
多価性としては、分岐点以外では2価であることも分かる。
4つの分岐点を2つずつペアにしてそれぞれ半直線で結び
その線に沿ってリーマン球面に切り込みを入れる。
すると、切られた面上では√f(z)は一価函数になる。
しかし、これは一つの葉（よう）にすぎないので
同じ面のコピーをもう一つ用意して、2枚を同じz座標に沿って
貼り合わせる。するとトーラスが出来て、これが
√f(z)のリーマン面である。

このように4つの分岐点が重要な値になるが、この4つを
同じメビウス変換で移しても、解析的に同型である。
したがって、この4点のメビウス変換不変量が
意味を持つであろうと予想できる。これは「複比」
によって構成でき、これがλである。

https://www.mext.go.jp/component/b_menu/other/__icsFiles/afieldfile/2015/06/09/1358751_002.pdf

λの一般化はタイヒミュラー理論によって実現できる

【閲覧注意】

このスレはIUTカルトのサティアン
(IUTがfraudは確定している。)

>>IUTがfraudは確定している。
公式にはどこで？

>>497
まあ、それはあるとおもいますよ

よかったですね　失業しなくて（こら）

>id:oOtOv6bs

このIUTカルトのサティアンスレで
トンデモIUTと数学を混ぜ合わせ
IUTの延命を謀ってきた
もみ消しさん

なお、江見は退官後、JR東海に天下りしている。 中曽根康弘は、のちに「総評を崩壊させようと思ったからね。国労が崩壊すれば、総評も崩壊するということを明確に意識してやったわけだ」と語った[10]。また、評論家で第二次臨調参与を務めた屋山太郎は『文藝春秋』1982年4月号に「国鉄労使【国賊】論」を発表したが、発表後、中曽根康弘のブレーンである瀬島龍三に「これで国労は黙っていても成敗されるから、公の場で『国労をつぶせる』とか言ってはいかん。（改革が）経営再建ではなく、他の動機と思われては大変だ」と言われたという[11]。しかし、葛西は中曽根の発言について、「これは『子の心親知らず』の典型。我々には組合がどうなるとかはどうでもよく、それが目的というのは本質を取り違えているのではないか」と反論している[11]。

https://ja.wikipedia.org/wiki/%E5%9B%BD%E9%89%84%E5%8A%B4%E5%83%8D%E7%B5%84%E5%90%88

>>508

tsujimotter氏は、参考文献で
三冊 楕円曲線の教科書をあげている

https://tsujimotter.ｈａｔｅnablog.com/entry/complex-multiplication-and-calculation-1
tsujimotterのノートブック
具体例を通して学ぶ虚数乗法論（前編）

参考文献
楕円曲線論入門
作者:J. H. シルヴァーマン,J. テイト
発売日: 2012/08/25
メディア: 単行本

The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics (106))
作者:Silverman, Joseph H.
発売日: 2009/05/29
メディア: ハードカバー

楕円曲線論概説〈上〉
作者:J.H. シルヴァーマン
メディア: 単行本

>>499-500
きみも
tsujimotter 日曜数学者 氏を
見習って
参考文献を書くべきでは？　；ｐ）

一句”不勉強 オチコボレのさばる 便所板”（字余り）

　>>499-500 で君が書いたことは
それ、日曜数学者のtsujimotterが書いているように
種本（参考文献）あるんだよね

あたかも 自分一人で
考えたように
ハナタカするのは、それ違うんじゃね？ｗ　；ｐ）

尊師♪尊師♪ｿﾝｼｿﾝｼｿﾝｼ♪
望♪月♪尊師〜♪

>>511
理解していれば別に構わないんですよ

>>511
>ハナタカするのは、それ違うんじゃね？ｗ　；ｐ）
なぜあれをハナタカと看做すのかと言えば
あなたがそれをやりたくてやりたくて堪らないからです

あなたが「ハナタカ」と思った人に
あなたが「ハナタカ」と思ったと書いても
読んだ人は誰もが田作の歯軋りにしかみなさないでしょう
あなたがするべきことは「ハナタカ」の鼻を折るような
鋭い質問でしょうよ

>>506
公式には？

鼻は折られることも
齧られることもある

>>510
>きみも参考文献を書くべきでは？
>>511
>それ、種本（参考文献）あるんだよね
>あたかも 自分一人で考えたように
>ハナタカするのは、それ違うんじゃね？

自分は他人の借り羽でハナタカするくせに
相手が自分の知らないこと書くと劣等感でイラついて
「種本書け　お前もオレと同じ借り羽だから同類」
と相手を下げようとするみっともない虚飾カラスの世田某

おまえみたいな分かりもせずにコピペする
「中身ゼロでも自分を誇りたがる病的ナルシスト」
と一緒にすんなってさ

>>513
>理解していれば別に構わないんですよ
>>514
>なぜあれをハナタカと看做すのかと言えば
>あなたがそれをやりたくてやりたくて堪らないからです

「他人の羽でハナタカ」するカラスの世田某ｗｗｗｗｗｗｗ

最先端のネタを分かりもせずにコピペして貼り付けてドヤるカラスには
大学１年で習う基礎ネタを質問してトンデモ回答を引き出す

実績
１．逆行列が存在する条件　
カラス「正方行列」　正解「行列式が０でない正方行列」

２．無限小数による構成が実数の定義を満たすこと
カラス「1＝0.999…でなくてもいい」　正解「それ満たさないと完備性が成立しない」

３．無限集合に関する性質
カラス「順序数はX∪{X}で生成されるから、X∪{X}＝ωとなるXが存在する」　
正解「存在しません　ωは後続順序数ではないから」

カラス、スリーアウト！！！

すぐ、
「群ダー」（ガロア理論）
「圏ダー、層ダー」（グロタンディクの理論）
とチューショー的な理論に食いつくカラスは
その前の段階である
線形空間（集合から数体への関数の空間）の理論
すら理解できない始末

そらアカンわ

R^nを「ｎ個の実数の並び」としか理解できない
「元がｎ個ある集合から実数への関数」なんてことは
高卒レベルの具体脳の彼にはまったく想像もできない

>>475
>だからiutの言語規則と推論規則をセタが抜きだきて引用してくれや
>それすらないのに何を議論するんや

下記 「圏論とはなんなのか」
”圏論は基礎論を無視したガバガバ理論”と
”圏論的な基礎論は明らかな循環論法”
を 百回音読してねｗ　；ｐ）

https://takulabo.ｓａｋｕｒａ.ne.jp/notes/math_category_introduction.html
TakuLabo
僕用勉強ノート 「圏論」の巻
圏論とはなんなのか
目次
• 圏論とは
• 圏論の使用用途
• 集合の概念の客観視
• 双対性をフォーマルに捉える
• 自然性のフォーマルな定式化
• 普遍的構成をフォーマルに取り扱うことを可能にする
• 図式追跡の厳密な環境設定
• 数学的構造の計算ツールの基盤
• 抽象的な構造の定式化
• 構造が付随するべきものを明確にする
• 型理論を意味論的な側面から考える
• 多項式を始めとする従来の枠組みからはフォーマルに定義することが困難な概念に対する厳密な定義の提供
• 数学基礎 (foundations for mathematics) の一つとして活用する
• 圏論初学者が陥りがちな典型的な誤解
• 圏論では具体的な構成ができない
• 圏論は基礎論を無視したガバガバ理論
• 圏論的な基礎論は明らかな循環論法
• 仕様ベースの数学と従来の実装ベースの数学
• 圏論の世界に踏み入る前に...

つづく

つづき

（以下抜粋）
圏論は基礎論を無視したガバガバ理論
圏論は従来の集合論の枠組みを逸脱するという特徴があり、ZFC を数学基礎に考えてきた人から「圏論はフォーマルな基礎の上に打ち立てることができないガバガバ理論」という印象を持たれたとしても不思議ではない。
結果から言うと、圏論を厳密に展開していくためには「ホモトピー型理論 (HoTT: Homotopy Type Theory)」を集合論の代わりに基礎として使用する必要がある。
というのも、圏論を実践的に展開していくうえで、宇宙 (Universe) の存在は欠かせない。
一方で「集合 (0-型) を要素に持つ空間」が再び「集合 (0-型)」であるとした場合、そもそも集合という概念は
それが持つ要素の間の「同じ (sameness)」の概念が「Equality」で評価される空間
であり、
「同じ (sameness)」の概念が「Isomorphic (同形)」で評価されるべき空間である「集合 (0-型)」が「Equality」によって評価される
というあってはならない状況に陥ってしまう。
即ち「宇宙」を集合として定義することはマズイということである。
因みに、類 (class) の概念を使って集合全体の "集まり" を定式化したとしても、それは結局一時しのぎにしかならない。
一方ホモトピー型理論は、「無限亜群」という概念を根源要素として導入することによって、こういった不都合を起こすことなく宇宙の概念を自然に取り扱うことができるようになる。
例えば、まず適当な宇宙を無限亜群 U
として与えた上で、「 U内の n-亜群全体の空間」を構成してみると
U内の集合 (0-型) 全体の空間は、亜群 (1-型)
U内の亜群 (1-型) 全体の空間は、2-亜群 (2-型)
U内の2-亜群 (2-型) 全体の空間は、3-亜群 (3-型)
U内の3-亜群 (3-型) 全体の空間は、4-亜群 (4-型)
というようにその全体の空間が自動的に「要素を適切な Sameness によって評価する空間」として構成されることになる。

圏論的な基礎論は明らかな循環論法
従来の集合論的なアプローチと純粋圏論的なアプローチの間にはしばしば大きな違いがあり、その辺の区別をしっかりしないまま一方の考え方を他方に無造作に当てはめてしまうと、そういった誤解に陥る可能性がある。典型的なのは、「圏の定義に集合が必要なので、圏を使った集合の定義なんて明らかに話が循環しているし、その程度の単純なことにすら気付くことができないなんてどうかしてる」といった類いの誤解である。
他にも、「非交和に用いる2つの集合は、それぞれ集合の和をとる直前に区別用のインデックスが添えられた別の集合へと変化させられているはずなのに、それらを区別せずに同一の記号で表しているのはおかしい」という誤解などがある
(引用終り)
以上

あほですか？そんなとこに答えあるわけないやろ？
通常の圏論はまず集合論を構成してその中に作られる。通常の圏論は全部それ。
しかし先に圏論を構成してその中に集合論作る流儀もなくはない。しかしそれでつくってもできあがったものは通常のものと変わりない。単に流儀、趣味のちがい。
結局既存の圏論をいくら引用してもIUTのいう通常のそれとはちがうものなんぞでてこない。いちから作りなおすしかないんだよ。
で？どこに書いてあるんや？理解できるとかなんとかいう以前にかいてあるかどうかすらわからんのか？それで数学の議論ができるとおもてんのか？ポンコツ

ロンパされて
発狂する ヒキコモリ数学基礎論くんであった

自分が論破されたことも分からない白痴

まともに思考する能力が０
思考はして相手が言ってることのほうが正しいのはわかるのかもしれないが、それをうけて自分が次におこすべき行動を感情の方をとってしまう。人間として機能してない。
完全に壊れてる。ポンコツ

>>499-500
(引用開始)
多価性としては、分岐点以外では2価であることも分かる。
4つの分岐点を2つずつペアにしてそれぞれ半直線で結び
その線に沿ってリーマン球面に切り込みを入れる。
すると、切られた面上では√f(z)は一価函数になる。
しかし、これは一つの葉（よう）にすぎないので
同じ面のコピーをもう一つ用意して、2枚を同じz座標に沿って
貼り合わせる。するとトーラスが出来て、これが
√f(z)のリーマン面である。
このように4つの分岐点が重要な値になるが、この4つを
同じメビウス変換で移しても、解析的に同型である。
したがって、この4点のメビウス変換不変量が
意味を持つであろうと予想できる。これは「複比」
によって構成でき、これがλである。
　>>502より(ID:YTjRaimF は御大）
λの一般化はタイヒミュラー理論によって実現できる
(引用終り)

さて
1）下記の武部尚志 「楕円積分と楕円関数」が 君の論に近い
　P117 第8章 楕円曲線 に 同じ説明がある。例えば ”8.1 √φ(z)のリーマン面”など
（メビウス変換はP31）
2）梅村 「楕円関数論」は、”はじめに”にあるが 代数幾何関連を付録にしている
　付録I 3次曲線（楕円曲線）、付録Ｊ 4次曲線（楕円曲線） リーマン面の説明もある
　付録K Legendreの標準形 （4次曲線の標準形）
3）御大が、”λの一般化はタイヒミュラー理論”と 茶々入れ　（＾＾

結論として、tsujimotter 日曜数学者 氏を 見習って
参考文献を書くべきと思うよ

(参考)>>257より再録
いま手元に 書棚から 楕円関数の本2冊
一つは 梅村 「楕円関数論」 東京大学出版会 2020/05/27 https://www.utp.or.jp/book/b498559.html
梅村の最後に 第6章 楕円関数の応用 で
6.6 5次方程式の解法が ”とり”だ（紅白のたとえで）
なお、第5章 楕円曲線のモジュライ 5.3 モジュラー関数J(τ) があるね（下記 ja.wikipedia j-不変量 モジュラー関数 ご参照）

もう一つは 武部尚志 「楕円積分と楕円関数」2019 日本評論社 https://www.nippyo.co.jp/shop/book/8132.html
武部は良いね、読みやすいし まえがき に
「（位相幾何学の）証明に出てくる技術的な話は読み飛ばして差し支えないし、大事な話は直感的に分かる図形の話なので
、あまり怖がらないでほしい」
というスタンスだ （全般にそんな感じ）
数学セミナー誌 2017年4月から 2018年9月までの連載がもとだというが 当時は読んでいない
この本は、ヤコビの楕円関数が活躍する
最後の参考文献に、「ヤコビ 楕円関数原論」（講談社 2012）が上がっているね（下記）

社会の内に精神病院があり、社会の外に犯罪者がいるという圏論、ソクラテスの作図が大事だ。

>>527 補足
(引用開始)
もう一つは 武部尚志 「楕円積分と楕円関数」2019 日本評論社 https://www.nippyo.co.jp/shop/book/8132.html
武部は良いね、読みやすいし まえがき に
「（位相幾何学の）証明に出てくる技術的な話は読み飛ばして差し支えないし、大事な話は直感的に分かる図形の話なので
、あまり怖がらないでほしい」
というスタンスだ （全般にそんな感じ）
数学セミナー誌 2017年4月から 2018年9月までの連載がもとだというが 当時は読んでいない
(引用終り)

いま、武部尚志 「楕円積分と楕円関数」
　P117 第8章 楕円曲線 ”8.1 √φ(z)のリーマン面”
を見ていると、数学セミナー誌 2017年4月から 2018年9月当時
その”8.1 √φ(z)のリーマン面”と同じ図が
数学セミナー誌にあったように思う・・・
（ページを繰るときに 面白い図解だったので 目にとまったと思う）

内部で梱包するにも行き来できる犯罪者の風が大事だ。内部守　外部攻撃。

>>528
死狂幻調教大師S.A.D.@月と六ベンツさん
ありがとうございます
今後ともどうかよろしくお願いいたします。

精神病院にしようか刑務所にしようか悩んでる人に警察病院魅力やカリスマから処方。

隔離されうることは必定だが外にはなにもないのだよ。

>4つの分岐点を2つずつペアにしてそれぞれ半直線で結び
>その線に沿ってリーマン球面に切り込みを入れる。

半直線は用語の誤りで、正しくは「線分」ね。
あと2本切り込み線を入れるわけだが、交差しないようにする必要がある。
というか、こんな簡単な話、自分の頭で考えようとは思わない？

わたしのタネ本？ そりゃ複素解析の初歩くらいは学んでますが。
学生時代、岩澤健吉の「代数函数論」を「読んだ」と言っていたが
今にして思うと読めてなかった。

>>527 補足
>結論として、tsujimotter 日曜数学者 氏を 見習って
>参考文献を書くべきと思うよ

私のスタイルは tsujimotter 日曜数学者 氏 と同じで
（それは 学会発表や論文と同じ）
参考文献をあげて すでに知られていることをベースに
論を組み立てる

tsujimotter 日曜数学者 氏 と同じで
自分独自の論が 殆ど無い場合もある

一方、数学科オチコボレさんとか
その連れのスタイルは、参考文献を隠して
すべてを 自分が考えた如く書いているｗ　；ｐ）

それ、私や tsujimotter 日曜数学者 氏
とは 真逆のスタイルですよ

ガウス平面やリーマン球面から出発して、切り刻んだり貼り付けたりというやり方は
ブルバキ流ではないし、ワイルの流儀でもないから、批判される余地はあるが
素朴ではある。

まぁそもそも整数論に応用する場合には係数体がℚで治ってるのかが問題になってしまう。ベタベタ貼り付けるだけではその変換かℚ係数で収まってるのかどうかが問題になる。
例えばy²=f(x) (f(x):4次数) を双有理に v²=g(x) (g(x):3次) に置き換えるときは確か係数体側で二次の拡大取らないといけない例があるはず

確か定数項が平方数でないとダメだったような

>>536
>その連れのスタイルは、参考文献を隠して
>すべてを 自分が考えた如く書いているｗ　；ｐ）
その分野の常識的なことなら
参考文献しか書かないよりずっとよいのでは？
何も理解しようとせず自慢に明け暮れる姿勢は
見苦しいものですよ

「切り刻んで貼り直す」というのは、ビジュアル的に分かりやすくするためで
実は、リーマン球面上の分岐被覆の状態で、すでにトーラスと
同相なのである。セタはそんなことも知らないだろう。

>>521
＞・・・を 百回音読してね
とかいう自分は一回チラ見で「わかんね」と諦め

大学１年から「まるで成長していない」
https://dic.pixiv.net/a/%E3%81%BE%E3%82%8B%E3%81%A7%E6%88%90%E9%95%B7%E3%81%97%E3%81%A6%E3%81%84%E3%81%AA%E3%81%84

世田某「現代数学の最先端の…その空気を吸うだけで僕は高く跳べると思っていたのかなぁ…」

>>527
>参考文献を書くべきと思うよ

まず読んで中身を理解すべきと思うが

国語レベルが著しく低いカラスの世田某には無理か

>>543
(引用開始)
>4つの分岐点を2つずつペアにしてそれぞれ半直線で結び
>その線に沿ってリーマン球面に切り込みを入れる。
半直線は用語の誤りで、正しくは「線分」ね。
あと2本切り込み線を入れるわけだが、交差しないようにする必要がある。
というか、こんな簡単な話、自分の頭で考えようとは思わない？
(引用終り)

武部尚志 「楕円積分と楕円関数」
　P117 第8章 楕円曲線 ”8.1 √φ(z)のリーマン面”で
図8.1が 3次のリーマン面の図
図8.2が 4次のリーマン面の図

武部では、用語”切れ目”で統一して記述している
位相的には、直線である必要はないだろう（普通は直線だが）
なお、半直線に相当するのは 3次のリーマン面の場合で
1本は「無限（半無限）に長い切れ目をa1*と無限遠の間に入れ」としている
（* a1は 3次式の根の一つ）

なので、3次と4次が混線しているようだね　（＾＾

>>529
＞面白い図解

以上、多様体論とか全く知らない素人の素朴な感想でした

>>534
＞「4つの分岐点を2つずつペアにしてそれぞれ（交差しない）線分で結び
＞その線に沿ってリーマン球面に切り込みを入れる。」
＞こんな簡単な話、自分の頭で考えようとは思わない？

資源工学科では複素解析とか教えないから
全部初耳なんじゃね？

数学科では大学２年レベルだけどね

>>535
＞わたしのタネ本？ そりゃ複素解析の初歩くらいは学んでますが。

多様体の淵源が複素解析にあることは間違いない

現代的な多様体の定義もホイットニーによるが
アトラスの張り合わせの発想はワイルの「リーマン面」に遡る

・・・ということでいいんだよね？

>半直線は用語の誤りで、正しくは「線分」ね。
あと2本切り込み線を入れるわけだが、交差しないようにする必要がある。

こういうどうでもいい事にいちいちしょうもないツッコミ入れるのもわかってるアピールなんだろうが、それが他人からどう思われるのか、そういう人間として当然わからんといかん事がわからんゴミ

>>537
＞切り刻んだり貼り付けたりというやり方は
＞ブルバキ流ではないし、ワイルの流儀でもない・・・

そこはどっちの方法でも正当化できるので
分かってる人はそんなことで批判はしない

知らんけど

グロモフ・ウィッテン不変量

>>540
＞その分野の常識的なことなら参考文献しか書かないよりずっとよいのでは？
＞何も理解しようとせず自慢に明け暮れる姿勢は見苦しいものですよ

世田某が大学で習った数学は
大学１年の微分積分と線形代数が全て
と思われる

複素解析とかおそらく全然習ってない
だから数学科の人間ならみんな知ってることが
実は全然初耳だったりする

そして素人のくせにそれが恥ずかしいと思ってる
だからブチ切れる

安心しろ　世田某
だれもおまえがいっちょまえの大人だなんて思ってないから

>>536
＞私のスタイルは参考文献をあげて
＞すでに知られていることをベースに論を組み立てる
＞自分独自の論が 殆ど無い場合もある

＞一方、（他の人々は）
＞参考文献を隠してすべてを 自分が考えた如く書いている
＞それ、私とは 真逆のスタイルですよ

数学科で教育受けた人ならみんな知ってることを書くのに
いちいち参考文献は書かない　そこらの本に書いてあるから
で、みんな知ってることだから、書いた人が自分で考えたとか思わない

世田某がいちいち僻むのは、教育を受けてなくて初めて知ることばかりだから
当然どこに書いてあるかも知らん　複素解析の本なら書いてあるなんてことも知らん
まあ、マセマの複素解析とかみたいなチョロい本しか読んでないならそうなる

要するに世田某の感情的反応のすべてが
不勉強による無知と、その劣等感に根差してる
ので、こういうしかない

「初歩から勉強しろよ」

>日本は明らかにファシスト政権ではない。

ファシズムとまではいきませんが、第二次世界大戦の残虐行為を否定するのと同じナショナリズムが、おっしゃる通り、無関係な領域の人々の態度にも影響を与えています。ビデオゲームの話が出ましたので、ドラゴンクエストの作曲家すぎやまこういち氏の態度も考えます。彼はナショナリズム的な理由で西洋の聴衆に自分の音楽を拒絶することを決意しました（すぎやま氏の政治的傾向のせいで、ドラゴンクエスト11のサウンドトラックは海外ではひどいものになりました）。

>>544
つっこみのいちいちが無理解に基づいているので
かえって恥ずかしいカラスの世田某

>>526
それ、セタに言ってる？ MSに言ってる？
>懐疑派の独ボン大のピーター・ショルツ教授（37）らが「証明にはとても深刻な問題があり、微修正では救えない」と断じると、望月氏は「学部・院生レベルの初等理論についての深刻な無知さを宣言している」と反論した。

>>508
>日曜数学……辻 順平 (tsujimotter)　氏
>数学セミナー 　2024年9月号 に記事を書いている

辻 順平 (tsujimotter)　氏
2009年3月　北海道大学工学部 卒業
数学科オチコボレさんより 力は上かもよ （＾＾

http://tsujimotter.info/
tsujimotter のポートフォリオ
プロフィール
氏名
辻 順平 （Junpei Tsuji）
学位
博士（情報科学）
略歴
2009年3月　北海道大学工学部 卒業
2011年3月　北海道大学情報科学研究科 修士課程修了
2012年4月　日本学術振興会　特別研究員（DC2）
2014年3月　北海道大学情報科学研究科 博士後期課程修了
2014年5月　独立行政法人産業技術総合研究所（特別研究員）
2016年4月　神奈川大学（助教）
2019年4月　東洋大学情報連携学部（助教）
2022年4月〜北海道情報大学情報メディア学部（講師）

(>>527より再録 ；ｐ)
>>499-500
(引用開始)
多価性としては、分岐点以外では2価であることも分かる。
4つの分岐点を2つずつペアにしてそれぞれ半直線で結び
その線に沿ってリーマン球面に切り込みを入れる。
すると、切られた面上では√f(z)は一価函数になる。
しかし、これは一つの葉（よう）にすぎないので
同じ面のコピーをもう一つ用意して、2枚を同じz座標に沿って
貼り合わせる。するとトーラスが出来て、これが
√f(z)のリーマン面である。
このように4つの分岐点が重要な値になるが、この4つを
同じメビウス変換で移しても、解析的に同型である。
したがって、この4点のメビウス変換不変量が
意味を持つであろうと予想できる。これは「複比」
によって構成でき、これがλである。
　>>502より(ID:YTjRaimF は御大）
λの一般化はタイヒミュラー理論によって実現できる
(引用終り)

さて
1）下記の武部尚志 「楕円積分と楕円関数」が 君の論に近い
　P117 第8章 楕円曲線 に 同じ説明がある。例えば ”8.1 √φ(z)のリーマン面”など
（メビウス変換はP31）
2）梅村 「楕円関数論」は、”はじめに”にあるが 代数幾何関連を付録にしている
　付録I 3次曲線（楕円曲線）、付録Ｊ 4次曲線（楕円曲線） リーマン面の説明もある
　付録K Legendreの標準形 （4次曲線の標準形）
3）御大が、”λの一般化はタイヒミュラー理論”と 茶々入れ　（＾＾

結論として、tsujimotter 日曜数学者 氏を 見習って
参考文献を書くべきと思うよ

(参考)>>257より再録
いま手元に 書棚から 楕円関数の本2冊
一つは 梅村 「楕円関数論」 東京大学出版会 2020/05/27 https://www.utp.or.jp/book/b498559.html
梅村の最後に 第6章 楕円関数の応用 で
6.6 5次方程式の解法が ”とり”だ（紅白のたとえで）
なお、第5章 楕円曲線のモジュライ 5.3 モジュラー関数J(τ) があるね（下記 ja.wikipedia j-不変量 モジュラー関数 ご参照）

もう一つは 武部尚志 「楕円積分と楕円関数」2019 日本評論社 https://www.nippyo.co.jp/shop/book/8132.html
武部は良いね、読みやすいし まえがき に
「（位相幾何学の）証明に出てくる技術的な話は読み飛ばして差し支えないし、大事な話は直感的に分かる図形の話なので
、あまり怖がらないでほしい」
というスタンスだ （全般にそんな感じ）
数学セミナー誌 2017年4月から 2018年9月までの連載がもとだというが 当時は読んでいない
この本は、ヤコビの楕円関数が活躍する
最後の参考文献に、「ヤコビ 楕円関数原論」（講談社 2012）が上がっているね（下記）

>>557
>結論として、tsujimotter 日曜数学者 氏を 見習って
>参考文献を書くべきと思うよ
あーなんかスタンス分かった気がする
分からないことを質問するのが屈辱的に感じていて
質問しなくていいように参考文献読みたいから
参考文献書け書けと言ってるんじゃナイかな