[论文解读] A new look at Hecke's indefinite theta series

Alexander Polishchuk|ArXiv.org|Dec 1, 2000

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

一句话总结

本文建立了在 Z² 上具有零线和的双周期函数所定义的一类 q-级数的模形式性，推广了 Hecke 的不定 theta 级数。证明了这些级数作为权-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.

研究动机与目标

• 通过将具有零线和的 q-级数与 Hecke 的不定 theta 级数联系起来，推广 [3] 中关于单值三重 Massey 积的定理 3。
• 在水平与垂直方向和为零的条件下，建立形如 ∑_{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 模 N 支撑集上二面体群作用的轨道。

提出的方法

• 将 q-级数 Θ_{Q,f} 定义为第一象限与第三象限上求和的差，受限于所有水平与垂直线上和为零的条件。
• 使用函数方程 f(Ax) = f(Bx) = −f(x)，其中矩阵 A = [[−1,p],[0,1]]，B = [[1,0],[r,−1]]，且 p = −2b/a，r = −2b/c。
• 证明 Tr(AB) = −2 + rp ∈ Z 意味着 rp = 4b²/(ac) ∈ Z，从而可将问题约化为模 N 的整数矩阵。
• 研究由 A 和 B 生成的 GL₂(Z/NZ) 的子群 G_N，证明其结构仅依赖于 rp mod N。
• 对 G_N 在 (Z/NZ)² 上的可接受轨道进行分类，区分对称与非对称轨道，特别针对 N = 3, 5, 7 的情形。
• 将每个 G_N-轨道与相应的 f 关联，得到模形式，并通过计算 Θ_{Q,f} 的初始项来证明其线性无关性。

实验结果

研究问题

• RQ1 具有零线和的 q-级数如何与 Hecke 的不定 theta 级数相关？
• RQ2 f 和 Q 需满足何种条件，才能使 Θ_{Q,f} 成为权-1 模形式？
• RQ3 这些 q-级数之间的线性关系如何通过 (Z/NZ)² 上的群作用编码？
• RQ4 rp mod N 的取值在决定群 G_N 及其轨道结构方面起什么作用？
• RQ5 所有由该构造产生的权-1 模形式是否都能通过 G_N-轨道实现为 theta 级数？

主要发现

• q-级数 Θ_{Q,f} 是 SL₂(Z) 的某一个同余子群上的权-1 模形式，推广了 Hecke 的不定 theta 级数。
• 此类模形式的空间恰好等于由 Hecke 的不定 theta 级数生成的空间。
• 当 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，则存在两个线性无关的 theta 级数，其初始项为 q^a±q^c 或 q^{4a}±q^{4c}，具体取决于 p,r mod 5。
• 当 N=7 时，存在四个线性无关的 theta 级数：三个来自对称轨道，一个来自非对称轨道，其初始项包括 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)，这些轨道均被本通解框架所涵盖。