Relative tensor products and Koszul duality in monoidal oo-categories

ملخص تقني: نواتج التنسور النسبية والازدواجية الكوشولية في الفئات $\infty$-المونودية

بيان المشكلة
تتناول الورقة النظرية التأسيسية لنواتج التنسور النسبية وتطبيقها على الازدواجية الكوشولية (Koszul duality) ضمن إطار الفئات $\infty$-المونودية. وتحديداً، تسعى الورقة إلى تعميم إطار الازدواجية الكوشولية الذي وضعه لوري في Higher Algebra [15] ليشمل الموديولات (modules)، وليس فقط الجبرات (algebras). وبينما يوفر بناء لوري علاقة تضايف (adjunction) بين الجبرات المعظمة (augmented algebras) والكولجبرات المعظمة (augmented coalgebras)، فإن توسيع هذا البناء ليشمل تضايفًا بين أزواج (جبر معطم، موديول) و(كولجبر معطم، كوموديول) يتطلب فهماً متيناً لكيفية عمل الموديولات الثنائية (bimodules) على الموديولات عبر نواتج التنسور النسبية الخارجية.

تتمثل إحدى العقبات التقنية المركزية التي حددها المؤلفون في بناء فعل أيسر لفئة الـ $A$-$A$-bimodules على فئة الـ left $A$-modules. لقد افترضت الأدبيات السابقة (بما في ذلك [15]) غالباً أن الكائن الوحدة (unit object) هو كائن طرفي (terminal)، أو اعتمدت على افتراضات شاملة بأن نواتج التنسور تتبادل مع جميع التحققات الهندسية (geometric realizations). يهدف المؤلفون من خلال هذا العمل إلى صقل هذه البناءات للتعامل مع الحالات التي لا يكون فيها الكائن الوحدة طرفياً، وحيث تقتصر التوافقية مع التحققات على فئات محددة من الجبرات (تلك التي تكون "متوافقة مع البار" - bar compatible).

المنهجية
يستخدم المؤلفون نهجاً مباشراً وبنائياً متجذراً في نظرية الـ $\infty$-operads والفئات $\infty$-المزدوجة (double $\infty$-categories). وتمر منهجيتهم عبر عدة مراحل:

1. صقل الفئات $\infty$-المزدوجة للموديولات الثنائية:
   تقوم الورقة بصقل بناء لوري لفئة Morita المزدوجة $\infty$. وبدلاً من افتراض أن الفئة المونودية $\mathcal{C}$ تقبل جميع التحققات الهندسية المتوافقة مع ناتج التنسور، يركدي المؤلفون اهتمامهم إلى فئة من الجبرات $\mathcal{A}$ التي تكون "متوافقة مع البار". يقومون ببناء فئة $\infty$-مزدوجة $\text{BMod}_{\mathcal{A}}(\mathcal{C})^{\boxtimes}$ تتكون أليافها فوق $[n]$ من $\mathcal{A}$-multimodules. يسمح هذا ببناء نواتج التنسور النسبية دون الحاجة إلى وجود عالمي للتحققات.

2. بناء الأفعال المونودية من نوع LM:
   الابتكار التقني الرئيسي هو بناء فئة $\infty$-مونودية من نوع LM تُسمى $\text{BLMod}_{\mathcal{A}}(\mathcal{C})^{\otimes}$. تشهد هذه الفئة فعلاً أيسر لفئة الـ $A$-$A$-bimodules على فئة الـ left $A$-modules. ويتم تحقيق ذلك عبر تعريف فئة $\infty$-المورفيزمات الأفقية في فئة $\infty$-مزدوجة وبناء فعل للنهايات الطرفية الأفقية (horizontal endomorphisms) على هذه المورفيزمات. ويُعطى الفعل صراحةً عبر ناتج التنسور النسبي $N \otimes_A M$.

3. التعميم إلى الفئات المونودية من نوع BM:
   للتعامل مع الحالات التي لا يكون فيها الكائن الوحدة طرفياً، يعمل المؤلفون ضمن الإطار الأكثر عمومية لـ BM-monoidal $\infty$-categories (الموديولات الثنائية فوق فئتين مونوديتين مختلفتين محتملاً). يقومون ببناء $\infty$-operad معممة $\text{Tens}^{\otimes}_{\vec{\nabla}}$ ويستخدمونها لتعريف نواتج تنسور نسبية "خارجية". يسمح هذا بمعاملة فئة السهم الملتوي (twisted arrow category) $\text{TwArr}(\mathcal{C})$ كفئة LM-monoidal، حتى عندما لا يكون وحدة $\mathcal{C}$ طرفياً، وذلك عبر العمل مع فئة الشريحة (slice category) $\mathcal{C}_{/1}$.

4. الازدواجية الكوشولية عبر القابلية للتمثيل (Representability):
   يعتمد جوهر بناء الازدواجية الكوشولية على مفهوم "الاقترانات الممثلة يساراً" (left representable pairings). يُعرف المؤلفون اقتراناً من نوع LM يُسمى $\lambda$، ويثبتون أنه تحت افتراضات محددة (وجود تحققات بناء البار، وتراكمية جبرات معينة، وقدرات التوتاليزيشن/totalization)، فإن الاقتران المستحث على فئات الموديولات يكون ممثلاً يساراً. يؤدي هذا إلى دالة تضايف $D_{\text{Ksz}}$.

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

• نواتج التنسور النسبية الخارجية: تبني الورقة فعلاً لـ $A$-$A$-bimodules على left $A$-modules عبر ناتج تنسور نسبي خارجي $N \otimes_A M$. ويشير المؤلفون إلى أن حالة "الداخل" ($\mathcal{C} = \mathcal{M}$) نفسها كانت غائبة عن الأدبيات قبل هذا العمل.
• الازدواجية الكوشولية للموديولات: النتيجة الرئيسية (Theorem 9.4.3) تثبت وجود تضايف بين فئة الـ augmented modules $\text{LMod}_{\text{aug}}(\mathcal{C})$ وفئة الـ augmented comodules $\text{coLMod}_{\text{aug}}(\mathcal{C})$.
  • الدالة $D_{\text{Ksz}}$ تنقل الزوج $(A, X)$ (جبر معطم وموديول) إلى الزوج $(1 \otimes_A 1, 1 \otimes_A X)$.
  • الكائن $1 \otimes_A 1$ هو الكولجبر الكوشولي المزدوج، و $1 \otimes_A X$ هو الكائن الأساسي للكوموديول المزدوج.
• تخفيف الافتراضات: يوسع البناء نتائج لوري من خلال:
  • السماح بأن يكون الكائن الوحدة غير طرفي (عبر الانتقال إلى فئة LM-monoidal المرتبطة بالشريحة $\mathcal{C}_{/1}$).
  • اشتراط التوافق مع نواتج التنسور للتحققات فقط لفئة محددة من الجبرات (الجبرات المتوافقة مع البار) بدلاً من جميع الجبرات.
• تحقيق فئة السهم الملتوي: توضح الورقة أن فئة السهم الملتوي $\text{TwArr}(\mathcal{C})$ تقبل تحققات لبناءات البار المتوافقة مع ناتج التنسور، بشرط أن تقبل الفئة الأساسية ذلك. وهذا يثبت صلاحية استخدام فئة السهم الملتوي كإطار لعملية الازدواجية الكوشولية.

الأهمية والادعاءات
يضع المؤلفون هذا العمل كـ "توسيع شبه تفسيري" لعمل لوري Higher Algebra [15]، وتحديداً لمعالجة "السرد المختصر للغاية" لنواتج التنسور النسبية وتطبيقاتها على الموديولات.

• الوضوح المفاهيمي: تدعي الورقة أنها تقدم "صورة متماسكة ومرضية مفاهمياً" للازدواجية الكوشولية للموديولات. ومن خلال بناء فعل الموديولات الثنائية على الموديولات صراحةً، يهدف المؤلفون إلى إزالة الغموض عن عملية الارتقاء من ازدواجية الجبر إلى ازدواجية الموديول.
• الفائدة التأسيسية: يذكر المؤلفون أن عملهم التأسيسي على أفعال فئات النهايات الطرفية على فئات المورفيزمات في الفئات $\infty$-المزدوجة هو أمر ذو أهمية مستقلة.
• التواضع بشأن العمومية: يقر المؤلفون بأن نهجهم "المباشر" يتطلب افتراضات تتعلق بتوافق نواتج التنسور مع النهايات. ويشيرون إلى أن العمل اللاحق لـ Brantner–Campos–Nuiten [4] قد أظهر أن هذه الافتراضات ليست ضرورية عبر نهج أكثر غير مباشر. ومع ذلك، يؤكد المؤلفون أن بنائهم المباشر يقدم إطاراً مفاهيمياً أوضح للحالة المحددة للموديولات، حتى وإن كان أقل عمومية في افتراضاته التقنية.
• التطبيق على الموتيفات (Motives): توضح الورقة بإيجاز التطبيق المحتمل لهذه النتائج في دراسة الجبرات التبادلية في الموتيفات، وتحديداً فيما يتعلق بالازدواج الكوشولي لجبر معطم إلى المجموعة الأساسية اليونيبوتنت (unipotent fundamental group) وتورسورات المسارات في مخطط (scheme). ويُقدم هذا كاتجاه للعمل المستقبلي وليس كتطبيق مكتمل.

باختصار، تقدم الورقة بناءً صارماً وخطوة بخطوة للازدواجية الكوشولية للموديولات في الفئات المونودية $\infty$، وتملأ فجوة في الأدبيات المتعلقة بالتفاعل بين الموديولات الثنائية والموديولات، وتصقل الافتراضات التقنية اللازمة لاستيعاب الكائنات الوحدة غير الطرفية.