零点计数公式(valence formula)

固定标准基本域 $\mathcal{F}=\{\tau\in\mathbb{H} : |\operatorname{Re}(\tau)|\le \tfrac12,\ |\tau|\ge 1\}$,其下边界顶点为 $\rho=e^{i\pi/3}$、$\rho+1$、$i$,向上延伸至尖点 $\infty$。在足够大的高度 $\operatorname{Im}(\tau)=T$(即 $T$ 充分大)处截断,并在 $\partial\mathcal{F}$ 上恰好落有 $f$ 零点的地方用小圆弧作凹口。记所得轮廓为 $C$。由于 $f$ 在此有界区域内只有有限个零点,辐角原理给出 $\frac{1}{2\pi i}\oint_C \frac{f'(\tau)}{f(\tau)}\,d\tau$ 等于严格位于 $C$ 内部的 $f$ 零点个数。

现在逐段计算 $\partial\mathcal{F}$。两条竖直边 $\operatorname{Re}(\tau)=-\tfrac12$ 与 $\operatorname{Re}(\tau)=\tfrac12$ 由 $T:\tau\mapsto\tau+1$ 相互等同,又因 $f(\tau+1)=f(\tau)$,被积函数 $f'/f$ 也是周期为 $1$ 的;以相反方向遍历(一边向上,被等同的一边向下),这两个积分恰好完全抵消。这正是平移对称性发挥作用之处:它白白去掉了轮廓的两条边。

高度 $T$ 处的顶边在 $T\to\infty$ 时闭合:记 $f=\sum_{n\ge m}a_nq^n$,其中 $m=\operatorname{ord}_\infty(f)$、$a_m\ne0$,则当 $q\to0$ 时 $f'/f \to 2\pi i\,m$,故此边对总和贡献 $-\operatorname{ord}_\infty(f)$(负号来自轮廓在顶部向左遍历的方向)。

剩下的是下边界:沿 $|\tau|=1$ 从 $\rho$ 到 $i$ 的弧、从 $i$ 到 $\rho+1$ 的弧,以及从 $\rho$ 向上到左上角、从 $\rho+1$ 向下的两段短竖直线。反演 $S:\tau\mapsto-1/\tau$ 把经过 $i$ 的弧映到自身(因 $S(i)=i$),并交换圆弧的两半;由于 $S$ 固定 $i$ 且把 $i$ 的邻域旋转角度 $\pi$($\mathrm{PSL}_2(\mathbb{Z})$ 中 $i$ 的稳定子群阶为 $2$),$i$ 周围的小凹口只贡献 $-\tfrac12\operatorname{ord}_i(f)$ 而非完整的 $-\operatorname{ord}_i(f)$:在 $S$-对称性等同其余部分之前,实际只扫过“一半”完整的留数。类似地,$\rho$ 与 $\rho+1=S T^{-1}(\rho)$ 由 $\mathrm{PSL}_2(\mathbb{Z})$ 中阶为 $3$ 的稳定子群(由 $ST$ 生成,阶为 $3$)相互等同,故二者合并的凹口贡献 $-\tfrac13\operatorname{ord}_\rho(f)$。弧上其余一般部分上的任何其他零点 $P$ 具有平凡稳定子群,贡献完整的 $-\operatorname{ord}_P(f)$。

把各部分相加:竖直边相消,顶边给出 $-\operatorname{ord}_\infty(f)$,角点给出 $-\tfrac12\operatorname{ord}_i(f)-\tfrac13\operatorname{ord}_\rho(f)$,任何剩余边界零点 $P$ 给出 $-\operatorname{ord}_P(f)$。但 $\frac{1}{2\pi i}\oint_C f'/f\,d\tau$ 同时也必须等于 $\tfrac{k}{12}$:这一常数来自权 $k$ 自守因子 $(c\tau+d)^k$ 迫使 $\arg f$ 绕两条被等同的角弧(由 $S$ 联系,其把 $d\tau\mapsto \tau^{-2}d\tau$,卷入由 $k$ 支配的缠绕数)总旋转量净贡献恰为 $k/12$——同一常数也因 $\mathcal{F}$ 的双曲面积为 $\pi/3$ 且 $X(1)$ 恰有一个尖点及阶 $2,3$ 的椭圆点而出现,这正是公式中 $12$ 背后的 Riemann–Hurwitz 记账。将同一围道积分的两种计算等同,把所有零点阶项移到一边,恰好得到 $\operatorname{ord}_\infty(f)+\tfrac12\operatorname{ord}_i(f)+\tfrac13\operatorname{ord}_\rho(f)+\sum_{P}\operatorname{ord}_P(f) = \tfrac{k}{12}$。