>>199 補足
>いや、形式的には、3.12の証明は既にあるよ

ほいよ
いや、形式的には、3.12の証明は既にあるよ

http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
INTER-UNIVERSAL TEICHMULLER THEORY III: ¨
CANONICAL SPLITTINGS OF THE LOG-THETA-LATTICE
Shinichi Mochizuki
May 2020
P173
Corollary 3.12. (Log-volume Estimates for Θ-Pilot Objects)
P174
Proof. We begin by observing that, since |log(q)| > 0, we may assume without loss
P186
This indeterminacy has the effect of rendering
meaningless any attempt to perform a precise log-volume computation as in (xi).

宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783
P156
当然ですが, §8 で述べたとおり, 最終的には, “Fmod の多輻的な表示” は, これまで
議論してきた “多輻的に表示されたテータ関数やその特殊値” と直接的に関連付けられま
す. §19 と §20 で議論したとおり, テータ関数やその特殊値の多輻的な表示は, 非自明な
ラベルの管理をその前提としています.
なお, 次のような観点があることも指摘しておきます. §17 の議論のとおり, テータ
関数に関する良い大域的な設定を準備しようとしますと, ラベルの管理の問題やテータ関
数が定義される被覆の問題から, “基本的な基礎体としての数体” が (F や Fmod ではな
く) K となってしまいます. 一方, 我々が復元したい数体は Fmod です. したがって, これ
から行われる数体の多輻的な表示は, 何らかの意味で, “数体の拡大 K/Fmod の降下情報”
(つまり, “Gal(K/Fmod)”, したがって, 特に, “V(K) の Vmod 上の適当な置換たち”) と関
連する形で行われるべきです.
上の 2 つの議論を大雑把にまとめますと, 我々は,
テータ関数やその特殊値の多輻的な表示のために行った Fx±l 対称性を用いた ラ
ベルの管理 を破壊してしまうことなく, かつ, 数体の降下情報 に関連するラベル
の管理のもと, 数体を表示しなければいけないということです.

つづく