2025-11-10T02:41:05.418246

Cartesian Fibrations of $(\infty,2)$-categories

Gagna, Harpaz, Lanari
In this article we introduce four variance flavours of cartesian 2-fibrations of $\infty$-bicategories with $\infty$-bicategorical fibres, in the framework of scaled simplicial sets. Given a map $p\colon \mathcal{E} \rightarrow\mathcal{B}$ of $\infty$-bicategories, we define $p$-(co)cartesian arrows and inner/outer triangles by means of lifting properties against $p$. Inner/outer (co)cartesian 2-fibrations are then defined to be maps with enough (co)cartesian lifts for arrows and enough inner/outer lifts for triangles, together with a compatibility property with respect to whiskerings in the outer case. By doing so, we also recover in particular the case of $\infty$-bicategories fibred in $\infty$-categories studied in previous work. We also prove that equivalences of such 2-fibrations can be tested fiberwise. As a motivating example, we show that the domain projection $\mathrm{d}\colon\mathrm{RMap}(Δ^1,\mathcal{C})\rightarrow \mathcal{C}$ is a prototypical example of an outer cartesian 2-fibration, where $\mathrm{RMap}(X,Y)$ denotes the $\infty$-bicategory of functors, lax natural transformations and modifications. We then define inner/outer (co)cartesian 2-fibrations of categories enriched in $\infty$-categories, and we show that a fibration $p\colon \mathcal{E} \rightarrow \mathcal{B}$ of such categories is a (co)cartesian inner/outer 2-fibration if and only if the corresponding scaled nerve $\mathrm{N}^{\mathrm{sc}}(p)\colon \mathrm{N}^{\mathrm{sc}}\mathcal{E} \rightarrow \mathrm{N}^{\mathrm{sc}}\mathcal{B}$ is a fibration of this type between $\infty$-bicategories.
academic

الألياف الديكارتية للفئات (∞,2)(\infty,2)

المعلومات الأساسية

  • معرّف البحث: 2107.12356
  • العنوان: الألياف الديكارتية للفئات (∞,2)(\infty,2)
  • المؤلفون: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari
  • التصنيف: math.CT, math.AT (نظرية الفئات، الطوبولوجيا الجبرية)
  • وقت النشر: يوليو 2021 (آخر نسخة يناير 2024)
  • رابط البحث: https://arxiv.org/abs/2107.12356

الملخص

يقدم هذا البحث أربعة أنواع من الألياف الديكارتية 2- للفئات ثنائية ∞\infty في إطار العمل المتعلق بمجموعات بسيطة مقاسة. بالنظر إلى الخريطة p:E→Bp: E \to B بين فئات ثنائية ∞\infty، يعرّف المؤلفون الأسهم pp-(co)cartesian والمثلثات الداخلية/الخارجية من خلال خصائص الرفع لـ pp. يتم تعريف الألياف الديكارتية 2-الداخلية/الخارجية (co)cartesian كخرائط تمتلك عدداً كافياً من الأسهم (co)cartesian والمثلثات الداخلية/الخارجية، مع خصائص التوافقية فيما يتعلق بـ whiskering في الحالة الخارجية. يثبت المؤلفون أن التكافؤ في هذه الفئات من الألياف يمكن التحقق منه بشكل ليفي، ويوضحون أن إسقاط المجال d:Fungr(Δ1,C)→Cd: Fun_{gr}(\Delta^1, C) \to C هو مثال نموذجي لألياف ديكارتية 2-خارجية.

الخلفية البحثية والدافع

  1. خلفية المشكلة: في نظرية الفئات ذات الرتبة العليا، يؤسس التطابق Grothendieck-Lurie مراسلة كاملة بين الألياف (co)cartesian على فئات ∞\infty والدوال B→Cat∞B \to Cat_\infty. عند التعميم على فئات ثنائية ∞\infty، تظهر تعقيدات جديدة: بدلاً من نوعين فقط من التغايرية (متغاير/متناقض)، هناك أربعة أنواع تعتمد على ما إذا كان اعتماد الدالة على 2-الأسهم متغايراً أم متناقضاً.
  2. الأهمية:
    • توفر نظرية الألياف الهيكل العظمي لتعريف فئات monoidal متماثلة (∞,2)(\infty,2)
    • تطبيقات مهمة في الهندسة الجبرية المشتقة، خاصة في ترميز الثنائية للحزم المتماسكة Ind-coherent
    • توفر أدوات لتعريف نسخة بسيطة من العاملين النسبيين (∞,2)(\infty,2)
  3. قيود الأساليب الموجودة:
    • الأعمال السابقة 6 تناولت فقط الحالة حيث تكون القاعدة فئة ثنائية ∞\infty والألياف فئات ∞\infty
    • غياب نظرية منهجية للحالة حيث تكون الألياف أيضاً فئات ثنائية ∞\infty
  4. الدافع البحثي: إنشاء نظرية كاملة لألياف فئات ثنائية ∞\infty، لوضع الأساس لإنشاء مراسلة Grothendieck-Lurie كاملة في المستقبل

المساهمات الأساسية

  1. إدخال أربعة أنواع من الألياف الديكارتية 2-(co)cartesian: ألياف ديكارتية/متناقضة 2-داخلية/خارجية، مما يوسع نظرية الألياف 1-الداخلية/الخارجية
  2. إنشاء نظرية خصائص الرفع للمثلثات الداخلية/الخارجية: من خلال مفهوم المثلثات pp-الداخلية/الخارجية اليمنى/اليسرى، يتم توصيف خصائص (co)cartesian على مستوى 2-الأسهم
  3. إثبات معيار التحقق الليفي لتكافؤ الألياف: تُظهر النظرية 2.5.1 أن تكافؤ الألياف الديكارتية 2-الداخلية/الخارجية (co)cartesian يمكن التحقق منه على كل ليف
  4. بناء الأمثلة العامة الحاسمة: إثبات أن إسقاط المجال d:Fungr(Δ1,C)→Cd: Fun_{gr}(\Delta^1, C) \to C هو ألياف ديكارتية 2-خارجية نموذجية
  5. إنشاء مراسلة بين الفئات المثراة وموديلات فئات ثنائية ∞\infty: تثبت النظرية 4.2.4 التكافؤ بين الألياف الديكارتية 2-الداخلية/الخارجية (co)cartesian المثراة والألياف المقابلة لفئات ثنائية ∞\infty

شرح الطريقة

نظام التعريفات الأساسية

المثلثات 2-الداخلية/الخارجية: بالنسبة للألياف الضعيفة p:E→Bp: E \to B والمثلث σ:Δ2→E\sigma: \Delta^2 \to E:

  • اليسار p-داخلي: عندما يكون السهم المقابل في E/σ(2)→E×BB/pσ(2)E/\sigma(2) \to E \times_B B/p\sigma(2) قوياً ديكارتياً
  • اليمين p-داخلي: عندما يكون السهم المقابل في Eσ(0)/→E×BBpσ(0)/E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/} قوياً متناقضاً
  • اليسار p-خارجي: عندما يكون السهم المقابل في E/σ(2)→E×BB/pσ(2)E/\sigma(2) \to E \times_B B/p\sigma(2) قوياً متناقضاً
  • اليمين p-خارجي: عندما يكون السهم المقابل في Eσ(0)/→E×BBpσ(0)/E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/} قوياً ديكارتياً

تعريف الألياف

الألياف 2-الداخلية: الألياف الضعيفة p:E→Bp: E \to B هي ألياف 2-داخلية إذا وفقط إذا كان لكل مثلث في BB عدد كافٍ من الرفعات pp-الداخلية اليسرى واليمنى

الألياف 2-الخارجية: الألياف الضعيفة p:E→Bp: E \to B هي ألياف 2-خارجية إذا وفقط إذا:

  1. كان لكل مثلث في BB عدد كافٍ من الرفعات pp-الخارجية اليسرى واليمنى
  2. المثلثات pp-الخارجية اليسرى مغلقة تحت right whiskering، والمثلثات pp-الخارجية اليمنى مغلقة تحت left whiskering

نقاط الابتكار التقني

  1. تقنية المثلثات المتطابقة: من خلال مفهوم left/right congruent في التعريف 2.3.3، يتم اختزال خصائص المثلثات العامة إلى الحالات المتدهورة
  2. لمّة الامتداد: توفر اللمّة 3.0.2 خاصية امتداد حاسمة، تُستخدم لإثبات خاصية 2-outer cartesian لإسقاط المجال
  3. تقنية التحقق الليفي: استخدام homotopy pullback وخصائص تغيير القاعدة لإنشاء معيار التكافؤ الليفي

النتائج النظرية الرئيسية

النظرية 2.5.1 (معيار التحقق الليفي لتكافؤ الألياف)

ضع في الاعتبار خريطة الألياف الديكارتية 2-الداخلية/الخارجية (co)cartesian:

E ----r----> E'
|            |
p|            |q  
|            |
B ----f----> B'

إذا كانت ff تكافؤ فئة ثنائية ∞\infty، فإن rr هو تكافؤ إذا وفقط إذا كانت الخرائط المستحثة rb:Eb→Ef(b)′r_b: E_b \to E'_{f(b)} تكافؤات فئة ثنائية ∞\infty لجميع b∈Bb \in B.

النظرية 3.0.7 (خاصية الألياف لإسقاط المجال)

بالنسبة للفئة الثنائية ∞\infty للفئة CC، إسقاط المجال d:Fungr(Δ1,C)→Cd: Fun_{gr}(\Delta^1, C) \to C هو ألياف ديكارتية 2-خارجية، حيث:

  • السهم 1-الديكارتي dd يتوافق مع المربعات التبديلية والحافة α^({1}×Δ1)\hat{\alpha}(\{1\} \times \Delta^1) هي تكافؤ
  • المثلثات right p-outer تحقق شروط توافقية محددة فيما يتعلق بـ whiskering

النظرية 4.2.4 (مراسلة الفئات المثراة)

لتكن p:E→Bp: E \to B ألياف فئة Cat∞Cat_\infty، فإن pp هي ألياف ديكارتية 2-داخلية (أو 2-خارجية) مثراة إذا وفقط إذا كانت Nsc(p):NscE→NscBN^{sc}(p): N^{sc}E \to N^{sc}B ألياف ديكارتية 2-داخلية (أو 2-خارجية) لفئة ثنائية ∞\infty.

الأدوات التقنية والطرق

إطار عمل مجموعات بسيطة مقاسة

  • استخدام مجموعات بسيطة مقاسة (X,TX)(X, T_X) كنموذج لفئات ثنائية ∞\infty
  • ترميز المثلثات الرقيقة TXT_X معلومات قابلية الانعكاس للـ 2-أسهم
  • تعريف خرائط anodyne مقاسة خصائص الامتداد لفئات ثنائية ∞\infty

تقنيات البناء الشريحي

  • استخدام join والبناء الشريحي C/yC/y و Cx/C_{x/}
  • إنشاء خرائط ∞\infty-الفئات من خلال adjunction مجموعات بسيطة marked-scaled

طرق نموذج الفئات

  • استخدام نموذج Dwyer-Kan للتعامل مع الفئات المثراة
  • ربط نماذج مختلفة من خلال التكافؤ Quillen Nsc⊣CscN^{sc} \dashv C^{sc}

التطبيقات والأمثلة

تحليل إسقاط المجال

من خلال تحليل مفصل لـ Fungr(Δ1,C)→CFun_{gr}(\Delta^1, C) \to C:

  • إثبات وجود وتفرد الحواف الديكارتية
  • إنشاء خصائص الرفع للمثلثات الخارجية
  • التحقق من شروط التوافقية فيما يتعلق بـ whiskering

تطبيقات منتج Gray الموتر

  • استخدام منتج Gray الموتر Δ♭1⊗(K,TK)\Delta^1_\flat \otimes (K, T_K) لتوصيف المربعات lax
  • إنشاء مراسلة مع فئات دوال ثنائية ∞\infty

مقارنة مع الأعمال ذات الصلة

العلاقة مع عمل Lurie

  • توسيع نظرية الألياف (co)cartesian لفئات ∞\infty من 12
  • استخدام النظرية الأساسية حول فئات (∞,2)(\infty,2) من 11

العلاقة مع العمل السابق 6

  • تعميم الحالة حيث تكون الألياف فئات ∞\infty إلى حالة الألياف فئات ثنائية ∞\infty
  • الحفاظ على التصنيف الكامل للأنواع الأربعة

الاتصال مع Buckley 5

  • الاستلهام من نظرية ألياف 2-الفئات
  • تحقيق التعميم المقابل في الإعداد ∞\infty

الخلاصة والنقاش

الإنجازات الرئيسية

  1. إنشاء إطار عمل نظري كامل لألياف 2-فئات ثنائية ∞\infty
  2. إثبات الخصائص التقنية الحاسمة: عدم التغير homotopy، معيار التحقق الليفي
  3. بناء أمثلة عامة مهمة وإنشاء مراسلات بين نماذج مختلفة

الأهمية النظرية

  • وضع الأساس لمراسلة Grothendieck-Lurie الكاملة لفئات ثنائية ∞\infty
  • توفير طريقة منهجية للتعامل مع ألياف الفئات ذات الرتبة العليا
  • ربط نماذج مختلفة من فئات (∞,2)(\infty,2)

القيود

  1. لم يتم بعد إنشاء مراسلة straightening-unstraightening كاملة
  2. معالجة بعض التفاصيل التقنية (مثل توافقية whiskering) معقدة نسبياً
  3. المقارنة مع نماذج الفئات ذات الرتبة العليا الأخرى تحتاج إلى مزيد من البحث

الاتجاهات المستقبلية

  1. إنشاء مراسلة Grothendieck-Lurie الكاملة لفئات ثنائية ∞\infty
  2. دراسة الألياف locally (co)cartesian
  3. التطبيق في الهندسة الجبرية المشتقة ونظرية العاملين

التقييم المتعمق

المزايا التقنية

  1. المنهجية: توفير إطار عمل موحد لمعالجة الأنواع الأربعة
  2. الاكتمال: إنشاء سلسلة نظرية كاملة من التعريفات الأساسية إلى النظريات الرئيسية
  3. العمق التقني: الاستخدام الماهر للمثلثات المتطابقة ولمّة الامتداد وأدوات تقنية أخرى
  4. استقلالية النموذج: إنشاء متانة النظرية من خلال المراسلات بين نماذج مختلفة

الابتكار في الطريقة

  1. توسيع طبيعي لمفهوم (co)cartesian من البعد 1 إلى البعد 2
  2. معالجة التغايرية المعقدة على مستوى 2-الأسهم من خلال التصنيف الداخلي/الخارجي
  3. تطوير تقنيات جديدة للتعامل مع توافقية whiskering

المساهمات النظرية

  1. ملء فجوة مهمة في نظرية ألياف فئات (∞,2)(\infty,2)
  2. توفير أدوات أساسية لمزيد من التطور في نظرية الفئات ذات الرتبة العليا
  3. إنشاء اتصال عضوي مع نظرية 2-الفئات الكلاسيكية

التأثير المحتمل

يفتح هذا العمل طرقاً جديدة لتطبيقات نظرية فئات ثنائية ∞\infty، خاصة في:

  • نظرية الحزم في الهندسة الجبرية المشتقة
  • نظرية العاملين ذات الرتبة العليا
  • دراسة فئات monoidal متماثلة (∞,2)(\infty,2)

يمثل هذا البحث علامة فارقة مهمة في تطور نظرية فئات (∞,2)(\infty,2)، ويضع أساساً نظرياً متيناً لمزيد من التطور في هذا المجال.