Degree of irrationality of a product of two elliptic curves

في المشهد الشاسع للرياضيات، هناك فرع يُسمى الهندسة الجبرية يدرس الأشكال المعرفة بالمعادلات. يمكن لهذه الأشكال أن تكون خطوطاً أو دوائر بسيطة، ولكن يمكنها أيضاً أن تكون أسطحاً معقدة متعددة الأبعاد توجد في فضاءات مجردة. أحد الأسئلة الجوهرية التي يطرحها الرياضيون حول هذه الأشكال هو مدى "تعقيدها". يُعت-بر الشكل بسيطاً، أو عقلانياً (rational)، إذا كان يمكن تحويله بسلاسة إلى مستوٍ مسطح دون تمزيق أو طي. ومع ذلك، فإن العديد من الأشكال تقاوم هذا التبسيط. ولقياس مدى بعد الشكل عن البساطة، يستخدم الرياضيون رقماً يسمى درجة اللاعقلانية (degree of irrationality). فكر في هذا الرقم كدرجة للتعقيد: الدرجة المنخفضة تعني أن الشكل أقرب إلى كونه مستوًى مسطحاً، بينما الدرجة العالية تعني أنه أكثر التواءً وصعوبة في التسطيح. ولفترة طويلة، كان حساب هذه الدرجة لأشكال محددة ومعقدة تحدياً هائلاً، وبالنسبة لنوع معين من الأشكال المعروف بـ "حاصل ضرب منحنيين إهليلليين"، ظل الجواب لغزاً.

المنحنى الإهليللي هو نوع محدد من الأشكال الملساء الشبيهة بالحلقات التي تظهر بشكل متكرر في نظرية الأعداد وعلم التشفير. وعندما تأخذ منحنيين من هذا النوع وتجمعهما، فإنك تنشئ جسماً جديداً رباعي الأبعاد. لسنوات، تساءل الخبراء عن تعقيد هذا الجسم المجمع. وقد اشتبه البعض في أنه إذا كان المنحنيان مختلفين بما يكفي عن بعضهما البعض، فإن الشكل الناتج سيكون معقداً للغاية، وربما يتطلب درجة أربعة لوصف صعوبته. استندت هذه الفكرة إلى الحدس بأن خلط شيئين متميزين ومعقدين يجب أن يخلق شيئاً أكثر صعوبة في الفهم. ظل السؤال معلقاً في الهواء: هل يمكن أن توجد زوج من هذه المنحنيات بحيث يكون مجموعهما قد وصل إلى هذا المستوى الأعلى من التعقيد؟

لقد حسم عالم رياضيات يدعى يونغنام لي هذا السؤال بإجابة حاسمة. ففي ورقة بحثية حديثة، أثبت "لي" أنه بغض النظر عن أي منحنيين إهليلليين تختار، حتى لو كانا مختلفين تماماً عن بعضهما البعض، فإن حاصل ضربهما يمتلك دائماً درجة تعقيد تساوي ثلاثة بالضبط. هذا الاكتشاف يقلب التوقعات التي كانت تشير إلى أن الدرجة قد تكون أربعة. والنتيجة ليست تخميناً أو محاكاة؛ بل هي برهان رياضي صارم يظل صحيحاً لكل زوج ممكن من هذه المنحنيات في نظام الأعداد المركبة. ويشير العمل إلى أن عالم هذه الأشكال يحتوي على انتظام خفي: تعقيد دمج منحنيين إهليلليين ثابت ويمكن التنبؤ به، ولا يتجاوز أبداً حد الثلاثة.

للوصول إلى هذا الاستنتاج، كان على "لي" أولاً بناء مثال محدد لإظهار أن الدرجة ثلاثة هي أمر ممكن بالفعل. لقد عمل على منحنيين متميزين كان من المعروف أنهما مختلفان جوهرياً، بمعنى أنه لا يمكن تحويل أحدهما إلى الآخر من خلال عمليات رياضية قياسية. ومن خلال تحليل كيفية تفاعل هذين المنحنيين بعناية، أثبت طريقة لتعيين شكلهما المجمع على مستوٍ مسطح. لم يكن هذا التعيين (mapping) مثالياً؛ فقد تضمن بعض الطي والتداخل، ولكنه كان كفؤاً بما يكفي لإظهار أن الشكل يمكن تسطيحه بدرجة ثلاثة. كان هذا المثال حاسماً لأنه أثبت أن الدرجة لا يمكن أن تكون أعلى من ثلاثة. لقد كان بمثابة عرض ملموس يثبت أن التعقيد يمكن السيطرة عليه.

كان النصف الثاني من البرهان ربما أكثر أهمية: وهو إظهار أن الدرجة لا يمكن أن تكون أقل من ثلاثة. كان على "لي" استبعاد إمكانية تسطيح الشكل بدرجة واحد أو اثنين. الدرجة الواحدة تعني أن الشكل هو في الأساس مستوٍ مسطح، وهو أمر مستحيل لهذا النوع من الأجسام. أما الدرجة اثنان، فتعني وجود نوع معين من التماثل يسمح بطي الشكل إلى نصفين ليصبح مسطحاً. أظهر "لي" أن مثل هذا التماثل لا يمكن أن يوجد لضرب منحنيين إهليلليين. وجادل بأن وجود مثل هذا الطي سيكون ممكناً، فإنه سيجبر المنحنيين الأصليين على أن يكونا متطابقين بطريقة تتناقض مع طبيعتهما الجوهرية. ومن خلال إثبات أن الدرجة اثنين مستحيلة، أغلق الباب أمام أي تعقيد أدنى.

مع تحديد الحد الأدنى عند ثلاثة والحد الأعلى من خلال مثاله، تم إغلاق الإجابة في مكانها. درجة اللاعقلانية لحاصل ضرب أي منحنيين إهليلليين هي ثلاثة بالضبط. يحل هذا النتيجة سؤالاً محدداً كان قد طرحه باحثون آخرون، مؤكداً أن تعقيد هذه الأشكال لا يتذبذب بناءً على مدى اختلاف المنحنيات. يعتمد البرهان على بناء ذكي يتضمن عائلة من المنحنيات التي يمكن تعديلها لتمثيل أي منحنى إهليللي ممكن. ومن خلال إظهار أن الطريقة تعمل في حالة محددة ثم إثبات أنها تعمل في جميع الحالات من خلال تغيير مستمر، قدم "لي" صورة كاملة.

تكمن أهمية هذا العمل في وضوحه وقدرته على حسم حالة من عدم اليقين طال أمدها. إنه يخبرنا أن تعقيد هذه الأشكال المجمعة هو ثابت، وهي خاصية ثابتة للهندسة نفسها. لا يهم ما إذا كانت المنحنيات متشابهة أو مختلفة تماماً؛ فالجسم الناتج يشترك دائماً في نفس المستوى من الصعوبة عندما يتعلق الأمر بتسطيحه. هذا النوع من اليقين نادر في دراسة الأشكال المعقدة، حيث تعتمد النتائج غالباً على ظروف محددة وهشة. يظهر عمل "لي" أنه في هذا الركن المحدد من الرياضيات، هناك قاعدة قوية تحكم سلوك هذه الأجسام. يضيف هذا الاكتشاف قطعة صلبة إلى أحجية فهم كيفية ارتباط الأشكال الهندسية المختلفة ببعضها البعض، مثبتاً أنه حتى عند دمج حلقتين متميزتين، فإن النتيجة لا تكون أبداً أكثر تعقيداً من درجة محددة يمكن التنبؤ بها.