[論文レビュー] A new look at Hecke's indefinite theta series

Alexander Polishchuk|ArXiv.org|Dec 1, 2000

Advanced Mathematical Identities参考文献 1被引用数 3

ひとこと要約

本稿は、Z² 上の2重周期的関数から定義されるq級数のクラスのモジュラー性を確立し、ヘッケの不定的シータ級数を一般化する。これらの級数が重み1のモジュラー形式として変換することを証明し、その線形関係を (Z/NZ)² 上の二面体群作用に関連づけ、群論的軌道構造を用いてそのようなモジュラー形式を完全に特徴づける。

ABSTRACT

We describe a family of $q$-series generating the space of weight 1 modular forms coming from indefinite binary quadratic forms and study linear relations between these series.

研究の動機と目的

• 『[3]』の定理3（一価な三重マッセイ積について）を、線分和が消えるq級数とヘッケの不定的シータ級数を関連付けることで一般化すること。
• 線分和が消える条件の下で、形式 ∑_{m,n≥0} f(m,n)q^{Q(m,n)} − ∑_{m,n<0} f(m,n)q^{Q(m,n)} のq級数のモジュラー性を確立すること。
• 二面体群が (Z/NZ)² 上に作用する様子を用いて、このようなq級数によって生成される重み1モジュラー形式の空間を特徴づけること。
• これらのq級数の線形関係が、fの台に関する二面体群作用の軌道にちょうど一致することを示すこと。

提案手法

• 線分和がすべての水平および垂直線で消える制約の下で、第一象限および第三象限の和の差としてq級数 Θ_{Q,f} を定義する。
• 行列 A = [[−1,p],[0,1]], B = [[1,0],[r,−1]] を用いた関数方程式 f(Ax) = f(Bx) = −f(x) を用いる。ここで p = −2b/a, r = −2b/c である。
• Tr(AB) = −2 + rp ∈ Z である条件から rp = 4b²/(ac) ∈ Z が得られ、これにより整数行列への還元が可能になる。
• A と B によって生成される GL₂(Z/NZ) の部分群 G_N ⊂ GL₂(Z/NZ) を研究し、その構造が rp mod N のみに依存することを示す。
• G_N が (Z/NZ)² に作用する適切な軌道を分類し、特に N=3,5,7 に対して対称的・非対称的軌道を区別する。
• 各 G_N-軌道を関連する f を通じてモジュラー形式に結びつけ、Θ_{Q,f} の初期項を計算して線形独立性を確立する。

実験結果

リサーチクエスチョン

• RQ1 線分和が消えるq級数は、ヘッケの不定的シータ級数とどのように関係するか？
• RQ2 f と Q にどのような条件を課すと、Θ_{Q,f} が重み1のモジュラー形式になるか？
• RQ3 このようなq級数の線形関係は、(Z/NZ)² 上の群作用によってどのように符号化されるか？
• RQ4 rp mod N の値は、群 G_N 及びその軌道の構造を決定づける役割を果たすか？
• RQ5 この構成から得られるすべての重み1モジュラー形式が、G_N-軌道からのシータ級数として実現可能か？

主な発見

• q級数 Θ_{Q,f} は、SL₂(Z) の合同部分群に対して重み1のモジュラー形式である。これはヘッケの不定的シータ級数を一般化する。
• このようなモジュラー形式の空間は、ヘッケの不定的シータ級数によって生成される空間と完全に一致する。
• N=3 の場合、唯一の適切な軌道は (1,0) の軌道であり、Θ_{Q,f} ≡ q^a + χ₃(r)q^c mod q^{a+1} となる。これは r≡−1 mod 3 かつ a=c のときにのみ消える。
• N=5 の場合、a≠c ならば2つの線形独立なシータ級数があり、初期項は q^a±q^c または q^{4a}±q^{4c} となる。これは p,r mod 5 に依存する。
• N=7 の場合、3つの対称的軌道と1つの非対称的軌道から4つの線形独立なシータ級数が得られ、初期項には q^{9a+c+6b}+q^{a+9c+6b} が含まれる。
• 『[3]』における楕円曲線に関する構成は、v_{s₁,s₂} = (b/a s₂−s₁, b/c s₁−s₂) mod N として与えられる軌道に対応し、N=4D/(ac) である。これは一般枠組みによって完全にカバーされる。