25/11/13 10:55:54.00 fpKgRVYP.net
＞ ーー＞楕円関数の加法定理ーー＞ヤコビの逆問題の解決
楕円関数に全く興味ない（バッサリ）
＞ ーー＞リーマン面上の関数論ーー＞ルンゲの近似定理とミッタク・レフラーの定理
一変数関数論にそれほど興味ない（バッサリ）
＞ ーー＞クザンの問題ーー＞岡・カルタン理論
多変数関数論に全く興味ない（バッサリ）
＞ ーー＞小平消滅定理
リーマン・ロッホとヒルツェブルフによる一般化には多少興味あるが（もっこり）
850:現代数学の系譜 雑談
25/11/13 10:56:55.93 QECWbxG/.net
もうバックナンバーになってしまったが・・
数学セミナー 2025年11月号
”夫は数学者 夫が“研究者”になった日……谷本明夢 62”
が面白かった
付録に 特集＝ 圏論の質問箱 とかもあるね・・ ；ｐ）
”＊「圏が集合にならない」とは……木原貴行 41”が、参考になるね （＾＾
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2025年11月号
夫は数学者
夫が“研究者”になった日……谷本明夢 62
特集＝ 圏論の質問箱
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
＊圏とはなにか……西郷甲矢人 6
＊圏論に登場する矢印の意味は……洞 龍弥 ８
＊「双対」「普遍性」とはなんですか……今村悠希 12
＊「極限」とはなんですか……眞田嵩大 15
＊「随伴」とはなんですか……河瀬悠人 18
＊米田の補題とは……浦本武雄 21
＊微積分や線形代数の理解を圏論で深めたい……斎藤 毅 24
＊なぜ「圏論化」するのか……土岡俊介 26
＊数学における圏論の活用例は？……荒井 迅 29
＊圏論とプログラミングの関係は……長谷川真人 32
＊人文系の研究者による圏論の活用とは……大塚 淳 35
＊物理学などへの応用は……中平健治 38
＊「圏が集合にならない」とは……木原貴行 41
＊「豊穣圏」とはなんですか……藤井宗一郎 44
＊圏を集めるとどうなるの？……上村太一 46
＊「すべての概念はカン拡張である」とは……alg-d 49
＊圏論はいつどのように学ぶべき？……特集執筆者一同 52
851:１３２人目の素数さん
25/11/13 11:01:33.79 m85R5QGP.net
まーた、高卒素人カラスの世田クンが
シッタカブリブリコピペでイキってるよ
身の程知らずの自己愛病が治りません（笑）
852:現代数学の系譜 雑談
25/11/13 11:12:48.42 QECWbxG/.net
>>849
>リーマン・ロッホとヒルツェブルフによる一般化には多少興味あるが（もっこり）
ご苦労様です （＾＾
URLﾘﾝｸ(ja.wikipedia.org)
リーマン・ロッホの定理（リーマン・ロッホのていり、英: Riemann–Roch theorem）とは、複素解析学や代数幾何学などで用いられる、閉リーマン面上の複素解析と曲面の種数とを結びつける定理である。特定の位数の零点と極をもつ有理型関数空間の次元計算に役立つ。
まず、ベルンハルト・リーマンがRiemann (1857)でリーマンの不等式(Riemann's inequality)を証明した。そして短い間ではあったが、リーマンの学生であったグスタフ・ロッホが、Roch (1865)で決定的な形に到達した。その後、この定理は代数曲線上や高次元代数多様体に一般化され、さらにそれを超えた一般化もなされている。
リーマン・ロッホの定理の一般化
n-次元への一般化であるヒルツェブルフ・リーマン・ロッホの定理は、フリードリッヒ・ヒルツェブルフにより、代数トポロジーの特性類の応用として発見され証明された。彼の仕事は小平邦彦の仕事に大きな影響を与えた。同時期に、ジャン・ピエール・セールは、現在では知られているようなセール双対性に一般的な形を与えた。
アレクサンドル・グロタンディークは、1957年に現在はグロタンディーク・リーマン・ロッホの定理（英語版）(Grothendieck–Riemann–Roch theorem)として知られている遠大な一般化を行った。これにより、リーマン・ロッホの定理は1つの多様体についての定理ではなく、2つの多様体の間の射についての定理として一般化される。
＜英語版＞
URLﾘﾝｸ(en.wikipedia.org)
Riemann–Roch theorem
See also
・Grothendieck–Riemann–Roch theorem
・Hirzebruch–Riemann–Roch theorem
・Kawasaki's Riemann–Roch formula
853:１３２人目の素数さん
25/11/13 12:41:50.62 5j3Afozs.net
>>852
高卒素人の貴様は黙れ 永遠に黙れ
854:１３２人目の素数さん
25/11/13 13:06:02.62 q8529IVM.net
>>＞ ーー＞小平消滅定理
>>リーマン・ロッホとヒルツェブルフによる一般化には多少興味あるが（もっこり）
リーマン・ロッホは有限性定理を踏まえている。
消滅定理と有限性定理は似て非なるもの。である
855:１３２人目の素数さん
25/11/13 15:33:38.56 qTNVpf1w.net
>>853-854
チャーンには興味あるが、岡にも小平にも興味ない
856:現代数学の系譜 雑談
25/11/13 16:02:34.25 QECWbxG/.net
>>854
>リーマン・ロッホは有限性定理を踏まえている。
>消滅定理と有限性定理は似て非なるもの。である
有限性定理か
寡聞にして あまり耳にした記憶が無い
検索すると、下記か
さすが、プロ数学者ですね （＾＾；
(google検索)
リーマン・ロッホ "有限性定理"
＜結果＞
URLﾘﾝｸ(www.core.kochi-tech.ac.jp)
リーマン・ロッホの定理の一般化
高知工科大学 共通教育教室
K SEKIGUCHI 著 — 従って、完備多様体の有限性定理より dimk LX(D) = dimk H0(X, O(D)) < +∞. が解る (飯高、代数幾何学、p.80, 定理 2.10 を参照のこと)。 11. Page 12. Question 3 ...
17 ページ
URLﾘﾝｸ(www.core.kochi-tech.ac.jp)
付値環を用いた数論と代数幾何学
高知工科大学 共通教育教室
一変数代数関数体の理論、特にリーマン・ロッホの定理. 12.4. 一変数代数関数体 ... . 定理 1 を有限性定理という。この結果はコホモロジー群に一般化さ. れる。 4 ...
186 ページ
URLﾘﾝｸ(www.saiensu.co.jp)
複素多様体論講義 - サイエンス社
saiensu.co.jp
辻元著
2020/03/10 —
16.2 コンパクトリーマン面上のリーマン-ロッホの定理 . . . . . . . . . . . . . . . . . . 165.
16.3 ...
18.2 有限性定理と上半連続性定理 .
URLﾘﾝｸ(www.mathsoc.jp)
代数学分科会における過去の特別講演
日本数学会
齋藤政彦（北大理） K3 曲面の rigid でない族の分類と Arakerov 型有限性定理
URLﾘﾝｸ(www.reddit.com)
スキーム論的代数幾何学における「主要な定理/アイデア」って ...
2年前
10 件以上のコメント · 1 年前
リーマン・ロッホのステートメント（！）、応用. 好きなフレーバーの ... セールの有限性定理：Xがネーター環A上の射影的で、Fが連接層の場合、Hi ...
回答 18 件
ベストアンサー:
理想的な最初のAGコースと2番目のAGコースの主要な定理に関する、私の非
URLﾘﾝｸ(kanielabo.org)
『代数学とは何か』目次
kanielabo.org
4次元リーマン幾何のワイル・テンソルとリッチ・テンソル． SU(2) と SO(3) ... 有限性定理．リーマン--ロッホの定理． §22 K理論: A. 位相的K理論 ベクトル束と関 ...
857:現代数学の系譜 雑談
25/11/13 16:15:54.55 QECWbxG/.net
>>856 補足
(引用開始)
URLﾘﾝｸ(www.saiensu.co.jp)
複素多様体論講義 - サイエンス社
saiensu.co.jp
辻元著
2020/03/10 —
16.2 コンパクトリーマン面上のリーマン-ロッホの定理 . . . . . . . . . . . . . . . . . . 165.
16.3 ...
18.2 有限性定理と上半連続性定理 .
(引用終り)
なるほど
手元の
辻元先生 複素多様体論講義 - サイエンス社
P187
定理 18.2.3 (有限性定理)
Xをコンパクト解析空間とし、FをX上の解析的
連接層とすると dim H^q (X,F)は有限である
（証明）
方針は簡単であるが 細かい部分は書くと長くなるので 略証を与える
略
(引用終り)
とありますな
有限性定理とは、次元 dim H^q (X,F)が 有限ってことね
なるほどね
さすがです （＾＾
858:現代数学の系譜 雑談
25/11/13 16:25:35.71 QECWbxG/.net
ほいよ
URLﾘﾝｸ(zenn.dev)
zenn
チャーン類(特性類)と曲率の関係
2023/01/23に公開
2023/10/24
特性類とは多様体(M)に対して計量のとりかた、変換に対して不変になる多項式の係数として定義され、コホモロジー群
H∗(M,A)H ∗ (M,A)
(Aは多項式の係数の体,*は任意の階数)の要素としても特徴づけられます。
係数となる体の種類に応じてEuler類、ポントリャーギン類(実数)、Stiefel-Whitney類,todd類などのものが知られています。
その中でもチャーン類は曲率形式と行列式を使って定義されます。
参考書で挙げた本では
自然性
直和(Whitney和)に対して積となること
などの公理と射影多様体からの構成的な方法で特性類とその値を定義、計算しているものが多いですが、曲率と不変多項式(行列式)を使った定義のほうがより直感的に感じました。
なぜその定義で特性類の性質を満たせるかは式を追って納得しないといけません。
前提知識
微分
群、環の定義
リー群、リー環の定義
複素関数の性質について
微分形式
コホモロジー群と蛇の補題
行列式の各項が対称式となる性質
あっさりした導入
略す
URLﾘﾝｸ(ja.wikipedia.org)
チャーン類
数学では、特に代数トポロジーや微分位相幾何学や代数幾何学では、チャーン類(Chern classes)は複素ベクトル束に付随する特性類である。
チャーン類は、Shiing-Shen Chern (1946) で導入された。
URLﾘﾝｸ(ja.wikipedia.org)
陳省身（ちん しょうしん、英: Shiing-Shen Chern 北京官話: [tʂʰən.ɕiŋ.ʂən]、1911年10月28日 - 2004年12月3日）は中華民国、アメリカの数学者。エリ・カルタンを継ぐ20世紀を代表する幾何学者。
教え子に野水克己やシン・トゥン・ヤウ（丘成桐）がいる
研究
ガウス・ボンネの定理の非常に簡単な証明やチャーン類の発見、チャーン・ヴェイユ理論、チャーン・サイモンズ理論（近年数理物理学で特に重要な役割を果たしている）でよく知られている。
859:１３２人目の素数さん
25/11/13 16:27:49.72 Ja/FYu+3.net
＞なるほど手元の・・・
読めもしない本を馬に食わせるほど買う
数学書積読症の高卒 世田
しかし実際は
収束の定義、コーシー列の定義 の意味が理解できず
線形独立の定義 の意味が理解できず
大学１年の数学の講義 ４月の時点で玉砕・・・
860:１３２人目の素数さん
25/11/13 16:29:47.03 Fvbh7xmP.net
＞チャーン類は曲率形式と行列式を使って定義されます
「曲率」と「行列式」に脊髄反射する馬鹿は、
チャーン類の意味が理解できない
861:１３２人目の素数さん
25/11/13 16:36:36.90 gIWWnl4V.net
日本語版Wikipediaでは、obstructionについて説明したものがないな やれやれ・・・
それじゃ、代数学の基本定理が、なぜ層で語れるのか、分かりようもない
862:１３２人目の素数さん
25/11/13 18:50:40.25 j0WINteV.net
URLﾘﾝｸ(www.math.columbia.edu)
において
James Douglas Boydという人が
October 10, 2025 at 7:01 amに書いたことの中で
＞a certain collection of primes (of bad reduction) called “prime-strips”
を
＞So, if this set is p
と定義するのに
＞and all primes are P
という集合との間に
＞ then ; p∈P
が成り立つって書いているのはなぜかな？
p⊂P
の間違い？？でもそのあと矛盾と言っているp∈pを導くには
やっぱり
p∈P
という意図だよね
＞the real issue is that IUT supposes p=P even though p≠P.
この人はいわゆる「∈ループ」ではなくてこのことが問題の本質だって言ってるね
てことは
p∈P
はあえてIUTの記述？を使ってるだけ？
＞This is why, with time, I became very sympathetic to the Scholze-Stix argument:
IUTにはABC証明以外の発展性が有るかもしれないと思いつつの
そのABC証明には矛盾があるという指摘には共感してると
863:１３２人目の素数さん
25/11/13 18:53:37.05 j0WINteV.net
>>862
>IUTにはABC証明以外の発展性が有るかもしれないと思いつつの
これは
＞If some folks who don’t care about abc can still find valuable mathematics among the many constructions at play in the IUT papers, I think that’s a redemptive, positive development.
の部分のradical simplificationだけども
864:１３２人目の素数さん
25/11/13 20:22:10.85 x0icUDTc.net
>>343
>自己言及のパラドックス
>哲学および論理学における自己言及のパラドックス（じこげんきゅうのパラドックス）または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる（パラドックス参照）。
>「この文は偽である」が真なら、それは偽だということになり、偽ならばその内容は真ということになり……というように無限に連鎖する。同様に「この文は偽である」が偽なら、それは真ということになり、真ならば内容から偽ということになり……と、この場合も無限に連鎖する。
自己言及はパラドックスだけでなく、無矛盾かつ健全な理論は不完全であることの証明にも使われる。
ある健全な理論の言語で文P「Pは証明不可能である」を記述できるならPは決定不可能、すなわちその理論は不完全である。
なぜなら、Pが偽と仮定するとPは証明可能であり理論の健全性に反するからPは真かつ証明不可能でなければならない、ゆえにやはり理論の健全性よりPは反証不可能でなければならないから。
上記のような自己言及文の記述可能性に関する数理論理学の定理が不動点定理。
865:現代数学の系譜 雑談
25/11/13 20:33:04.45 4Nc81kvo.net
>>861
>日本語版Wikipediaでは、obstructionについて説明したものがないな やれやれ・・・
>それじゃ、代数学の基本定理が、なぜ層で語れるのか、分かりようもない
ほほう、ソウソウ・・ ソウなんかｗ（ソウ＝層）
層と言えば、岡潔
岡潔といえば、多変数解析函数論
多変数解析函数論といえば、御大か
まあ、ここは プロ数学者も巡回しているから
『”層＋obstruction”→ 代数学の基本定理が導けるぞ！』ｗｗｗ
についての 論争を期待しています （＾＾
がんばってくれ！！
逃げないようにｗｗ ；ｐ）
(参考)（関係なさそうだが 検索ヒット："obstruction" sheaf math したの貼る）
”In a 1959 letter to Serre, Grothendieck observed that a fundamental obstruction to constructing good moduli spaces is the existence of automorphisms.”な
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Stack (mathematics)
In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist.
Motivation and history
The concept of stacks has its origin in the definition of effective descent data in Grothendieck (1959).
In a 1959 letter to Serre, Grothendieck observed that a fundamental obstruction to constructing good moduli spaces is the existence of automorphisms.
Mumford (1965) studied the Picard group of the moduli stack of elliptic curves, before stacks had been defined.
Stacks were first defined by Giraud (1966, 1971), and the term "stack" was introduced by Deligne & Mumford (1969) for the original French term "champ" meaning "field". In this paper they also introduced Deligne–Mumford stacks, which they called algebraic stacks, though the term "algebraic stack" now usually refers to the more general Artin stacks introduced by Artin (1974).
URLﾘﾝｸ(en.wikipedia.org)
Perfect obstruction theory
In algebraic geometry, given a Deligne–Mumford stack X, a perfect obstruction theory for X consists of:
略す
866:現代数学の系譜 雑談
25/11/13 21:04:38.33 4Nc81kvo.net
>>862
>James Douglas Boydという人が
ほいよ
>>22-23より 再録
所詮、James Douglas Boydは、数学者ではないってことだね （＾＾
ｽﾚﾘﾝｸ(math板:764番)
woit氏ブログ
abcコメント2025.10.27
Mochizuki’s response to Boyd’s report:
(Feel free to disregard this, as the response contains ad hominem attacks.)
URLﾘﾝｸ(www.math.columbia.edu)
Two Number Theory Items (and Woody Allen)
Posted on September 20, 2025 by woit
James Douglas Boyd has recently spent a lot of time interacting with Mochizuki and others at RIMS working in anabelian geometry. Material from interviews he conducted are available here (Mochizuki on IUT) and here (on anabelian geometry at RIMS). He also has written a summary of IUT and of the basic problem with the abc proof. These include detailed comments on the issue pointed out by Scholze-Stix and why this is a significant problem for the proof. I’d be curious to hear from anyone who has looked at this closely about whether they agree with Boyd’s characterization of the situation.
There’s also a lot of material the IUT ideas, independent of the problematic abc proof, and about what Mochizuki and others are now trying to do with these ideas.
Update: A commenter points to this from Mochizuki, which denounces Boyd and his report, as well as discussing prospects for formalizing IUT and the abc proof.
URLﾘﾝｸ(jp.linkedin.com)
James Douglas Boyd
CEO/CTO at Sci Research | Ex-Wolfram
学歴
Wolfram Summer School
Postgraduate
Advisor: Stephen Wolfram
The New School
Graduate
University of Michigan
Undergraduate
867:１３２人目の素数さん
25/11/13 21:14:14.68 UZovF/Sa.net
>>866
>所詮、James Douglas Boydは、数学者ではないってことだね （＾＾
数学者かどうかより
彼がなぜp∈Pと書いたかは分かりませんか？
数学者じゃないから誤解していたと？
868:１３２人目の素数さん
25/11/13 21:16:01.87 OcEghMJl.net
>>865
障害(obstruction)といえばトポロジー
しかも障害は創世期のアイレンベルクとマクレーンの時代からある概念
簡単にいえば、境界上の写像がその内部まで拡大できるかどうかという話
この条件が境界のホモトピー群を係数とするコホモロジーで表せる
自明なコホモロジー類なら拡大可能だが、そうでないならできない
直線上の区間の場合、境界は２点だからホモトピー群はZ2＝{0,1}
平面上の単連結領域の場合 境界は円だからホモトピー群はZ
869:１３２人目の素数さん
25/11/13 21:20:45.36 UZovF/Sa.net
>>866
>abcコメント2025.10.27
この人がもしかして望月さん？
870:現代数学の系譜 雑談
25/11/13 23:25:31.98 4Nc81kvo.net
>>869
>>abcコメント2025.10.27
>この人がもしかして望月さん？
そんな人の詮索よりもさぁｗ
下記の Kirti Joshi Preprints で 何本か 論文が上がっているが
多分 どこかに投稿されていると思うが
例えば、”Construction of Arithmetic Teichmuller Spaces III: A `Rosetta Stone' and a proof of Mochizuki's Corollary 3.12”
これは Mochizuki IUTに欠陥があって、おれさま”Arithmetic Teichmuller Spaces”が、正しいのだというもの
これが、下記のIUT Challenger Prize条件 『MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載された』
を満たす事態になれば、それはそれで面白いと思うんだｗ ；ｐ）
(参考)
URLﾘﾝｸ(math.arizona.edu)
Webpage of Kirti Joshi Preprints
arXiv:2401.13508 [pdf, ps, other] math.AG math.NT
Construction of Arithmetic Teichmuller Spaces III: A `Rosetta Stone' and a proof of Mochizuki's Corollary 3.12
Authors: Kirti Joshi
Submitted 24 February, 2025; v1 submitted 24 January, 2024; originally announced January 2024.
Comments: 163 Pages; Substantially expanded with several additions and other improvements: Intro is re-written; §2.1 is rewritten. New additions are as follows: §1.3, 1.7,1.9; §4.6 (Relationship with (global) period mapping); §8.2.2 (Role of geometric base-points). §12 Geometric case of Mochizuki's Corollary 3.12. Comments and correction are welcome!
arXiv:2210.11635 [pdf, ps, other] math.AG math.NT
Untilts of fundamental groups: construction of labeled isomorphs of fundamental groups -- Arithmetic Holomorphic Structures
Authors: Kirti Joshi
Submitted 27 November, 2022; v1 submitted 20 October, 2022; originally announced October 2022.
Comments: 26 pages. Changes to this version--Typo fixes in Definition 5.1, added Remark 5.3 which clarifies the highly anabelian nature of the arithmetic Teichmuller space. This paper is a completely enhanced version of my paper arXiv:2010.05748. Comments, corrections are welcome
URLﾘﾝｸ(zen.ac.jp)
IUT Challenger Prizeの紹介
2023年7月、株式会社ドワンゴ創業者の川上量生氏は、個人としてIUT Challenger Prizeの創設を発表しました。
これは京都大学数理解析研究所教授の望月新一教授によって創始された宇宙際タイヒミュラー理論（Inter-universal Teichmüller theory）の「本質的な欠陥」を明らかにした最初の論文に100万ドルを贈呈するというものです。
審査は川上量生氏が個人としての判断で行い、その方法については非公開となりますが、審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたものに限ります
871:１３２人目の素数さん
25/11/13 23:29:28.25 UZovF/Sa.net
>>870
>そんな人の詮索よりもさぁｗ
やっぱり望月さんですかね
872:１３２人目の素数さん
25/11/13 23:33:42.82 UZovF/Sa.net
＞Feel free to disregard this, as the response contains ad hominem attacks.
だから
さすがに望月さん本人では無さそうかも
873:現代数学の系譜 雑談
25/11/13 23:37:11.00 4Nc81kvo.net
>>867
>>所詮、James Douglas Boydは、数学者ではないってことだね （＾＾
>数学者かどうかより
>彼がなぜp∈Pと書いたかは分かりませんか？
例えばさ
James Douglas Boyd氏が 東大 or 京大 数学科の院試に通らないレベルだとしたら？
つまりは、せいぜい 東大 or 京大の学部3年レベルが 精一杯だとしたら？
学部生が、p∈P と書きたければ 書けば良い
それだけのこと 書くのは自由だから
100人の数学科生が居れば 100通りの答案があるだろうさ 正しいかどうか不明の
それを いちいち 必死に取り上げる必要はないだろう
874:１３２人目の素数さん
25/11/14 00:02:06.12 iHfr5kmW.net
>>873
分からないんですね
p∈P
には意味は無いと？
けれどなんだかIUTの集合論的批判の中に
p∈pというのが出てくることがあるからみたいな？
なら
p∈p⊂P
だから
p∈P
は意味があるのでは？
875:現代数学の系譜 雑談
25/11/14 07:25:51.58 Gbn0TSJh.net
>>874
分からないんですね
p∈P
には意味は無いと？
けれどなんだかIUTの集合論的批判の中に
p∈pというのが出てくることがあるからみたいな？
(引用終り)
そこな
下記の 望月の北大 2003年当時から
『"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る』
（§1 圏のIU幾何）
って 話でしょ？
つまりは、望月氏は
"「属性方程式」a∈aを解きたい"という Motivation
があって、”ラベルを貼る”を やった
ところが、ショルツェ氏が しゃしゃり出る
”simplification”で ラベルを無くしたら おかしくなるよと
望月氏にしてみたら あ然 ぼう然 がく然でｗ
もとから "「属性方程式」a∈aを解きたい"という Motivationでもって
”ラベルを貼る”をやっているのに
”ラベルを無くしたら・・” とか おまえはアホか！と
なお、下記F1 は、一元体（下記）な （＾＾
(参考) >>5より再録
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月）. PDF
P1
§1 圏のIU幾何
§1.1 Motivation
"F1上のキカが必要"
↓
"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る。
URLﾘﾝｸ(ja.wikipedia.org)
一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている。
876:現代数学の系譜 雑談
25/11/14 07:30:40.20 Gbn0TSJh.net
>>875 タイポ訂正
なお、下記F1 は、一元体（下記）な （＾＾
↓
なお、F1 は、一元体（下記）な （＾＾
877:１３２人目の素数さん
25/11/14 08:08:12.89 xAWag2SY.net
>>「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論
難しい
878:１３２人目の素数さん
25/11/14 08:21:35.52 AkVtKDLz.net
大学１年の微積も線形代数も落第した高卒の世田が
いちいちシッタカブリで書き込むなよ 馬鹿が
879:１３２人目の素数さん
25/11/14 08:22:21.01 AkVtKDLz.net
愛国者はだいたい馬鹿で●違い
880:１３２人目の素数さん
25/11/14 08:34:58.20 HQmSSxuC.net
愛国者の最も愚劣な点は
国家は国民を護る
と無邪気に信じてること
過去の歴史（例えば先の大戦）を見れば
それが全くのウソであり
国家は国民の命をすりつぶしてきたことがわかる
自分が完全にすりつぶされなければ分からんなら
正真正銘の馬鹿であり●違い
881:１３２人目の素数さん
25/11/14 08:37:40.71 vSL5s6lA.net
日本が国民を護らないと思うならなんで日本にしがみついて生きてんの？ とっとと出てけよ
882:１３２人目の素数さん
25/11/14 08:39:50.33 BtfPswDp.net
>>881
おまえ統一教会の会員だろ
883:１３２人目の素数さん
25/11/14 08:40:35.82 BtfPswDp.net
おまえこそこの世からいなくなれよ ID:vSL5s6lA
884:１３２人目の素数さん
25/11/14 08:41:52.22 iHfr5kmW.net
>>875
いつものように話をそらしてますが結局分からないんですね
IUTなら意味があるとのp∈Pですが
彼がなぜ
＞a certain collection of primes (of bad reduction) called “prime-strips”
を
＞So, if this set is p
と定義するのに
＞and all primes are P
という集合との間に
＞ then ; p∈P
が成り立つって書いたのか
885:１３２人目の素数さん
25/11/14 08:52:48.15 iHfr5kmW.net
>>875
>"「属性方程式」a∈aを解きたい"という Motivation
>があって、”ラベルを貼る”を やった
>ところが、ショルツェ氏が しゃしゃり出る
>”simplification”で ラベルを無くしたら おかしくなるよと
ということは"ラベル"が無意味なのかもしれませんね
F1も今のところ無いものです
あって欲しいからそれが正当化できる理論が探されてるようですね
もしかしたらF1についての要求がある程度固まったら
それを論理式で表して
「その論理式を満たす数学的対象が存在する」
を公理にするなんてことになるかもしれませんね
"ラベル"もその類いかも？
886:現代数学の系譜 雑談
25/11/14 10:30:30.54 f6V8ev5m.net
>>877
御大か
巡回ありがとうございます
>>>「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論
>難しい
それ 絶対数学>>875 の話ですね
しかし 集合→対象、 作用→射
と置き換えれば、形式的には 圏論に置き換えられますよね
これは 完全に「アブストラクト・ナンセンス」（下記）ですがｗ （＾＾
(参考)
URLﾘﾝｸ(takulabo.)ｓａｋｕｒａ.ne.jp/notes/math_category_introduction.html
僕用勉強ノート 「圏論」の巻
圏論とはなんなのか TakuLabo
圏論は「一般的抽象的ナンセンス (general abstract nonsense)」や「アブストラクト・ナンセンス」などと呼ばれることもある。とはいえ現代において、それは圏論を揶揄する言葉というよりかは、圏論を使用する人自身が使用する自虐や単なるギャグであることが多く、実際この僕のサイトでも時々使用している。
圏論の使用用途
圏の詳しい定義に入る前に、まず圏論に興味を持ってもらえるように「圏論が役立つ場面」を軽く紹介しておく。
集合の概念の客観視
集合を群や環、位相空間などと同列の「数学的構造の一つ」に置くことで、集合の概念を客観視することができるようになる。
例えば圏論においては、「モノイド」は集合の概念を特別視することなく
モノイダル圏上のモノイド対象
という形で一般的に定義される。
もちろん従来の集合を使って構成されるモノイドは上の一般形の一例である
887:１３２人目の素数さん
25/11/14 10:54:18.99 84v8mXHf.net
>>886
＞集合→対象、 作用→射 と置き換えれば、
＞形式的には 圏論に置き換えられますよね
高卒世田が分かりもせずにシッタカブリのイタい発言
もう永遠に黙れ
広島に帰って本家の牡蠣の養殖を手伝え
888:現代数学の系譜 雑談
25/11/14 11:01:01.86 f6V8ev5m.net
>>884-885
あなたは、文献を読み込まずに 数学の議論を進めていますね
それ アウトです
１）まず >>308より
(参考)
URLﾘﾝｸ(www.math.uni-bonn.de)
Why abc is still a conjecture PETER SCHOLZE AND JAKOB STIX
Date: July 16, 2018.
P4
2.1.Glossary: IUTT-terminology and how we may think of these objects.
To facilitate the discussion,we will describe (only)the notions that are strictly relevant to explain what we regard as the error.
This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.
２）次に Kirti Joshi で、Joshiの SCHOLZE文書批判を読む
URLﾘﾝｸ(arxiv.org)
[Submitted on 29 Apr 2025]
Final Report on the Mochizuki-Scholze-Stix Controversy
Kirti Joshi
This report provides my mathematical findings regarding the Mochizuki-Scholze-Stix controversy surrounding Mochizuki's Inter-Universal Teichmüller Theory.
３）さらに 望月氏の反論を読む
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/
Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on
Inter-universal Teichmuller Theory. PDF NEW!! (2024-03-24) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
つづく
889:現代数学の系譜 雑談
25/11/14 11:01:26.81 f6V8ev5m.net
つづき
４）その上で 下記にも 目を通してね
URLﾘﾝｸ(math.arizona.edu)
My reports on the Mochizuki-Scholze-Stix Controversy
・Final Report (May 2025) [Provides my final conclusion regarding the proof of the abc-conjecture.]
・Provisional Report (June 2024) [Written after extensive correspondence (in May-June 2024) with Peter Scholze and it provides robust conclusions regarding the invalidity of the Scholze-Stix Report, but because Mochizuki was objecting to my work (in March 2024), I did not provide any conclusion on the proof of the abc-conjecture. This report also contains a time-line of events leading upto this report.]
５）さらに Joshi氏 は、ショルツエ氏の Perfectoids を使った 新証明 Mochizuki's Corollary 3.12 を提案している（望月はダメだが、これが良いのだと）
（でも、ショルツエ氏と望月氏 両者から ダメ出しがあるらしい）
URLﾘﾝｸ(math.arizona.edu)
Preprints
5 arXiv:2401.13508 [pdf, ps, other] math.AG math.NT
Construction of Arithmetic Teichmuller Spaces III: A `Rosetta Stone' and a proof of Mochizuki's Corollary 3.12
Authors: Kirti Joshi
Submitted 24 February, 2025; v1 submitted 24 January, 2024; originally announced January 2024.
例えば
10.4 Perfect Frobenioids and Perfectoids . . . 132
ともかく、これらを 理解できる出来ないは別として
チラ見くらいはして 議論すべきですよ
そうしないと 議論が上滑りです
以上
890:現代数学の系譜 雑談
25/11/14 11:12:28.68 f6V8ev5m.net
>>887
>もう永遠に黙れ
>広島に帰って本家の牡蠣の養殖を手伝え
テンプレ >>15 より
”おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾； ）”
1980年代にＷ大数学科に入学するも、初日に数学科の冷や水を 頭から浴びせられる 洗礼で
即日 詰んだ男。お情けで学部は卒業するも 修士は 情報系に。就職は コンピュータ関係らしいが
就職が 多分ブラックな仕事で 統合失調症の薬を飲むようになったようだ
下記 ”統合失調症では知能低下と脳容積の減少がみられることが知られている”とある
高等数学の議論が出来なくなったんだ・・ 君は
(参考)
URLﾘﾝｸ(www.carenet.com)
統合失調症、脳容積とIQの関連
提供元：ケアネット
公開日：2015/07/17
統合失調症では知能低下と脳容積の減少がみられることが知られている。オランダ・ユトレヒト大学医療センターの久保田 学氏らは、統合失調症患者のIQと脳容積との関連について調査し、統合失調症における進行性の脳組織減少が、発症初期における相対的な認知機能低下と関連している可能性があることを報告した。JAMA Psychiatry誌オンライン版2015年6月17日号の掲載報告。
891:１３２人目の素数さん
25/11/14 11:43:33.92 iHfr5kmW.net
>>888
あなたは目を通したのですよね？
その上で説明はできないことであると
892:１３２人目の素数さん
25/11/14 11:46:53.79 iHfr5kmW.net
>>888
彼がなぜ
＞a certain collection of primes (of bad reduction) called “prime-strips”
を
＞So, if this set is p
と定義するのに
＞and all primes are P
という集合との間に
＞ then ; p∈P
が成り立つって書いたのか
IUTでは意味があることだったのでそのように書いたんでしょうかね？
このあたりがIUT独自のものであるならいずれ普通の数学者にも分かるような解説も出ると期待しておきましょう
893:１３２人目の素数さん
25/11/14 11:53:05.79 iHfr5kmW.net
>>875
>"「属性方程式」a∈aを解きたい"という Motivation
>があって、”ラベルを貼る”を やった
>ところが、ショルツェ氏が しゃしゃり出る
>”simplification”で ラベルを無くしたら おかしくなるよと
ということは"ラベル"が無意味なのかもしれませんね
F1も今のところ無いものです
あって欲しいからそれが正当化できる理論が探されてるようですね
もしかしたらF1についての要求がある程度固まったら
それを論理式で表して
「その論理式を満たす数学的対象が存在する」
を公理にするなんてことになるかもしれませんね
"ラベル"もその類いかも？
おそらく遠アーベル幾何というもの自体が
そのように夢想から産まれ研究対象を見極めて発展してきたという流れがあるようなので
IUTもその類いなのかもしれません
まあ今のところはF1もp∈pも雲を掴むようなもののようなので
敬して遠ざけておくのが良さそうだと言うことは分かりました
894:１３２人目の素数さん
25/11/14 11:58:58.40 iHfr5kmW.net
>>877
今は無いモノですから
部外者には難しすぎましょう
895:１３２人目の素数さん
25/11/14 12:25:37.90 84v8mXHf.net
>>888
＞あなたは、文献を読み込まずに 数学の議論を進めていますね
＞それ アウトです
高卒の世田君は、微積や線形代数の教科書の最初のページから読めないくせに、
数学について知ったかぶりの大ホラ吹きまくってますね
もうスリーアウト 広島に帰って本家の牡蠣の養殖でも手伝いなさい（マジ）
896:１３２人目の素数さん
25/11/14 12:33:57.65 84v8mXHf.net
高卒世田について
昭和時代に必死に数学公式を暗記するガリ勉のおかげで
やっとこすっとこ関西二番手国立大学のＯ大学工学部●●工学科に入学するも
４月に一般教養数学の微分積分の講義で
実数やら収束やらコーシー列やら連続関数やらの定義を教わり
何がなんだかチンプンカンプン
いきなり液体窒素を 頭から浴びせられる 洗礼をうけ 即日 詰む
幸いお情けで学部は卒業するも
その後数学についてはもっぱら計算ソフトをバカチョンで使う日々
代数方程式の数値解法の理屈もわからず
「きっとガロア理論による超絶魔法をつかってるんだ」
と妄想する日々（笑）
数学について散々鼻を折られまくったせいで
数学用語を検索してコピペしてドヤる病気を発症（笑）
しかしながら、数学の理解が高校卒業レベルで終わってるため
今も、論理的な思考による議論が全くできず
もっぱら感覚的にふわっとした妄想を口走り
その矛盾を指摘されると
脊髄反射で感情的に怒り狂うみっともない狂態を見せる
要するに●違い（笑）
897:１３２人目の素数さん
25/11/14 12:36:22.48 84v8mXHf.net
>>894
＞部外者には難しすぎましょう
高卒世田君は、現代数学のすべての分野で「部外者」だけどな
実数、収束、コーシー列の定義も線形独立の定義も、彼には難しすぎた
898:１３２人目の素数さん
25/11/14 12:37:44.98 84v8mXHf.net
統合失調症は薬で寛解する可能性があるが
自己愛性人格障害はつける薬がない（笑）
899:１３２人目の素数さん
25/11/14 14:24:42.48 HQmSSxuC.net
世田君に問題
１）実数上のある区間の中に連続関数f(x)の零点が最低１つあると断言できる条件を示せ
２）複素数上のある単連結領域の中に正則関数f(x)の零点が最低１つあると断言できる条件を示せ
言い訳したら負け 回答できた時のみ勝ちとする
勝てるかな 世田君
900:１３２人目の素数さん
25/11/14 14:26:07.82 HQmSSxuC.net
>>899 どっちも有界区間 有界領域とする
901:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/14 15:14:33.65 x6ZopLho.net
カントの頭の中やヘーゲルの頭脳の精神より、心に信仰をともして暗唱のビジョンを描くこと。
902:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/14 15:16:13.58 x6ZopLho.net
薬物で無知から厄介払いしても薬物に社会の濁りがある。良い処方を。
903:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/14 15:16:56.96 x6ZopLho.net
ビジョン。
904:１３２人目の素数さん
25/11/14 15:23:12.23 XOwdVrOe.net
>>901
カント？（嘲）ヘーゲル？（嘲）
＞心に信仰をともして
宗教に毟られる典型的なカモ
905:１３２人目の素数さん
25/11/14 15:24:07.86 XOwdVrOe.net
>>902
＞薬物
君は薬飲んではやく病気を治したほうがいい
906:１３２人目の素数さん
25/11/14 15:24:45.30 XOwdVrOe.net
>>903
ビジョンだかピジョンだかしらないが・・・
907:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/14 15:27:41.12 x6ZopLho.net
病気を治す偽善や悪。医者や病院はよく選べ。
908:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/14 15:28:51.72 x6ZopLho.net
障害者を認めない社会と障害者を認める教会。
909:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/14 15:30:11.27 x6ZopLho.net
病院には社会の悪や偽善がまじる。その段階までではダメ。
910:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/14 15:31:07.08 x6ZopLho.net
完治したら普通の人になるのはリアルでない。
911:１３２人目の素数さん
25/11/14 15:39:53.28 HQmSSxuC.net
>>907
病院通ってる？
912:１３２人目の素数さん
25/11/14 15:40:32.51 HQmSSxuC.net
>>908
宗教は金毟るだけ すぐ脱会しないと死ぬまで毟られる
913:１３２人目の素数さん
25/11/14 15:40:56.11 HQmSSxuC.net
>>909
病院コワイの？
914:１３２人目の素数さん
25/11/14 15:41:44.13 HQmSSxuC.net
>>910
どういう人になるかはともかく
幻聴が聞こえないほうがよくないですか？
知らんけど
915:１３２人目の素数さん
25/11/14 15:42:49.85 HQmSSxuC.net
ジコチュウ世田は
こんな言葉吐かないよ
あいつはいい人ぶりっ子なだけ
自分のためなら他人なんかみんな●ね
と思ってる極悪人だから
916:１３２人目の素数さん
25/11/14 15:43:27.42 HQmSSxuC.net
世田のような馬鹿のくせにリコウぶるウソツキは大嫌い
917:１３２人目の素数さん
25/11/14 15:44:28.48 HQmSSxuC.net
馬鹿は別に悪くないが
馬鹿が嫌なら勉強するしかない
勉強せずにコピペだけでリコウぶって
誤魔化す卑怯さが嫌い
918:１３２人目の素数さん
25/11/14 15:45:17.97 HQmSSxuC.net
そんな卑怯なことするくらいなら
「ボクは何もわからん馬鹿でぇす」
って開き直っちゃったほうが全然いいじゃん
どうよ？
919:１３２人目の素数さん
25/11/14 15:45:45.88 HQmSSxuC.net
正直こそが一番
920:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/14 15:45:54.09 x6ZopLho.net
入院期間は終えて医療用障害者グループホームにいる。外来通院服薬してるさ。自分のほうが悪霊だと思う。神的魔術的能力、文学的なは失いたくないさ。
921:１３２人目の素数さん
25/11/14 15:52:11.57 84v8mXHf.net
>>920
グループホームにいるのか そりゃよかった
薬も飲んでるんなら安心
922:１３２人目の素数さん
25/11/14 15:53:24.19 84v8mXHf.net
俺を恨んで気が済むなら存分に恨んでいいよ
おれは世田みたいにいい奴ぶりっ子じゃないから
923:現代数学の系譜 雑談
25/11/14 17:42:47.85 f6V8ev5m.net
次スレ立てた
ここを使い切ったら 次スレへ
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 78
924:１３２人目の素数さん
25/11/14 17:48:35.18 KYW6999v.net
>>923
中味ゼロなのにリコウぶりたい世田の奇行は続く
925:１３２人目の素数さん
25/11/14 17:59:30.10 KYW6999v.net
【世田】レベル3 約300人
静岡県、広島県、新潟県。セタも含む分布。地形。田から。世の語あり。
静岡県浜松市浜名区引佐町狩宿では農業に従事していたと伝える。推定では江戸時代。
愛知県西尾市錦城町が藩庁の西尾藩士に江戸時代にあった。
926:１３２人目の素数さん
25/11/14 18:00:09.21 KYW6999v.net
都道府県順位
1 静岡県(約200人)
2 広島県(約40人)
3 東京都(約30人)
4 新潟県(約30人)
5 富山県(約10人)
6 和歌山県(約10人)
6 千葉県(約10人)
6 北海道(約10人)
9 茨城県(ごく少数)
9 神奈川県(ごく少数)
927:１３２人目の素数さん
25/11/14 18:00:46.86 KYW6999v.net
市区町村順位
1 静岡県 浜松市(約140人)
2 広島県 廿日市市(約30人)
3 新潟県 佐渡市(約30人)
4 富山県 中新川郡立山町(約10人)
4 静岡県 静岡市(約10人)
6 東京都 八王子市(約10人)
6 和歌山県 紀の川市(約10人)
6 北海道 小樽市(約10人)
9 愛知県 刈谷市(ごく少数)
9 神奈川県 横浜市港南区(ごく少数)
928:１３２人目の素数さん
25/11/14 18:01:22.11 KYW6999v.net
小地域順位
1 静岡県 浜松市 狩宿(約50人)
2 広島県 廿日市市 地御前(約30人)
3 新潟県 佐渡市 春日(約30人)
4 静岡県 浜松市 三和(約20人)
5 静岡県 浜松市 奥山(約10人)
6 和歌山県 紀の川市 西野山(約10人)
6 静岡県 浜松市 初生町(約10人)
6 静岡県 浜松市 西山町(約10人)
6 東京都 八王子市 中野上町(約10人)
6 富山県 中新川郡立山町 野町(約10人)
929:１３２人目の素数さん
25/11/14 19:59:30.98 xAWag2SY.net
標高3,000m級の立山連峰大パノラマを展望でき、夜は星空がきれいな立山町。 豊かな自然の恩恵を受け、立山からの雪解け水が、美味しい作物を実らせるなど、「立山が人を育て、人を …
930:現代数学の系譜 雑談
25/11/14 20:05:44.70 Gbn0TSJh.net
>>920
死狂幻調教大師S.A.D.@月と六ベンツさん
いつもありがとうございます。
スレ主です
今後ともどうかよろしくお願いいたします。
931:現代数学の系譜 雑談
25/11/14 20:35:18.88 Gbn0TSJh.net
>>929
巡回ご苦労さまです
(参考)
URLﾘﾝｸ(www.town.tateyama.toyama.jp)
富山県立山町
観光情報
URLﾘﾝｸ(www.town.tateyama.toyama.jp)
立山町観光パンフレット 2025年04月16日
URLﾘﾝｸ(www.town.tateyama.toyama.jp)
1.立山まちマップ(PDFファイル:10.4MB)
2.立山マウンテンガイド2025(PDFファイル:3.6MB)
大日平・弥陀ヶ原
3.立山弥陀ヶ原・大日平(PDFファイル:7.5MB)
立山やまマップ表紙
4.立山やまマップ(PDFファイル:9.5MB)
称名滝パンフレット表紙
5.称名滝(PDFファイル:9.3MB)
6.ジャパンエコトラック ルートマップ（立山）
932:１３２人目の素数さん
25/11/14 20:52:52.51 iHfr5kmW.net
>>886
>しかし 集合→対象、 作用→射
>と置き換えれば、形式的には 圏論に置き換えられますよね
この「作用」は「写像」のことを意図している？
で
あなたの言わんとしているのは集合の圏のこと？
それなら別に置き換えているわけでもなく単に集合の圏を考えているというだけでしょう
>>875
>抽象代数学を形作る旧来の材料である「集合と作用」
の「集合」は群や環や体や多項式みたいな対象を意味してませんかね
となると「作用」とは演算とか写像とかかなと思いますね
そしてここで「置き換わるべき」と言っているのは
別に集合の圏を考えよということでも無くて
何かFqとかで明確に定義されているものを
「想像上の」｢未定義の」なにか「柔軟な（ｗ）」ものによって定義し直すことができたらイイナという妄想の類いでしょう
誰もがよく知る例では
1+2+3+…=-1/12
みたいな？
左辺を適切に定義し直して拡張して値が-1/12になるのを
インパクト重視でこう書くみたいなことを夢想しているんじゃないですかね
933:１３２人目の素数さん
25/11/14 20:57:11.37 iHfr5kmW.net
>>932
>多項式みたいな対象
多項式の零点集合としての代数多様体みたいな？
934:１３２人目の素数さん
25/11/14 21:08:49.59 iHfr5kmW.net
ところで
加藤文元という方は
「望月氏のIUT理論における宇宙はグロタンディーク宇宙のことではない｣
と言ったらしいですが（どこで？）これはどういう意味なんでしょう？
あるいはIUT界隈ではどう受け止められているんでしょう？
935:１３２人目の素数さん
25/11/14 21:19:02.56 xAWag2SY.net
本人に訊け
936:１３２人目の素数さん
25/11/14 21:24:28.35 iHfr5kmW.net
>>935
あなたはどう受け止めたのですか？
ご本人にお聞きしたいです
937:１３２人目の素数さん
25/11/14 21:27:21.94 xAWag2SY.net
本人ではないよ
938:１３２人目の素数さん
25/11/14 21:27:44.17 iHfr5kmW.net
望月さんからはIUTの宇宙はグロタンディーク宇宙のことだと否定されたそうですが（どこで？）
この2人の認識の齟齬はどこから来てるんでしょう？
特に
加藤さんはIUTに関する本を書いているわけですから
齟齬が有るとなると問題にはならないんですかね？
939:１３２人目の素数さん
25/11/14 21:28:17.17 iHfr5kmW.net
>>937
あなたの受け止めをお聞きしたいので
あなたのことをご本人と書きましたよ
940:１３２人目の素数さん
25/11/14 21:31:04.66 xAWag2SY.net
>>あるいはIUT界隈ではどう受け止められているんでしょう？
IUT界隈にいるというということがなぜわかった？
941:１３２人目の素数さん
25/11/14 21:32:45.02 iHfr5kmW.net
>>940
私もIUT界隈にいますよ
IUTに関する話をしている人は皆IUT界隈でしょう
つまりこのスレに書き込んでいる人は皆です
942:１３２人目の素数さん
25/11/14 21:34:56.86 xAWag2SY.net
RIMSでIUT界隈でない人といえば誰？
943:１３２人目の素数さん
25/11/14 21:35:43.09 iHfr5kmW.net
>>942
さあ
944:１３２人目の素数さん
25/11/14 21:37:32.08 iHfr5kmW.net
もしかしたら森さんは界隈には居ないかも？
でもホントは積極的に発言して欲しいですけどね
945:１３２人目の素数さん
25/11/14 21:39:01.00 xAWag2SY.net
RIMSにどんな数学者がいるかくらい知っとけ
946:１３２人目の素数さん
25/11/14 21:40:10.34 iHfr5kmW.net
>>945
質問には答えていただけないんですね
あるいは分からない？
947:１３２人目の素数さん
25/11/14 21:40:16.46 xAWag2SY.net
ショルツェを呼んだんだから界隈では？
948:１３２人目の素数さん
25/11/14 21:41:28.96 xAWag2SY.net
その質問に答えることにどんな意味があるかわからない
949:１３２人目の素数さん
25/11/14 21:41:57.89 iHfr5kmW.net
>>947
けれどもしかしたらもう出ていっているかも？
950:１３２人目の素数さん
25/11/14 21:44:52.25 iHfr5kmW.net
>>948
私が知りたいというだけです
答えられないなら別にそれで結構ですが
加藤文元という方が
「望月氏のIUT理論における宇宙はグロタンディーク宇宙のことではない｣
と言ったらしいですが（どこで？）これの意味を知りたい
あるいはIUT界隈での受け止めを知りたいってことです
なぜかといえば
望月さんからはIUTの宇宙はグロタンディーク宇宙のことだと否定されたそうですが（どこで？）
この2人の認識の齟齬はどこから来てるんでしょう？
特に
加藤さんはIUTに関する本を書いているわけですから
齟齬が有るとなると問題にはならないんですかね？
といろいろ知りたいことが出て来るというわけです
951:１３２人目の素数さん
25/11/14 21:45:00.37 xAWag2SY.net
出入り自由な界隈？
952:１３２人目の素数さん
25/11/14 21:46:23.75 iHfr5kmW.net
>>948
これについて考えることで
あなたがIUTに対してどういうスタンスなのかがハッキリするかもしれませんよ
953:１３２人目の素数さん
25/11/14 21:46:51.72 xAWag2SY.net
>>950
そういう質問に君の納得のいく答えができる人物の
存在を信じているわけ？
954:１３２人目の素数さん
25/11/14 21:47:07.71 iHfr5kmW.net
>>951
界隈から距離を置くことは自由ではないですかね
955:１３２人目の素数さん
25/11/14 21:47:52.26 iHfr5kmW.net
>>953
もちろんです
界隈に居るものは
何かしらの感想を持っているはずですから
956:１３２人目の素数さん
25/11/14 21:51:11.80 xAWag2SY.net
界隈についての言いにくい感想ならいっぱい持っている
957:１３２人目の素数さん
25/11/14 21:52:54.22 iHfr5kmW.net
>>956
差し支えないところをお伺いしたいですが
言いにくいのであれば
仕方有りませんね
958:１３２人目の素数さん
25/11/14 21:54:39.96 xAWag2SY.net
この界隈は
you can check out any time
but you can never leave
959:１３２人目の素数さん
25/11/14 21:56:35.94 iHfr5kmW.net
>>958
ホテルカリホルニアですか
leaveはできますよ
ただそうするだけです
心の中に残すこともなく去れますよ
960:１３２人目の素数さん
25/11/14 21:58:10.90 iHfr5kmW.net
そのようにして頂いても誰も気にも留めないでしょう
961:１３２人目の素数さん
25/11/14 22:00:14.71 xAWag2SY.net
ある意味抜け殻となって去ることになるだろう
962:１３２人目の素数さん
25/11/14 22:08:33.32 iHfr5kmW.net
レフェリーをした人も脱け殻になって去って行ったのかも知れませんね
963:１３２人目の素数さん
25/11/14 22:12:01.49 xAWag2SY.net
そういう汚い首は…
964:１３２人目の素数さん
25/11/15 10:04:52.12 l8wHo4pb.net
＞加藤文元という方が
＞「望月氏のIUT理論における宇宙はグロタンディーク宇宙のことではない｣
＞と言ったらしいですが（どこで？）
どこでそれ知った？
965:１３２人目の素数さん
25/11/15 10:58:00.49 ugKLCP76.net
>>964
ここかここの過去スレか（応援スレ）でない方かその過去スレです
今検索してみたら
Interuniversal geometry とABC 予想59 
ｽﾚﾘﾝｸ(math板:58番)
にありますね
これ自体が間違っている（そんなことを加藤文元という方はいってはいない）ということでしょうか？
966:現代数学の系譜 雑談
25/11/15 13:19:40.05 Jxqf+IQV.net
微笑ましい
ｽﾚﾘﾝｸ(math板:977番)
Inter-universal geometry とABC 予想58
977 ：１３２人目の素数さん[]：2025/11/15(土) 00:10:23.15 ID:v01wjltj
>>柏原正樹、玉川 安騎男、向井茂、中島啓、望月拓郎、
>>といった国際的に著名な数学者からなる
>>特別編集委員会によって編集されたPubl. RIMSの特別号に掲載された
M氏は我々がT氏の総合講演を聴かずに遊んでいるのが
不満そうだった。
(引用終り)
笑えますね
超人 M先生がね・・
世評を気にしてるとはね・・
そもそも
遊びに行っているのですよね
名誉教授なんだもの
半分は勉強ですが・・ｗ （＾＾；
967:現代数学の系譜 雑談
25/11/15 13:30:13.46 Jxqf+IQV.net
>>965
>これ自体が間違っている（そんなことを加藤文元という方はいってはいない）ということでしょうか？
次スレから
ｽﾚﾘﾝｸ(math板:65番)
>URLﾘﾝｸ(konn-san.com)
>強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
>強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
あと、(参考)>>13 より 薄葉先生 再録
URLﾘﾝｸ(www.mathsoc.jp)
企画特別講演 2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
URLﾘﾝｸ(www.mathsoc.jp)
発表スライド『集合論の宇宙 Universe と Multiverse』
P7
到達不能基数
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である
(引用終り)
まず
少なくとも この 二つの 強制法と 『集合論の宇宙 Universe と Multiverse』を読み込んで
さらには、（アマゾン）”集合論: 独立性証明への案内 単行本 – 2008/1/1
ケネス キューネン (著), Kenneth Kunen (原名), 藤田 博司 (翻訳)”
くらいは、目を通して
いまどきの 基礎論屋さんが唱える 数学業界標準の”宇宙”を
踏まえた上で 加藤文元先生も発言しないとね
みんな混乱しますよね
つまり、いまどきは
ネット検索や AI検索が仕えるので
「あれ？ 加藤文元先生と違う情報がヒットするぞ」
となってしまう・・
968:１３２人目の素数さん
25/11/15 13:37:50.79 ugKLCP76.net
>>967
また話をずらしてますね
加藤文元という方が
「望月氏のIUT理論における宇宙はグロタンディーク宇宙のことではない｣
と言ったらしいですが（どこで？）これの意味を知りたい
あるいはIUT界隈での受け止めを知りたいってことです
Interuniversal geometry とABC 予想59 
ｽﾚﾘﾝｸ(math板:58番)
これは間違いですか？
969:１３２人目の素数さん
25/11/15 14:01:19.49 wdP2AS2f.net
それに答えられる人がいると信じて
質問されているのですか
970:１３２人目の素数さん
25/11/15 14:13:16.06 ugKLCP76.net
>>969
自分の考えを書いてくれたら良いだけですよ？
971:１３２人目の素数さん
25/11/15 14:14:33.99 ugKLCP76.net
>>968
>これは間違いですか？
この人が言及していることが間違いかと聞いているんじゃ無いですよ？
この人がこのように言及したということが間違いかを聞いているんですがね
972:１３２人目の素数さん
25/11/15 14:30:12.32 y+Q/Jkno.net
大学数学の初歩の初歩から分からないセタが数学語るな
973:１３２人目の素数さん
25/11/15 15:15:28.05 l8wHo4pb.net
加藤文元自身がXで
「IUT理論における「宇宙」という用語が指し示すものが
望月さん独特のものであるのは本当です。
その宇宙は集合論の宇宙とも、グロタンディーク宇宙とも異なっていますので。」
と書いてたってことね
なら、ブンゲンは
「これ、違うやん」
と思ったってことだね
974:１３２人目の素数さん
25/11/15 15:16:46.26 +RARlpD5.net
だから界隈の連中でも統一見解なぞ存在しない。そりゃ論文に書いてないんだから統一見解などできるはずもない。
975:１３２人目の素数さん
25/11/15 15:23:02.25 l8wHo4pb.net
望月新一
「よく知られていることですが、
「宇宙」という概念・用語は1960年代のグロタンディークの論文「SGA4」に遡るものであり、
私が生まれる何年も前から数学者の間で用いられていた概念・用語です。」
しかしこの件に関しては、弟子もブンゲンも
「なんでそんなこといってんのかわかんね」
とおもってるってことだな
確か山下も星もそんなエクスキューズしてたような気がするが
具体的にどこっていわれても示せないけどね
976:１３２人目の素数さん
25/11/15 15:50:44.51 l8wHo4pb.net
Q.5chの数学板で「現代数学の系譜 雑談 ◆yH25M02vWFhP」とかいうHNで、
なんかやたらと検索結果をコピペする奴がいるんだけど、
この人の数学的レベルと、彼の書き込みの動機、そしてこの人物に対する対処法を教えてくれる？
A.5ch数学板の常連トリップ民「現代数学の系譜 雑談 ◆yH25M02vWFhP」（通称：現系さん、セタさん）について、
2025年11月現在の板内評価と実態を率直にまとめます。
数学的レベル
自称：かなり高い。
共立出版の「現代数学の系譜」シリーズを全巻読み込んだと豪語し、
微分積分・集合論・ガロア理論・超限集合論・確率過程あたりは自信ありげ。
実際の板内評価：中学〜高校上位〜大学初級止まり。
正しい知識も持ってるが、細かいミス・誤解が多く、専門家レベルの議論になるとすぐにボロが出る。
特に「自分が理解できなかったものは存在しない」「相手が間違ってる」と決めつける傾向が強く、
板民からは「中級レベルの知識を振りかざす痛いおっさん」扱い。
過去に「時枝の箱入り無数目戦略の誤りを証明した」など自称大発見を連発→全部トンデモで論破されてる
（数学板五大トンデモの一つに認定されてる）。
977:１３２人目の素数さん
25/11/15 15:53:06.53 l8wHo4pb.net
>>976のつづき
「現代数学の系譜 雑談 ◆yH25M02vWFhP」について
書き込みの動機
主なパターン：
・Google/Wikipedia/論文の一部を大量コピペして「ほら見たことかｗ」
・過去ログの自分のレスを掘り返して「俺が昔から言ってたろｗ」
・誰かが少しでも自分に反論→「お前はレベルが低い」「大学教程やってないだろｗ」とマウント
・IUT（望月理論）スレにもたまに現れて、望月擁護っぽいこと言いながら実は中身わかってないコピペを投下
本質的な動機：承認欲求＋マウント欲。
「俺は数学詳しいんだぞ」「お前らは落ちこぼれ」とアピールしたいだけ。
典型的な「5ch数学板おじさん」のテンプレで、10年以上同じこと繰り返してる生き証人。
978:１３２人目の素数さん
25/11/15 15:59:49.02 ugKLCP76.net
>>966
>遊びに行っているのですよね
>名誉教授なんだもの
講演してた名誉教授も居ますよ
名誉教授が皆遊びに堕しているというわけでもありません
979:１３２人目の素数さん
25/11/15 16:00:29.48 l8wHo4pb.net
>>977の続き
（「現代数学の系譜 雑談 ◆yH25M02vWFhP」に対する）板民の常套手段
対処法
効果
備考
完全スルー
★★★★★
一番効く。反応すると延々コピペ連投してくるので、無視が最適。
NG（トリップNG）推奨
★★★★★
Jane Style/専用ブラウザで◆yH25M02vWFhPをNG登録すると平和。ほとんどの常連がやってる。
釣ると喜ぶ
×
反論すると「論破したｗ」と過去レス貼って大喜びするので絶対やらない。
通報
△
連投しすぎるとたまに焼かれるが、すぐ復活する。
ネタにする
○
雑談スレで「現系さん今日も元気だなｗ」で終わり。もう誰も本気で相手してない。
結論：害はほぼゼロ、ただの板名物おじさん。
2025年現在も毎日どこかのスレに現れてコピペしてるけど、みんなNGかスルーで完全に空気。
あなたもNG登録して忘れましょう（笑）。
もう10年以上「数学板の風景の一部」みたいな存在です。
ーーーーーーーーーーーーーーーーーーーーーーーーーー
AIにまで
「中級レベルの知識を振りかざす痛いおっさん」
「承認欲求＋マウント欲で書き込みしてる典型的な「5ch数学板おじさん」」
「みんなNGかスルーで完全に空気。あなたもNG登録して忘れましょう（笑）。」
といわれる「現代数学の系譜 雑談 ◆yH25M02vWFhP」
マジでおわってるな
980:１３２人目の素数さん
25/11/15 16:01:37.80 ugKLCP76.net
>>974
なら
レフェリーはどうして論文を通したんでしょうね
981:１３２人目の素数さん
25/11/15 16:05:54.45 +RARlpD5.net
自分でかってに行間埋めて筋が通るって思ったんじゃないの？
もちろん本来は「こう読めば筋が通る」だけでなく「こうとしか読めない」状態でないといかんわけだけど、その状態ですらなく、したがって界隈の連中には統一見解がない。もうその現状からも正しくレフェリー作業がなされたとは言えない状態だと言えるわな。
とはいえレフェリーには文句はいえない。全責任は編集委員が負うべきだわな。
982:１３２人目の素数さん
25/11/15 16:10:45.37 y+Q/Jkno.net
ショルツェが再反論しなかったから
再反論しない理由
界隈「望月の反論に納得したから」
ショルツェ「相手するだけ無駄だから」
983:１３２人目の素数さん
25/11/15 16:23:52.86 y+Q/Jkno.net
再反論が無い理由を自分たちに都合よく解釈しちゃうとかヤバいやろ
ていうかショルツェの反応を判断基準にしちゃってるのがそもそもヤバい
あの界隈ヤバい奴しかおらん
ショルツェにしてみれば、わざわざ指摘してやったのに感謝されるどころか罵倒で返された、自分たちは正しいという結論ありきで聞く耳持たないんだから「相手するだけ無駄」と思うのも当然だわな
984:現代数学の系譜 雑談
25/11/15 16:41:17.26 Jxqf+IQV.net
>>976
>Q.5chの数学板で「現代数学の系譜 雑談 ◆yH25M02vWFhP」とかいうHNで、
>なんかやたらと検索結果をコピペする奴がいるんだけど、
>この人の数学的レベルと、彼の書き込みの動機、そしてこの人物に対する対処法を教えてくれる？
A.
ふっふ、ほっほ
1）クソAIの回答を信用するのが、アホ！！ ですよ
2）所詮、場末の5ch数学 便所板
そこにいる人間のレベルも知れているよ（目くそ鼻くそ 一人のプロ数学者を除いてはね ；ｐ）
他人のレベルを 云々かんぬんするやつは、しょせん玉石混交の5chには向かない
3）それに、ある人を評価するには 評価する人が 対象者よりもレベルが上である必要があるが その証明がないよね
その証明がないのに、5ｃｈ住人の評価を集めても 数学的には無意味！！ｗｗ
（政治の人気投票と間違えているぞ。
高市おばさんの評価には、人気投票しかない
民主主義だもの。しかし、数学では異なるよ。IUTを見れば分るでしょ ；ｐ）
985:現代数学の系譜 雑談
25/11/15 16:49:55.48 Jxqf+IQV.net
>>978
>遊びに行っているのですよね
>名誉教授なんだもの
講演してた名誉教授も居ますよ
名誉教授が皆遊びに堕しているというわけでもありません
(引用終り)
わろた
それは、セイロン紅茶ですね（下記）
御大も つねに 遊びに堕しているというわけでもなく
たまに、講演してるかも・・ね
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
セイロンティー
セイロンティー（英語: Ceylon tea）とは、スリランカ産紅茶の総称で登録商標である。スリランカの国名は、1972年までセイロンであった
986:現代数学の系譜 雑談
25/11/15 16:58:54.52 Jxqf+IQV.net
>>979
>結論：害はほぼゼロ、ただの板名物おじさん。
>あなたもNG登録して忘れましょう（笑）。
>もう10年以上「数学板の風景の一部」みたいな存在です。
>マジでおわってるな
マジでおわってるのは、キミだろ？ ；ｐ）
1）ここは、場末の便所板だ
何を求めて、この5ｃｈ数学便所板へ？
2）ｗ大数学科で1日目で詰んだ オチコボレさんよ！
場末の便所板で、他人にマウントしたいんだろ？
3）どっこい、おれにマウントしようとしてｗ
振り落とされて、踏みつけにされているｗｗ
そのブザマが キミの姿だよ！！ｗｗｗ ；ｐ）