An Exact Counterexample to Carlson's Associated-Prime Depth Conjecture from a Group of Order 128

ملخص تقني: مثال مضاد دقيق لتخمين كارلسون حول العمق والبدائل الأولية المرتبطة

1. بيان المسألة

تتناول الورقة السؤال 3.1 الذي طرحه جيه. إف. كارلسون في عمله عام 1995 حول العمق وخرائط النقل. يتساءل السؤال عما إذا كان لزمرة منتهية $G$ وحقل $k$ ذي الخاصية $p$، يكون عمق حلقة الكوهومولوجيا $H^*(G; k)$ محققًا دائمًا بواسطة بُعد أحد بدائلها الأولية المرتبطة.

رسميًا، ليكن $A = H^*(G; k)$. يُعرف العمق (depth) لـ $A$، ويُرمز له بـ $\text{depth } A$، بأنه الطول الأقصى لتتابع منتظم في مثالي العناصر ذات الدرجة الموجبة. البدائل الأولية (associated primes) لـ $A$ هي المثاليات الأولية $\mathfrak{p} = \text{ann}_A(a)$ لبعض $a \in A$. يفترض التخمين التساوي التالي:
$$\text{depth } H^*(G; k) = \min_{\mathfrak{p} \in \text{Ass } H^*(G; k)} \dim H^*(G; k)/\mathfrak{p}$$
بينما يُعد المتباينة $\text{depth } A \le \dim A/\mathfrak{p}$ معيارية، إلا أن التخمين يؤكد أن الحد الأدنى الذي يوفره العمق يتم تحقيقه دائمًا بواسطة بديل أولي ما. وقد أكدت الأعمال السابقة لكل من غرين، وشافر، وغارايالدي أوكانا وآخرين، هذا التساوي لفئات محددة من زمر $p$-العددية، لكن الحالة العامة ظلت مفتوحة حتى أواخر عام 2025.

2. المنهجية

يستخدم المؤلفون استراتيجية ثلاثية الطبقات تجمع بين الحصر النظري للزمر، والجبر التبدلي، والتحقق الدقيق بمساعدة الحاسوب لبناء مثال مضاد.

أ. الاختزال النظري (جسر أوكوياما)
يعتمد البرهان على مبرهنة أوكوياما (المبرهنة 3.1)، والتي تثبت وجود تناظر بين البدائل الأولية والزمر الإبدالية الأولية. وتحديدًا، إذا كان للبديل الأولي $\mathfrak{p}$ بُعد خارجي $s$، فإنه يوجد زمرة إبدالية أولية $E \le G$ برتبة $s$ بحيث:
$$\text{depth } H^*(C_G(E); k) = s$$
وبناءً على ذلك، لإبطال التخمين لزمرة ذات $\text{depth } H^*(G; k) = 2$، يكفي إثبات أنه بالنسبة لـ كل زمرة إبدالية أولية من الرتبة الثانية $E \le G$، فإن عمق مركزها $C_G(E)$ أكبر تمامًا من 2 (أي $\ge 3$).

ب. الحصر النظري للزمر
اختار المؤلفون الزمرة المنتهية $G = \text{SmallGroup}(128, 859)$ فوق الحقل $k = \mathbb{F}_2$. تم تحديد هذه الزمرة من كتالوج غرين وكينغ، الذي يسجل بُعدها كريمل كـ 4 وعمقها كـ 2.

• قام المؤلفون بإجراء حصر شامل لجميع الزمر الإبدالية الأولية من الرتبة الثانية (المتشابهة مع $C_2 \times C_2$) في $G$.
• تقوم الإجراءات بإدراج جميع الابتكارات غير المحايدة، والأزواج المتبادلة، وإزالة التكرار من الزمر الجزئية.
• نتج عن ذلك بالضبط 75 زمرة من هذا النوع، تندرج تحت 6 أنواع متميزة من المركز (centralizers) من حيث التماثل الزمرِي.

ج. الشهادات الجبرية الدقيقة
لكل نوع من أنواع المراكز الستة، يحدد المؤلفون عمق حلقة الكوهومولوجيا $H^*(C_G(E); \mathbb{F}_2)$:

1. أربعة أنواع (مراكز برتبة $\ge 3$): بالنسبة للمراكز المتشابهة مع $\text{SmallGroup}(16, 10)$، و$(16, 14)$، و$(32, 22)$، و$(32, 46)$، طبق المؤلفون مبرهنة دوفلوت. وبما أن رتبة مركز هذه الزمر هي 3 على الأقل، فإن مبرهنة دوفلوت تضمن فورًا أن $\text{depth } H^*(C_G(E); \mathbb{F}_2) \ge 3$.
2. نوعان استثنائيان (مراكز برتبة 2): بالنسبة للمراكز المتشابهة مع $\text{SmallGroup}(64, 90)$ و$(64, 216)$، تضمن مبرهنة دوفلوت فقط عمقًا $\ge 2$. ولإقصاء احتمال أن يكون العمق 2، قام المؤلفون ببناء تتابعات منتظمة دقيقة بطول 3 باستخدام تقديمات حدودية صريحة لحلقات الكوهومولوجيا.
   • استخدموا حسابات مثال النقطتين (colon ideal): $(I : f) = I$ التي تشهد أن $f$ ليس منقسم على صفر بمقياس $I$.
   • تحققوا من ثلاث مساواة متتالية لـ "الاستعارة" (colon equalities) لعناصر متجانسة محددة في تقديم كل حلقة، مما يثبت وجود تتابع منتظم بطول 3.
   • تم إجراء هذه الحسابات فوق $\mathbb{F}_2$ باستخدام تقنيات قواعد غروبر (Gröbner basis). وبموجب التمهيدية 5.3 (ثبات تغيير القاعدة)، فإن هذه النتائج تسري على أي حقل مغلق جبريًا ذي خاصية 2.

3. النتائج الرئيسية

تثبت الورقة المبرهنة التالية:

المبرهنة 2.1: لتكن $G = \text{SmallGroup}(128, 859)$ و $k = \mathbb{F}_2$. إذن:

1. $\text{depth } H^*(G; k) = 2$.
2. $\omega_a(H^*(G; k)) \ge 3$، حيث $\omega_a$ هو الحد الأدنى لبعد خارج البديل الأولي.
3. وبناءً على ذلك، $\text{depth } H^*(G; k) < \min_{\mathfrak{p} \in \text{Ass } H^*(G; k)} \dim H^*(G; k)/\mathfrak{p}$.

كما تم تقديم برهان لـ $\text{depth } H^*(G; k) = 2$ عبر شهادات دقيقة:

• تم بناء تتابع منتظم بطول 2 ($f_1, f_2$).
• تم عرض عنصر "سوكلي" (socle) غير صفري $w$ في الخارج $A/(f_1, f_2)$، مما يثبت عدم وجود عناصر منتظمة إضافية، وبالتالي تحديد العمق عند 2 تمامًا.

4. الأهمية والادعاءات

تدعي الورقة تقديم أول مثال مضاد دقيق لتخمين كارلسون المتعلق بالتساوي بين العمق وبُعد البدائل الأولية المرتبطة.

• حل مسألة مفتوحة: يعمل العمل على الإجابة بشكل نهائي على السؤال 3.1 بالسلب، موضحًا أن الحد الأدنى الذي يوفره العمق لحلقة الكوهومولوجيا لا يتم تحقيقه دائمًا بواسطة بديل أولي.
• الدقة المنهجية: يؤكد المؤلفون أن النتيجة لا تعتمد على تقديرات تقريبية أو عددية، بل تعتمد على شهادات جبرية دقيقة (مساواة مثال النقطتين وصيغ قواعد غروبر) وحصر زمر شامل.
• القابلية للتكرار: تتضمن الورقة تقديم الزمرة المنتهية، وتقديمات حلقات الكوهولوجيا، وملخص الحصر، والشهادات الجبرية المحددة اللازمة للتحقق المستقل.
• النطاق: المثال المضاد محدد للزمرة $\text{SmallGroup}(128, 859)$ في الخاصية 2. ولا تدعي الورقة توصيف جميع الزمر التي يفشل فيها التخمين، كما لا تقترح صيغة عامة جديدة للفجوة بين العمق وأبعاد البدائل الأولية.

يلاحظ المؤلفون أن البناء يعتمد على نتائج سابقة (كتالوج غرين وكينغ ومبرهنة أوكوياما)، ولكن المحتوى الجديد "الحامل للثقل" هو الحصر الكامل للزمر ذات الرتبة الثانية وحسابات العمق الدقيقة اللاحقة لمراكزها.