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

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

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

517: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/08(土) 17:18:51.24 ID:P9qVEF++

>>510
>理解して査読を行ったはずの査読者が解説してくれるといいんですが
>それも望めません

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

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

査読は、最低2グループで
海外のグループで フランス Lille大
国内のグループで 東工大(当時)
彼らが、査読が終わった IUTのセミナーをやったのが
”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）

(参考)
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
宇宙際タイヒミュラー理論
論文の出版と批判
上記のプレプリントは7年半にわたる審査を経て、2020年2月5日に査読を通過した。2020年4月、PRIMS特別編集委員会の記者会見で共同編集委員長の柏原正樹、玉川安騎男は、記者会見を行い、望月論文の査読受理を発表した[28]。
2021年3月に望月が編集主幹を務めるRIMS発行の論文誌PRIMSの特別号に掲載された[34]。

https://ahgt.math.cnrs.fr/activities/
Arithmetic & Homotopic Galois Theory IRN
Activities - Conferences & Seminars
https://www.kurims.kyoto-u.ac.jp/~bcollas/Promenade-IUT/index.html
Promenade in Inter-Universal Teichmüller Theory
Org.: Collas (RIMS); Dèbes, Fresse (Lille).
The goal of this seminar between Painlevé-Lille (France) and RIMS-Kyoto (Japan)
— September 2020 - April 2021
https://www.kurims.kyoto-u.ac.jp/~bcollas/Promenade-IUT/documents/RIMS-Lille%20-%20Promenade%20in%20Inter-Universal%20Teichm%C3%BCller%20Theory.pdf
Programme and schedule
September
09/24　T0　IUT Introductory Talk　Collas
IUT Geometry (introductory)
October
10/08　T1.1　Abc & Szpiro conjectures: Roth and Belyi　Cluckers - Fresse
November
11/5　T1.2　Abc & Vojta conjectures: heights and ramification　Dèbes
December
12/03　T1.3　From Vojta to Mochizuki: Moduli spaces of elliptic curves　Liu
January
01/21　T2.2　Cyclotomic Rigidity and Multiradiality　Porowski
March
03/25　ATA　Mono-anabelian Transport in Inter-universal Teichmuller Theory　Hoshi
April
04/15　ATB　Explicit Estimates in Inter-universal Teichmüller Theory　Minamide
04/22　ATC　Introduction to p-adic Teichmüller theory　Wakabayashi

https://researchmap.jp/wakabayashi...zzz/research_experience
若林 泰央
ワカバヤシ ヤスヒロ
2022年10月 - 現在大阪大学, 大学院情報科学研究科 情報基礎数学専攻, 准教授
2018年4月 - 2022年9月東京工業大学, 理学院, 助教

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

520: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/08(土) 17:45:37.49 ID:P9qVEF++

>>502
>ある大数学者が若い時に
>自分は論理も計算もない数学をやってみたい
>と言ったとか
>数学者にはこういう気宇壮大さも必要だろう

たとえば どういう数学者・・・？
そうか！ 佐藤幹夫先生だ！！ｗ

論理も計算も、弟子や同僚が主にやったという
例えば 証明は、柏原先生の担当
佐藤-Tate 予想の数値計算は、難波完爾先生が
ソリトンの理論の数値計算は、佐藤幹夫先生の奥様(毛織泰子,佐藤泰子)だった・・

(参考)
https://ja.wikipedia.org/wiki/%E4%BD%90%E8%97%A4%E3%83%BB%E3%83%86%E3%82%A4%E3%83%88%E4%BA%88%E6%83%B3
佐藤・テイト予想
予想は1963年[3]に佐藤幹夫(Mikio Sato)により提出され、ジョン・テイト(John Tate)により代数幾何学的に解釈された。[4]
脚注
3^ 難波 2006, p. 105.
参考文献
難波完爾「Dedekind η 関数と佐藤 sin2-予想」『第16回数学史シンポジウム報告集』（PDF）27号、津田塾大学数学・計算機科学研究所〈津田塾大学数学・計算機科学研究所報〉、2006年、95-167頁。
https://tsadahiro.github.io/sugakushi/sympo16/
第16回数学史シンポジウム
難波完爾　Dedekind η 関数と佐藤 sin2-予想 https://tsadahiro.github.io/sugakushi/sympo16/16_8nanba.pdf
（Ｐ3 辺りの話）

https://ja.wikipedia.org/wiki/%E4%BD%90%E8%97%A4%E7%90%86%E8%AB%96
佐藤理論（さとうりろん）は、佐藤幹夫によるソリトン方程式と解に関する理論である[1]。(京都大学数理解析研究所講究録388 1980[2],; 414, 1981[3])
KP方程式 (en)をはじめとする完全可積分方程式のソリトン解の τ関数は普遍Grassmann多様体上の点で、双線形方程式はPlücker関係式である。
脚注
2^ 佐藤幹夫, 毛織泰子「広田氏のBilinear Equationsについて (線型微分方程式の変形理論とアーベル函数論の拡張への新しい視点)」『数理解析研究所講究録』第388巻、京都大学数理解析研究所、1980年6月、183-204頁、CRID 1050001335646521728、hdl:2433/104905、ISSN 1880-2818。
3^ 佐藤幹夫, 佐藤泰子「広田氏のBilinear Equationsについて (II) (Non-Linear Waves : Classical Theory and Quantum Theory)」『数理解析研究所講究録』第414巻、京都大学数理解析研究所、1981年1月、181-202頁、CRID 1050564285594610176、hdl:2433/102452、ISSN 1880-2818。

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

525: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/08(土) 18:10:44.30 ID:P9qVEF++

>>523
ここは中高一貫校生も来る可能性があるから
補足をば

(参考)
https://www2.yukawa.kyoto-u.ac.jp/~kanehisa.takasaki/edu/logic/index.html#lectures
数理論理学入門
高崎金久（京都大学）
https://www2.yukawa.kyoto-u.ac.jp/~kanehisa.takasaki/edu/logic/logic5.html
V. 述語論理の意味論
1. 述語論理は何を記号化したものか
1.1 述語論理の特徴
命題論理では「命題」（あるいはその記号化である「命題記号」） が基本的な構成要素であった．命題論理が得意とするのは， 論理回路のように，記述対象が有限個の状態のみをもち， しかもそれらの状態が有限個の命題変数の真理値割り当て（つまりビット列） として表現できる場合である．
命題論理は論理回路などよりも複雑な対象を記述する場合には 力不足である．たとえば，対象が無限に多くの状態をもつか， あるいは，有限個であってもその上限が不定であるような場合を 考えよう．そのような対象を命題論理の枠組で記述しようとすれば， おそらく無限個の命題変数とそれらに関する無限個の論理式を 同時に扱うことが必要になるだろう．これは命題論理の通常の 枠組から逸脱している．さらに，命題論理には対象そのものを 記述する要素が含まれておらず，対象の状態を命題変数でいわば 「間接的に」記述することしかできない（「箱とボール」の パズルを思い出されたい）．

命題の代わりに「述語」を基礎にするのが述語論理である． 述語は変項をもち，変項に代入されるものによって真理値が 決まるもので，対象の性質や対象間の関係を表現している． 変項に代入するものを構成するため「変数」・「定数」・ 「函数」・「演算」など（いずれも実体というよりは 単なる記号である）が用意されるが， これらは記述する対象や対象に関する函数・演算などを 表現している．述語論理の論理式はこのような述語から 構成される．以上のようなものによって命題に内部構造 を持ち込むことができる．

さらに，論理記号として新たに「量化子」（「限量子」 ともいう）が導入されることも大きな特徴である． 量化子は記述対象を指す変数（「対象変数」）を 修飾する記号で，すべての対象に対して主張が 成立することを意味する「全称量化子」と， 少なくとも一つの対象に対して主張が成立する ことを意味する「特称量化子」の二種類がある． 対象変数に関するこの種の論理記号はこの二つ以外にも 考えられているが（たとえば，「様相論理」では「様相記号」 と呼ばれるものが新たに導入される）， 数学の定理などを定式化する際にはこの二種類の量化子で 十分なことが経験上わかっている．

1.2 述語とは何か

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

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

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

ぬこの手ぬこTOP 0.019s