2025-11-17T01:55:12.464260

Higher presentable categories and limits

Aoki

Stefanich generalized the notion of (locally) presentable $(\infty, 1)$-category to the notion of presentable $(\infty, n)$-category. We give a new description based on the new notion of $Îº$-compactly generated $(\infty, n)$-category, which avoids universe enlargement. Using the new definition, we prove the underlying functor of a morphism between presentable $(\infty, 2)$-categories has a right adjoint. In particular, any presentable $(\infty, 2)$-category has limits. We also prove that this fails drastically when we go higher: The unit presentable $(\infty, 3)$-category, i.e., the category of presentable $(\infty, 2)$-categories, does not have limits. This settles Stefanich's conjecture in the negative.

academic

高次可呈現圏と極限

基本情報

論文ID: 2510.13503
タイトル: Higher presentable categories and limits
著者: Ko Aoki
分類: math.CT（圏論）、math.AT（代数的位相幾何学）、math.LO（論理学）
発表日: 2025年10月16日
論文リンク: https://arxiv.org/abs/2510.13503

摘要

Stefanichは（局所）可呈現 $(\infty, 1)$ -圏の概念を可呈現 $(\infty, n)$ -圏の概念に一般化した。本論文は、新しい $\kappa$ -コンパクト生成 $(\infty, n)$ -圏の概念に基づいた新しい記述を与え、宇宙拡張を回避している。新しい定義を利用して、可呈現 $(\infty, 2)$ -圏間の射の基礎関手が右随伴を持つことを証明する。特に、任意の可呈現 $(\infty, 2)$ -圏は極限を持つ。さらに、より高次元に進むと、この性質が急激に失効することを証明する。すなわち、単位可呈現 $(\infty, 3)$ -圏、つまり可呈現 $(\infty, 2)$ -圏の圏は極限を持たない。これはStefanichの予想を否定的に解決する。

研究背景と動機

問題背景

可呈現圏論の重要性：圏論において、可呈現性（すなわち「小対象により生成される」）は基本的な概念であり、位相理論（Giraudの特性化など）において重要な役割を果たしている。
随伴関手定理：古典理論では、可呈現圏間の任意の射の基礎関手は右随伴を持つ。これは特に極限の存在を意味し、強力な道具である。
高次元への一般化の困難性：この理論を高次元圏論に一般化することは困難である。素朴には、可呈現2-圏の圏は「可呈現Pr-豊富圏」であるべきだが、可呈現1-圏の圏Pr自体が可呈現でないため、サイズの問題が生じる。
Stefanichの解決策とその問題点：Stefanichは宇宙拡張を巧妙に用いてこの問題を解決したが、この方法には欠点がある：
- 強い公理を必要とし、ZF集合論上での相対的無矛盾性は証明不可能
- 異なる宇宙拡張は異なる可呈現n-圏の概念をもたらす可能性がある
- 特定の問題は研究が困難である

研究動機

本論文は、宇宙拡張の問題を回避する新しい定義を提供し、この新しい方法を用いてStefanichが提起した高次元可呈現圏の極限存在性に関する予想を研究することを目的とする。

核心的貢献

新しい定義： $\kappa$ -コンパクト生成 $(\infty, n)$ -圏に基づいた可呈現 $(\infty, n)$ -圏の新しい定義を提案し、宇宙拡張を回避している。
同値性の証明：新しい定義がStefanichの原始的定義と同値であることを証明し（定理A）、宇宙拡張の選択に依存しない。
2-圏の肯定的結果：可呈現 $(\infty, 2)$ -圏間の射の基礎関手が右随伴を持つことを証明し、特に任意の可呈現 $(\infty, 2)$ -圏は極限を持つ（定理D）。
Stefanich予想の否定： $n \geq 0$ のとき $nPr$ が小極限を持つというStefanichの予想が $n = 2$ で誤りであることを証明する（定理B）。
写像圏の非可呈現性：安定可呈現対称単子3-または4-圏を構成し、その $\text{End}(1)$ が可呈現存在でないことを示す（定理C）。

方法の詳細

核心的定義

定義1.2（新しい可呈現n-圏の定義）：正則基数 $\kappa$ に対して、 $\text{Pr}^\kappa$ を $\kappa$ -コンパクト生成圏と余極限および $\kappa$ -コンパクト対象を保つ関手の圏とする。以下のように定義する：

$0\text{Pr}^\kappa$ をアニマ圏 $\text{Ani}$ とする
$(n+1)\text{Pr}^\kappa = \text{Mod}_{n\text{Pr}^\kappa}(\text{Pr}^\kappa)$ 、 $n \geq 0$

正則基数 $\kappa \leq \lambda$ に対して、標準関手 $n\text{Pr}^\kappa \to n\text{Pr}^\lambda$ がある。以下のように定義する： $n\text{Pr} = \lim_{\to \kappa} n\text{Pr}^\kappa$

主要な技術的成分

$\kappa$ -コンパクト生成性：
- 補題2.1と2.2は帰納的定義の妥当性を保証する
- 命題2.3は $\text{Pr}^\kappa$ 自体が $\text{CAlg}(\text{Pr}^\kappa)$ に属することを証明する
豊富圏論：
- Heine定理3.4を使用： $\text{Mod}_V(\text{Pr})$ は $\text{Pr}^V$ と同値
- 命題3.7は可呈現V-圏の特性化を与える
複雑性の概念：
- 定義4.9は支配射の複雑性 $c_\kappa(F)$ を導入する
- 命題4.10は異なる基数間の複雑性の関係を与える

技術的革新点

宇宙拡張の回避：有向極限 $\lim_{\to \kappa} n\text{Pr}^\kappa$ の構成を通じて、より大きな宇宙を固定する必要性を回避する。
複雑性理論：支配射の複雑性の概念を導入し、これは高次元の場合における極限の非存在を分析するための主要な道具である。
豊富Ind-圏論：V-豊富なInd-圏論を体系的に発展させ、2-圏の場合の肯定的結果の基礎を提供する。

主要な結果

肯定的結果（定理D）

定理D：可呈現2-圏間の任意の射の基礎関手は右随伴を持つ。特に、任意の可呈現2-圏は極限を持つ。

証明の概要：

定理3.9を利用： $\kappa \leq \lambda$ に対して、関手 $C \to \text{Pr}^\lambda \otimes_{\text{Pr}^\kappa} C$ は $\kappa$ -小極限を保ち、単射である
豊富圏論を通じて、問題を関手圏間の随伴関係に帰着させる
補題3.12の技術を利用して、必要な随伴の存在を証明する

否定的結果（定理B）

定理B：Stefanich予想は $n = 2$ で誤りである。

証明の概要：

$\text{cofib}: \text{Fun}([1], \text{Pr}^{\text{st}}) \to \text{Pr}^{\text{st}}$ を考える
$\ker(\text{cofib}) = \text{Fun}([1], \text{Pr}^{\text{st}}) \times_{\text{Pr}^{\text{st}}} 0$ が $2\text{Pr}$ に存在しないことを証明する
重要なのは例4.13を構成することで、異なる $\kappa$ に対応する $\text{Dom}^\kappa$ が遷移時に支配性を保たないことを示す
複雑性理論を利用して、特定の対象がより小さな複雑性で生成できないことを証明する

異なる $\kappa$ レベルでは、 $\text{Dom}^\kappa$ の振る舞いが一貫しない
遷移関手 $\text{Pr}^\mu \otimes_{\text{Pr}^\kappa} \text{Dom}^\kappa \to \text{Pr}^\mu \otimes_{\text{Pr}^\lambda} \text{Dom}^\lambda$ は支配的でない
これにより、極限が $2\text{Pr}$ に存在しない