[過去ﾛｸﾞ] Interuniversal geometry とABC 予想60
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
803(1): 07/05(日)12:41 ID:o3Mxdww9(1/2) AAS
もうちょいの辛抱やて。
何かまた分かるさ。
804: 07/05(日)12:47 ID:HZjyQNrG(3/3) AAS
まあ色々な意見があると思うが遠アーベル幾何学のLeanライブラリ化なんて大学が記者会見をわざわざ実施するようなプロジェクトじゃない
805: 07/05(日)13:35 ID:Mz24roe9(1/3) AAS
>>803
それで何年待ってんだかね。
806: 07/05(日)13:42 ID:o3Mxdww9(2/2) AAS
日程は決まってるんでしょ。
それがあってからまた話したら良いじゃん。
807(1): 07/05(日)14:09 ID:Mz24roe9(2/3) AAS
まあ徳川埋蔵金みたいなもんやろな。
また今回もわかりませんでした！で引っ張る。
808: 07/05(日)14:40 ID:kKaphw8+(1) AAS
どうせどうでもいい話（コミュニケーションツール）しかしないよ
検証に報告できるような進展無いから
809: 07/05(日)18:34 ID:h/zDUn9p(1) AAS
>徳川埋蔵金
確かに、
IUTは文科省関連から血税を引き出したり
大学認可の道具でしょうよ
810: 07/05(日)18:53 ID:shlFvq3x(1) AAS
配信動画が初出になるの？レポート先にでないのかい
IUT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
動画ﾘﾝｸ[YouTube]
2026/07/17 に公開予定
ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
本発表会の模様をライブ配信いたします。
811: 07/05(日)19:03 ID:IssZfsTo(1/2) AAS
はやぶさ２号は好調らしい
812: 07/05(日)19:26 ID:wYSFAR9T(1/4) AAS
>>807
フイタw
813(1): 07/05(日)19:27 ID:wYSFAR9T(2/4) AAS
>>801
星はもうIUT切り離して自由させてやったらいいんじゃないのか
814: 07/05(日)19:41 ID:oc7qXpi0(4/5) AAS
学会で招待講演した人？
815(1): 07/05(日)19:41 ID:C42lH2q2(1/2) AAS
math_jinはRIMSの中の人なんだな
京大の組織改革への反応っぷりを見ると
816: 07/05(日)19:44 ID:C42lH2q2(2/2) AAS
>>813
そのための中間発表会お役御免じゃないのかね
若手に謝らせるのは可哀想だよ
>>168で十分
望月がやるべきこと
817(1): 07/05(日)20:05 ID:oc7qXpi0(5/5) AAS
>>168
自分はどうなの？IUTを理解してるんでしょ？その人
818: 07/05(日)21:04 ID:IssZfsTo(2/2) AAS
理解しているかどうかが問題だったのは
遠い昔のことになってしまった
819: 07/05(日)21:25 ID:rvNkNif5(1) AAS
発表記者会見だって欠席してるんだから
表に出てこない約束なんじゃねーの
820: 07/05(日)21:32 ID:Mz24roe9(3/3) AAS
>>168
>それでも私は、この1年以上の積み重ねが無意味だったとはまったく思いません。
>むしろ、ここまで真剣に考え、議論し、理解しようとしてきたからこそ、どこにその本当の難しさがあるのかが、以前よりもはるかに明確になったのだと思います。
>そのような意味においても、このプロジェクトで積み重ねてきた営みには、確かな価値と意義があると考えています。
それって 3.11 と 3.12 の間のギャップを指摘してもらったからですよね？まずそこに感謝するべきなのでは。
821(1): 07/05(日)21:40 ID:0WHgzjd3(1) AAS
セクハラ上司を笑顔でかわし～
822: 07/05(日)22:01 ID:wYSFAR9T(3/4) AAS
>>815
なんか認知能力とか著しく欠損しているように見えるが
あれで職員ならなんのコネだ
統一か創価か
823: 07/05(日)22:03 ID:wYSFAR9T(4/4) AAS
星はギリ一線超えてないまだマシな人
しかも能力があるので今のうちに別のことやらせとけという印象
将棋の方は知らねっていうかあれは望月と一緒に沈むしかないやろ
824: 07/06(月)00:20 ID:w3w/mZqY(1/2) AAS
沈むも何も最初から何にも業績ない口だけの人だからな
尊師はもう頭が壊れてしまっているものとして
この件で一番の死に恥を残したのは専門家としての見識を示さなかった玉川だな
825(1): 07/06(月)00:24 ID:w3w/mZqY(2/2) AAS
そもそも数学者としての信用がない山下は論外として
星も玉川も望月を信頼しすぎて
内容の詳細の理解を置き去りにわかった気になって見切り発車しちゃったんだろ
事が大きくなりすぎて今更撤回もできず 笹井さんコース
826(3): 07/06(月)01:03 ID:0plX7zum(1/9) AAS
京大数理研の数学誌PRIMS編集は望月新一著IUT論文の査読中に、
文科省関連の公文書等にIUT構築よりabc予想が解決と報告した件について
AIに聞いてみた。
➖ ➖
ご指摘の通り、『PRIMS』誌における査読の最終完了（2020年受理、
2021年出版）よりもかなり前の段階で、京都大学数理解析研究所（数理研）や関連する公的機関が、公文書や公式発表において「abc予想は解決された」という前提で実績報告や評価を行っていた事実は存在します。 [1, 2, 3, 4]
この点については、学術界の内外から「査読中の論文をあたかも確定した業績のように扱うのはガバナンス上問題ではないか」という批判や疑問の対象となってきました。主に以け下のような公文書や組織の動きが確認されています。
1. 文部科学省や外部機関への業績報告（公文書）.数理研は、文部科学省の「共同利用・共同研究拠点」などの指定を受けており、定期的に活動報告書や将来計画などの公文書を提出しています。
省2
827(2): 07/06(月)01:08 ID:0plX7zum(2/9) AAS
>>826
続き
2. 数理研内部における事実上の「容認」
『PRIMS』の編集委員会は「査読のプロセスは独立しており、望月教授を排除した特別委員会で厳正に行われている」と説明してきました。 [1]
* しかし、研究所のトップや他の教授陣（後の記者会見に出席した柏原正樹特任教授や玉川安騎男教授ら）は、公式の場や学術的な報告において、早い段階から望月理論の正当性を強く信じる立場を崩していませんでした。 [1, 2]
* そのため、組織の公式な記録（アニュアルレポートや中期目標の達成状況報告書など）でも、査読通過を待たずに「解決済み」に近いニュアンスで扱われるケースが目立ちました。
省4
828(3): 07/06(月)01:11 ID:0plX7zum(3/9) AAS
>>827
続き
結果として、2018年頃にピーター・ショルツェ教授らから「論理的な破綻
(ギャップ）」が指摘された際、「すでに公文書等で解決したと報告してきた手前、今さら数理研側がミスを認めて査読で落とす（あるいは掲載を却下する）ことは組織のメンツにかけてできなくなっているのではないか」という、「査読の独立性・公平性」への疑念をさらに深める要因となりました。
829: 07/06(月)02:54 ID:Sa8aMcgX(1/6) AAS
>>825
仕方ない面はあるわな
師匠と弟子の関係だし
830: 07/06(月)02:56 ID:Sa8aMcgX(2/6) AAS
擁護派否定派どちらであっても
LLMダラダラ貼り付けるのやめてほしい
831: 07/06(月)05:17 ID:NCULZC7v(1/4) AAS
>>821
笑顔で
デジタルタトゥーを
彫ってやれば？
832: 07/06(月)05:36 ID:O+esv3xh(1) AAS
>>817
いやLANAプロジェクト発足コメント読んでみて
ほぼギブアップ宣言みたいなもんだよ
833: 07/06(月)05:42 ID:JVpdiwmE(1) AAS
流行りのジュエリ～♪
834(1): 07/06(月)06:22 ID:XB+oRbim(1/3) AAS
>>826-828
AIが言うことじゃ商が無いなあ
835: 07/06(月)07:32 ID:VipYppy5(1) AAS
AIの方がマシだったりしてw
836: 07/06(月)07:46 ID:Y8eYh3c2(1/2) AAS
>>168
＞その中に何か超えられない壁があると感じている
数学の証明は感じ取るものではないですね
IUTを受け入れられないのは理解を拒絶しているからでもない
「感じている」とされた側のTopazの説明から読み解けば、
「厳密な定義が与えられていない手続きを形式化すべく
幾つもの解釈を試みたがどれも失敗している」
というところなのでは？
Scholzeが2018年の直接会談で指摘した箇所のおさらい
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
省9
837(2): 07/06(月)08:08 ID:0plX7zum(4/9) AAS
>>834
証拠付きの事実です。
文科省内閣府数理研のスキャンダル
だから。
838(1): 07/06(月)08:19 ID:WXhB4YGm(1) AAS
全ての証明がLEANを通せる形にすべきだとは思わんが、
通しにくいってことはそれなりに説明を要するってことで自明ではないってことは正しいよな。
839: 07/06(月)08:22 ID:NCULZC7v(2/4) AAS
いつから内閣府？
840(1): 07/06(月)08:30 ID:0plX7zum(5/9) AAS
例えば、
内閣府が企画.最先端研究を訪ねて
【代数学】
遠アーベル幾何学
数論幾何学 ― 整数と図形の不思議で深い関係の追求 ―
京大数理研玉川安騎男教授
>例えば、1990年代にアンドリュー・ワイルズが証明したフェルマーの最終定理や、最近望月新一さんが証明したABC予想など、いくつもの数論の大問題が数論幾何学を用いて解かれています。特に望月さんのABC予想の証明では、遠アーベル幾何学の理論や考え方が重要な役割を果たしています。
・文中の3枚の写真はIUT論文の
査読中の2017年に全て撮影
外部ﾘﾝｸ:www.sekaiwokaeyo.com
841(1): 07/06(月)08:33 ID:NCULZC7v(3/4) AAS
だから内閣府所属？
842: 07/06(月)08:37 ID:0plX7zum(6/9) AAS
>840は内閣府の企画
843: 07/06(月)09:12 ID:NOe76QeN(1) AAS
迷ったら外角低め
844(1): 07/06(月)11:58 ID:IptrcNZn(1) AAS
内閣府数理研と呼ばれる筋合いはない
845: 07/06(月)12:06 ID:/oAsCUWD(1) AAS
>>837
その割にジャーナリスト誰も食いつかないでしょ
その程度のことよ
846(1): 07/06(月)14:35 ID:0plX7zum(7/9) AAS
>>828
2015年5月13日.
IUT論文査読中。
中央教育審議会大学分科会大学院部会
・資料5
独立行政法人日本学術振興会
グローバルCOEプログラム委員会
事務局.
研究成果例 。
G08 京都大学 数学のトップリーダーの育成 .宇宙際タイヒミュラー理論 .
-数論におけるブレークスルー
宇宙際タイヒミュラー理論を用いることによってabc予想と呼ばれる数論の難問が解決することが2012年に発表 された。
日本の主な全国紙は言うに及ばず、New York Times などでも報道され、非専門家の間にも大きな話題 を提供している。
宇宙際タイヒミュラー理論は数理解析研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、 その解説や応用には多くの若手研究者が関与している。
省13
847: 07/06(月)16:19 ID:Sa8aMcgX(3/6) AAS
笹川松浦麻生川上終了のお知らせ
中国、ミサイル発射実験 潜水艦から太平洋着弾 [ぐれ★]
2chｽﾚ:newsplus
848(2): 07/06(月)17:22 ID:rIEv1t+3(1/2) AAS
相変わらず
ID:0plX7zum
が文科省内閣府評価キチガイっとんな
一連のやりとりみて、あんた他の人に相手にされてないの、わかってる？
ひとり浮いてるの、わかってる？
頭大丈夫なの？
そろそろ気付いてね！
849(1): 07/06(月)17:33 ID:0plX7zum(8/9) AAS
>id:rIEv1t+3
京大数理研の関係者の方ですか
IUT論文の受理と査読などの疑惑について
7.17にせつめいがありますかね。
数理研の星さんは出席されますか？
850: 07/06(月)17:42 ID:0plX7zum(9/9) AAS
>>848
あなたよりAIの方が多分まともかも。
AIの結果を検証しているだけ
>>826 - >828
851: 07/06(月)18:09 ID:MMho6T2Q(1) AAS
２２℃
雨
852: 07/06(月)18:49 ID:mAG8F29Q(1) AAS
>>838
中の人は最低でも2025年末にはそう感じてたのでは?
じゃないと3月の発表の覇気の無さに説明が付かない
たぶんあの時既に学長だけノリノリだったんでは
853: 07/06(月)20:22 ID:Y8eYh3c2(2/2) AAS
>>849にかかれば誰でも彼でもRIMS関係者ですね
私も幾度かそういわれていますｗ
＞IUT論文の受理と査読などの疑惑について
＞7.17にせつめいがありますかね。
もちろんZMC・LANAが知る由もないことですし
説明する立場にもありません
854: 07/06(月)21:35 ID:XB+oRbim(2/3) AAS
>>841,844
これを読み違えてますよ
>>837
>文科省内閣府数理研のスキャンダル
文科省に内閣府が所属しているわけでは無いし
内閣府に数理研が所属しているわけでも無い
855: 07/06(月)21:37 ID:XB+oRbim(3/3) AAS
>>848
浮いてないと思うよ
みんな心の奥底では（以下ｒｙ
856: 07/06(月)21:55 ID:NCULZC7v(4/4) AAS
>文科省内閣府数理研のスキャンダル
これを
「文科省と内閣府と数理研のスキャンダル」
と読むような教育を受けてこなかった
857: 07/06(月)22:08 ID:4pFDhehU(1/3) AAS
文科省と内閣府と数理研が一体と
なったスキャンダルですね。
858(1): 07/06(月)22:10 ID:rIEv1t+3(2/2) AAS
自分に都合のいいように事実を組み合わせて勝手な妄想をするのはいいが、同じような変な長文で連投するのはやめてくれないか
859: 07/06(月)22:12 ID:Sa8aMcgX(4/6) AAS
文科省：統一在日ポスト
内閣府:統一在日ポスト
ここは繋がるが
あとはチョン麻生？
やるならちゃんと繋げろよ
860: 07/06(月)22:13 ID:4pFDhehU(2/3) AAS
>>858
あなたはAI以下の方ですね
861: 07/06(月)22:13 ID:Sa8aMcgX(5/6) AAS
っつー意味でもボンクラLLM垂れ流すなや
やるなら詰めろ
862: 07/06(月)22:15 ID:Sa8aMcgX(6/6) AAS
行政の話なんだからドキュメント漁って調べてさせよ
やるなら
やらねーなら擁護のれいだーみたいなLLMのクソ漏らしてるだけ
863: 07/06(月)22:24 ID:4pFDhehU(3/3) AAS
IUTスキャンダルのスタートは>>846の時点からで査読を無視している。
864: 07/07(火)01:42 ID:3W2BXQFT(1) AAS
ID:4pFDhehU = ID:0plX7zum
はID変えても、文章に特徴があるからすぐわかるね
いつも同じ口調で同じ内容の批判ばかり
根拠が文科省評価の査読完了前に解決と言ったから文科省内閣府数理研がグルになったスキャンダルギャーギャーうるせー
865: 07/07(火)07:39 ID:HN99hw5b(1/3) AAS
>ID変えても、
はて
IDは日付が変わると自動的に変わる、、
866: 07/07(火)08:12 ID:IihUIala(1) AAS
２２℃
くもり
867(2): 07/07(火)08:49 ID:r79chtBv(1/2) AAS
このコピペを見てスキャンダル説に同調する専門家は
ほぼいないのではないでしょうか
コピペマンには何を言っても無駄だと思いますが
その他の人とために私見を述べておきます
（またAIの意見はプロンプトと併せて見ない限り無意味です）
数学では正否が確定するまでに年単位の時間がかかります
当時の望月氏のように実績と信頼のある研究者が解決したと
主張する論文を出したら、解決済みとその時点で
受け止めるのは通常のことと言えるでしょう
結果的に間違っていたとしてもそうです
省6
868(2): 07/07(火)08:56 ID:r79chtBv(2/2) AAS
ついでに
・論文アクセプトあるいは詳細が確認される前に解決したと
認めることは普通です
最近の大予想ではGeometric Langlandsや三次元掛谷予想が
そうです（それぞれの所属先公式が解決を宣伝しています
さらに前者はブレイクスルー賞で明言されています
後者はフィールズ賞を取るんじゃないですか）
・正しいと広く受け止められていた結果が実は間違っていた
ということも数えきれないほど多く存在しています
中にはトップジャーナルに出版されているものもあります
省2
869(3): 07/07(火)13:39 ID:RvkpqD/D(1) AAS
PRIMS廃刊したほうがいいな、責任は取るべき
870: 07/07(火)15:19 ID:nadyVojc(1) AAS
>>867
問題はss論文の後だよね
871: 07/07(火)15:48 ID:k5Yb80/S(1/2) AAS
そんなん主観でどうにかなっちゃうから攻めてもダメなんだよ
命題が悪いセンスが悪い行政がわかってない
刺すなら行政のドキュメント漁って金の流れを晒せ
872: 07/07(火)15:49 ID:k5Yb80/S(2/2) AAS
川上麻生調べ略ボロボロ出てくるだろw
873: 07/07(火)15:54 ID:jgsSX+BP(1) AAS
プリマハムを食べよう
874: 07/07(火)17:55 ID:vGxK26m2(1) AAS
>>869
雑誌に責任求めてるとか、ボランティアに何期待してんの？頭悪すぎだろ。
雑誌は何にも保証してくれねぇよ。
pRIMSの評価が下がっただけ。
875(1): 07/07(火)18:08 ID:HN99hw5b(2/3) AAS
>>868->869
茶番劇くん=ID:r79chtBv(
コピペが理解できないんだろう
ざっくりいえば、
IUTは数学ではなく、
IUTの「数学」は望月新一教授が理解者を指定する「数学」だ。
数理研の森重文も玉川も柏原も望月拓郎も向井も中島啓も皆IUTのど素人、
まあ、
7月17日は星先生が出席しIUTを説明するよね？
省9
876: 07/07(火)18:12 ID:HN99hw5b(3/3) AAS
>>875
✖>>868->869 →⚪︎>>867 →>868
877: 07/07(火)18:16 ID:h413GiGX(1) AAS
もういくつ寝ると祇園祭かね
878(2): 07/07(火)22:53 ID:2JSDHdNA(1) AAS
ID:HN99hw5b よ
査読中でも解決という表現はするんだそうな
そこを突いて鬼の首を穫ったようにコピペしてる恥ずかしいあんたの見解は？
879: 07/07(火)22:59 ID:LwrUEcrm(1) AAS
>>878
茶番劇と言われている
880: 07/07(火)23:11 ID:RCXW5H9n(1) AAS
お正月 滝廉太郎
881: 07/08(水)00:26 ID:7V/2s20m(1) AAS
>>878
既にあげた例ですがリンクを付けておきます
Geometric Langlandsの解決をMax Planck研究所が発表
外部ﾘﾝｸ:www.mpim-bonn.mpg.de
三次元掛谷予想の解決をCourant研究所が発表
外部ﾘﾝｸ:cims.nyu.edu
どちらも詳細はまだ広く受容されていませんし
論文もアクセプトされていません
こうした発表はごく普通の習慣です
（結果間違いであったこともあります）
省7
882(1): 07/08(水)01:39 ID:x6ddUdN/(1/3) AAS
茶番劇くんは、数学の発展の
幾何学的ラングランズ予想の
と未完成の望月新一語のIUT Tを
混同している。
IUTTは間違ってすらいない類のものだ
883: 07/08(水)01:44 ID:x6ddUdN/(2/3) AAS
星裕一郎先生はIUTの理解者
だそうだ。
884: 07/08(水)02:19 ID:13yLpBZq(1/8) AAS
Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く
4. 要請
以下のいずれか一つをご教示いただきたい:
(A) 箇所の特定: (P) が(定義的措定ではなく)導出されている箇所 —— 論文・節・命題/Remark 番号 —— の特定。 すなわち、ラベル配置「テータ値 q^{j²} が j 成分に置かれる」から 受信側測度の主張「その可能な像の包が深さ ⌊j²·ord(q)−d−a⌋−b の領域に含まれ、 その体積が同じ正規化で q-標対象と比較可能である」への移行が遂行されている箇所。
(B) 機構の提示: (A) が「複数箇所の組合せから従う」場合、その組合せの明示 —— 各ステップが (i) 特定された構造の間の同型、(ii) 特定された正規化での体積計算、 (iii) 特定された領域の包含、のいずれかである形の命題列+証明の概略。
(C) 同値な別形: 実曲線(の無限族)に対する評価 L ≥ (l(l+1)/12 − 1)·|log(q)| の導出 (F3 により (P) の一様供給とこれは同値である)。
885(1): 07/08(水)02:24 ID:13yLpBZq(2/8) AAS
5. 予備的注記(想定される応答について)
以下の応答は既に形式化・検証済みであり、(P) の導出には至らないことを予め注記する:
「多輻的表示の定義から直ちに従う」 —— 定義はラベルを与える。要請しているのは ラベル→測度の移行であり、その移行こそが (P) である。
「同一のプライム・ストリップが両方の intertwining を同時に担う(∧ の妥当性)」 ([EssLgc] の AND 論法)—— 弱化構造(O^×μ + 抽象位相群)のレベルでの ∧ の成立は 検証済みで、我々もこれを認める。しかしそのレベルでは体積が定義されず、 ∧ から従う体積命題は containment(下界側)のみである。
「単数の共通性が体積比較を可能にする」([IUTchII] Rem 4.10.3 (i))—— 形式化済み。単数部の輸送は等長であり、従う深さは ord(q) である(F2)。
「(Ind3) 上半両立性が包を強制する」 —— 形式化済み。(Ind3) は包を拡大する 方向に働き、上界を悪化させる。拡大を抑える台帳が Prop 1.1–1.4 であり、 その大きさは |log(q)| に依存しない(F3)。
6. 検証のコミットメント
(A)(B)(C) のいずれかが供給されれば、我々はそれを既存の形式化 (受け口となる構造は実装済み)に接続して機械検証することを約束する。
導出が成立すれば、検証結果は「Thm 3.11 ⟹ Cor 3.12 の連鎖は結論の独立な導出を含む」 —— すなわち望月理論側の確定 —— に翻り、その旨を同じ厳密さで記録する。
本要請は反駁ではなく、係争を機械検証可能な一点に絞り込んだ上での、 その一点についての情報提供の依頼である。
省2
886: 07/08(水)02:31 ID:13yLpBZq(3/8) AAS
ちなみに3.11までは特に問題なくLEAN化は成功して、3.11を認めた上でのCor3.12の証明も機械検証は難なく通った
問題はそれがトートロジー的閉ループを構築していることに帰着すること
しかしそれは望月が論文内で言及していて問題ないとする部分でもある
4要請の前の0〜3は以下
0. 一行要旨
IUT 4論文の主張のうち、機械検証(Lean 4)で正しさを確認できた部分と確認できなかった部分の境界が、 [IUTchIV] Thm 1.10 証明 Step (v) の一入力 —— λ := ord(q^{j²}) を受信側正規化の体積計算に適用してよいこと —— に正確に一致した。この入力の導出(定義的措定ではなく)の所在をご教示いただきたい。
887: 07/08(水)02:32 ID:13yLpBZq(4/8) AAS
1. 背景: 何を検証済みで、何を疑っていないか
我々は IUT 4論文([IUTchI–IV])+星裕一郎『宇宙際 Teichmüller 理論入門』を底本に、 Lean 4 + Mathlib による形式化(67モジュール、sorry/axiom 0、標準公理のみ)を行った。 以下は証明として再構成でき、正しさを確認した部分である(疑義はない):
[IUTchIV] Prop 1.1–1.4 の台帳計算: different の上界(不分岐 d=0、順分岐 d=e−1、 暴分岐 d ≤ e−1+e·v_p(e))、対数殻の半径定数 a, b、殻の包含と体積公式。 (順分岐上界など、Mathlib に存在しない定量評価は新規に証明した。)
p 進 exp/log の解析理論: 収束・加法性・ノルム保存(等長性)・全単射性 (Newton 反復による全射性)。すなわち log-link の単数部 (O^×μ) は体積を保存する —— [IUTchIII] Prop 3.9 の体積両立性と整合する。
Kummer 理論の機構: 両立的巾根系・Kummer 類のコサイクル律・well-definedness、 円分剛性関連の非自明性、「1 の巾根 ↦ 0(不定性なし)」条項([IUTchIII] Thm 3.11 (ii))。
containment 側の導出([IUTchIII] Cor 3.12 証明 Step (xi-d)–(xi-f)): q-標対象の像が可能な像の包に含まれることから −|log(q)| ≤ −|log(Θ)| が 「follows formally」に従うこと。ℝ の同一視を用いずに検証した。
[IUTchIV] Thm 1.10 の最終算術: C_Θ ≥ −1 から高さ不等式への初等的演繹、 および Thm 1.10 → Cor 2.2 → Szpiro/abc 型不等式の連鎖。
テータ値の次数計算: Gaussian 単項式 {q^{j²}} の procession 正規化総次数 = (l(l+1)/12)·deg(q)(送信側、フロベニオイド内部の計算)。
また、Scholze–Stix 型の「同一視すれば矛盾/空虚」という単純化が、 論文の誠実な読み(2 つの正規化を別々に保つ読み)には適用されないことも定理として確認した。 本要請は SS の立場の代弁ではない。
888: 07/08(水)02:32 ID:13yLpBZq(5/8) AAS
2. 論点の単離: ただ一つの入力
上記を全て投入すると、「Thm 3.11 ⟹ Cor 3.12 ⟹ 高さ不等式」の連鎖の検証は、 次の一命題の導出に正確に還元される(これが我々の主定理群の内容である):
(P) [IUTchIV] Thm 1.10 証明 Step (v) において、Θ-標対象の可能な像の合併 (indeterminacies (Ind1), (Ind2), (Ind3) 込み)が、v_j ∈ V^bad の成分で λ := ord(q^{j²}) とした容器 φ(p^λ·(R_I)~) ⊆ p^{⌊λ−d_I−a_I⌋}·log_p(R_I^×) に含まれる —— ここで体積は、[IUTchIII] Cor 3.12 証明 Step (xi-d)–(xi-f) で q-標対象の測定に用いられるものと同一の procession 正規化 mono-analytic 対数体積(受信側 (1,◦) の正規化)である。
(P) を認めれば以降は全て機械的に従う(検証済み)。問題は (P) 自身の導出である。
889: 07/08(水)02:33 ID:13yLpBZq(6/8) AAS
3. 形式的に確定している事実
(F1) Step (v) の本文が (P) の根拠として引用するのは [IUTchIII] Thm 3.11 (i)(a)(b), (ii) の定義である。多輻的表示の定義はテータ値 q^{j²} をラベル j に配置するが、 配置(ラベル)と受信側測度(体積)は論理的に別の水準にある。
(F2) 当該箇所で利用可能な機構 —— 単数部の共通性([IUTchII] Rem 4.10.3 (i): "this coricity of the units will allow us to compare volumes on either side of the Θ×μ-links")、Kummer 同型、log-link、(Ind1)(Ind2)の等長性、(Ind3)の上半両立性 —— は、p 進 exp/log の等長性の帰結として**全て体積保存(lossless)**である。 これらのみから従う輸送像の深さは各レベルで ord(q) であり、j²·ord(q) ではない。 なお値群部分については [IUTchII] Rem 4.10.3 (ii) 自身が "the 'value group' portion ... is by no means preserved by the Θ×μ-links!" と述べ、 その「volume distortion の計算」を "the ultimate goal of the present series of papers" と位置づけている —— すなわち入力機構ではなく出力目標である。
(F3) このとき次が形式的定理である: 分岐台帳を L(≥ 0)として、 (P) 型の体積評価が containment と両立して成立し得ることは、 L ≥ (l(l+1)/12 − 1)·|log(q)|(受信側正規化)と同値。 Prop 1.1–1.4 の台帳は O(log-different + log-conductor + l·log(e*·l)) であり |log(q)| に依存しないから、実曲線の族(高さ非有界)に対して (P) を一様に供給することは、 導かれるべき高さ不等式を供給することと論理的に同値である。
(F4) [IUTchIV] Rem 1.10.1 は、Thm 1.10 の計算(主要項)が [HASurI] Thm A の Hodge–Arakelov 計算と本質的に同一で「2000 年頃には著者に知られていた」こと、 問題は「その計算を遂行できる枠組みの構築」であったことを明言している。 我々の検証はこれと整合する: 計算は正しい(検証済み)。未検証なのは、 枠組みがその計算の (P) としての読みを正当化するという主張の導出である。
890: 07/08(水)02:34 ID:13yLpBZq(7/8) AAS
Abstract
We have formalized, in Lean 4 (67 modules, no sorry/axiom), the volume-bearing content of [IUTchI–IV]: the ledger of [IUTchIV] Prop. 1.1–1.4 (verified correct, including quantitative different bounds absent from Mathlib), the isometry of p-adic exp/log on shells (hence the volume-compatibility of the log-link on units, consistent with [IUTchIII] Prop. 3.9), the Kummer-class machinery, the containment step (xi-d)–(xi-f) of the proof of [IUTchIII] Cor. 3.12 (verified without any identification of the two copies of ℝ), and the final arithmetic of [IUTchIV] Thm. 1.10 → Cor. 2.2.
Modulo all of this, the chain
Thm. 3.11 ⟹ Cor. 3.12 ⟹ height inequality
reduces exactly to one input: the containment (P) of Step (v) of the proof of Thm. 1.10, with λ = ord(q^{j²}) read in the same procession-normalized mono-analytic log-volume used to measure the q-pilot in Step (xi).
省10
891: 07/08(水)02:36 ID:13yLpBZq(8/8) AAS
以上
892: 07/08(水)02:50 ID:x6ddUdN/(3/3) AAS
動画ﾘﾝｸ[YouTube]
893(1): 07/08(水)05:34 ID:aOtXN8ul(1) AAS
>>885
先に公開しなよ
後からじゃ盛り上がらないよ
894(1): 07/08(水)05:38 ID:XVYpEh+T(1/3) AAS
>IUT理解者に対する要請部分
これがなくなれば一段落といううわけか
895: 07/08(水)05:42 ID:XVYpEh+T(2/3) AAS
>>893
7月16日までにという意味だね
896: 07/08(水)08:29 ID:xbsvqjq3(1/2) AAS
>>882
幾何学的ラングランズ予想の
→>幾何学的ラングランズ予想の証明
897: 07/08(水)13:43 ID:OHswED9G(1) AAS
明日ChatGPT 5.6 Solが出るからそれでIUTを検証させてみてはどうだろうか
前スレでFable 5でそういうことができそうと言っていた人もいたし
898(1): 07/08(水)16:33 ID:xbsvqjq3(2/2) AAS
>>894
はあ？
scholze氏の懸念を理解できませんね。
899: 07/08(水)16:35 ID:cT/g0OHk(1) AAS
folder 5
900: 07/08(水)19:32 ID:XVYpEh+T(3/3) AAS
>>898
もっと具体的には？
901: 07/10(金)04:56 ID:vRtt0QW/(1/2) AAS
２４℃
くもり時々晴れ
902: 07/10(金)06:49 ID:vRtt0QW/(2/2) AAS
２６℃
晴れ
上下前次1-新書関写板覧索設栞歴
あと 100 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s