[论文解读] Zeros of weakly holomorphic modular forms of levels 2 and 3

Sharon Anne Garthwaite, Paul M. Jenkins|arXiv (Cornell University)|May 31, 2012

Holomorphic and Operator Theory参考文献 18被引用 4

一句话总结

本文研究了水平数为2和3的弱全纯模形式的零点位置，利用围道积分与生成函数，证明当权数和水平数较大时，基本域中大多数非平凡零点位于下边界弧上。该方法依赖于通过柯西留数定理将模形式近似为余弦函数，且对于足够大的 $ n $，误差项呈指数衰减，从而得出精确的零点定位结果。

ABSTRACT

Let $M_k^\sharp(N)$ be the space of weakly holomorphic modular forms for $Γ_0(N)$ that are holomorphic at all cusps except possibly at $\infty$. We study a canonical basis for $M_k^\sharp(2)$ and $M_k^\sharp(3)$ and prove that almost all modular forms in this basis have the property that the majority of their zeros in a fundamental domain lie on a lower boundary arc of the fundamental domain.

研究动机与目标

• 研究 $ \Gamma_0(2) $ 和 $ \Gamma_0(3) $ 的基本域中弱全纯模形式的零点分布。
• 将埃森斯坦级数与赫克特征形式的技术推广至 $ M_k^\sharp(2) $ 和 $ M_k^\sharp(3) $ 的典范基。
• 确定基本域中多数零点是否位于特定边界弧上，特别是下边界。
• 建立模形式零点渐近定位在圆弧上的条件，通过解析逼近实现。
• 探讨该方法推广至更高水平 $ N = 5, 7, 13 $ 的可行性，尽管几何复杂度有所增加。

提出的方法

• 构造 $ M_k^\sharp(N) $ 的典范基 $ f_{k,n}^{(N)}(z) $ 和 $ g_{k,n}^{(N)}(z) $，其傅里叶系数初始项为 $ q^{-n} + O(q^{2\ell + \lfloor k'/3 \rfloor + 1}) $。
• 使用类似于 $ j $-函数生成函数的基元素生成函数，将模形式与围道积分联系起来。
• 应用柯西留数定理，将模形式表示为包含广义生成函数的围道积分。
• 选择一条位于点 $ z = -1/N + (1/N)e^{i\theta} $ 和 $ z/(Nz+1) $ 下方的水平围道，确保其避开 $ \Gamma_0(N) $ 的所有其他像点。
• 通过提取指数衰减项 $ e^{-\pi n(\frac{2}{N}\sin\theta - 2A')} $ 来界定积分余项的绝对值，该衰减项在 $ n $ 足够大时占主导地位。
• 证明加权模形式与余弦函数之间的差值小于2，意味着模形式的零点接近于余弦函数的零点，而后者位于圆弧 $ |z + 1/N| = 1/N $ 上。

实验结果

研究问题

• RQ1 在 $ M_k^\sharp(2) $ 中，弱全纯模形式的大多数非平凡零点是否位于基本域的下边界弧上？
• RQ2 能否将通过围道积分将模形式近似为余弦函数的方法推广至水平数为3的模形式？
• RQ3 对于哪些 $ n $ 和 $ \ell $ 值，近似误差足够小，可保证零点定位在边界弧上？
• RQ4 考虑到基本域几何复杂度的增加，是否可能将此零点定位技术推广至更高水平 $ N = 5, 7, 13 $？
• RQ5 当 $ n \to \infty $ 时，位于下边界弧上的零点的渐近比例是多少？

主要发现

• 对于 $ N = 2 $，若 $ \ell \geq 0 $ 且 $ n \geq 14\ell + 7 $，或 $ \ell < 0 $ 且 $ n \geq 15|\ell| + 7 $，则 $ n + \lfloor \frac{k}{4} \rfloor - 1 $ 个非平凡零点中至少有 $ \lfloor \frac{k}{6} + n\frac{\sqrt{3}}{2} \rfloor $ 个位于下边界弧上。
• 对于 $ N = 3 $，当围道高度趋近于 $ \frac{1}{9} $ 且 $ z $ 趋近于围道时，可证明位于下边界弧上的零点数趋近于 $ 0.9618n + 0.2792k $。
• 当 $ k $ 固定且 $ n \to \infty $ 时，位于下边界弧上的零点比例趋近于约 96.18% 的 $ n $，表明存在强烈的零点局域化趋势。
• 该方法依赖于通过选择围道高度实现误差项的指数衰减，确保对于足够大的 $ n $，模形式与余弦近似之间的差值小于2。
• 该结果对 $ f_{k,n}^{(3)}(z) $ 和 $ g_{k,n}^{(3)}(z) $ 均成立，且具有相同的渐近零点分布。
• 由于基本域的几何复杂度增加，该技术无法直接推广至 $ N = 5, 7, 13 $，这使得围道选择变得困难。