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
  • タイトル: Cartesian Fibrations of (∞,2)(\infty,2)-categories
  • 著者: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari
  • 分類: math.CT, math.AT（圏論、代数的位相幾何学）
  • 発表時期: 2021年7月（最新版2024年1月）
  • 論文リンク: https://arxiv.org/abs/2107.12356

要旨

本論文はscaled simplicial sets の枠組みの下で、∞\infty-双圏のデカルト2-纤维化の4つの変異型を導入する。∞\infty-双圏間の写像 p:E→Bp: E \to B が与えられたとき、著者らは pp の持ち上げ性質を通じて pp-(余)デカルト矢と内部/外部三角形を定義する。2-内部/外部(余)デカルト纤维化は、十分に多くの矢(余)デカルト持ち上げと三角形の内部/外部持ち上げを持つ写像として定義され、外部の場合はwhiskeringに関する両立性性質を備える。著者らは、このような2-纤维化の等価性は各纤維上で検証可能であることを証明し、定義域射影 d:Fungr(Δ1,C)→Cd: Fun_{gr}(\Delta^1, C) \to C が2-外部デカルト纤维化の原型例であることを示す。

研究背景と動機

  1. 問題背景: 高階圏論において、Grothendieck-Lurie対応は ∞\infty-圏上の(余)デカルト纤维化と函手 B→Cat∞B \to Cat_\infty 間の完全対応を確立する。これを ∞\infty-双圏に一般化する際、新たな複雑性が生じる：2つの異なる変異性（共変/反変）だけでなく、2-射に対する函手依存性が共変か反変かに応じて4つの変異性が存在する。
  2. 重要性:
    • 纤维化理論は対称monoidal (∞,2)(\infty,2)-圏の定義の骨組みを提供する
    • 導出代数幾何における重要な応用、特にInd-coherent sheaves の双対性符号化に関連
    • 相対 (∞,2)(\infty,2)-オペラッドの簡潔版定義のための道具を提供
  3. 既存方法の制限:
    • 先行研究6は底が ∞\infty-双圏で纤維が ∞\infty-圏の場合のみを扱った
    • 纤維も ∞\infty-双圏である場合の系統的理論が欠如していた
  4. 研究動機: 完全な ∞\infty-双圏纤维化理論を確立し、将来の完全なGrothendieck-Lurie対応構築の基礎を築く

核心的貢献

  1. 4つの変異を持つ2-(余)デカルト纤维化の導入: 2-内部/外部デカルト/余デカルト纤维化を導入し、1-内部/外部纤维化理論を拡張
  2. 内部/外部三角形の持ち上げ性質理論の確立: left/right p-内部/外部三角形の概念を通じて、2-射レベルの(余)デカルト性質を刻画
  3. 纤维化等価性の各纤維判定基準の証明: 定理2.5.1は2-内部/外部(余)デカルト纤维化の等価性が各纤維上で検証可能であることを示す
  4. 重要な普遍例の構成: 定義域射影 d:Fungr(Δ1,C)→Cd: Fun_{gr}(\Delta^1, C) \to C が2-外部デカルト纤维化の原型であることを証明
  5. 豊富化圏と ∞\infty-双圏モデル間の対応確立: 定理4.2.4は豊富化2-内部/外部(余)デカルト纤维化と対応する ∞\infty-双圏纤维化間の等価性を証明

方法の詳細説明

核心的定義体系

2-内部/外部三角形: 弱纤维化 p:E→Bp: E \to B と三角形 σ:Δ2→E\sigma: \Delta^2 \to E に対して：

  • Left p-内部: E/σ(2)→E×BB/pσ(2)E/\sigma(2) \to E \times_B B/p\sigma(2) における対応矢がstrongly cartesianのとき
  • Right p-内部: Eσ(0)/→E×BBpσ(0)/E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/} における対応矢がstrongly cocartesianのとき
  • Left p-外部: E/σ(2)→E×BB/pσ(2)E/\sigma(2) \to E \times_B B/p\sigma(2) における対応矢がstrongly cocartesianのとき
  • Right p-外部: Eσ(0)/→E×BBpσ(0)/E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/} における対応矢がstrongly cartesianのとき

纤维化の定義

2-内部纤维化: 弱纤維化 p:E→Bp: E \to B が2-内部纤维化であることは、BB の各三角形が十分なleft およびright p-内部持ち上げを持つことと同値

2-外部纤维化: 弱纤維化 p:E→Bp: E \to B が2-外部纤维化であることは、以下と同値：

  1. BB の各三角形が十分なleft およびright p-外部持ち上げを持つ
  2. Left p-外部三角形がright whiskeringの下で閉じており、right p-外部三角形がleft whiskeringの下で閉じている

技術的革新点

  1. 合同三角形技術: 定義2.3.3のleft/right合同概念を通じて、一般的な三角形の性質をdegenerate場合に帰着
  2. 拡張補題: 補題3.0.2は定義域射影の2-外部デカルト性質を証明するために使用される重要な拡張性質を提供
  3. 纤維検証技術: homotopy pullbackとbase change性質を利用して各纤維等価性判定を確立

主要な理論的結果

定理2.5.1（纤维化等価性の纤維判定）

2-内部/外部(余)デカルト纤維化の態射を考える：

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-双圏等価であることと同値である。

定理3.0.7（定義域射影の纤维化性質）

∞\infty-双圏 CC に対して、定義域射影 d:Fungr(Δ1,C)→Cd: Fun_{gr}(\Delta^1, C) \to C は2-外部デカルト纤维化であり、以下を満たす：

  • dd-デカルト1-単形は可換正方形に対応し、辺 α^({1}×Δ1)\hat{\alpha}(\{1\} \times \Delta^1) は等価
  • Right p-外部三角形は特定のwhiskering両立性条件を満たす

定理4.2.4（豊富化圏対応）

p:E→Bp: E \to B を Cat∞Cat_\infty-圏の纤維化とする。このとき pp が豊富化2-内部（resp. 2-外部）デカルト纤维化であることは、Nsc(p):NscE→NscBN^{sc}(p): N^{sc}E \to N^{sc}B が ∞\infty-双圏の2-内部（resp. 2-外部）デカルト纤维化であることと同値である。

技術的道具と方法

Scaled Simplicial Sets 枠組み

  • Scaled simplicial sets (X,TX)(X, T_X) を ∞\infty-双圏のモデルとして使用
  • Thin三角形 TXT_X は2-射の可逆性情報を符号化
  • Scaled anodyne写像は ∞\infty-双圏の拡張性質を定義

スライス構成技術

  • joinとslice構成を利用して C/yC/y と Cx/C_{x/} を構成
  • Marked-scaled simplicial sets のadjunctionを通じて写像 ∞\infty-圏モデルを確立

モデル圏方法

  • 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の仕事との関係

  • 12の ∞\infty-圏の(余)デカルト纤維化理論を拡張
  • 11の (∞,2)(\infty,2)-圏に関する基礎理論を利用

先行研究6との関係

  • 纤維が ∞\infty-圏である場合を纤維が ∞\infty-双圏である場合に一般化
  • 4つの変異性の完全な分類を保持

Buckley5との関連

  • 2-圏纤维化理論からの着想を受ける
  • ∞\infty-設定下で対応する一般化を実現

結論と考察

主要な成果

  1. ∞\infty-双圏2-纤維化の完全な理論枠組みを確立
  2. 重要な技術的性質を証明：homotopy不変性、纤維等価性検証
  3. 重要な普遍例を構成し、異なるモデル間の対応を確立

理論的意義

  • ∞\infty-双圏のGrothendieck-Lurie対応の基礎を築く
  • 高階圏纤維化を扱うための系統的方法を提供
  • 異なる (∞,2)(\infty,2)-圏モデルを連結

制限事項

  1. 完全なstraightening-unstraightening対応はまだ確立されていない
  2. 若干の技術的詳細（whiskering両立性など）の処理は複雑
  3. 他の高階圏モデルとの比較はさらなる研究が必要

将来の方向

  1. 完全な ∞\infty-双圏Grothendieck-Lurie対応の確立
  2. 局所(余)デカルト纤維化の研究
  3. 導出代数幾何とオペラッド理論への応用

深い評価

技術的優位性

  1. 系統性: 4つの変異の統一的処理枠組みを提供
  2. 完全性: 基礎定義から主要定理までの完全な理論連鎖を確立
  3. 技術的深さ: 合同三角形、拡張補題などの技術的道具を巧妙に運用
  4. モデル無関性: 異なるモデル間の対応を通じて理論の堅牢性を確立

方法的革新

  1. 1次元の(余)デカルト概念を2次元に自然に一般化
  2. 内部/外部分類を通じて2-射レベルの複雑な変異性を処理
  3. Whiskering両立性を扱うための新しい技術を発展

理論的貢献

  1. (∞,2)(\infty,2)-圏纤維化理論の重要な空白を埋める
  2. 高階圏論のさらなる発展のための基礎的道具を提供
  3. 古典的2-圏理論との有機的な関連を確立

潜在的影響

この仕事は (∞,2)(\infty,2)-圏理論の応用に新しい道を開き、特に以下の分野で重要である：

  • 導出代数幾何におけるsheaf理論
  • 高階オペラッド理論
  • 対称monoidal (∞,2)(\infty,2)-圏の研究

本論文は (∞,2)(\infty,2)-圏理論の発展における重要なマイルストーンを表し、この分野のさらなる発展のための堅実な理論的基礎を築いている。