الأحد، 18 نوفمبر 2018

هيك المشغل

عائلة من المشغلين تعين كل مساحة M_k من أشكال النماذج على نفسها. بالنسبة إلى عدد صحيح ثابت كوأي عدد صحيح موجب ن ، T_nيتم تعريف مشغل Hecke على مجموعة M_kمن أشكال الوزن الكلي من كخلال
 (T_nf) (تاو) = ن ^ (ك-1) sum_ (د | ن) د ^ (- ك) sum_ (ب = 0) ^ (د-1) و ((ntau + دينار بحريني) / (د ^ 2 )).
(1)
للحصول نعلى رئيس الوزراء ص ، ينهار المشغل
 (T_pf) (تاو) = ص ^ (ك-1) و (ptau) + 1 / psum_ (ب = 0) ^ (ف 1) و ((تاو + ب) / ع).
(2)
إذا كان و في M_kلديه سلسلة فورييه
 و (تاو) = sum_ (م = 0) ^ inftyc (م) ه ^ (2piimtau)،
(3)
ثم T_nfلديها سلسلة فورير
 (T_nf) (تاو) = sum_ (م = 0) ^ inftygamma_n (م) ه ^ (2piimtau)،
(4)
أين
 gamma_n (م) = sum_ (د | (ن، م)) د ^ (ك-1) ج ((بالمليون) / (د ^ 2))
(5)
(Apostol 1997، p. 121).
إذا (م، ن) = 1، فإن مشغلي Hecke يطيعون خاصية المقطوعة
 T_mT_n = T_ (بالمليون).
(6)
أي اثنين من المشغلين Hecke T (ن)و T (م)على M_k تخفيف مع بعضها البعض، وعلاوة على ذلك
 T (م) T (ن) = sum_ (د | (م، ن)) د ^ (ك-1) T ((بالمليون) / (د ^ 2))
(7)
(Apostol 1997، pp. 126-127).


كل مشغل Hecke T_nديه eigenforms عندما البعد M_kهو 1، وذلك ل ك = 4و 6 و 8 و 10 و 14، وeigenforms هي سلسلة آيزنشتاين G_4 ، G_6، G_8، G_ (10)، و G_ (14)، على التوالي. وبالمثل، كل T_nله eigenforms عندما البعد عن مجموعة من أشكال أعتاب M_ (ك، 0) هو 1، وذلك ل ك = 12، 16، 18، 20، 22، و 26، وeigenforms هي دلتا، DeltaG_4، DeltaG_6، DeltaG_8، DeltaG_ (10)، و DeltaG_ (14)، على التوالي، حيث دلتاهو التمايز وحدات من Weierstrass elliptic function (Apostol 1997، p. 130).

ليست هناك تعليقات:

إرسال تعليق