余コンパクト性と表示可能な圏の構造
Cocompactness and Presentability
この論文をやさしく読む
ひとことで言うと
表示可能な圏の余コンパクト対象に関する性質を、∞圏にまで拡張する数学研究です。
何に役立つ？
高次の構造を含む圏の大きさや対象の制約を整理する基礎理論です。圏とその反対圏がともに表示可能な場合の強い制約を導きます。
この研究の面白いところ
両方が表示可能なら小さい完備束になるという古典的結果を拡張します。証明過程ではphantom写像の冪零性も扱います。
どこまで分かった？
主結果の強化が可測基数の真のクラスの存在と同値になると述べています。通常の主結果と、追加の集合論的条件に関係する強化を分けて読む必要があります。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
表示可能な圏のκ余コンパクト対象が部分終対象であることを短く証明する。主要な結果として、これを表示可能な∞圏の設定へ拡張する。その帰結として、∞圏Cとその反対圏Cᵒᵖの両方が表示可能であるなら、Cは小さい完備束であることが分かる。これはGabriel–Ulmerの古典的な定理を拡張するものである。 その過程で、一般の点付き表示可能な∞圏におけるファントム写像について、冪零性に関する結果を証明する。さらに、主要結果を強めたある命題が、可測基数の真のクラスの存在と同値であることを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We give a short proof that $\kappa$-cocompact objects in a presentable category are subterminal. As our main result, we extend this to the setting of presentable $\infty$-categories. A consequence is that an $\infty$-category $\mathcal{C}$ such that both $\mathcal{C}$ and $\mathcal{C}^\mathsf{op}$ are presentable is a small complete lattice, extending a classical theorem of Gabriel-Ulmer. Along the way, we prove a nilpotence result for phantom maps in general pointed presentable $\infty$-categories. Additionally, we show that a strengthening of our main result is equivalent to the existence of a proper class of measurable cardinals.
著者のコメント
15 pages. Comments Welcome!
arXiv ID: 2609.20533 ／ 要約の誤りについて