Hochschild cohomology of the second kind: Koszul duality and Morita invariance

إليك ملخص تقني مفصل للورقة البحثية بعنوان "كوهومولوجيا هوتشهالد من النوع الثاني: التناظر الكوشولي واللإبقاء الموريتي" (Hochschild Cohomology of the Second Kind: Koszul Duality and Morita Invariance) للباحثين أ. غوان، ج. هولشتاين، وأ. لازاريف.

1. بيان المشكلة والدوافع

المشكلة الجوهرية:
تُعد كوهومولوجيا هوتشهالد ($HH$) ثابتًا أساسيًا للجبرات الترابطية والفئات التفاضلية الجبرية (dg)، وهي مرتبطة ارتباطًا وثيقًا بتكميم التشوه (deformation quantization) والفئات المشتقة. ومع ذلك، فإن كوهمولوجيا هوتشهالد القياسية (من "النوع الأول") تُعرف عبر التجميع الكلي للمركب الهوتشهلدي باستخدام الضرب المباشر (direct products). وبالنسبة للجبرات التفاضلية الجبرية (dg algebras)، غالبًا ما يفشل هذا التعريف في التقاط المعلومات الهندسية الكاملة التي تشفرها الفئة المشتقة للجبر.

لقد تم اقتراح "نوع ثانٍ" من كوهومولوجيا هوتشهالد (بواسطة بوسيتلسكي وبولشيتسكي)، باستخدام الجمع المباشر (direct sums) لعملية التجميع الكلي. وبينما يكون هذا الإصدار أكثر حساسية للهياكل الهندسية (مثل التفككات المصفوفية أو الأنظمة المحلية)، إلا أن التعريفات الموجودة تعاني من مشكلتين رئيسيتين:

1. الافتقار إلى الإبقاء الموريتي (Morita Invariance): التعريفات القياسية ليست دائمًا ثابتة تحت "تكافؤات موريتي من النوع الثاني" (تكافؤات الفئات المشتقة الملتوية).
2. عدم التوافق مع التناظر الكوشولي (Kosulus Duality): لم يتم إثبات العلاقة بين كوهومولوجيا النوع الثاني لجبر ما وكوشوله المزدوج (coalgebra) بشكل كامل، لا سيال في الحالات غير اللاشيطانية (non-conilpotent).

الهدف:
يهدف المؤلفون إلى تعريف نسخة قوية من كوهمولوجيا هوتشهالد من النوع الثاني بحيث:

• تكون ثابتة تحت تكافؤات موريتي المناسبة من النوع الثاني.
• تكون متوافقة مع التناظر الكوشولي (ربط الجبرات ببنائها الباري/كوباري المزدوج).
• تحسب كوهومولوجيا هوتشهالد العادية للفئات التفاضلية الجبرية ذات الأهمية الهندسية (مثل الفئات المشتقة للحزم المتماسكة أو الأنظمة المحلية اللانهائية $\infty$-local systems).

2. المنهجية والإطار العملي

تعمل الورقة ضمن إطار الجبر الهومولوجي من النوع الثاني، حيث يتم تنقيح مفهوم التكافؤ الضعيف ليتجاوز مجرد التكافؤات شبه المتساوية (quasi-isomorphisms).

التعريفات والأدوات الرئيسية:

• الفئة المشتقة الملتوية ($D^{\text{II}}_c(A)$): تعمل الفئات مع "الفئة المشتقة الملتوية" (التي كانت تسمى سابقًا الفئة المشتقة المولدة بشكل مضغوط من النوع الثاني)، وهي فئة مولدة بواسطة النماذج المثالية من النوع الثاني ($\text{Perf}^{\text{II}}(A)$)، وهي تراجعات لمركبات ملتوية منتهية التوليد.
• بنى النماذج (Model Structures): يستخدم المؤلفون بنى نماذج محددة على النماذج الجبرية التفاضلية (dg modules) حيث تُعرف التكافؤات الضعيفة عبر المخروطات شبه المكتملة (coacyclic) أو المخروطات المضادة للاكتمال (contra-acyclic)، بدلاً من مجرد التكافؤات شبه المتساوية.
• التناظر الكوشولي: توسع الورقة التناظر الكوشولي ليشمل ثنائيات النماذج (bimodules). ويثبتون وجود تكافؤات كويلن (Quillen equivalences) بين:
  • ثنائيات النماذج فوق جبر تفاضلي جبري $A$ و ثنائيات المكونات (bicomodules) فوق بناء بار (bar construction) $BA$ (أو البناء الباري الموسع $qBA$).
  • النماذج فوق جبر شبه متراص (pseudocompact algebra) $C$ والنماذج فوق بناء كوبار (cobar construction) $\Omega C$.
• الأجبرات المنحنية (Curved Algebras): يتم تعميم النظرية لتشمل الأجبرات المنحنية (حيث $d^2 \neq 0$ ولكن $d^2 = [h, -]$)، وهي ضرورية لتطبيقات مثل التفككات المصفوفية (matrix factorizations).

3. المساهمات الرئيسية

أ. تعريف كوهومولوجيا هوتشهالد من النوع الثاني

يعرف المؤلفون مركب كوهومولوجيا هوتشهالد من النوع الثاني لجبر (أو جبر منحني) $A$ كالتالي:
$$HC^{\text{II}}_c(A) = \mathbb{R}\text{Hom}_{D^{\text{II}}_c(A \otimes A^{\text{op}})}(A, A)$$
حيث يتم أخذ الـ $\text{Hom}$ المشتق داخل الفئة المشتقة الملتوية لثنائيات النماج $A$. وتكون الكوهومولوجيا هي $HH^{\text{II}}_c(A) = H(HC^{\text{II}}_c(A))$.

ب. الإبقاء الموريتي (Morita Invariance)

تثبت الورقة أن هذا الثابت الجديد قوي تحت نوعين من التكافؤات:

1. تكافؤات MC: الخرائط التي تُحدث تباينات (bijections) على مجموعات مودولاي (moduli sets) ماورر-كاتان.
2. إبقاء موريتي ثنائي النماذج من النوع الثاني: التكافؤات الناتجة عن ثنائيات النماذج $P$ و $Q$ بحيث أن $P \otimes^L_B Q \simeq A$ و $Q \otimes^L_A P \simeq B$ في الفئة المشتقة الملتوية.
   النتيجة: إذا كان $A$ و $B$ متكافئين موريتيًا من النوع الثاني عبر ثنائيات النماذج، فإن $HC^{\text{II}}_c(A) \simeq HC^{\text{II}}_c(B)$.

ج. تناظر كوشول لثنائيات النماذج

يعد بناء تناظر كوشول لثنائيات النماذج إنجازًا تقنيًا رئيسيًا. يوضح المؤلفون أن دالات التناظر الكوشولي (Bar/Cobar) تمتد لتصبح تكافؤات لفئات ثنائيات النماذج.

• مبرهنة: يوجد تكافؤ كويلن بين فئة النماذج لـ $A$-bimodules (مع بنية النوع الثاني) وفئة $qBA$-bicomodules (حيث $qBA$ هو البناء الباري الموسع).
• النتيجة: يؤدي هذا إلى تكافؤ شبه متساوٍ لجبرات $dg$:
  $$HC^{\text{II}}_c(A) \simeq HC(qBA)$$
  يربط هذا كوهومولوجيا النوع الثاني للجبر مباشرة بكوهومولوجيا هوتشهالد العادية للثنائي الكوشولي (coalgebra) المقابل.

د. المقارنة مع النظريات القائمة

توضح الورقة العلاقة بين تعريفهم وكوهومولوجيا هوتشهالد "ذات الدعم المحدود" ($HH^{\text{II}}_{PP}$) الخاصة ببوسيتلسكي وبولشيتسكي.

• يظهرون أن $HH^{\text{II}}_c(A)$ تقع "بين" كوهومولوجيا هوتشهالد العادية ($HH(A)$) و $HH^{\text{II}}_{PP}(A)$.
• تحديدًا، $HH^{\text{II}}_c(A)$ هي إكمال شبه متراص (pseudocompact completion) لـ $HH^{\text{II}}_{PP}(A)$، بينما $HH(A)$ هي إكمال أبعد. وفي الحالات الهندسية المواتية، تتطابق هذه التعريفات.

4. النتائج الرئيسية والتطبيقات

توضح الورقة أنه بالنسبة لأجبرات هندسية محددة، تستعيد $HH^{\text{II}}_c(A)$ كوهومولوجيا هوتشهالد العادية للفئة التفاضلية الجبرية المرتبطة بها. ويتحقق ذلك من خلال إثبات أن الدالة الطبيعية $\text{Perf}^{\text{II}}(A) \otimes \text{Perf}^{\text{II}}(E) \to \text{Perf}^{\text{II}}(A \otimes E)$ هي إبقاء موريتي في هذه الحالات.

أمثلة محددة:

1. المتنوعات الجبرية المعقدة:

   • ليكن $X$ متنوعًا جبريًا معقدًا ناعمًا و $A(X)$ جبر دولبي (Dolbeault algebra) الخاص به.
   • النتيجة: $HH^{\text{II}}_c(A(X)) \cong HH(\text{Perf}(X))$، حيث $\text{Perf}(X)$ هي الفئة التفاضلية الجبرية للمعقدات المثالية على $X$. يربط هذا الكوهومولوجيا الجبرية لجبر دولبي بهندسة الحزم المتماسكة.

2. الفضاءات الطوبولوجية:

   • ليكن $X$ فضاءً طوبولوجيًا و $C^*(X)$ جبر كوشات (cochain algebra) التفاضلي (أو $A^*(X)$ جبر دي رآم لمتنوعات).
   • النتيجة: $HH^{\text{II}}_c(C^*(X)) \cong HH(\mathcal{L}C(X))$، حيث $\mathcal{L}C(X)$ هي الفئة التفاضلية الجبرية للأنظمة المحلية $\infty$-local systems على $X$.

3. التفككات المصفوفية (Matrix Factorizations):

   • ليكن $R$ جبرًا تبادليًا منتظمًا و $w$ جهدًا (potential)، يحدد جبرًا منحنيًا $R_w$.
   • النتيجة: $HH^{\text{II}}_c(R_w) \cong HH(\text{MF}(R, w))$، حيث $\text{MF}(R, w)$ هي فئة التفككات المصفوفية. يؤكد هذا أن كوهومولوجيا النوع الثاني تلتقط بشكل صحيح بنية التفرد (singularity structure) لسطح الهيبرسطح المعرف بـ $w$.

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

• التوحيد: توحد الورقة مجالات متباينة من الجبر الهومولوجي (المركبات الملتوية، الأجبرات المنحنية، التناظر الكوشولي) لتقديم تعريف متماسك لكوهومولوجيا النوع الثاني.
• الرؤية الهندسية: تحل الورقة لغز سبب كون كوهومولوجيا النوع الثاني "ذات معنى هندسي". فهي تظهر أنه بالنسبة للعديد من الأجبرات الناشئة من الهندسة، فإن كوهومولوجيا النوع الثاني ليست ثابتًا جديدًا غامضًا، بل هي كوهومولوجيا هوتشهالد العادية للفئة التفاضلية الجبرية الهندسية الأساسية.
• المتانة التقنية: من خلال إثبات الإبقاء الموريتي والتوافق مع التناظر الكوشولي، يقدم المؤلفون إطارًا مستقرًا لحساب هذه الثوابت في سياقات غير بديهية (مثل الحالات غير اللاشيطية والأجبرات المنحنية) حيث فشلت الطرق السابقة.
• التعامل مع الأجبرات المنحنية: يعد بناء جبر تفاضلي جبري مساعد $A'$ لأي جبر منحني $A$ (بحيث تكون الفئات المشتقة الملتوية لهما متكافئة) أداة تقنية مبتكرة تسمح بنقل النتائج من سياق الـ $dg$ إلى السياق المنحني، متجاوزة عدم وجود تضمين يوندا (Yoneda embedding) للأجبرات المنحنية.

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