关于Apostol《模函数与狄利克雷级数》中同时本征形性质的疑问

Hey，我完全懂你读这本经典数论教材时卡在这儿的感觉——Hecke算子和同时本征形的关联确实需要把定义和算子作用细节结合起来捋清楚，咱们一步步拆解这个证明里的关键逻辑：

首先，先锚定同时本征形的核心定义：

如果$f$是每个Hecke算子$T_n$（$n\geq1$）的本征形，那它就是同时本征形。换句话说，对每个$n$，都存在一个常数$\lambda(n)$，满足等式：$T_n(f) = \lambda(n) f$

接下来看Hecke算子作用后的傅里叶展开细节：

• 已知$f\in M_k$的傅里叶展开是：$f(\tau) = \sum_{m=0}^{\infty} c(m) x^m$（其中$x= e^{2\pi i\tau}$）
• 而$T_n(f)$的傅里叶展开系数$\gamma_n(m)$有明确公式：$\gamma_n(m) = \sum_{d |(m,n)} d^{k-1} c(\frac{m n}{d^2})$

现在聚焦到$m=1$的特殊情况（也就是展开式里$x^1$的系数）：
当计算$\gamma_n(1)$时，$d$需要整除$(1,n)$——而1的正约数只有1，所以求和项里只剩$d=1$这一项：
$\gamma_n(1) = 1^{k-1} c(\frac{1\cdot n}{1^2}) = c(n)$
这就是证明里说“$T_n(f)$的傅里叶展开中$x$的系数是$\gamma_n(1)= c(n)$”的由来。

最后结合本征形的定义推导关键等式：
因为$f$是$T_n$的本征形，所以$T_n(f) = \lambda(n) f$——两边的傅里叶展开必须逐项相等，对应系数也得完全一致。
我们看两边$x^1$项的系数：

• 左边$T_n(f)$的$x^1$系数是$\gamma_n(1)=c(n)$
• 右边$\lambda(n)f$的$x^{1$系数是$\lambda(n)$乘以$f$的$x}1$系数，也就是$\lambda(n) c(1)$

把这两个系数划等号，就得到了$c(n) = \lambda(n) c(1)$——这就把你困惑的那一步逻辑补全了。

备注：内容来源于stack exchange，提问作者Jack