Inter-universal geometryとABC予想(シン応援スレ) 92

前スレ：Inter-universal geometryとABC予想(シン応援スレ) 91
https://rio2016.5ch.io/test/read.cgi/math/1777882286/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

（2030 ICM 日本開催に向け 力をためようということか）
https://www.mathunion.org/icm/icm-2026
ICM 2026
https://www.icm2026.org/event/ac193975-5d24-4628-8c30-ddb23de19a8b/catalog
Titles & Abstracts

https://ahgt.math.cnrs.fr/news/index.html
News of the AHGT project [Special year]2027-2028
Special year ``Arithmetic Homotopy Geometry'' at RIMS Kyoto, April 2027-March 2028.
Three Seasons: with main conferences, introductory lectures, and workshops

＜2026年は 数学でもAIの時代になるかもです。そういう兆候が2025年から顕著になっていますですｗ （＾＾； ＞
＜IUT最新文書＞
・News – Ivan Fesenko https://ivanfesenko.org/?page_id=80
・望月新一＠数理研 https://www.kurims.kyoto-u.ac.jp/~motizuki/
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
宇宙際タイヒミュラー理論 ＜新展開＞ 2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
＜Grokipedia＞
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz （J. Stix IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレの番号は前スレ43を継いでNo.44からの連番としています
（なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中では このスレ立ては最初だったのです！）
(余談)
Langlands program Geometric conjectures https://en.wikipedia.org/wiki/Langlands_program
つづく

>>143
ホラまた勝手に他人に強制する
下らない人格

描くのメンドイから調べてくれ。
調べるのが面倒なら、この話は終わり。

他人のネタを主観で評価する人格は、下らなくないのか。

>>145
ならないのと同じで
君が嘘つきなだけ

主観じゃないと言うのなら、根拠を出さないとねぇw
今のところ根拠がゼロに等しいよね。

>>146
嘘ネタではねクダランとしか言えまい

>>148
はぁ
君の規範では
言った者に挙証責任はないわけだね
クダラン

2000年くらいに話が進んだって言ったでしょ？

>>151
君が言っただけね

他人に強制はするわ
自分には甘甘だわ
ほんと
クダラン人格

Branko Grunbaum って人が5つの楕円のベン図を考案したらしい。
具体的な人名を出せば十分でしょ。

自分に激甘な人乙www
自分ルールで5chを生きる人。

>>154
全然？
人にやらせようとするだけで何もしない人乙

>>155
きみが５ｃｈでは異常だと自覚した方がイイよ

とりあえず、あなたは具体的な根拠を何ひとつ挙げず、主観で語っている。
とても数学徒とは思えない所業の数々www

異常が正常で、正常が異常ね、了解。

>>158
根拠って
下らない話だってこと？
それ私の感覚なんだけど
誰に証明することでもないんだがね

>>158,159
君は何か「正統」があるだろうあるべきだと思ってるだけ
５ｃｈでは異常だね

まあ、俺は具体的な根拠は出したから。
数学徒らしいのはこっちってことw

異端の人乙w

>>162
根拠はこれだと嘘を書いただけではどうしようもないね君
>>163
君は「正統」の立場に立ちたいだけの下らない人格

>>162
では具体的に5個と7個と11個ででベン図を描いてよ

具体的な人名まで出して、根拠じゃないことはないだろうw
俺は正当だとは思っちゃいないが、あなたは異端だと思うよw

>>166
無いね
具体的に5，7，11で図を描いてよ

あのさぁ、なんで調べないかね？
調べても出てこないのなら話は分かるがね…。

それが描けたら次は13と17と19で描いて
下らないことがだんだん分かってくるかもよ

5は普通に出る。星形のやつ。
7,11はおそらくメンドイ。

>>168
君の規範では
挙証責任は君には無いってことだね

別に一纏めで証明できてるから良いだろう。
その証明を知らないから、簡単に下らないと言えるんだろう。

>>172
知る必要も無いほど下らないからね

5集合の場合の人名を挙げたら、挙証責任になるだろう。
素数のバージョンの定理もあるって、サイトに書いてあったからそれで十分。

永遠に自分の分からないことを下らないと言っていれば良いさ。
あなたの人生がいずれそうなっていくのだから。

>>174
全然？
君が5，7，11のベン図見せてくれたらいいだけなのにしないのは
下らない人格である証左
>>175
分かる必要も無いモノを分かりたいとは思わないね
下らない

俺はリンクを貼るのが好きじゃないんだよ。
簡単に調べたら出てくるものを見ないのは、理解し難い態度だね。

君も彼の人同様
尻もしないことを引用して悦に入っているだけ

>>177
はいはい
挙証責任から逃げる人乙

imgurとかもよく知らんし。

論文はあるらしいから、それで十分。
俺の責任は果たした。
>>131も言ってることだしねw

あれは関係ないか…。
まあ、挙げるもんは挙げたから俺は満足。

>>181
クダラン
ところで>>131が何か言ったの？ ID:J0h79nxd は程度の低いただのIUTアンチだろ

>>182
あれって？

それのこと。
誰が誰に対して言ってるのか分からんから、まあ良いわ。
俺に何か言ったところで、もう何も出てこんよw

とりあえず、巨大数でも語ってなよ。
俺は語ることがなくなったから、また探す。

>>185
アレと言えばソレ
蒟蒻問答か

ああそれがあれと言いたかったか
そこは分かった

IUT擁護の脅迫おじさん
ボロクソに論破されたので
都合悪くなってログを流すw

精神病じゃんこいつw

●違いが放置した💩スレを２つ埋めた

ベン図は境界をギザギザにしていいなら
ｎがいくらでも対応できる

これ豆な

だから同じ形や円を拡張した楕円等で考えるのだろう。

素数の定理は制限して出した結果なのだろう。

>>193-194　楕円にする意図が不明

真円→楕円と条件を緩めているのではないか。
実際に描ける集合のバリエーションが増えているようだ。

>>196
なぜ、条件の緩め方がそれなんだ？

真円から緩めたら楕円が妥当なんじゃないの。

>>198　君、高卒ド素人？

わかんね。
第三者に意見を求む。

真円で描けない図が存在するから、楕円に緩めたら描けてハッピーって話じゃないんかね。

集合が素数じゃないと回転対称に描けないけど、素数なら描けてハッピーなんじゃないの。

ハッピハッピー

。

>>202　対称性にこだわる理由がわからん　●違い？

少しずつ条件を緩めて、良さげな定理が出そうなところに設定したんじゃないの。

>>206　何言ってんだ　このド素人

第三者に論破されたと言われて、ムキになっているのかw

IUG、IUTなどを応援していたら
自分の立場を危うくするのでは

分からないことは何も言わないに限る。

ゲスヤバ夫でゲス、イーヒッヒ。

俺の偽物がw

梅

桃

青梅　黄桃

突起のある桃

ついでに頭も生えている

２５℃
くうもり時々晴れ

訂正
くうもりーー＞くもり

くだらん

摂氏　華氏
複素数体　有限体

951 名無しさん＠恐縮です 2026/07/02(木) 19:06:44.13 ID:Bb/931400
そんな下らんレスには付き合わないけど
お遊びでサービスするならもっと理論的かつスケールでかいし実験系ではない
やってることはアラケロフを魔改造だね
https://hayabusa9.5ch.io/test/read.cgi/mnewsplus/1782972497/951

Title: Grothendieck's Section Conjecture and zero-cycles on varieties

Speaker: Professor Tamás Szamuely (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences)

Date: 27th Jul 2009 - 14:00​ to 15:00​

https://youtu.be/Et9WozYmzus?si=dVWdoHCk3kGInZVK

２３℃
小雨

25℃
小雨

もっちー

https://youtu.be/H4n1XIa2flI?si=nM6CL5tcO-k1POxv

質疑応答もある

［p 進タイヒミュラー理論］
複素数体上の双曲的代数曲線とそのモジュライ空間の一意化理論としては, （ケーべ
の一意化定理, ベアス理論などを含む）タイヒミュラー理論が古典的に確立されていま
す. 一方, p 進体上の（偏極）アーベル多様体とそのモジュライ空間の一意化理論として
は, セール・テイト理論が１９６０年代に確立されています. しかしながら, p 進体上の
双曲的代数曲線とそのモジュライ空間の一意化理論は, 望月さんの研究以前には満足の
いくものがほとんどありませんでした. （マンフォード 一意化理論はありましたが, これは,
タイヒミュラー理論ではなくショットキー一意化理論の類似です.）
タイヒミュラー理論は, 通常の定式化では純に複素解析的なものであり, p 進的類似
を求めることは不可能に思われます. そこで, 望月さんは, タイヒミュラー理論の固有束
による定式化に着目し, これを足がかりにして p 進タイヒミュラー理論を構築していき
ました. その際, 技術的な核となったのは, 正標数代数多様体の上のクリスタルの理論や
p 進代数多様体の p 進ホッジ理論などです. その結果, 代数曲線とそのモジュライ空間
の望ましい p 進一意化理論が完成し, 曲線のモジュライ空間上の標準フロベニウス持ち
上げと標準座標, 曲線の標準持ち上げ, 曲線の数論的基本群の PGL 2
への標準表現, など斬新かつ基本的な対象たちが続続と発見されました. これらの結果は,
約２００ページの大論文 [1] と５００ページ超の大著 [2] にまとめられました.
p 進タイヒミュラー理論の応用としては, 望月さん自身によって, 曲線のモジュライ
空間の既約性の別証明や, 遠アーベル幾何（絶対 p 進グロタンディーク予想）への応用
などが得られています. また, 望月さんのこの斬新な理論は, F. Oort, B. Moonen ら曲
線・アーベル多様体のモジュライの数論幾何の研究者, A. Ogus, B. Osserman ら正標数
代数幾何の研究者, F. Voloch ら代数幾何的符号理論の研究者など, さまざまな分野の研
究者の注目を集めています.
上記の著書の題名が物語るように, 望月さんの手によって p 進タイヒミュラー理論の
基礎は確立されました。

［遠アーベル幾何］
遠アーベル幾何（anabelian geometry）とは, １９８０年代初頭に A. Grothendieck
が提唱した数論幾何の新しい方向で, 狭義には, 有理数体上有限生成な体上の「遠アー
ベル」な多様体の幾何がその基本群の上の（外）ガロア表現によって完全に復元される
という, いわゆるグロタンディーク予想を意味します. 双曲的代数曲線に対するグロタ
ンディーク予想は, 中村博昭さん（現岡山大）と筆者によって部分的に解決されていま
したが, 望月さんはこれを完全に解決し, 更に, p 進体上でも同様の結果が成り立つこと
を示しました. この際, p 進体上の代数多様体に対する p 進ホッジ理論が中心的な役割
を果たしました. 望月さんのこの結果は, 現在に至るまで遠アーベル幾何の最高峰をな
し, 広く数論幾何学者全体に影響を与えていると思います. 特に, Grothendieck 自身が,
遠アーベル幾何は素体上有限生成な体に固有なものと考えていこともあり, また, アー
ベル多様体のテイト予想の類似からも, p 進体上でグロタンディーク予想が成立するこ
とは意外であり, 望月さんの結果のインパクトは大きかったと思います.
望月さんの遠アーベル幾何における成果は, Inventiones mathematicae 掲載の１００
ページ超の大論文 [3] などにまとめられました. なお, 望月さんは, 「代数曲線の基本群
に関するグロタンディーク予想の解決」の題目で, １９９７年度日本数学会賞秋季賞を
（中村氏, 筆者と共同で）受賞しています. また, 望月さんは, p 進タイヒミュラー理論と
遠アーベル幾何に対し, 内在的ホッジ理論の枠組みで統一的な視点を与え, これについ
ての総合的な報告を, １９９８年（２９歳で！）国際数学者会議の招待講演にて行いました。

［ホッジ・アラケロフ理論］
エフェクティブモーデル予想, abc 予想などのディオファントス幾何の重要未解決問
題は, スピロ予想を通じて, 楕円曲線のモジュライ空間の代数体の整数環上のセクション
の研究と解釈でき, すなわち, 代数体の整数環上の（一般化された）楕円曲線の研究と
解釈できます. この解釈により, このような大域的対象に対する望ましいホッジ理論が
あれば, ディオファントス幾何へのアプローチができることが期待できるため, 望月さ
んは, そのような理論の構築を目指し, 代数体上の楕円曲線の内在的ホッジ理論である,
ホッジ・アラケロフ理論を完成させました. より具体的に言うと, 楕円曲線の p 進ホッ
ジ理論では, 楕円曲線の p 進テイト加群が中心的対象でしたが, これを有限個の等分点
だけ考えることにより離散化し, 等分点集合（位相幾何的ないしエタール的な対象）に,
楕円曲線の普遍拡大上の関数（ドラーム的な対象）を制限することにより, ある種の大
域的な比較同型をダイナミックに構成・証明しました. また, これに伴い, 数論的小平・
スペンサー写像という斬新な対象も発見されました. ディオファントス幾何への応用を
見据えた望月さんのこの大理論の完成は, 内外にインパクトを与え, また, 純粋に楕円曲
線のホッジ・アラケロフ理論自体も, G. Kings ら岩澤理論の研究者などから注目されて
います.
これらの結果に関する膨大な（複数の）論文は, RIMS プレプリントより入手可能で
あり, また, 望月さん本人によるコンパクトな概説 [4] も出版されています.

［その他］
望月さんは, その他, フルヴィッツスキームのコンパクト化の幾何（学位論文）, ベク
トル束の半正値性とクリスタル, 双曲的曲線の代数的対応, ログ正則スキーム上の曲線
の族の延長などに関して, 純代数幾何学的に重要な結果もこれまでに多数得ています.
最近の望月さんは, 自身のホッジ・アラケロフ理論の研究を大きく展開（転回？）さ
せて, 圏論を基礎とする全く新しい幾何学の壮大な理論の構築とその数論的応用を精力
的に研究されています. 望月さんのこれまでの研究も, ディオファントス幾何への応用
を強く意識しながら大理論を構築する, というスタイルが特徴的でしたが, 現在の研究は,
ディオファントス幾何をより直接的な研究対象としており, abc 予想などの重要未解
決問題の解決が近いことを, 望月さん本人も確信しておられるようです. そのため, 望月
さんの現在の研究は, 内外の研究者から熱い注目を集めており, 筆者も, 松本眞さん（広
島大）, 藤原一宏さん（名大）らとともに, 望月さん自身を講師として不定期に勉強会
を開いています.
また, 望月さんのこのようなディオファントス幾何への新しいアプローチから, p 進
体上の遠アーベル幾何の絶対版（基礎体のガロア群も固定しないで考えたもの）が数論
的に重要であることが示唆されています. この方向では, 望月さんは, 例えば, p 進タイ
ヒミュラー理論における標準曲線においてこの絶対 p 進グロタンディーク予想が成立す
ることを証明しました. より一般の双曲的曲線については, 望月さんと筆者の間で議論
が現在進行中です.

望月さんが（筆者の２か月後に）数理解析研究所助手として就任されて以来, 遠アー
ベル幾何を中心にして, 二人でたくさんの議論をしてきました. （というと聞こえがい
いですが, 主に望月さんのアイディアを聞かせていただいてきたという感があります.）
望月さんの数学は常に斬新で刺激的で, 筆者のこれまでの研究も, そこから大きな影響
を受けています. 現在も, 望月さんから「ちょっとした観察があるので聞いてほしいので
すが」というような控えめなメールをもらうことがよくあり, しばしばその観察はちょっ
としたものではなく, 大きなブレークスルーとなりうるようなものなので, いつもわく
わく（少しドキドキ）させてもらっています.
普通の研究者（例えば私）であれば, ディオファントス幾何に関する結果をなるべく
早く形にして２００６年のフィールズ賞に間に合うようにと考えるでしょうが, 望月さ
んは, 賞に対しては全く無欲（というか, むしろやや否定的）で, 十分時間をかけて基礎
理論を満足のいくような形で完成させることに力を注いでいます. また, （A. Wiles が
フェルマ予想に挑んでいた時などと違い）大予想の証明に向かう途中の理論についても,
全てプレプリントなどで公開しています. それを見て誰かが先に証明してしまうのでは
ないかという周囲の心配もどこ吹く風, 「自分の理論を理解して先に証明してくれるの
であればむしろありがたい」とおっしゃっています.
現在３６歳の望月さんが, これからどれだけの研究成果を人類に遺してくれるのか,
非常に楽しみにしています. （同時に, これからどれだけこのような文章を書かせてい
ただくことになるのか, 少し不安に感じています....）

凄い人だったんだなあ

落ちぶれたもんだねえ

いずれにせよ、ファーバー束が離散化への
道も与えていることは理解できる

日本でしか認められない数学予想の物語
https://youtu.be/4JPLTOYoqXI?si=knnbU6GxQWcygYkU

数学の超難問ABC予想、望月教授の証明の問題点「絞り込めた」　ZEN大学など
https://www.nikkei.com/article/DGXZQOSG1743L0X10C26A7000000/?n_cid=DSPRM1489&n_tw=1784273266

ABC予想は整数にまつわる超難問。京都大学の望月新一教授は、自身が提唱した「宇宙際タイヒミュラー理論」を用いて解決できるとしています。

望月教授の論文は7年以上かけて審査され2021年に専門誌に掲載。ただ、証明に問題があるとする研究者もいます。

加藤文元ZEN大学数学センター所長は「『これがわかればいい』というところがわかった」

” プロジェクトに参加する米カリフォルニア大学サンディエゴ校のキラン・ケドラヤ教授は「問題とされている部分の証明が、プロジェクトの取り組みで補われる可能性がある」と話した。”

” プロジェクトに参加するユトレヒト大学のヨハン・コメリン助教は「IUT理論はコンピューターで証明すべき問いだ」と話す。コメリン助教はこれまでもリーンを使った現代数学の高度な議論を検証するプロジェクトで実績を持つ。
カナダのアルバータ大学のアダム・トパーズ准教授は「ABC予想の証明が『真の数学』であれば、リーンで証明できるはず」と話す。プロジェクトでは引き続き証明の検証に向けた研究を進める計画だ。”

ID:13yLpBZq さん、労作ありがとう 転載しておきますね
https://itest.5ch.io/rio2016/test/read.cgi/math/1774529018/884-891
<Interuniversal geometry とABC 予想60>より
0884 １３２人目の素数さん 2026/07/08(水) 02:19:41.99
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) の一様供給とこれは同値である)。

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 の連鎖は結論の独立な導出を含む」 —— すなわち望月理論側の確定 —— に翻り、その旨を同じ厳密さで記録する。
本要請は反駁ではなく、係争を機械検証可能な一点に絞り込んだ上での、 その一点についての情報提供の依頼である。

つづく

つづき

なお、6で我々は(A)(B)(C)のいずれかが供給されればLEANの形式化と接続して機械検証すると言ってるが、俺は中身はほとんど理解してないので、これは我々と言うよりは純粋にFable5の言い分となる
もし7月17日にLANAプロジェクトでGithubが公開されなければ公開するかもしれんが、Fable5が利用クレジットでの利用じゃなく、再度月額プランのみで使えるようになったらでないとFable5でやるつもりはない他のモデルではやるかもしれん


ちなみに3.11までは特に問題なくLEAN化は成功して、3.11を認めた上でのCor3.12の証明も機械検証は難なく通った
問題はそれがトートロジー的閉ループを構築していることに帰着すること
しかしそれは望月が論文内で言及していて問題ないとする部分でもある

4要請の前の0〜3は以下
0. 一行要旨
IUT 4論文の主張のうち、機械検証(Lean 4)で正しさを確認できた部分と確認できなかった部分の境界が、 [IUTchIV] Thm 1.10 証明 Step (v) の一入力 —— λ := ord(q^{j²}) を受信側正規化の体積計算に適用してよいこと —— に正確に一致した。この入力の導出(定義的措定ではなく)の所在をご教示いただきたい。

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 型不等式の連鎖。

つづく