20/04/05 06:21:09.90 Hz6dZafY.net
現在論争を招いてる点がこれ
系3.12 (Θパイロットオブジェクトに対するlog-ボリューム推定)
定理3.11の状況にあると仮定する。
Θパイロットオブジェクト(以下、Θ-PO)の可能イメージのunionのholomorphic hullのプロセッション正規化単解析的log-ボリューム(PNMALV)
を
－ |log(Θ)| ∈ R Ｕ {+∞}
と書く。これは複根表示における関連するクンマー同型と関係しており、不定性に影響を受けるとみなされる。
q-パイロットオブジェクト(q-PO)の像のPNMALVを
- |log(q)| ∈ R
と書く。これは複根表示における関連するクンマー同型と関係しているが、不定性に影響を受けるとみなされない。
ここで、ラベル“0”および“〈Fi*〉”の同定の結果としての“△”の定義を思いだす。特に、v∈Vbadにおける楕円曲線Efの多様なqパラメータの面から|log(Θ)|>0は容易に計算される。
したがって-|log(Θ)|∈R、および
-|log(Θ)|≧-log|log(p)|
が導かれる。