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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

472(5): 11/08(土)08:01 ID:hP1E8Bup(2/11) AAS
これについてはお答え頂けないようです
>>>313
>>圏論のロジック（矢印図）読めるのか？キミはｗｗ　（＾＾；
>圏論のロジックとは
>射を矢印で表した図式のことですね？
>しかし
>>いまどきは
>>圏論のロジック（矢印図）の方が重要だと思うよ
>>（例えば P15 "6.3. Duality and derived categories."とかね。なお集合の論理式も P11辺りに出てくるけどね）
>「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
省6

488(5): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/08(土)10:04 ID:P9qVEF++(5/25) AAS
>>479
>>図式が集合の論理式より重要という独特の価値観を押しつけて>>313

補足しておくと
集合論としては、下記の東北大尾畑研のpdf程度で良いのではないかと

つまり、コテコテのZFCの一階述語論理を学部1年で押しつけるのは如何なものかと
つまり、人は日常では、必ずしも純粋な一階述語論理では思考していないわけで

前20世紀中頃は、数学は日常のいい加減な思考を排してコテコテの一階述語論理を優先すべし
（代表例がεδ式）
みたく教える人が多かったが
今21世紀は、もう少し多様な考えが出てきた（その代表が超準や圏論）ように思います　（＾＾
省8

517(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/08(土)17:18 ID:P9qVEF++(14/25) AAS
>>510
>理解して査読を行ったはずの査読者が解説してくれるといいんですが
>それも望めません

終わっていると思う
IUT査読完了発表が、2020年4月で出版が 2021年3月
一方、これに合わせて September 2020 - April 2021 に
”Promenade in Inter-Universal Teichmüller Theory”下記
が、行われた

この中のフランス Lille大 Fresse、Dèbes
それに東工大(当時) Wakabayashi
省42

526(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/08(土)18:25 ID:P9qVEF++(19/25) AAS
>>524
>世界的に否定的な風潮である中
>これらの人は現在どういう発言をしてますかね？

否定の風潮は、どんどん収っています
例えば、下記が、遠アーベルの研究ネットワークで
下記と対比されれば、よろしいかと

外部ﾘﾝｸ:ahgt.math.cnrs.fr
Arithmetic & Homotopic Galois Theory IRN
Members & Partners

ここのメンバーは、別にIUTを否定してはいない
省7

537(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/08(土)23:03 ID:P9qVEF++(22/25) AAS
>>529
(引用開始)
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
(引用終り)
省22

542(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/08(土)23:54 ID:P9qVEF++(25/25) AAS
>>535
(引用開始)
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
(引用終り)

いやいや、これで良いのですよ
つまり、下記のRIMS
省13

543(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/09(日)00:00 ID:QrKJGO9s(1/26) AAS
>>541
>IUTに関しては
>理解できている人達なんでしょう？君の話では>>517

ふっふ、ほっほ
数学オチコボレのエスパー登場か
君は、他人の理解うんぬんがすきだねぇ〜〜ｗｗｗ

どうでもいいじゃん、他人の理解など
要は、自分がどう理解するかだけよ

私？私は、まずは「頑張れ日本！」の範囲で理解できればいいのですｗｗｗ
つぎは、「日本チャチャチャ」です
省2

561(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/09(日)08:48 ID:QrKJGO9s(2/26) AAS
>>544
>>abc予想が解決したことになってないだろ
>という現状で進めるのではどんどん評判落とすことになりましょう

いやいや間違っていますよ

”数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。
岡潔　『一葉舟』角川ソフィア文庫”

多分、数学は最先端は常に難しいが、先に進めば難しかった定理の証明に簡明な別証が見つかったりするものだと
そして、万一望月IUTのabc予想証明にギャップが見つかったとしても、それも数学の進歩というものです

そのギャップを、他の人が埋めるか
あるいは、新しい証明を考えるか、それも数学の進歩というもの
省17

562(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/09(日)09:04 ID:QrKJGO9s(3/26) AAS
>>545
>>君は、他人の理解うんぬんがすきだねぇ〜〜ｗｗｗ
>理解して居れば曖昧にはしないからですよ
>IUT理論を強力に後押ししないのは理解して居ないからかも知れません
>あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど

いやいや間違っていますよ
　>>8より再録
(参考)
外部ﾘﾝｸ:hiroyukikojima.ｈａｔｅｎａblog.com/entry/20130424/1366809361
hiroyukikojima’s blog
省23

565(6): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/09(日)09:33 ID:QrKJGO9s(5/26) AAS
>>546
>>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
>その分野の専門家で理解ができているなら

まず、IUTを数学的に否定した文献は世界にたった一つ
“Why ABC is still a conjecture” [外部ﾘﾝｸ[pdf]:www.math.uni-bonn.de]
by Peter Scholze のみ。これを認めよう！（他は woitブログとか文学系ですｗ）

そして、Scholze氏のは ”radical simplifications”という明白なストローマン論法なので
これを、公に支持する数論の数学者もまた皆無（専門違いの圏論屋が一人）

さて、”理解”とは何か？大学入試ならばある部屋にカンニング無しで一定時間にある問題を解かせた点数だろう
院試なら、上記に加えて口頭試問がある
省24

671(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/09(日)18:38 ID:QrKJGO9s(20/26) AAS
>>659
>世界的にはscholzeさんやstixさんを説得できない証明は
>証明とは認められないとの判断基準です

それは、真の数学からはほど遠い
例えば
アーベルの5次方程式の代数的解法（解けない）論文は、ガウスにコミ扱いされた
カントールの集合論は、クロネッカーから酷評された
ガロア論文は、長い間理解されなかった

>どんどんその意見は強化されほぼ共通認識になったようです
>外部ﾘﾝｸ:www.reddit.com
省7

760(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/11(火)12:53 ID:3Cq8ZFbO(1/4) AAS
当事者です（＾＾
　>>313より再録
ID:BZV1IQOW
>>306
(引用開始)
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
省31

774(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/11(火)18:37 ID:3Cq8ZFbO(4/4) AAS
>>770-771
(引用開始)
AIに
「代数学の基本定理って、層の言葉で書ける？
つまり、代数方程式に解が存在するのは層がねじれてるからで、
解の個数も層がねじれてるせいだと思うけど、これ妄想？」
って聞いたら
「よくわかったね。妄想どころか現代数学の標準的な知見だよ。」
っていわれた
「えー、そうなんだ。でも日本語の本には書いてないよね。」
省20

792(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/11(火)23:32 ID:MAm0UGMh(2/3) AAS
>>782
>「Chapter II.5–6：線束、切断、チャーン類。CP^1 上の O(n) の大域切断＝多項式。」
>意味わかる？わかんないならハーツホーン読んでも無駄だから、即古本屋に売りな

>>785
>「直接」＝代数学の基本定理 (Fundamental Theorem of Algebra)という言葉を明示して
>ということなら、そうはなってないかもしれんが、読む人が読めば
>ああ、これって代数学の基本定理のことじゃん
>と分かる記述があれば、それは「書いてある」ということになるんだよ

ふっふ、ほっほ
ははは
省7

803(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/12(水)10:25 ID:ALZYQ4aC(3/9) AAS
>>781
(引用開始)
代数学の基本定理 (Fundamental Theorem of Algebra)は
ハーツホーンでは、直接は扱っていないぞ！ｗｗｗ
いや、もちろんハーツホーンで扱う大定理でそれに何かを組み合わせれば
代数学の基本定理 (Fundamental Theorem of Algebra)が導けるかもしれないよ
だがな、ハーツホーンの前提が学部レベルの複素関数論や代数学の基本定理を前提としていたらどうよ？
それって、循環論法だよｗｗｗ
(引用終り)

補足しておくと
省24

815(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/12(水)17:11 ID:ALZYQ4aC(7/9) AAS
>>808
>リーマンは　無限遠点を導入して　リーマン球面を定義することにより
>有理型関数をリーマン球面への正則写像とみる視点を
>導入した。

フォローありがとうございます（＾＾

(google検索)
有理型関数をリーマン球面への正則写像とみる視点

<結果>
外部ﾘﾝｸ[pdf]:www2.math.kyushu-u.ac.jp
解析接続の問題に現れる解析と幾何
省21

837(3): 11/13(木)08:10 ID:WQzCu6h8(4/6) AAS
偏角の原理ーー＞楕円関数の加法定理
ーー＞ヤコビの逆問題の解決ーー＞
リーマン面上の関数論ーー＞
ルンゲの近似定理とミッタク・レフラーの定理
ーー＞クザンの問題
ーー＞岡・カルタン理論
ーー＞小平消滅定理

一例に過ぎないが

875(6): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/14(金)07:25 ID:Gbn0TSJh(1/4) AAS
>>874
分からないんですね
p∈P
には意味は無いと？
けれどなんだかIUTの集合論的批判の中に
p∈pというのが出てくることがあるからみたいな？
(引用終り)

そこな
下記の望月の北大 2003年当時から
『"「属性方程式」a∈aを解きたい"
省29

888(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/14(金)11:01 ID:f6V8ev5m(2/5) AAS
>>884-885
あなたは、文献を読み込まずに数学の議論を進めていますね
それアウトです

１）まず >>308より
(参考)
外部ﾘﾝｸ[pdf]: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.
省14

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.078s