>>4 補足

宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244783/1/B76-02.pdf
(抜粋)
P81
§ 0. 序
もう少しだけ理論の詳細に踏み込みましょう. (より詳しくは §27 を参照ください.)
§4 から §12 までで説明される “リンクによるアプローチ” によって, ある Diophantus 幾
何学的定理 (§4 の冒頭を参照) を証明するためには, ある適切な固定された数体上の楕円
曲線に対して,
(a) 対数殻 (§8 を参照)
(b) 楕円曲線の q パラメータの (1 より大きい) ある有理数による巾
(c) 数体
という 3 つの対象の (ある適切な設定における) 多輻的な表示 (§7 を参照) の存在を証明
すれば充分であるということになります. 一方, これらの対象の多輻的な表示を得るため
には, “設定の環構造を放棄する” ことによって必然的に発生してしまう不定性 (§10 を参
照) から, 上記の (b) と (c) を防護/隔離しなければなりません. そのために, (b) と (c)
を, “ただの数” としてではなく “ある適切な関数の特殊値” として扱う必要が生じます.

そのような関数として, (b) に対してテータ関数 (§13 を参照), (c) に対して “κ 系関数”
(§24 を参照) が用いられることになります. (§11 の議論を参照.)

つづく