بيرش وسوينرتون–داير: كيف تخبرنا دالة عن حلول لا نستطيع رؤيتها؟
سلسلة: مسائل الألفية — سبعة جدران أمام العقل البشري
الحلقة السابعة والأخيرة
هناك مسائل تستطيع حلها بالبحث.
تجرب رقمًا.
ثم رقمًا آخر.
ثم مليون رقم.
وإذا كان الحاسوب سريعًا بما يكفي، فقد تجد ما تبحث عنه.
لكن ماذا لو كان السؤال لا يتعلق بإيجاد حل واحد؟
ماذا لو أردت أن تعرف شيئًا أكبر بكثير:
هل توجد حلول قليلة فقط، أم توجد حلول لا نهائية؟
والأغرب:
ماذا لو كانت الإجابة مخبأة داخل دالة تبدو، للوهلة الأولى، وكأنها تتحدث عن شيء آخر تمامًا؟
هنا تبدأ حدسية بيرش وسوينرتون–داير.
وهي آخر جدران مسائل الألفية السبعة.
منحنى بسيط يخفي عالمًا
لنبدأ بمعادلة تبدو غير مخيفة:
y² = x³ + ax + b
هذه واحدة من الصور الأساسية لما يسمى:
المنحنى الإهليلجي — Elliptic Curve
واسمه قد يضلل قليلًا.
فالمنحنى الإهليلجي ليس شكلًا بيضاويًا، وليس المقصود به القطع الناقص الذي نعرفه من الهندسة المدرسية.
إنه كائن جبري له بنية خاصة جدًا.
والسؤال الذي يهمنا ليس مجرد رسمه.
بل البحث عن نقاط عليه تكون إحداثياتها أعدادًا عقلانية.
مثل:
1/2
3/7
−5/4
أي أعداد يمكن كتابتها على صورة كسر بين عددين صحيحين.
نريد نقاطًا تحقق المعادلة تمامًا.
قد تجد نقطة.
ثم أخرى.
لكن السؤال الحقيقي هو:
كم نقطة عقلانية توجد؟
هل عددها محدود؟
أم توجد نقاط عقلانية بلا نهاية؟
وهنا تبدأ المشكلة.
لماذا لا نجرب كل الأعداد؟
لأن الأعداد العقلانية نفسها لا تنتهي.
بين صفر وواحد وحدهما توجد أعداد عقلانية لا نهائية.
1/2.
1/3.
2/3.
17/31.
ومهما اختبرت من الأعداد، يبقى أمامك عدد لا نهائي منها.
يمكن للحاسوب أن يبحث بعيدًا جدًا.
لكن البحث الطويل لا يتحول تلقائيًا إلى برهان.
إذا وجدنا مليون نقطة عقلانية، فهذا يثبت أن هناك مليون نقطة.
لكنه لا يثبت أن هناك عددًا لا نهائيًا منها.
وإذا بحثنا في تريليونات الاحتمالات ولم نجد شيئًا جديدًا، فهذا أيضًا لا يثبت أن الحل التالي غير موجود في مكان أبعد.
إذن نحتاج إلى شيء أذكى من البحث.
نحتاج إلى معرفة بنية مجموعة الحلول نفسها.
النقاط تستطيع أن تتكاثر
المنحنيات الإهليلجية تمتلك خاصية غريبة وجميلة.
يمكن، بطريقة هندسية محددة، أخذ نقطتين على المنحنى وإنتاج نقطة ثالثة.
ارسم خطًا يمر بالنقطتين.
غالبًا سيقطع المنحنى في نقطة ثالثة.
ثم، وفق قاعدة هندسية معينة، نحصل منها على نقطة جديدة.
وتتحول نقاط المنحنى بذلك إلى ما يشبه نظام حساب كامل.
يمكن جمع النقاط.
وتكرار نقطة.
وبناء نقاط جديدة من نقاط قديمة.
إنها ليست مجرد نقاط مرسومة على شكل.
إنها مجموعة لها بنية جبرية.
وهذا هو السبب في أن سؤال عدد الحلول يصبح أكثر عمقًا مما يبدو.
مورديل يكشف أول قطعة من السر
في عشرينيات القرن العشرين أثبت عالم الرياضيات لويس مورديل نتيجة أساسية.
النقاط العقلانية على منحنى إهليلجي لا تنتشر بلا نظام.
بل يمكن بناء مجموعتها من عدد محدود من النقاط الأساسية، مع جزء محدود آخر.
بصيغة مبسطة جدًا:
هناك عدد يسمى:
الرتبة — Rank
وهو يخبرنا بعدد الاتجاهات المستقلة التي نستطيع من خلالها توليد نقاط عقلانية جديدة.
إذا كانت الرتبة:
0
فإن عدد النقاط العقلانية يكون محدودًا.
أما إذا كانت الرتبة:
أكبر من صفر
فهناك عدد لا نهائي من النقاط العقلانية.
وهكذا أصبح السؤال:
كيف نحسب رتبة المنحنى؟
وهذا السؤال، رغم بساطة صياغته، شديد الصعوبة.
يدخل حاسوب كامبريدج إلى القصة
في أوائل ستينيات القرن العشرين كان عالما الرياضيات البريطانيان:
برايان بيرش
وبيتر سوينرتون–داير
يستخدمان الحواسيب المبكرة في جامعة كامبريدج لدراسة المنحنيات الإهليلجية.
لم تكن تلك الحواسيب تشبه أجهزتنا الحديثة.
لكنها سمحت لهما بإجراء عدد كبير من الحسابات كان تنفيذها يدويًا مرهقًا للغاية.
بدلًا من دراسة المنحنى مباشرة فوق الأعداد العقلانية، بدأا بالنظر إليه بطريقة أخرى.
أخذا المعادلة ونظرا إلى ما يحدث عندما تُدرس بالنسبة إلى أعداد أولية مختلفة.
وغيرها.
كانا يعدان عدد الحلول في عوالم عددية أصغر ومحدودة.
ثم يجمعان هذه المعلومات في بناء رياضي واحد.
وهنا ظهرت إشارة غريبة.
دالة لا يفترض أن تعرف… لكنها تعرف
من البيانات المرتبطة بالمنحنى يمكن بناء دالة تسمى:
دالة L — L-function
لا نحتاج إلى تفاصيل بنائها كي نفهم المفاجأة.
يكفي أن نعرف أن هذه الدالة تحمل معلومات تأتي من سلوك المنحنى عند أعداد أولية كثيرة.
لكن بيرش وسوينرتون–داير لاحظا شيئًا مدهشًا.
سلوك دالة L عند نقطة محددة جدًا:
s = 1
بدا مرتبطًا بشيء مختلف تمامًا:
رتبة النقاط العقلانية على المنحنى.
كان الأمر كأنك تجمع معلومات محلية صغيرة من أماكن كثيرة، ثم تكتشف أن الناتج يخبرك ببنية عالم كامل لا تستطيع رؤيته مباشرة.
ومن هنا ولدت الحدسية.
السؤال في قلب المسألة
لنقلها أولًا بلغتها الإنسانية.
لدينا منحنى إهليلجي.
ونريد أن نعرف إن كان يمتلك عددًا محدودًا من النقاط العقلانية أم عددًا لا نهائيًا منها.
بدلًا من محاولة العثور على النقاط واحدة تلو الأخرى، نبني دالة L الخاصة بالمنحنى.
ثم ننظر إلى سلوكها قرب:
s = 1
وتقول حدسية بيرش وسوينرتون–داير:
رتبة انعدام دالة L عند s = 1 تساوي رتبة مجموعة النقاط العقلانية على المنحنى الإهليلجي.
بكلمات أخرى:
الدالة تحمل في سلوكها عند نقطة واحدة معلومة عميقة عن بنية مجموعة الحلول العقلانية.
وهذا هو قلب المسألة.
صفر لا يعني دائمًا الشيء نفسه
قد تبدو كلمة «صفر» بسيطة.
لكن الصفر هنا له عمق.
قد تصل دالة إلى الصفر بطريقة بسيطة.
وقد تنعدم بدرجة أعلى.
رياضيًا نقول إن للصفر:
رتبة انعدام — Order of Vanishing
وتقول الحدسية:
رتبة انعدام دالة L عند s = 1 = رتبة مجموعة النقاط العقلانية.
فإذا كانت دالة L لا تنعدم عند هذه النقطة، تتوقع الحدسية أن تكون الرتبة صفرًا.
أي أن النقاط العقلانية محدودة العدد.
أما إذا انعدمت من الرتبة الأولى، فالرتبة المتوقعة للمنحنى هي 1.
وإذا انعدمت من الرتبة الثانية، فالرتبة المتوقعة هي 2.
وهكذا.
إنها صلة بين عالمين كان من الصعب توقع أن يعرف أحدهما هذا القدر عن الآخر.
كيف يمكن لدالة أن ترى نقاطًا لا نراها؟
هذا هو الجانب الأكثر جمالًا في الحدسية.
النقاط العقلانية شيء.
ودالة L شيء آخر.
الأولى تنتمي إلى دراسة حلول المعادلات.
والثانية تُبنى من معلومات حسابية مرتبطة بسلوك المنحنى عبر الأعداد الأولية.
ومع ذلك تقول الحدسية إنهما يصفان الحقيقة نفسها من جهتين مختلفتين.
تخيل أنك لا تستطيع رؤية مدينة من الأعلى.
لكن لديك أجهزة تقيس حركة المرور عند آلاف التقاطعات.
تجمع القياسات.
ثم تكتشف أن الأرقام لا تخبرك فقط بعدد السيارات.
بل تكشف لك عدد الطرق المستقلة التي تمتد عبر المدينة بأكملها.
هذا قريب من السحر الذي توحي به حدسية بيرش وسوينرتون–داير.
لكن في الرياضيات، لا يكفي أن يبدو الشيء صحيحًا.
يجب إثباته.
المحلي يخبرنا عن العالمي
هناك فكرة تتكرر كثيرًا في نظرية الأعداد:
هل يمكن للمعلومات المحلية أن تكشف الحقيقة العالمية؟
نأخذ معادلة.
ندرسها بالنسبة إلى أعداد أولية مختلفة.
في كل مرة نحصل على قطعة صغيرة من المعلومات.
ثم نجمع آلاف القطع.
وتصبح دالة L أشبه بأرشيف يحمل آثار سلوك المنحنى عبر عوالم عددية كثيرة.
والمفاجأة التي اقترحها بيرش وسوينرتون–داير هي أن هذا الأرشيف المحلي يعرف شيئًا عالميًا جدًا:
بنية الحلول العقلانية للمعادلة الأصلية.
من أجزاء صغيرة…
إلى حقيقة كبيرة.
ليست مجرد مسألة: هل توجد حلول؟
النسخة الأشهر من الحدسية تتعلق بمساواة الرتبة مع رتبة انعدام دالة L.
لكن الحدسية الكاملة أعمق من ذلك.
فهي لا تريد فقط معرفة عدد الاتجاهات المستقلة للحلول.
إنها تتنبأ أيضًا بعلاقة دقيقة بين أول معامل غير صفري في توسع دالة L قرب النقطة الحرجة وبين عدة كميات حسابية عميقة مرتبطة بالمنحنى.
من بينها أشياء تحمل أسماء مثل:
المنظم — Regulator
وأعداد تاماگاوا — Tamagawa Numbers
والمجموعة الغامضة المعروفة باسم:
مجموعة تيت–شافاريفيتش — Tate–Shafarevich Group
وهنا تتحول المسألة من سؤال عن عدد الحلول إلى خريطة أعمق للبنية الحسابية للمنحنى.
لكن حتى أسماء هذه الأجسام تخبرنا أننا غادرنا منذ زمن الرياضيات المدرسية.
مجموعة غامضة اسمها شافاريفيتش
من أغرب أجزاء القصة مجموعة يرمز إليها عادة بالرمز:
Ш
ويطلق عليها اختصارًا:
Sha
وهي مرتبطة، بصورة مبسطة جدًا، بالفجوة التي قد تظهر بين نجاح المعادلة محليًا وفشلها عالميًا.
قد تبدو المعادلة قابلة للحل عندما ننظر إليها من زوايا محلية كثيرة.
ثم نكتشف أن الصورة العالمية تحمل عقبة لم تظهر في كل فحص منفرد.
حتى مسألة محدودية هذه المجموعة ترتبط بعمق بالصورة الكاملة لحدسية بيرش وسوينرتون–داير.
كأن بيرش وسوينرتون–داير لم يفتحا بابًا واحدًا.
بل وجدا خلف الباب ممرًا طويلًا من الأبواب.
لماذا تهم المنحنيات الإهليلجية أصلًا؟
قد يبدو كل هذا لعبة رائعة داخل الرياضيات الخالصة.
لكنه ليس عالمًا معزولًا.
المنحنيات الإهليلجية تقع عند تقاطع مناطق كبيرة من الرياضيات:
نظرية الأعداد.
الهندسة الجبرية.
التحليل المركب.
الأشكال المعيارية.
ولها أيضًا تطبيقات عملية، أشهرها:
التشفير بالمنحنيات الإهليلجية.
لكن أهمية حدسية بيرش وسوينرتون–داير لا تأتي أساسًا من التشفير.
المسألة أعمق.
إنها تحاول فهم واحدة من أقدم رغبات البشر الرياضية:
متى يكون لمعادلة حلول؟ وكم عددها؟
المسألة التي أعادتنا إلى فيرما
هناك أيضًا علاقة تاريخية جميلة.
العمل على المنحنيات الإهليلجية والأشكال المعيارية كان جزءًا أساسيًا من الطريق الذي أدى في النهاية إلى برهان:
مبرهنة فيرما الأخيرة.
أثبت أندرو وايلز، ثم اكتمل العمل بتطورات لاحقة، الصلة المطلوبة لفئات واسعة من المنحنيات الإهليلجية بالأشكال المعيارية.
وكان ذلك تحولًا كبيرًا في نظرية الأعداد.
وأصبح لدينا أساس قوي لفهم دوال L المرتبطة بهذه المنحنيات.
لكن ذلك لم يحل حدسية بيرش وسوينرتون–داير.
وكأن الرياضيات استطاعت بناء الطريق المؤدي إلى الجبل.
لكن القمة بقيت هناك.
ما الذي نعرفه؟
حدسية بيرش وسوينرتون–داير ليست لغزًا لا نعرف عنه شيئًا.
هناك نتائج عميقة جدًا تؤكد أجزاء مهمة من الصورة المتوقعة.
وقد أثبتت أعمال علماء مثل بريان غروس، دون زاغير، وفيكتور كوليفاغين نتائج قوية تؤكد أجزاء مهمة من الحدسية عندما تكون الرتبة التحليلية صفرًا أو واحدًا، تحت الفرضيات المناسبة.
هذه النجاحات لا تشكل برهانًا عامًا.
لكنها تخبرنا أن الحدسية ليست تخمينًا عابرًا.
نرى الطريق في أماكن كثيرة.
لكننا لا نستطيع إثبات أن الطريق يمتد عبر القارة كلها.
ثم جاءت جائزة المليون
عام 2000 اختار معهد كلاي للرياضيات سبع مسائل كبرى، ووضع لكل واحدة جائزة مقدارها مليون دولار.
وكانت حدسية بيرش وسوينرتون–داير واحدة منها.
لكن كما حدث في بقية حلقات هذه السلسلة، المليون ليس القصة الحقيقية.
المشكلة ليست:
من سيحصل على المال؟
بل:
كيف يمكن لدالة مبنية من معلومات حسابية أن تعرف بنية حلول معادلة كاملة؟
هذا هو السؤال الذي يستحق أكثر من الجائزة.
ماذا يقول غلافنا؟
في الغلاف نرى منحنى مضيئًا.
ونرى حوله نقاطًا ذهبية.
لكنها ليست مجرد زينة.
المنحنى يمثل العالم الهندسي للمعادلة.
والنقاط توحي بالحلول التي نحاول فهمها.
وفي المنتصف تقف:
s = 1
النقطة التي يصبح عندها سلوك دالة L مفتاحًا للغز.
ثم تتناثر النقاط في الظلام.
بعضها ظاهر.
وبعضها كأنه يمتد إلى ما لا نستطيع رؤيته.
وهذا بالضبط هو السؤال:
كيف تخبرنا دالة عن حلول لم نعثر عليها واحدةً واحدة؟
الغلاف لا يرسم الحدسية حرفيًا.
بل يرسم فكرتها.
شيء نراه.
وشيء آخر نستدل عليه.
وبينهما جسر من الرياضيات.
الجدار السابع
وصلنا إلى الجدار الأخير.
في نافييه–ستوكس كانت المعادلات أمامنا، لكننا لم نعرف هل تبقى حلولها منتظمة دائمًا.
وفي قصة بوانكاريه رأينا جدارًا سقط بالفعل، ورجلًا حل إحدى مسائل الألفية ثم رفض الجائزة.
وفي P مقابل NP سألنا إن كانت سهولة التحقق تعني سهولة الوصول إلى الحل.
وفي فرضية ريمان بحثنا عن النظام المختبئ خلف الأعداد الأولية.
وفي يانغ–ميلز وجدنا الفيزياء تعمل قبل اكتمال البرهان الرياضي المطلوب.
وفي حدسية هودج وقفنا بين الجبر والهندسة نسأل إن كان الأثر يمكن إعادته إلى أصله الجبري.
أما هنا، في الجدار السابع، فالمفارقة مختلفة.
لدينا معادلة.
ولدينا حلول.
ولدينا دالة.
ويبدو أن الدالة تعرف عن الحلول أكثر مما نستطيع اكتشافه بالبحث المباشر.
لقد أخذ بيرش وسوينرتون–داير واحدًا من أقدم أسئلة الرياضيات:
كم حلًا لهذه المعادلة؟
وحولاه إلى سؤال جديد:
ماذا تفعل الدالة عند نقطة واحدة؟
بين السؤالين تمتد واحدة من أعظم الجسور غير المكتملة في الرياضيات.
خلف السطور
ربما كانت هذه أفضل نهاية لسلسلة مسائل الألفية.
لأننا بدأناها ونحن نسأل عن حدود العقل البشري.
وانتهينا بدالة تخبرنا بشيء لا نستطيع رؤيته مباشرة.
فالرياضيات لا تتقدم دائمًا بأن ننظر إلى الشيء نفسه أكثر.
أحيانًا ننظر إلى شيء آخر تمامًا.
ثم نكتشف أنه كان يحمل الإجابة.
بيرش وسوينرتون–داير لم يقولا لنا:
ابحثوا عن كل الحلول.
قالا، في جوهر الفكرة:
راقبوا الأثر الذي تتركه الحلول في مكان آخر.
ربما لا نستطيع رؤية جميع النقاط.
لكن دالة L تبدو وكأنها تحمل في سلوكها معلومة عن عدد الاتجاهات المستقلة التي تأتي منها تلك الحلول.
وما زال البرهان العام غائبًا.
وهنا ينتهي الجدار السابع.
لكن السؤال الذي بدأ السلسلة لا ينتهي:
هل تقف هذه المسائل أمام حدود الرياضيات… أم أمام حدود الأدوات التي اخترعناها حتى الآن؟
ربما يأتي شخص يومًا ما فيجد أن أحد هذه الجدران لم يكن جدارًا أصلًا.
بل بابًا.
وكان ينقصنا فقط أن نعرف كيف نفتحه.
نهاية السلسلة
مسائل الألفية: سبعة جدران أمام العقل البشري
سبعة أسئلة.
عبرت الفيزياء، والحوسبة، والأعداد الأولية، والهندسة، والجبر.
واحد منها فقط سقط حتى الآن.
وستة ما زالت واقفة.
لكن تاريخ الرياضيات يعلمنا شيئًا واحدًا:
الجدار الذي بقي قرنًا لا يضمن أن يبقى واقفًا