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)-বিভাগের কার্টেসিয়ান ফাইব্রেশন

মৌলিক তথ্য

  • পত্র ID: 2107.12356
  • শিরোনাম: (∞,2)(\infty,2)-বিভাগের কার্টেসিয়ান ফাইব্রেশন
  • লেখক: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari
  • শ্রেণীবিভাগ: math.CT, math.AT (বিভাগ তত্ত্ব, বীজগণিত সংস্থানবিদ্যা)
  • প্রকাশনা সময়: ২০২১ সালের জুলাই (সর্বশেষ সংস্করণ ২০২৪ সালের জানুয়ারি)
  • পত্র লিঙ্ক: https://arxiv.org/abs/2107.12356

সারসংক্ষেপ

এই পত্রটি scaled simplicial sets কাঠামোর অধীনে ∞\infty-দ্বিবিভাগের চারটি ভিন্নতা প্রকারের কার্টেসিয়ান ২-ফাইব্রেশন প্রবর্তন করে। ∞\infty-দ্বিবিভাগের মধ্যে একটি ম্যাপিং p:E→Bp: E \to B দেওয়া হলে, লেখকরা pp-এর উত্তোলন বৈশিষ্ট্যের মাধ্যমে pp-(co)কার্টেসিয়ান তীর এবং inner/outer ত্রিভুজ সংজ্ঞায়িত করেন। ২-inner/outer (co)কার্টেসিয়ান ফাইব্রেশন পর্যাপ্ত সংখ্যক তীর (co)কার্টেসিয়ান উত্তোলন এবং ত্রিভুজ inner/outer উত্তোলন সহ ম্যাপিং হিসাবে সংজ্ঞায়িত করা হয়, এবং outer ক্ষেত্রে whiskering সম্পর্কে সামঞ্জস্যপূর্ণ বৈশিষ্ট্য রয়েছে। লেখকরা প্রমাণ করেন যে এই ধরনের ২-ফাইব্রেশনের সমতুল্যতা ফাইবার-দ্বারা-ফাইবার পরীক্ষা করা যায়, এবং domain projection d:Fungr(Δ1,C)→Cd: Fun_{gr}(\Delta^1, C) \to C হল ২-outer কার্টেসিয়ান ফাইব্রেশনের প্রোটোটাইপ উদাহরণ।

গবেষণা পটভূমি এবং প্রেরণা

  1. সমস্যার পটভূমি: উচ্চতর বিভাগ তত্ত্বে, Grothendieck-Lurie সংযোগ ∞\infty-বিভাগের উপর (co)কার্টেসিয়ান ফাইব্রেশন এবং ফাংক্টর B→Cat∞B \to Cat_\infty এর মধ্যে সম্পূর্ণ সংযোগ স্থাপন করে। যখন এটি ∞\infty-দ্বিবিভাগে সাধারণীকৃত হয়, তখন নতুন জটিলতা দেখা দেয়: শুধুমাত্র দুটি ভিন্নতা (covariant/contravariant) নয়, বরং চারটি রয়েছে, যা ২-মরফিজমের জন্য ফাংক্টর নির্ভরতা সহ-পরিবর্তনশীল বা বিপরীত-পরিবর্তনশীল কিনা তার উপর নির্ভর করে।
  2. গুরুত্ব:
    • ফাইব্রেশন তত্ত্ব প্রতিসম monoidal (∞,2)(\infty,2)-বিভাগ সংজ্ঞায়িত করার জন্য কাঠামো প্রদান করে
    • উদ্ভূত বীজগণিত জ্যামিতিতে গুরুত্বপূর্ণ প্রয়োগ, বিশেষত Ind-coherent sheaves এর দ্বৈততা এনকোডিংয়ে
    • আপেক্ষিক (∞,2)(\infty,2)-অপারেটরের সরল সংস্করণ সংজ্ঞা প্রদানের জন্য সরঞ্জাম প্রদান করে
  3. বিদ্যমান পদ্ধতির সীমাবদ্ধতা:
    • পূর্ববর্তী কাজ 6 শুধুমাত্র base যা ∞\infty-দ্বিবিভাগ এবং ফাইবার যা ∞\infty-বিভাগ এমন ক্ষেত্রে মোকাবেলা করেছে
    • ফাইবারও ∞\infty-দ্বিবিভাগ এমন ক্ষেত্রে পদ্ধতিগত তত্ত্বের অভাব
  4. গবেষণা প্রেরণা: সম্পূর্ণ ∞\infty-দ্বিবিভাগ ফাইব্রেশন তত্ত্ব স্থাপন করা, ভবিষ্যতে সম্পূর্ণ Grothendieck-Lurie সংযোগ স্থাপনের ভিত্তি তৈরি করা

মূল অবদান

  1. চারটি ভিন্নতার ২-(co)কার্টেসিয়ান ফাইব্রেশন প্রবর্তন: ২-inner/outer কার্টেসিয়ান/cocartesian ফাইব্রেশন, ১-inner/outer ফাইব্রেশন তত্ত্ব সম্প্রসারণ
  2. inner/outer ত্রিভুজের উত্তোলন বৈশিষ্ট্য তত্ত্ব স্থাপন: left/right p-inner/outer ত্রিভুজের ধারণার মাধ্যমে, ২-মরফিজম স্তরে (co)কার্টেসিয়ান বৈশিষ্ট্য চিহ্নিত করা
  3. ফাইব্রেশন সমতুল্যতার ফাইবার-দ্বারা-ফাইবার পরীক্ষা মানদণ্ড প্রমাণ: Theorem 2.5.1 দেখায় যে ২-inner/outer (co)কার্টেসিয়ান ফাইব্রেশনের সমতুল্যতা প্রতিটি ফাইবারে পরীক্ষা করা যায়
  4. মূল সর্বজনীন উদাহরণ নির্মাণ: প্রমাণ করা হয় যে domain projection d:Fungr(Δ1,C)→Cd: Fun_{gr}(\Delta^1, C) \to C হল ২-outer কার্টেসিয়ান ফাইব্রেশনের প্রোটোটাইপ
  5. সমৃদ্ধ বিভাগ এবং ∞\infty-দ্বিবিভাগ মডেলের মধ্যে সংযোগ স্থাপন: Theorem 4.2.4 প্রমাণ করে যে সমৃদ্ধ ২-inner/outer (co)কার্টেসিয়ান ফাইব্রেশন এবং সংশ্লিষ্ট ∞\infty-দ্বিবিভাগ ফাইব্রেশনের মধ্যে সমতুল্যতা

পদ্ধতি বিস্তারিত

মূল সংজ্ঞা ব্যবস্থা

২-Inner/Outer ত্রিভুজ: দুর্বল ফাইব্রেশন p:E→Bp: E \to B এবং ত্রিভুজ σ:Δ2→E\sigma: \Delta^2 \to E এর জন্য:

  • Left p-inner: যখন E/σ(2)→E×BB/pσ(2)E/\sigma(2) \to E \times_B B/p\sigma(2) এ সংশ্লিষ্ট তীর strongly কার্টেসিয়ান হয়
  • Right p-inner: যখন Eσ(0)/→E×BBpσ(0)/E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/} এ সংশ্লিষ্ট তীর strongly cocartesian হয়
  • Left p-outer: যখন E/σ(2)→E×BB/pσ(2)E/\sigma(2) \to E \times_B B/p\sigma(2) এ সংশ্লিষ্ট তীর strongly cocartesian হয়
  • Right p-outer: যখন Eσ(0)/→E×BBpσ(0)/E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/} এ সংশ্লিষ্ট তীর strongly কার্টেসিয়ান হয়

ফাইব্রেশন সংজ্ঞা

२-Inner ফাইব্রেশন: দুর্বল ফাইব্রেশন p:E→Bp: E \to B হল २-inner ফাইব্রেশন যদি এবং শুধুমাত্র যদি BB এর প্রতিটি ত্রিভুজের পর্যাপ্ত left এবং right p-inner উত্তোলন থাকে

२-Outer ফাইব্রেশন: দুর্বল ফাইব্রেশন p:E→Bp: E \to B হল २-outer ফাইব্রেশন যদি এবং শুধুমাত্র যদি:

  1. BB এর প্রতিটি ত্রিভুজের পর্যাপ্ত left এবং right p-outer উত্তোলন থাকে
  2. Left p-outer ত্রিভুজ right whiskering এর অধীনে বন্ধ, right p-outer ত্রিভুজ left whiskering এর অধীনে বন্ধ

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

  1. Congruent ত্রিভুজ কৌশল: Definition 2.3.3 এর left/right congruent ধারণার মাধ্যমে, সাধারণ ত্রিভুজের বৈশিষ্ট্য degenerate ক্ষেত্রে হ্রাস করা
  2. Extension লেম্মা: Lemma 3.0.2 মূল সম্প্রসারণ বৈশিষ্ট্য প্রদান করে, domain projection এর २-outer কার্টেসিয়ান বৈশিষ্ট্য প্রমাণে ব্যবহৃত
  3. ফাইবার পরীক্ষা কৌশল: homotopy pullback এবং base change বৈশিষ্ট্য ব্যবহার করে ফাইবার-দ্বারা-ফাইবার সমতুল্যতা পরীক্ষা স্থাপন করা

প্রধান তাত্ত্বিক ফলাফল

Theorem 2.5.1 (ফাইব্রেশন সমতুল্যতার ফাইবার পরীক্ষা)

२-inner/outer (co)কার্টেসিয়ান ফাইব্রেশনের মরফিজম বিবেচনা করুন:

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

যদি ff হল ∞\infty-দ্বিবিভাগ সমতুল্যতা, তাহলে rr হল সমতুল্যতা যদি এবং শুধুমাত্র যদি প্রেরিত ম্যাপিং rb:Eb→Ef(b)′r_b: E_b \to E'_{f(b)} সকল b∈Bb \in B এর জন্য ∞\infty-দ্বিবিভাগ সমতুল্যতা হয়।

Theorem 3.0.7 (Domain Projection এর ফাইব্রেশন বৈশিষ্ট্য)

∞\infty-দ্বিবিভাগ CC এর জন্য, domain projection d:Fungr(Δ1,C)→Cd: Fun_{gr}(\Delta^1, C) \to C হল २-outer কার্টেসিয়ান ফাইব্রেশন, যেখানে:

  • dd-কার্টেসিয়ান १-সিম্পলেক্স সংবাদী সংবাদী বর্গ এবং প্রান্ত α^({1}×Δ1)\hat{\alpha}(\{1\} \times \Delta^1) সমতুল্য
  • Right p-outer ত্রিভুজ নির্দিষ্ট whiskering সামঞ্জস্যতা শর্ত সন্তুষ্ট করে

Theorem 4.2.4 (সমৃদ্ধ বিভাগ সংযোগ)

ধরুন p:E→Bp: E \to B হল Cat∞Cat_\infty-বিভাগের ফাইব্রেশন, তাহলে pp হল সমৃদ্ধ २-inner (resp. २-outer) কার্টেসিয়ান ফাইব্রেশন যদি এবং শুধুমাত্র যদি Nsc(p):NscE→NscBN^{sc}(p): N^{sc}E \to N^{sc}B হল ∞\infty-দ্বিবিভাগের २-inner (resp. २-outer) কার্টেসিয়ান ফাইব্রেশন।

প্রযুক্তিগত সরঞ্জাম এবং পদ্ধতি

Scaled Simplicial Sets কাঠামো

  • Scaled simplicial sets (X,TX)(X, T_X) ব্যবহার করা ∞\infty-দ্বিবিভাগের মডেল হিসাবে
  • Thin ত্রিভুজ TXT_X २-মরফিজমের বিপরীতযোগ্যতা তথ্য এনকোড করে
  • Scaled anodyne ম্যাপিং ∞\infty-দ্বিবিভাগের সম্প্রসারণ বৈশিষ্ট্য সংজ্ঞায়িত করে

স্লাইস নির্মাণ কৌশল

  • Join এবং slice নির্মাণ ব্যবহার করে C/yC/y এবং Cx/C_{x/}
  • Marked-scaled simplicial sets এর adjunction এর মাধ্যমে ম্যাপিং ∞\infty-বিভাগ মডেল স্থাপন করা

মডেল বিভাগ পদ্ধতি

  • Enriched বিভাগ পরিচালনার জন্য Dwyer-Kan মডেল কাঠামো ব্যবহার করা
  • Quillen সমতুল্যতা Nsc⊣CscN^{sc} \dashv C^{sc} এর মাধ্যমে বিভিন্ন মডেল সংযোগ করা

প্রয়োগ এবং উদাহরণ

Domain Projection বিশ্লেষণ

Fungr(Δ1,C)→CFun_{gr}(\Delta^1, C) \to C এর বিস্তারিত বিশ্লেষণের মাধ্যমে:

  • কার্টেসিয়ান প্রান্তের অস্তিত্ব এবং অনন্যতা প্রমাণ করা
  • Outer ত্রিভুজের উত্তোলন বৈশিষ্ট্য স্থাপন করা
  • Whiskering সামঞ্জস্যতা শর্ত যাচাই করা

Gray টেনসর পণ্য প্রয়োগ

  • Gray টেনসর পণ্য Δ♭1⊗(K,TK)\Delta^1_\flat \otimes (K, T_K) ব্যবহার করে lax বর্গ চিহ্নিত করা
  • ফাংক্টর ∞\infty-দ্বিবিভাগের সাথে সংযোগ স্থাপন করা

সম্পর্কিত কাজের তুলনা

Lurie কাজের সাথে সম্পর্ক

  • 12 এ ∞\infty-বিভাগের (co)কার্টেসিয়ান ফাইব্রেশন তত্ত্ব সম্প্রসারণ করা
  • 11 এ (∞,2)(\infty,2)-বিভাগের সম্পর্কে ভিত্তি তত্ত্ব ব্যবহার করা

পূর্ববর্তী কাজ 6 এর সাথে সম্পর্ক

  • ফাইবার যা ∞\infty-বিভাগ এমন ক্ষেত্র থেকে ফাইবার যা ∞\infty-দ্বিবিভাগ এমন ক্ষেত্রে সাধারণীকরণ করা
  • চারটি ভিন্নতার সম্পূর্ণ শ্রেণীবিভাগ বজায় রাখা

Buckley 5 এর সাথে সংযোগ

  • २-বিভাগ ফাইব্রেশন তত্ত্ব দ্বারা অনুপ্রাণিত
  • ∞\infty-সেটিংয়ে সংশ্লিষ্ট সাধারণীকরণ বাস্তবায়ন করা

উপসংহার এবং আলোচনা

প্রধান অর্জন

  1. ∞\infty-দ্বিবিভাগ २-ফাইব্রেশনের সম্পূর্ণ তাত্ত্বিক কাঠামো স্থাপন করা
  2. মূল প্রযুক্তিগত বৈশিষ্ট্য প্রমাণ করা: homotopy অপরিবর্তনীয়তা, ফাইবার সমতুল্যতা পরীক্ষা
  3. গুরুত্বপূর্ণ সর্বজনীন উদাহরণ নির্মাণ এবং বিভিন্ন মডেলের মধ্যে সংযোগ স্থাপন করা

তাত্ত্বিক তাৎপর্য

  • ∞\infty-দ্বিবিভাগের Grothendieck-Lurie সংযোগের ভিত্তি স্থাপন করা
  • উচ্চতর বিভাগ ফাইব্রেশন পরিচালনার জন্য পদ্ধতিগত পদ্ধতি প্রদান করা
  • বিভিন্ন (∞,2)(\infty,2)-বিভাগ মডেল সংযোগ করা

সীমাবদ্ধতা

  1. সম্পূর্ণ straightening-unstraightening সংযোগ এখনও স্থাপিত হয়নি
  2. কিছু প্রযুক্তিগত বিবরণ (যেমন whiskering সামঞ্জস্যতা) পরিচালনা অপেক্ষাকৃত জটিল
  3. অন্যান্য উচ্চতর বিভাগ মডেলের সাথে তুলনা আরও গবেষণার জন্য অপেক্ষা করছে

ভবিষ্যত দিকনির্দেশনা

  1. সম্পূর্ণ ∞\infty-দ্বিবিভাগ Grothendieck-Lurie সংযোগ স্থাপন করা
  2. স্থানীয়ভাবে (co)কার্টেসিয়ান ফাইব্রেশন অধ্যয়ন করা
  3. উদ্ভূত বীজগণিত জ্যামিতি এবং অপারেটর তত্ত্বে প্রয়োগ করা

গভীর মূল্যায়ন

প্রযুক্তিগত সুবিধা

  1. পদ্ধতিগততা: চারটি ভিন্নতার একীভূত পরিচালনা কাঠামো প্রদান করে
  2. সম্পূর্ণতা: ভিত্তি সংজ্ঞা থেকে প্রধান উপপাদ্য পর্যন্ত সম্পূর্ণ তাত্ত্বিক শৃঙ্খল স্থাপন করে
  3. প্রযুক্তিগত গভীরতা: congruent ত্রিভুজ, extension লেম্মা ইত্যাদি প্রযুক্তিগত সরঞ্জাম দক্ষতার সাথে ব্যবহার করে
  4. মডেল স্বাধীনতা: বিভিন্ন মডেলের মধ্যে সংযোগের মাধ্যমে তত্ত্বের দৃঢ়তা স্থাপন করে

পদ্ধতি উদ্ভাবন

  1. १-মাত্রিক (co)কার্টেসিয়ান ধারণা ২-মাত্রায় স্বাভাবিক সাধারণীকরণ
  2. Inner/outer শ্রেণীবিভাগের মাধ্যমে २-মরফিজম স্তরে জটিল ভিন্নতা পরিচালনা
  3. Whiskering সামঞ্জস্যতা পরিচালনার জন্য নতুন প্রযুক্তি উন্নয়ন

তাত্ত্বিক অবদান

  1. (∞,2)(\infty,2)-বিভাগ ফাইব্রেশন তত্ত্বে গুরুত্বপূর্ণ ফাঁক পূরণ করা
  2. উচ্চতর বিভাগ তত্ত্বের আরও উন্নয়নের জন্য ভিত্তি সরঞ্জাম প্রদান করা
  3. ধ্রুপদী २-বিভাগ তত্ত্বের সাথে জৈব সংযোগ স্থাপন করা

সম্ভাব্য প্রভাব

এই কাজটি (∞,2)(\infty,2)-বিভাগ তত্ত্বের প্রয়োগের জন্য নতুন পথ খুলে দেয়, বিশেষত:

  • উদ্ভূত বীজগণিত জ্যামিতিতে sheaf তত্ত্ব
  • উচ্চতর অপারেটর তত্ত্ব
  • প্রতিসম monoidal (∞,2)(\infty,2)-বিভাগের গবেষণা

এই পত্রটি (∞,2)(\infty,2)-বিভাগ তত্ত্ব উন্নয়নে একটি গুরুত্বপূর্ণ মাইলফলক প্রতিনিধিত্ব করে, এই ক্ষেত্রের আরও উন্নয়নের জন্য দৃঢ় তাত্ত্বিক ভিত্তি স্থাপন করে।