The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$

ملخص تقني: زمرة ماثيو $M_{23}$ كزمرة غالوا فوق $\mathbb{Q}$

بيان المسألة
تتساءل مسألة "الغالوا العكسية" عما إذا كانت كل زمرة منتهية تظهر كزمرة غالوا لامتداد غالوا منتهي فوق الأعداد النسبية $\mathbb{Q}$. وبينما تم تحقيق 25 من أصل 26 من الزمر البسيطة المنتهية المتفرقة (sporadic finite simple groups) كزمر غالوا فوق $\mathbb{Q}$ بين عامي 1984 و1989، ظلت زمرة ماثيو $M_{23}$ هي الاستثناء الوحيد. لقد فشلت المحاولات السابقة لتحقيق $M_{23}$ فوق $\mathbb{Q}$، حيث لم تسفر إلا عن تحقيقات فوق حقول أخرى (مثل $\mathbb{Q}(\sqrt{-23})$ أو $\mathbb{Q}(\sqrt{-7})$ أو حقول عددية محددة $F$) أو فشلت في إنتاج امتداد منتظم لـ $\mathbb{Q}(t)$. تحل هذه الورقة المسألة من خلال إثبات أن $M_{23}$ هي بالفعل زمرة غالوا فوق $\mathbb{Q}$.

المنهجية
يستخدم المؤلفون مزيجًا من طريقة الصلابة (rigidity method)، وخوارزميات خرائط بلي (Belyi maps)، والتحقق الجبري.

1. فشل الصلابة القياسية: تعتمد طريقة الصلابة القياسية على إيجاد ثلاثية من فئات الترافق $(C_1, C_2, C_3)$ في $M_{23}$ بحيث يكون حجم فئة نيلسن المرتبطة بها يساوي 1 (ثلاثية "صلبة"). يوضح المؤلفون أنه بالنسبة لـ $M_{23}$، لا توجد مثل هذه الثلاثية الصلبة. أصغر حجم لفئة نيلسن لأي مجموعة متعددة مستقرة تحت تأثير $G_\mathbb{Q}$ هو 7، وهو ما يقابل الفئات $\{2, 23A, 23B\}$.
2. الثلاثية غير الصلبة وفضاء هيرتز (Hurwitz Space): بدلاً من الثلاثية الصلبة، يستخدم المؤلفون الثلاثية $\{2, 23A, 23B\}$. تنص نظرية الوجود الريماني على وجود سبعة غطاءات بالضبط لـ $M_{23}$ فوق $\mathbb{P}^1_\mathbb{C}$ متفرعة فوق المجموعة $S = \{0, \sqrt{-23}, -\sqrt{-23}\}$ مع مونودرومي محلي في هذه الفئات. ينتج عن قسمة مثل هذا الغطاء على مثبت نقطة منحنى من النوع (genus 4) يُرمز له بـ $X_C$.
3. الحساب العددي لخرائط بلي: باستخدام حزمة BelyiDB (التي تنفذ خوارزميات بواسطة Klug وMusty وSchiavone وSijsling وVoight، والمستوحاة من Hejhal وStark)، يقوم المؤلفون بحساب المنحنيات السبعة $X_C$ المرتبطة بفئة نيلسن عددياً. يتضمن ذلك حساب التوسعات المتسلسلة للقوى للأشكال التفاضلية بدقة عالية.
4. التعرف الجبري: يتم التعرف على معاملات المنحنيات المحسوبة كأعداد جبرية باستخدام خوارزمية PSLQ. ومن المثير للاهتمام، وجد المؤلفون أن حقل المعاملات (field of moduli) لأحد هذه المنحنيات السبعة هو $\mathbb{Q}$، على الرغم من التوقعات بأن تعمل زمرة غالوا $G_\mathbb{Q}$ بشكل متعدٍ على مجموعة السبعة. هذه النقطة الثابتة تسمح للمنحنى بالهبوط إلى نموذج $X$ معرف فوق $\mathbb{Q}$.
5. بناء الامتداد:
   • يبني المؤلفون نموذجاً كنسياً للمنحنى $X_K$ (حيث $K=\mathbb{Q}(\sqrt{-23})$) كتقاطع كامل لمتعدد حدود من الدرجة الثانية وثالثة في $\mathbb{P}^3$.
   • يحسبون الدوال النسبية $u$ و $v$ على $X$ لتعريف خريطة من الدرجة 23 $t: X \to \mathbb{P}^1$.
   • من خلال تحليل حقل الدوال $K(X)$ وتطبيق الجبر الخطي بمقياس الأعداد الأولية الصغيرة، يعيدون بناء متعدد حدود $F(T, V) \in \mathbb{Q}[T, V]$ من الدرجة 23 في $V$.
6. التحقق من زمرة غالوا:
   • المونودرومي الهندسي: المونودرومي المحلي عند نقاط التفرع (دورة من الدرجة 23 عند $\pm\sqrt{-23}$ ونوع دورة محدد عند 0) يعني أن زمرة المونودرومي الهندسي $G_{geom}$ تحتوي على $M_{23}$.
   • المونودرومي الحسابي: من خلال تخصيص متعدد الحدود بمقياس 31 واستخدام نظام Magma للمصادقة على أن زمرة المونودرومي الحسابي هي $M_{23}$، يثبتون أن $G_{geom} = G_{arith} = M_{23}$. وبما أن $M_{23}$ ليست زمرة عادية في أي زمرة أكبر من $S_{23}$، فإن $G_{geom} = G_{arith} = M_{23}$.

المساهمات والنتائج الرئيسية

• النظرية 1.1: يوجد امتداد غالوا لـ $\mathbb{Q}$ بزمرة غالوا هي $M_{23}$.
• النظرية 1.3: يوجد امتداد غالوا منتظم لـ $\mathbb{Q}(t)$ بزمرة غالوا هي $M_{23}$. هذه نتيجة أقوى، مما يعني وجود امتدادات لا متناهية من هذا النوع فوق $\mathbb{Q}$ عبر نظرية عدم قابلية التجزئة لهيلبرت.
• متعددات حدود صريحة: يقدم المؤلفون متعددات حدود صريحة من الدرجة 23 بمعاملات نسبية.
  • المثال 1.2: متعدد حدود $f(x)$ يكون مجال انقسامه امتداداً لـ $M_{23}$ فوق $\mathbb{Q}$ غير متفرع خارج $\{2, 3, 23\}$.
  • المثال 3.7: تخصيص $f(x)$ بارتفاع أقل غير متفرع خارج $\{2, 7, 23\}$.
• النتيجة 1.4: تمتد النتائج إلى أي حقل عددي $k$، مما يثبت وجود امتدادات $G$-منتظمة لـ $k(t)$ وامتدادات $G$-مستقلة متبادلة لـ $k$ لأي زمرة بسيطة متفرقة $G$.

الأهمية
تكمل هذه الورقة البرنامج الرامي إلى تحقيق جميع الـ 26 زمرة بسيطة متفرقة كزمر غالوا فوق $\mathbb{Q}$. كان تحقيق $M_{23}$ هو الحالة الأخيرة العالقة. تكمن أهمية العمل ليس فقط في النتيجة نفسها، بل في المنهجية: فقد نجحت في تجاوز فشل طريقة الصلابة القياسية من خلال استغلال ثلاثية غير صلبة حيث تمتلك عملية فعل غالوا على فضاء هيرتز نقطة ثابتة. يسمح هذا بهبوط غطاء معرف فوق حقل عددي إلى غطاء معرف فوق $\mathbb{Q}$، وهي ظاهرة يلاحظ المؤلفون افتقارهم لتفسير مفاهيمي لها، واصفين إياها بأنها "إعجازية".

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