الاثنين، 19 نوفمبر 2018

Elliptic Discriminant



و المنحنى البيضاوي هو مجموعة من الحلول لمعادلة النموذج
 ص ^ 2 + a_1xy + a_3y = س ^ 3 + a_2x ^ 2 + a_4x + a_6.
(1)
من خلال تغيير المتغيرات ، Y-> 2Y + a_1x + a_3بافتراض أن خاصية الحقل ليست 2 ، تصبح المعادلة
 ص ^ 2 = 4X ^ 3 + b_2x ^ 2 + 2b_4x + b_6
(2)
أين
b_2=A_1 ^ 2 + 4a_2
(3)
b_4=2a_4 + a_1a_3
(4)
b_6=a_3 ^ 2 + 4a_6.
(5)
حدد أيضا الكمية
 b_8 = A_1 ^ 2a_6 + 4a_2a_6-a_1a_3a_4 + a_2a_3 ^ 2-a_4 ^ 2،
(6)
ثم يتم منح التمييز من قبل
 دلتا = -b_2 ^ ^ 2b_8-8b_4 3-27b_6 ^ 2 + 9b_2b_4b_6.
(7)
يعتمد التمييز على اختيار المعادلات ، ويمكن أن يتغير بعد تغيير المتغيرات ، على عكس j -invariant .
إذا كانت خاصية الحقل ليست 2 أو 3 ، فإن معادلتها يمكن كتابتها كـ
 ص ^ 2 = س ^ 3 + الفأس + B،
(8)
في هذه الحالة ، يتم إعطاء التمييز من قبل
 دلتا = -16 (4A ^ 3 + 27B ^ 2).
(9)
DiscriminantEllipticCurve
جبريًا ، التمييز هو غير صفري عندما يكون للجانب الأيمن ثلاثة جذور مميزة. 
في الحالة الكلاسيكية لمنحنى إهليلجي فوق الأعداد المركبة ، يكون للتمييز التفسير الهندسي. إذا دلتا! = 0، إذاً المنحنى البيضاوي هو غير منطقي ولديه جنس منحنى 1 ، أي إنه طارة . إذا ، دلتا = 0و A = 0، عندها عنده تفوق الإلتقاء 
 في هذه الحالة هناك إتّجاه ظلّ وحيد في التفرد. إذا دلتا = 0و و A! = 0، فإن تفردها يدعى نقطة مزدوجة عادية (أو عقدة) ، وفي هذه الحالة يكون التفرّد له اتجاهين واضحين.
لاحظ أن تميز المنحنى البيضاوي ليس متماثلا مع التمييز متعدد الحدود لمتعدد الحدود المقابل 
 لكن النوعين من المتميزين يتلاشىان لنفس القيم من او ب.

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

إرسال تعليق