Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors

إليك ملخص تقني مفصل للورقة البحثية بعنوان "الاستمرارية الكاملة والوفية هومولوجياً لاندراج المودولات المشتركة (Comodule) ومؤثرات النسيان للمضادات (Contramodule)" للكاتب ليونيد بوزيتلسكي.

1. بيان المشكلة والسياق

تتقصى هذه الورقة العلاقة بين الخصائص الهومولوجية لـ "كولجيبرا" (coalgebra) $C$ فوق حقل $k$ وسلوك نوعين محددين من المؤثرات (functors) التي تربط فئات المودولات (modules) والمودولات المشتركة (comodules)/المضادات (contramodules):

1. مؤثر اندراج المودول المشترك ($\Upsilon$): $\Upsilon: C\text{--Comod} \to C^*\text{--Mod}$. هذا المؤثر يربط المودول المشترك $C$ بمودول $C^*$ (حيث $C^*$ هو جبر الثنائي). ومن المعروف أن هذا المؤثر دقيق (exact) ووفٍ كامل (fully faithful) على مستوى الفئات التجريدية (abelian categories). ومع ذلك، يبرز التساؤل: هل يحفز هذا المؤثر مؤثراً وفياً كاملاً على الفئات المشتقة (derived categories)؟
2. مؤثر نسيان المضاد ($\Theta$): $\Theta: C\text{--Contra} \to C^*\text{--Mod}$. هذا المؤثر يربط المضاد $C$ بالمودول $C^*$ الأساسي له. وعلى عكس $\Upsilon$، فإن $\Theta$ ليس وفياً كاملاً بشكل عام.

السؤال الجوهري: ما هي الشروط المفروضة على الكولجيبرا $C$ التي تجعل هذه المؤثرات تحفز مؤثرات ثلاثية (triangulated functors) وفية كاملاً على الفئات المشتقة المحدودة (أو نصف المحدودة)؟ تركز الورقة تحديداً على الكولجيبرات غير المتصلة (conilpotent coalgebras) (المعروفة أيضاً بالكولجيبرات النقطية غير القابلة للاختزال).

2. المنهجية

يستخدم المؤلف مزيجاً من الجبر الهومولوجي، ونظرية الكولجيبرا، ونظرية الفئات. وتشمل المكونات المنهجية الرئيسية ما يلي:

• المحللات الدنيا (Minimal Resolutions): بناء المحللات الحقنية الدنيا (minimal injective coresolutions) للمودولات المشتركة، والمحللات الإسقاطية الدنيا (minimal projective resolutions) للمضادات فوق الكولجيبرات غير المتصلة. وتتميز هذه المحللات باختفاء التفاضلات في "الأساس" (socle) أو "الأساس المتمم" (cosocle) (دالة $\gamma$).
• معقدات كوبار (Cobar Complexes): استخدام معقد كوبار لحساب مجموعات $\text{Ext}$ وهي $\text{Ext}^*_C(k, k)$ وربطها ببنية الجبر الثنائي $C^*$.
• الثنائية والثنائيات المزدوجة (Duality and Double Duals): تقنية مركزية تتضمن تحليل العلاقة بين فضاءات $\text{Ext}$ في فئة المودولات المشتركة وبين الثنائيات المزدوجة لهذه الفضاءات في فئات المضادات أو المودولات. تثبت الورقة أن $\text{Ext}^n_{C^*}(k, k)$ غالباً ما يكون متماثلاً مع الثنائي المزدوج $\text{Ext}^n_C(k, k)^{**}$.
• حجج الترشيح (Filtration Arguments): استخدام الترشيح المتزايد الطبيعي للمودولات المشتركة والترشيح المتناقص للمضادات (الناتج عن التعزيز/coaugmentation) لاختزال حسابات $\text{Ext}$ المعقدة إلى حالات أبسط تتضمن المودول البديهي $k$.
• نظرية الفئات المشتقة: تطبيق النتائج المتعلقة بالمؤثرات المرافقة (adjoint functors) ومؤثراتها المشتقة لربط الوفاء الكامل والتماثل للفئات التجريدية بتلاشي الدوال المشتقة العليا للمرافقات.

3. التعريفات الرئيسية

• الكولجيبرا الضعيفة ذات التماثل الكوزولي المحدود (Weakly Finitely Koszul Coalgebra): يُعرف الكولجيبرا غير المتصل $C$ بأنه ضعيف التماثل الكوزولي المحدود إذا كان فضاء المتجهات $\text{Ext}^n_C(k, k)$ ذا أبعاد منتهية لجميع قيم $n \geq 0$.
• المضادات المنفصلة (Separated Contramodules): هي المضادات $P$ حيث تكون الخريطة الطبيعية إلى نهاية ليميت (inverse limit) نواتج الترشيح الخاصة بها حقنية. تميز الورقة بين النتائج التي تنطبق على جميع المضادات والنتائج التي تتطلب خاصية الانفصال.

4. النتائج والنظريات الرئيسية

تتمثل المساهمة الرئيسية للورقة في إثبات تكافؤ عدة شروط تبدو متباينة، ملخصة في النظرية 1.1 والنظرية 1.2.

أ. تكافؤ الشروط (النظرية 1.1)

بالنسبة لكولجيبرا غير متصل $C$ ولعدد صحيح $n \geq 1$، فإن الشروط التالية متكافئة:

1. الخريطة $\text{Ext}^i_C(L, M) \to \text{Ext}^i_{C^*}(L, M)$ المستحثة بواسطة $\Upsilon$ هي تماثل لجميع المودولات المشتركة $L, M$ و $1 \leq i \leq n$.
2. الخريطة المماثلة للمودولات المشتركة من الجهة اليمنى هي تماثل.
3. الخريطة $\text{Ext}^i_{C}(P, Q) \to \text{Ext}^i_{C^*}(P, Q)$ المستحثة بواسطة $\Theta$ هي تماثل لجميع المضادات $P$، والمضادات المنفصلة $Q$، و $0 \leq i \leq n-1$.
4. فضاء المتجهات $\text{Ext}^i_C(k, k)$ ذو أبعاد منتهية لجميع $1 \leq i \leq n$.
5. فضاء المتجهات $\text{Ext}^i_{C^*}(k, k)$ ذو أبعاد منتهية لجميع $1 \leq i \leq n$.

الرؤية الجوهرية: إذا كان $\text{Ext}^n_C(k, k)$ ذا أبعاد غير منتهية، فإن الخريطة $\Upsilon$ تفشل في أن تكون شاملة (surjective) على $\text{Ext}^n$، بينما تفشل الخريطة $\Theta$ في أن تكون حقنية (injective) على $\text{Ext}^n$ (لأجسام محددة). وتحديداً، يصبح $\text{Ext}^n_{C^*}(k, k)$ متماثلاً مع الثنائي المزدوج $\text{Ext}^n_C(k, k)^{**}$، وهو أكبر بوضوح إذا كان الفضاء الأصلي ذا أبعاد غير منتهية.

ب. الوفاء الكامل والتماثل للفئات المشتقة (النظرية 1.2)

تثبت الورقة أن الشروط الثمانية التالية متكافية بالنسبة لكولجيبرا غير متصل $C$:

• المؤثرات الثلاثية المستحثة $\Upsilon^b: D^b(C\text{--Comod}) \to D^b(C^*\text{--Mod})$ و $\Upsilon^+: D^+(C\text{--Comod}) \to D^+(C^*\text{--Mod})$ هي وفية تماماً.
• المؤثرات الثلاثية المستحثة $\Theta^b: D^b(C\text{--Contra}) \to D^b(C^*\text{--Mod})$ و $\Theta^-: D^-(C\text{--Contra}) \to D^-(C^*\text{--Mod})$ هي وفية تماماً.
• الشرط: $\text{Ext}^n_C(k, k)$ ذو أبعاد منتهية لجميع $n \geq 0$ (أي أن $C$ ضعيف التماثل الكوزولي المحدود).

ملاحظة حول الفئات غير المحدودة: تشير الورقة صراحة إلى أنه لا يزال سؤالاً مفتوحاً ما إذا كانت هذه المؤثرات وفية تماماً على الفئات المشتقة غير المحدودة $D(C\text{--Comod})$ و $D(C\text{--Contra})$ في الحالة العامة، رغم أنه من المعروف أنها صحيحة لـ الكولجيبرات التبادلية (cocommutative) (عبر نتائج حول الحلقات المحلية النويثرية).

ج. فئات محددة من الكولجيبرات

• الكولجيبرات Co-Noetherian و Cocoherent: أي كولجيبرا غير متصل (يساري أو يميني) من نوع Co-Noetherian (أو finitely cogenerated cocoherent) هو ضعيف التماثل الكوزولي المحدود.
• الكولجيبرات التبادلية (Cocommutative): جميع الكولجيبرات التبادلية غير المتصلة ذات التوليد المحدود (finitely cogenerated) هي ضعيفة التماثل الكوزولي المحدود. وفي هذه الحالة الخاصة، يكون الجبر الثنائي $C^*$ حلقة محلية تبادلية نويثرية كاملة. وبالنسبة لهذه الحالة، تحفز $\Upsilon$ و $\Theta$ تكافؤات بين الفئات المشتقة لمودولات التورشن (torsion) والمضادات وبين الفئة المشتقة لمودولات $C^*$, مما يضمن الوفاء الكامل والتماثل حتى للمركبات غير المحدودة.

5. الأهمية والأثر

1. توحيد نظرية المودولات المشتركة والمضادات: توفر الورقة إطاراً متماثلاً يربط السلوك الهومولوجي للمودولات المشتركة والمضادات. وتوضح أن "الخلل" في الوفاء الكامل لأحد المؤثرات (مثل فشل $\Upsilon$ في الشمولية) هو ثنائي مباشرة للخلل في الآخر (مثل فشل $\Theta$ في الحقنية)، وكلاهما محكوم بالأبعاد المنتهية لـ $\text{Ext}^*_C(k, k)$.
2. توضيح مفهوم "الكسوزولية" (Koszulity): من خلال تقديم مصطلح "ضعيف التماثل الكوزولي المحدود"، يعمم المؤلف المفهوم الكلاسيكي للجبرات الكوزولية إلى سياق الكولجيبرا دون اشتراط وجود تدرج (grading). وهذا يلتقط فئة أوسع من الكولجيبرات التي تسلك الفئة المشتقة سلوكاً "جيداً".
3. حل الأسئلة المفتوحة: تحسم الورقة المسألة المتعلقة بمتى يؤدي اندراج المودولات العقلانية (rational modules) في جميع المودولات إلى مؤثر مشتق وفي تماماً، مبينة أن ذلك يعتمد كلياً على الأبعاد المنتهية لكو-هومولوجيا المودول البديهي.
4. الأمثلة المضادة: تبني الورقة أمثلة مضادة صريحة (المثال 6.4 والمثال 8.2) تظهر أنه إذا فشل شرط الأبعاد المنتهية، فإن المؤثرات لن تكون وفية تماماً، وأن فضاءات $\text{Ext}$ يمكن أن تصبح "أكبر بكثير" (ثنائيات مزدوجة) أو "أصغر بكلاً" (غير حقنية).
5. الارتباط بالجبر التبدلي: تربط النتائج نظرية الكولجيبرا بنظرية الحلقات المحلية النويثرية الكاملة، مبينة أن الفئة المشتقة للمودولات المشتركة فوق كولجيبرا تبادلي هي مكافئة للفئة المشتقة لمودولات التورشن فوق حلقة محلية.

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