كرة ملساء ليست مستديرة إلا عند نقطة واحدة

تنحني الكرة بالطريقة نفسها في كل اتجاه. أما جانب كرة الرغبي فلا: فهو ينحني بحدّة حول محيطها، وبلطف فقط على امتداد طولها. وعند كل نقطة من سطح ما، يسجّل علماء الهندسة أقوى انحناء وأضعفه، وهما يقعان دائمًا في اتجاهين متعامدين؛ ويسمّيان الانحناءين الرئيسيين (principal curvatures). والنقطة التي يتساويان عندها، أي حيث ينحني السطح بالطريقة نفسها في كل الاتجاهات، تسمى نقطة سُرّية (umbilic). وعلى كرة تامة، كل نقطة هي نقطة سُرّية.

عدّ الدورات حول نقطة سُرّية

بعيدًا عن النقاط السُّرّية، ترسم اتجاهات أقوى انحناء وأضعفه عائلتين من الخطوط على السطح، تتقاطعان بزوايا قائمة في كل مكان. سِر مرة واحدة حول نقطة سُرّية معزولة على امتداد حلقة صغيرة، وتتبّع أحد هذه الخطوط: إنه يدور. وعدد الدورات التي يقوم بها هو مؤشر (index) النقطة السُّرّية. ولأن الخط لا سهم له، يمكنه أن يعود منطبقًا على نفسه بعد نصف دورة، لذا يمكن أن يكون المؤشر نصف عدد صحيح، مثل 3/2.

حدسيتان، كما تنص عليهما الورقة:

• حدسية لوفنر (Loewner): مؤشر النقطة السُّرّية المعزولة لا يتجاوز 1.
• حدسية كاراتيودوري (Carathéodory): لكل سطح منتظم محدب مغلق (سطح أملس بلا حواف يتحدّب نحو الخارج في كل موضع، كالبيضة) في الفضاء الثلاثي الأبعاد العادي نقطتان سُرّيتان على الأقل.

الحدسيتان مترابطتان. فعلى سطح محدب مغلق نقاطه السُّرّية معزولة، يكون مجموع المؤشرات دائمًا 2. فإذا لم يكن بوسع أي منها أن يتجاوز 1، لزمت نقطتان سُرّيتان على الأقل: أي إن حدسية لوفنر تستلزم حدسية كاراتيودوري. أما نقطة سُرّية وحيدة فسيتعين عليها أن تحمل الـ2 كاملة بمفردها، فتنقض الحدسيتين معًا.

أُعلن عنها في أغسطس، وأعيد بناؤها من الجيوب

لم تأتِ الأمثلة المضادة الأولى من هذه الورقة. فبحسب مقدمتها، أعلن ل. ألبوغه (L. Alpöge) عن أمثلة مضادة للحدسيتين كلتيهما في حالة السطوح الملساء، «طُوِّرت بمساعدة الذكاء الاصطناعي»، في منشور على X بتاريخ 19 أغسطس 2026. وبناء ألبوغه المحلي يبلغ بالفعل مؤشرًا قدره 1 + k/2 لكل عدد صحيح موجب k، كما يذكر ألبوغه سطحًا مغلقًا محدبًا تمامًا ليس له إلا نقطة سُرّية واحدة بالضبط، مؤشرها 2.

سعى ناويا أندو (Naoya Ando)، من جامعة كوماموتو، وماساأكي أوميهارا (Masaaki Umehara)، من معهد طوكيو للعلوم (Institute of Science Tokyo)، إلى تقديم «بناء أبسط عبر صيغة معدّلة من بناء ألبوغه». فدالة الانطلاق عند ألبوغه تجمع ثلاث دوال جيب تمام بمعاملات −1/4 و3/10 و−1/32، داخل دوال تتضمن ثوابت مثل 10¹⁰ و100. أما «بذرتهما» فهي:

F(x, y) = a(x) − a(y) + sin x sin y، حيث a(t) = sin⁴t + 3 sin²t

تخيّل دالة في متغيرين على أنها تضاريس من نتوءات وتجاويف. لا تحتاج البذرة إلا إلى خاصية واحدة: ألا تنحني هذه التضاريس في أي مكان بالطريقة نفسها في كل الاتجاهات. وبالمصطلحات التقنية، فإن مصفوفة هيسيان عديمة الأثر (trace-free Hessian) الخاصة بها، أي جدول المشتقات الثانية بعد تجريده من جزئه «المتماثل في كل الاتجاهات»، لا تنعدم أبدًا. ولهذه البذرة، يستغرق التحقق ثلاثة أسطر. فالخاصية مختزلة في عدد مركب واحد، أي زوج من الأعداد العادية، جزء «حقيقي» وجزء «تخيلي»، لا يساوي الصفر إلا إذا انعدم كلاهما: 12 − 16(sin⁴x + sin⁴y) + 2i cos x cos y. وجزؤه التخيلي لا ينعدم إلا حيث تنعدم إحدى دالتي جيب التمام؛ وهناك تساوي إحدى دالتي الجيب ±1، فلا يتجاوز جزؤه الحقيقي −4. إذن فهو لا يساوي الصفر أبدًا.

يذكر المؤلفان أنهما استعانا بـChatGPT في البحث عن دوال مرشحة وفي مراجعة النص، وأنهما تحققا من كل حجة بنفسيهما.

طيّ نمط لا نهائي في نقطة

تتكرر البذرة إلى ما لا نهاية عبر المستوى. ويضغطها المؤلفان كلها داخل قرص صغير جدًا: H_k(z) = exp(−|z|^(−k/4)) F(z^(−k/2))، حيث z نقطة من المستوى مكتوبة في صورة عدد مركّب واحد، وk عدد صحيح موجب للمؤلفين حرية اختياره. يرسل هذا التعويض الأطراف البعيدة للمستوى نحو المركز، فيتراكم نمط الجيوب في حلقات تزداد ضيقًا حوله. ويسحق العامل الأُسّي كل شيء: عند المركز، تنعدم الدالة وجميع مشتقاتها. ويسمي الرياضيون مثل هذه الدالة مسطّحة (flat).

حول ذلك المركز، تدور اتجاهات أقوى انحناء لهذه التضاريس 1 + k/2 مرة: 3/2 عند k = 1، و2 عند k = 2، و5/2 عند k = 3، بلا حد أعلى (المبرهنة 1.3). وكان المؤلفان نفساهما، مع فوجيياما (Fujiyama)، قد بلغا من قبل مؤشرات كبيرة بقدر ما نشاء بأمثلة ليست إلا من الصنف C¹، أي قابلة للاشتقاق مرة واحدة، عند النقطة السُّرّية؛ أما هذه الأمثلة الجديدة فملساء.

لتحويل التضاريس إلى سطح، يستخدم المؤلفان دالة إسناد (support function): فهي تعطي، لكل اتجاه، المسافة من مركز ما إلى المستوى المسطح الذي يمسّ السطح من تلك الجهة، كمسطرة مضغوطة على حصاة. ودالة الإسناد الثابتة تصف كرة. وإضافة مضاعف صغير للتضاريس إلى ذلك الثابت تعطي سطحًا تطابق نقاطه السُّرّية ومؤشراتها نقاط التضاريس ومؤشراتها. وهذا تقابل كلاسيكي؛ ولا تبرهن الورقة إلا الجزء الذي تحتاجه للسطح المغلق، وتستشهد بالباقي. والنتيجة: قطع صغيرة من سطح أملس تحمل نقاطًا سُرّية مؤشرها 1 + k/2 لكل k، فلا سقف للمؤشر. ويصح الأمر نفسه على صنف من السطوح في فضاء لورنتز–مينكوفسكي (Lorentz–Minkowski)، حيث يُطرح، في صيغة فيثاغورس للمسافة، مربع أحد فروق الإحداثيات الثلاثة بدل أن يُضاف.

النقطة السُّرّية الوحيدة تقع عند القطب الشمالي

للحصول على السطح المغلق، يُلَفّ المستوى اللامتناهي للبذرة حول كرة، كإسقاط خرائطي معكوس: فهو يغطي كل نقطة ما عدا القطب الشمالي، حيث تلتقي كل أطرافه البعيدة. وتُخمَد البذرة بطريقة أخرى، بحيث تتلاشى أسرع من أي قوة للمسافة عن مركز ذلك المستوى، ويضاف مضاعف صغير ε منها إلى دالة الإسناد للكرة. وإذا كانت ε صغيرة بما يكفي، تكون النتيجة سطحًا مغلقًا شبه مستدير محدبًا تمامًا (strictly convex): أي إنه منتفخ نحو الخارج في كل مكان. وعند كل نقطة ما عدا واحدة، تستبعد خاصية البذرة وجود نقطة سُرّية. والاستثناء هو القطب الشمالي، N = (0, 0, 1): فهناك تطابق دالة الإسناد دالة الكرة في كل مشتقاتها، لذا فإن N نقطة سُرّية، وهي الوحيدة (المبرهنة 2.2). وبما أن مجموع المؤشرات يجب أن يساوي 2، فمؤشرها 2. نقطة سُرّية واحدة: تسقط حدسية كاراتيودوري. ومؤشر 2، أي أكثر من 1: وتسقط حدسية لوفنر أيضًا.

أملس، لكنه ليس تحليليًا

كل سطح في الورقة قابل للاشتقاق إلى ما لا نهاية، أي «أملس». ويوضح المؤلفان أن سطوحهما في الفضاء العادي ليست تحليلية حقيقية (real analytic)، وهو نوع أشد صرامة من الملاسة يكون فيه الشكل، قرب كل نقطة، معطى بالضبط بمجموع لا نهائي من القوى. ولا تقول الورقة شيئًا عما إذا كان يمكن أن يكون للسطوح التحليلية نقطة سُرّية وحيدة. وهي تصف نفسها بأنها مكتفية بذاتها فيما يخص النقطة السُّرّية ذات المؤشر 2 والمثال المضاد لحدسية كاراتيودوري. ولا تتضمن أي صورة للسطح: فالثابتان اللذان يشكّلانه، δ وε، لا يُشترط فيهما إلا أن يكونا «صغيرين بما يكفي»، ولا تُعطى لهما أي قيمة.