منحنى فراي

في الرياضيات ، يُعرف منحنى فراي أو منحنى فراي - هيليجوارش بأنه منحنى إهليلجيy2=x(x-α)(x+β){\displaystyle y^{2}=x(x-\alpha )(x+\beta )} مرتبط بثلاثية ABCα+β=γ{\displaystyle \alpha +\beta =\gamma }يربط هذا خصائص حلول المعادلات بالمنحنيات الإهليلجية. وقد شاع استخدام هذا المنحنى في تطبيقه على نظرية فيرما الأخيرة، حيث يتم دراسة حل (افتراضي) لمعادلة فيرما.

أ+ب=ج.{\displaystyle a^{\ell }+b^{\ell }=c^{\ell }.}

سُمّي المنحنى على اسم جيرهارد فراي و(أحيانًا) إيف هيليغوارش .

تاريخ

ابتكر إيف هيليغوارش ( 1975 ) فكرة ربط الحلول (أ،ب،ج){\displaystyle (a,b,c)}معادلة فيرما مع كائن رياضي مختلف تمامًا: منحنى إهليلجي. [ 1 ] إذا كان ℓ عددًا أوليًا فرديًا ، و a و b و c أعدادًا صحيحة موجبة بحيث أ+ب=ج،{\displaystyle a^{\ell }+b^{\ell }=c^{\ell },} عندئذٍ، يكون منحنى فراي المقابل منحنى جبريًا يُعطى بالمعادلة y2=x(x-أ)(x+ب)،{\displaystyle y^{2}=x(xa^{\ell })(x+b^{\ell }),} أو، على نحو مماثل y2=x(x-أ)(x-ج).{\displaystyle y^{2}=x(xa^{\ell })(xc^{\ell }).} هذا منحنى جبري غير منفرد من النوع واحد معرف على Q ، وإكماله الإسقاطي هو منحنى إهليلجي على Q.

لفت غيرهارد فراي ( 1982 ) الانتباه إلى الخصائص غير المألوفة للمنحنى نفسه الذي رُصد له منحنى هيليغوارش، والذي أصبح يُعرف بمنحنى فراي. وقد شكّل هذا المنحنى جسراً بين نظريتي فيرما وتانياما، إذ أظهر أن وجود مثال مضاد لنظرية فيرما الأخيرة من شأنه أن يُنتج منحنىً غير نمطي. وقد حظيت هذه الفرضية باهتمام كبير عندما اقترح فراي (1986) أن فرضية تانياما-شيمورا-ويل تستلزم نظرية فيرما الأخيرة. [ 2 ] إلا أن حجته لم تكن مكتملة. ففي عام 1985، اقترح جان بيير سير أن منحنى فراي لا يمكن أن يكون نمطياً، وقدّم برهاناً جزئياً على ذلك. وأظهر هذا أن إثبات الحالة شبه المستقرة لفرضية تانياما-شيمورا يستلزم نظرية فيرما الأخيرة. لم يُقدّم سير برهاناً كاملاً، وأصبح ما كان مفقوداً يُعرف بفرضية إبسيلون أو فرضية ε. في صيف عام 1986، أثبت ريبيت (1990) حدسية إبسيلون، وبالتالي أثبت أن حدسية تانياما-شيمورا-ويل تستلزم نظرية فيرما الأخيرة. [ 3 ] 

ملحوظات

مراجع