主題
Search

Hecke算符


一族算符,將每個空間 M_k模形式對映到自身。對於固定的整數 k 和任意正整數 n,Hecke算符 T_n 定義在權重為 k 的整模形式集合 M_k 上,定義如下:

 (T_nf)(tau)=n^(k-1)sum_(d|n)d^(-k)sum_(b=0)^(d-1)f((ntau+bd)/(d^2)).
(1)

對於n素數 p,算符簡化為

 (T_pf)(tau)=p^(k-1)f(ptau)+1/psum_(b=0)^(p-1)f((tau+b)/p).
(2)

如果 f in M_k 具有傅立葉級數

 f(tau)=sum_(m=0)^inftyc(m)e^(2piimtau),
(3)

T_nf 具有傅立葉級數

 (T_nf)(tau)=sum_(m=0)^inftygamma_n(m)e^(2piimtau),
(4)

其中

 gamma_n(m)=sum_(d|(n,m))d^(k-1)c((mn)/(d^2))
(5)

(Apostol 1997, 第 121 頁)。

如果 (m,n)=1,則 Hecke 算符服從複合性質

 T_mT_n=T_(mn).
(6)

M_k 上的任意兩個 Hecke 算符 T(n)T(m) 彼此可交換,並且

 T(m)T(n)=sum_(d|(m,n))d^(k-1)T((mn)/(d^2))
(7)

(Apostol 1997, 第 126-127 頁)。

M_k 的維度為 1 時,每個 Hecke 算符 T_n 都有特徵形式,因此對於 k=4, 6, 8, 10 和 14,特徵形式分別是 Eisenstein 級數 G_4, G_6, G_8, G_(10)G_(14)。 類似地,當 尖點形式集合 M_(k,0) 的維度為 1 時,每個 T_n 都有特徵形式,因此對於 k=12, 16, 18, 20, 22 和 26,特徵形式分別是 Delta, DeltaG_4, DeltaG_6, DeltaG_8, DeltaG_(10)DeltaG_(14),其中 DeltaWeierstrass 橢圓函式模判別式 (Apostol 1997, 第 130 頁)。


另請參閱

Hecke 代數, 模形式

使用 探索

參考文獻

Apostol, T. M. "Hecke 算符." §6.7 in *數論中的模函式與狄利克雷級數, 第二版.* New York: Springer-Verlag, pp. 120-122, 1997.

在 中被引用

Hecke算符

請引用為

Weisstein, Eric W. "Hecke 算符." 來自 Web 資源. https://mathworld.tw/HeckeOperator.html

主題分類