[論文レビュー] Hypergeometric series, modular linear differential equations, and vector-valued modular forms

Cameron Franc, Geoffrey Mason|arXiv (Cornell University)|Mar 18, 2015

Algebraic Geometry and Number Theory被引用数 9

ひとこと要約

本稿は、ベクトル値モジュラー形式（vvmfs）、モジュラー線形微分方程式（MLDEs）、および超幾何級数の間の深い関係を確立し、次元2および3において、MLDEの解が一般化超幾何関数として表現可能であることを示している。主な貢献は、モノドロミーと三重に穿孔された球面上のFuchsian微分方程式を介して、超幾何級数とモジュラー形式の間の明示的恒等式を導出することにある。

ABSTRACT

We survey the theory of vector-valued modular forms and their connections with modular differential equations and Fuchsian equations over the three-punctured sphere. We present a number of numerical examples showing how the theory in dimensions 2 and 3 leads naturally to close connections between modular forms and hypergeometric series.

研究の動機と目的

• ベクトル値モジュラー形式（vvmfs）とモジュラー線形微分方程式（MLDEs）の関係を、特に低次元において体系化すること。
• 三重に穿孔された球面上のFuchsian微分方程式が、vvmfsとMLDEsから自然に生じることを明確化すること。
• 2次および3次MLDEの解が、超幾何級数として表現可能であることを示すこと、特に2F1および3F2を含むこと。
• モジュラー形式と超幾何恒等式を結びつける明示的数値例（Kleinの四次曲線恒等式を含む）を提供すること。
• SL2(Z)のモノドロミーに対するRiemann-Hilbert問題を、超幾何解を用いてFuchsian方程式を構成することで構成的に解くこと。

提案手法

• vvmfsの自由加群定理を用いて、所定のモノドロミー表現を持つMLDEの解を構成する。
• Frobenius法を適用して、MLDEから生じるFuchsian微分方程式を解き、超幾何級数解を導出する。
• モジュラーWronskianを用いてvvmf空間の構造を特徴付け、解が消えないことを保証する。
• MLDEのモジュラー再パラメータ化を用いて、j不変量とモジュラーパラメータKを介して解を超幾何関数と関連付ける。
• 3_2表現などに対する最小重量vvmfsを構成し、モジュラー不変性を用いて成分の関係を導出する。
• モジュラー形式の多項式関係を、超幾何恒等式に翻訳することで、超幾何級数の間の恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 重さkおよび次元nのベクトル値モジュラー形式は、次数nのモジュラー線形微分方程式（MLDEs）とどのように関係するか？
• RQ2 次元2および3において、MLDEの解と一般化超幾何級数の間の明確な関係は何か？
• RQ3 MLDEのモノドロミー表現は、vvmfのモノドロミーとして実現可能か？そのようなvvmfはどのように構成できるか？
• RQ4 Γ(7)などの合同部分群上のモジュラー形式から導かれる2F1および3F2超幾何関数の間には、どのような明示的恒等式が生じるか？
• RQ5 最小重量vvmfsの成分間の多項式関係は、超幾何級数の間の恒等式にどのように翻訳されるか？

主な発見

• モニックMLDEの2次および3次解は、それぞれ2F1および3F2超幾何級数として表現可能であり、パラメータはモノドロミー情報から導出される。
• Kleinの四次曲線恒等式は、モジュラー形式の関係 f₂³f₁ = f₁³f₃ + f₃³f₂ から導かれる。これにより、3F2超幾何級数の非自明な恒等式が得られる。
• 3₂表現に対して、重さ6の3つの最小重量vvmfsを3F2超幾何級数を用いて構成し、η(τ)およびモジュラーパラメータKを含む明示的表現が得られる。
• 恒等式 f₄ = f₁³ + 3f₂f₃² は、パラメータ (−1/14, 11/42, 25/42; 5/7, 4/7; K) などを含む3F2関数の超幾何恒等式を導く。
• モジュラーWronskianは、解の線形独立性を保証し、構成されたvvmfsが消えないかつ正則であることを検証するために用いられる。
• 本稿は、Fuchsian方程式の超幾何解を用いて、所定のモノドロミーを持つvvmfsを構成することで、SL₂(Z)に対するRiemann-Hilbert問題を構成的に解いている。