[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
546(1): 2022/04/24(日)08:00 ID:/7dcPctj(1/16) AAS
>>538 補足
>いまどきの普通の圏論の教科書を読んだ人が
>”宇宙”とか言われると
>違和感あると思うな
下記のベーシック圏論 Leinsterに、”宇宙”が2箇所出てくる
外部ﾘﾝｸ:www.maruzen-publishing.co.jp
ベーシック圏論 普遍性からの速習コース
原書名 Basic Category Theory
著者名 斎藤 恭司 監修 土岡 俊介 訳 丸善出版 2017年01月
＜arxiv公開＞
省10
547: 2022/04/24(日)08:00 ID:/7dcPctj(2/16) AAS
>>546
つづき
P168 (toposの説明で、‘universe of sets’と使っている)
For instance, a topos can be regarded as a ‘universe of sets’: Set is the most
basic example of a topos, and every topos shares enough features with Set that
one can reason with its objects as if they were sets of some exotic kind. On the
other hand, a topos can be regarded as a generalized topological space: every
space gives rise to a topos (namely, the category of sheaves on it), and topological properties of the space can be reinterpreted in a useful way as categorical
properties of its associated topos.
(引用終り)
省9
549(2): 2022/04/24(日)08:23 ID:/7dcPctj(3/16) AAS
>>544
>>>よそのスレ996
ありがと
見たよ >>よそのスレ996
面白いな
”もっちーの「心壁論」”や”ルペンに投票しそう”とか
”ショルツも他の数学者もみんなが求めているのは
他の数学者が理解できる説明”スレ974
は、全く同意見で正論と思う
昨年 4回のIUT国際会議をやったけど
省19
551: 2022/04/24(日)08:24 ID:/7dcPctj(4/16) AAS
>>548
書いていないことについて
勝手な妄想で、因縁つけるとは
５ｃｈ 妄想ヤクザさん？ｗ
書いてあること以上ではありませんので、悪しからずｗ
554(1): 2022/04/24(日)09:06 ID:/7dcPctj(5/16) AAS
>>550
>例えばケプラー予想を解決したとするシアン氏の論文等
>外部ﾘﾝｸ:ja.wikipedia.org
>「1990年にウ＝イ・シアン（項武義）はケプラー予想を証明したと発表した。
>招待される栄誉を得た。シアンの主張は幾何学的な手法でケプラー予想を証明した
> というものだった。
> しかしながら、ガボル・フェイェシュ＝トート（ラースローの息子）は論文のレビューで
> 「細部に目を向ければ、重要な言明の多くが容認できるような証明を欠いている」
> と述べた。
これは、面白い例なので、マジレスする （なお、ケプラー予想は、旧ガロアスレでも取り上げた気がする）
省7
555(2): 2022/04/24(日)09:07 ID:/7dcPctj(6/16) AAS
>>554
つづき
2005年、ヘイルズは100ページの論文で、証明の中でコンピュータを用いない部分を詳述した[11]。ファーガソンとの共著による2006年の論文および数篇の続報ではコンピュータによる部分を報告した[12]。2009年にヘイルズとファーガソンは離散数学の分野の優れた論文に対して贈られるファルカーソン賞を受賞した。
(引用終り)
つまり、1953年にラースロー・フェイェシュ＝トートが、しらみつぶし法による証明が原理的に可能だということを示した
1990年のウ＝イ・シアン（項武義）のケプラー予想を証明した（ここにはギャップあり）との発表を受けて
ヘイルズ氏が、1992年から始めて 2009年に、ファルカーソン賞を受賞した
つまりは、未完成でも途中の1953年とか1990年とかの仕事は、後の ヘイルズの証明へ繋がっているのです （4色問題に類似 外部ﾘﾝｸ:ja.wikipedia.org ）
だから、望月IUTが どういう評価になるかは、今後を待つとして
あなたが、必死に望月IUTをディスる姿が滑稽に見えます
省12
558(3): 2022/04/24(日)10:13 ID:/7dcPctj(7/16) AAS
>>527 追加
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Mutually Alien Copies に関連しそうなところを、下記に引用すると
1）N ・ h “=〜” h N be a fixed natural number > 1
2）qN “=〜” q
3）“alien” is that of its original Latin root, i.e., a sense of abstract, tautological “otherness”.
とか、そのまま読むと、望月ワールド全開で、NHKスペシャル見ているから「同じものを別と見て、かつ同一視する」でしたか、ああこのことかと思いました
普通に読むと、読めないでしょうね
省16
559: 2022/04/24(日)10:14 ID:/7dcPctj(8/16) AAS
>>558
つづき
In order to verify the approximate relation qN “=〜” q, one begins by introducing
two distinct - i.e., two “mutually alien” - copies of the conventional scheme
theory surrounding the given initial Θ-data. Here, the intended sense of the descriptive
“alien” is that of its original Latin root, i.e., a sense of
abstract, tautological “otherness”.
These two mutually alien copies of conventional scheme theory are glued together
- by considering relatively weak underlying structures of the respective conventional
scheme theories such as multiplicative monoids and profinite groups - in such a
省16
560: 2022/04/24(日)10:14 ID:/7dcPctj(9/16) AAS
>>558 追加の追加
因みに、” the familiar Galois module “Z＾(1)””とか合ったので下記を引用しておきます
(引用開始)
P17
§ 2.6. Positive characteristic model for mono-anabelian transport
In this example, Galois
groups, or ´etale fundamental groups, in some sense play the role that is played
by tangent bundles in the classical theory - a situation that is reminiscent of the
approach of the [scheme-theoretic] Hodge-Arakelov theory of [HASurI], [HASurII],
which is briefly reviewed in §2.14 below. One notion of central importance in this
省8
561(1): 2022/04/24(日)10:33 ID:/7dcPctj(10/16) AAS
>>557
>今年のICMで望月新一氏に何の賞もでないどころか
>基調講演等で全く取り上げられなかったら
>それが今の数学界におけるIUT理論の評価
>だと気づきましょう
ほらほら
必死で、IUTをディスる姿が滑稽ですよ
科学史の示すところ
従来の常識を覆す革新的な理論は、しばしば受容されるのに時間がかかる
アインシュタインの相対性理論による時空概念の変革とか
省9
568(1): 2022/04/24(日)14:49 ID:/7dcPctj(11/16) AAS
>>558 追加
> 3）“alien” is that of its original Latin root, i.e., a sense of abstract, tautological “otherness”.
>とか、そのまま読むと、望月ワールド全開で、NHKスペシャル見ているから「同じものを別と見て、かつ同一視する」でしたか、ああこのことかと思いました
>普通に読むと、読めないでしょうね
下記 フェセンコサーベイ （星の遠アーベル幾何学の進展 数学 vol74-No1 に紹介されている 文献の[6]）
を読んでいる
”such gluing isomorphisms by applying various tautological Galois-equivariance properties of such gluing isomorphisms ”
(google訳 そのような接着同型の様々なトートロジー的ガロア同変特性を適用することによるそのような接着同型 )
とか
出てくるんだよね（下記）
省12
576(1): 2022/04/24(日)19:40 ID:/7dcPctj(12/16) AAS
>>567
>Math Reviews誌が、
>英エクスター大教授モハメド・サイディのレビューで、
>宇宙際タイヒミュラー理論の系3.11を肯定する書評を掲載したって。
>American Mathematical Societyだね。
情報ありがとう
・検索ではヒットなしだった
・Math Reviews誌のサイトに行って、検索をしたら、サブスクの人限定と出た
・サブスクのIDは無いので断念した
多分、大学の関係者（含む学生）なら、大学でIDを持っているならそれを使わせ貰えば、アクセス可能だろう
省15
577: 2022/04/24(日)19:42 ID:/7dcPctj(13/16) AAS
>>575
情報ありがとう
>>576で要望した情報は、ゲットできました
ありがとうございます。
578(1): 2022/04/24(日)19:53 ID:/7dcPctj(14/16) AAS
>>575
>Theorem 3.11 in Part III is somehow reinterpreted in Corollary 3.12 of the same paper in a way that relates to the kind of diophantine inequalities one wishes to prove. One constructs certain arithmetic line bundles of interest within each theatre, a theta version and a q-version (which at the places of bad reduction arises essentially from the q-parameter of the corresponding Tate curve), which give rise to certain theta and q-objects in certain (products of) Frobenioids: the theta and q-pilots. By construction the theta pilot maps to the q-pilot via the horizontal link in the log-theta lattice. One can then proceed and compare the log-volumes of the images of these two objects in the relevant objects constructed via the multiradial algorithm in Theorem 3.11.
これは、IUTの一つのあら筋ですね
なるほどね
これに、IUT本論文や準備論文との対応（リンク付け）をすれば、良いと思いますね
582(2): 2022/04/24(日)23:28 ID:/7dcPctj(15/16) AAS
>>581
コメントありがとうございます
”英エクスター大教授モハメド・サイディのレビューで”>>567
について、なんで彼が？ を考えていました
モハメド・サイディ氏については、日本語が読めて、IUTの周辺情報を知っている人ならば、肯定的なレビューになることは容易に予想できます（下記）
実際、下記の2回の望月新一氏の”IUT 検証:進捗状況の報告” 2013と2014に登場して、彼とセミナーをやって理解してもらったと書かれている
思うに、Math Reviews誌が頼んだ何人かの数学者から「私は、IUTをレビューを書くほど読んではいない」と断られて、結果、サイディ氏に行き着いたと思います
繰り返すが、多くの数学者にとっては「IUTはレビューを書くほど読んでない」ってことで、読んだ人は肯定的な意見になる
唯一の例外が、ショルツェ氏で、本当は読めてないのに、SS文書を元に、否定的見解のレビューを出してしまったってことでしょうね
だから、>>564氏の”2018年の京都のやりとりの事を、2021年のZb-Mathの批判レビュー書いたなら”に賛成
省6
583: 2022/04/24(日)23:28 ID:/7dcPctj(16/16) AAS
>>582
つづき
(参考)
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月新一 過去と現在の研究
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
宇宙際タイヒミューラー理論の検証:進捗状況の報告(2013 年 12月現在)京都大学数理解析研究所・教授 望月新一
P3
(6) Mohamed Saidi 氏(エクセター大学(連合王国)・准教授)は2013年7月~9月の3ヶ月間、客員教授として京都大学数理解析研究所に滞在し、滞在期間中、10回程度 計 24時間程度)行なったセミナーにおいて IUTeich 理論について私と二人で議論し、様々な観点から検証しました。
また山下氏とも数回程セミナーを行ない、IUTeich 理論について議論しました。
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s