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

نموذج معياري

Fيقال أن الدالة عبارة عن شكل نمطي كامل للوزن كإذا كان يرضي
1. Fهو التحليلي في نصف المستوى العلوي H ،
2. و ((atau + ب) / (ctau + د)) = (ctau + د) ^ فلس كويتي (تاو)كلما [أساسها.  مؤتمر نزع السلاح]كان عضوا في المجموعة المعيارية غاما ،
3. سلسلة فورير من Fلديه شكل
 و (تاو) = sum_ (ن = 0) ^ inftyc (ن) ه ^ (2piintau)
(1)
يجب توخي الحذر عند استشارة الأدبيات لأن بعض المؤلفين يستخدمون مصطلح "البعد -ك" أو "درجة -ك" بدلاً من "الوزن ك" ، بينما يكتب آخرون 2Kبدلاً من ك(Apostol 1997، pp. 114-115). يمكن تعريف أنواع أكثر عمومية من الأشكال المعيارية (التي ليست "كاملة") والتي تسمح بوجود أعمدة في Hأو في iinftyبما أن كلاين ثابت مطلق J ، وهو عبارة عن وظيفة معيارية ، له عمود iinfty، فهو شكل غير نموذجي من الوزن 0.
كل مجموعة من أشكال كاملة من الوزن كيرمز M_k، وهو الفضاء الخطي على المجال المعقد. البعد M_kهو 1 ل ك = 4، 6 ، 8 ، 10 ، و 14 (Apostol 1997 ، ص 119).
ج (0)هي قيمة Fat iinfty، وإذا ج (0) = 0، تسمى الدالة نموذج cusp . أصغر صهذا ج (ص)! = 0يسمى ترتيب الصفر Fفي iinftyتقدير ج (ن)لولايات ذلك
 ج (ن) = O (ن ^ (2K-1))
(2)
إذا و في M_ (2k)لم يكن نموذجًا من العتبة (Apostol 1997، p. 135).
إذا و! = 0هو شكل وحدات كاملة من الوزن ك، والسماح Fلديهم Nالأصفار في إغلاق المنطقة الأساسية R_Gamma (حذف القمم). ثم
 ك = 12N + 6N (ط) + 4N (رو) + 12N (iinfty)،
(3)
أين N (ع)هو ترتيب الصفر عند نقطة ما ص(Apostol 1997، p. 115). بالاضافة،
1. الأشكال الوحيدة الوزن الكلي للوزن ك = 0هي الوظائف الثابتة.
2. إذا كهو غريب ، ك <0أو ك = 2، ثم شكل نمطي كامل الوحيد من الوزن كهي وظيفة صفر.
3. كل شكل نموذجي غير ثابت له وزن ك> = 4، أين كهو حتى .
4. إن الشكل الكلي الوحيد للوزن ك <12هو دالة الصفر.
(Apostol 1997 ، ص 116).
ل Fشكل وحدات كاملة من حتى الوزن ك> = 0، وتحديد E_0 (تاو) = 1للجميع تاوثم Fيمكن التعبير عنها بطريقة واحدة بالضبط كمجموع
 f = sum_ (r = 0؛ k-12r! = 2) ^ (| _k / 12_ |) a_rE_ (k-12r) Delta ^ r،
(4)
حيث a_rهي الأعداد المركبة، E_nهو سلسلة آيزنشتاين ، و دلتاهو التمايز وحدات من وظيفة بيضاوي الشكل weierstrass بالمجلس . أشكال مغطية للحدبات من حتى الوزن كهي ثم تلك المبالغ التي a_0 = 0(أبوستول 1997، ص. 117-118). حتى أكثر مثير للدهشة، كل شكل نمطي كامل Fمن الوزن كهو متعدد الحدود في E_4و E_6قدمها
 و = sum_ (أ، ب) C_ (أ، ب) E_4 ^ ^ aE_6 ب،
(5)
حيث سيارة أجرة)تكون الأعداد معقدة ومجموع يمتد على كل الأعداد الصحيحة أ، ب> = 0مثل 4A + 6B = ك(Apostol 1998، p. 118).
الأشكال النموذجية ترضي الخصائص المميزة والمميزة الناتجة عن مجموعتها المدهشة من التماثلات الداخلية. اكتشف هيكه اتصالاً مذهلاً بين كل شكل معياري و سلسلة Dirichlet L المقابلة هناك علاقة ملحوظة بينالمنحنيات الناقصية المنطقية والأشكال المعيارية من خلال تخمين تانياما-شيمورا ، الذي ينص على أن أي منحنى بيضاوي عقلاني هو شكل نمطي مقنع. كانت هذه النتيجة هي التي أثبتها أندرو وايلز في دليله الشهير علىنظرية فيرمات الأخيرة .

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

إرسال تعليق