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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

875: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/14(金) 07:25:51.58 ID:Gbn0TSJh

>>874
分からないんですね
p∈P
には意味は無いと？
けれどなんだかIUTの集合論的批判の中に
p∈pというのが出てくることがあるからみたいな？
(引用終り)

そこな
下記の 望月の北大 2003年当時から
『"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る』
（§1 圏のIU幾何）
って 話でしょ？

つまりは、望月氏は
"「属性方程式」a∈aを解きたい"という Motivation
があって、”ラベルを貼る”を やった
ところが、ショルツェ氏が しゃしゃり出る
”simplification”で ラベルを無くしたら おかしくなるよと

望月氏にしてみたら あ然 ぼう然 がく然でｗ
もとから "「属性方程式」a∈aを解きたい"という Motivationでもって
”ラベルを貼る”をやっているのに
”ラベルを無くしたら・・” とか おまえはアホか！と

なお、下記F1 は、一元体（下記）な　（＾＾

(参考)　>>5より再録
https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月
https://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論　（北海道大学 2003年11月）. PDF
P1
§1 圏のIU幾何
§1.1 Motivation
"F1上のキカが必要"
　↓
"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る。

https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93
一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている。

http://rio2016.5ch.net/test/read.cgi/math/1761878205/875

888: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/14(金) 11:01:01.86 ID:f6V8ev5m

>>884-885
あなたは、文献を読み込まずに 数学の議論を進めていますね
それ アウトです

１）まず >>308より
(参考)
https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf
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文書批判を読む
https://arxiv.org/pdf/2505.10568
[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.

３）さらに 望月氏の反論を読む
https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
[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) https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf

つづく

http://rio2016.5ch.net/test/read.cgi/math/1761878205/888

889: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/14(金) 11:01:26.81 ID:f6V8ev5m

つづき

４）その上で 下記にも 目を通してね
https://math.arizona.edu/~kirti/
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 を提案している（望月はダメだが、これが良いのだと）
（でも、ショルツエ氏と望月氏 両者から ダメ出しがあるらしい）
https://math.arizona.edu/~kirti/
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

ともかく、これらを 理解できる出来ないは別として
チラ見くらいはして 議論すべきですよ
そうしないと 議論が上滑りです
以上

http://rio2016.5ch.net/test/read.cgi/math/1761878205/889

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

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

ぬこの手ぬこTOP 0.023s