[論文レビュー] On Rationally Parametrized Modular Equations

Robert S. Maier|arXiv (Cornell University)|Nov 2, 2006

Advanced Mathematical Identities参考文献 53被引用数 72

ひとこと要約

本稿では、超幾何型またはヘゥン型のピカール＝フラウス方程式を満たす周期をパラメトライズするためのハウプトモジュラーを用いて、$\Gamma_0(N)$ に対する genus-zero 同余部分群に関連する楕円曲線の合理的パラメトリック化されたモジュラー方程式を導出する。主な貢献は、特に signatures 2, 3, 4, 6 についてのラマヌジャンのモジュラー理論を、楕円曲面におけるガウス＝ミンクス接続を用いた現代的解釈として再構成することである。

ABSTRACT

Many rationally parametrized elliptic modular equations are derived. Each comes from a family of elliptic curves attached to a genus-zero congruence subgroup $Γ_0(N)$, as an algebraic transformation of elliptic curve periods, parametrized by a Hauptmodul (function field generator). The periods satisfy a Picard-Fuchs equation, of hypergeometric, Heun, or more general type; so the new modular equations are algebraic transformations of special functions. When N=4,3,2 they are modular transformations of Ramanujan's elliptic integrals of signatures 2,3,4. This gives a modern interpretation to his theories of integrals to alternative bases: they are attached to certain families of elliptic curves. His anomalous theory of signature 6 turns out to fit into a general Gauss-Manin rather than a Picard-Fuchs framework.

研究の動機と目的

• genus-zero 同余部分群 $\Gamma_0(N)$ に関連する楕円曲線の合理的パラメトリック化されたモジュラー方程式を体系的に導出すること。
• signature 2, 3, 4, 6 のラマヌジャンの楕円積分理論を、現代の代数幾何学および特殊関数の枠組みで解釈すること。
• 古典的モジュラー変換（例：ランデンの変換）を楕円曲面におけるガウス＝ミンクス接続形式で統一すること。
• 古典的超幾何恒等式を超えて、超幾何関数およびヘゥン関数の代数的変換を拡張すること。
• ピカール＝フラウスとガウス＝ミンクスの枠組みの違いを明確にすること、特にラマヌジャンの異常な signature 6 理論におけるその違いを明らかにすること。

提案手法

• $N=2,3,4$ に対して、モジュラー曲線 $X_0(N)$ 上の楕円曲線の周期をパラメトライズするために、ハウプトモジュラー（関数体の有理型生成子）を用いる。
• 周期が特殊関数として表現される場合、それらに超幾何型またはヘゥン型のピカール＝フラウス微分方程式を適用する。
• 微分方程式におけるモビウス変換およびインデックス変換を用いて、${}_2F_1$ および $\operatorname{Hl}$ 関数の代数的変換を導出する。
• 群 $[C_2 \wr \mathfrak{S}_k]_{\rm even}$ を用いて、超幾何型方程式に対して 24 個、ヘゥン型方程式に対して 192 個の解を生成する。
• 一般化された Pfaff 変換およびオイラー型変換を用いて、ヘゥン方程式の異なる局所解を関連付ける。
• 計算代数システム（Maxima, algcurves）を用いて、変換恒等式および再帰関係を導出し、検証する。

実験結果

リサーチクエスチョン

• RQ1 ラマヌジャンの signature 2, 3, 4 に対するモジュラー方程式を、現代の特殊関数論を用いて体系的にどのように導出できるか？
• RQ2 ガウス＝ミンクス接続が、古典的モジュラー変換と楕円曲面の代数幾何学的構造をどのように統一するか？
• RQ3 なぜラマヌジャンの signature 6 理論はピカール＝フラウス枠組みに適合しないのか？ そして、それはどのようにガウス＝ミンクス接続形式に適合するのか？
• RQ4 ヘゥン型ピカール＝フラウス方程式の解の間にはどのような代数的変換が存在し、それらは古典的超幾何恒等式をどのように一般化するか？
• RQ5 ハウプトモジュラーは、genus-zero モジュラー曲線上の楕円曲線の周期の間のモジュラー関係をどのようにパラメトライズするか？

主な発見

• N=4,3,2 の場合、導出されたモジュラー方程式はそれぞれラマヌジャンの signature 2, 3, 4 の積分に対応し、${}_2F_1$ 関数の代数的変換として表される。
• 一様化されたランデン変換 $\operatorname{K}\bigl(\frac{t(t+8)}{(t+4)^2}\bigr) = 2\bigl[\frac{t+4}{t+8}\bigr]\,\operatorname{K}\bigl(\frac{t^2}{(t+8)^2}\bigr)$ は、2-自己準同型を介した楕円曲線間の 2-isogeny の合理的パラメトリック化として導出される。
• このような変換に伴う周期比は、重み 0 の自己同型的性質を持ち、ハウプトモジュラー変数に関して有理的（または代数的）である。
• ラマヌジャンの signature 6 理論はピカール＝フラウス枠組みの外にあり、代わりにより広範なガウス＝ミンクス接続形式に適合していることが示された。
• ヘゥン関数 $\operatorname{Hl}$ の変換群は正八面体群 $\mathfrak{S}_4$ に同型であり、192 個の局所解をもたらす。
• ヘゥン方程式に対する一般化された Pfaff 型変換が導出され、$\operatorname{Hl}(a,q;\alpha,\beta,\gamma,\delta;t) = (1-t)^{-\alpha}\,\operatorname{Hl}(\frac{a}{a-1},\frac{-q+\gamma\alpha a}{a-1};\cdots;\frac{t}{t-1})$ の形をとる。これは古典的恒等式を拡張する。