2025-11-24T13:19:17.548959

Fibrational approach to Grandis exactness for 2-categories

Caviglia, Janelidze, Mesiti

In an abelian category, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotients. This property captures substantial information about the exactness structure of a category. Indeed, as it was shown by the second author and T.~Weighill, categories equipped with a proper factorization system such that the opfibration of subobjects relative to the factorization system is isomorphic to the fibration of relative quotients are precisely the Grandis exact categories. In this paper we characterize those (1,1)-proper factorization systems on a 2-category in the sense of M.~Dupont and E.~Vitale, for which the weak 2-opfibration of relative 2-subobjects is biequivalent to the weak 2-fibration of relative 2-quotients. This results in a new notion of 2-dimensional exactness, which we then compare with similar notions in the context of categories enriched in pointed groupoids arising in the work of M.~Dupont and H.~Nakaoka.

academic

2-圏に対するGrandis正合性への線維化的アプローチ

基本情報

論文ID: 2504.01011
タイトル: Fibrational approach to Grandis exactness for 2-categories
著者: Elena Caviglia, Zurab Janelidze, Luca Mesiti
分類: math.CT (圏論)
発表日時: 2025年10月10日 (arXiv v3)
論文リンク: https://arxiv.org/abs/2504.01011v3

要約

アーベル圏において、部分対象の(二重)線維化と商対象の(二重)線維化は同型である。この性質は圏の正合構造に関する重要な情報を捉えている。第二著者とT. Weighillが証明したように、適切な分解系を備えた圏において、その分解系に相対的な部分対象opfibrationと相対的商対象fibrationが同型であることは、ちょうどGrandis正合圏の特徴付けである。本論文は、2-圏上の(1,1)-適切分解系（M. DupontおよびE. Vitaleの意味における）で、相対的2-部分対象の弱2-opfibrationと相対的2-商対象の弱2-fibrationが二重同値となるものを特徴付ける。これにより2次元正合性の新しい概念が導かれ、M. DupontおよびH. Nakaoka による点群胚豊富圏の背景下での類似概念と比較される。

研究背景と動機

核心問題

本論文は、古典的なGrandis正合性理論を1-圏から2-圏へ推広し、線維化方法を通じて2次元正合性理論を確立することを目指している。

問題の重要性

同調代数の2次元推広：2次元圏における同調代数は新興かつ重要な研究領域であり、特に対称圏群の同調性質の研究において重要な意義を持つ。
線維化理論の応用：線維化理論は圏の正合構造を理解するための深い幾何学的直観を提供し、これを2次元の場合に推広することは重要な理論的価値を持つ。
既存理論の統一：既存の2次元正合性概念（DupontおよびNakaoka の研究など）は統一的な理論枠組みを欠いており、本論文はそのような統一的視点を提供する。

既存方法の限界

DupontおよびNakaoka の研究は主に点群胚豊富圏に限定されている
線維化に基づく統一的理論枠組みが欠けている
2-圏の高次元構造が十分に活用されていない

研究の動機

線維化方法により2次元Grandis正合性理論を確立し、2次元同調代数に堅実な理論的基礎を提供し、既存の各種2次元正合性概念を統一する。

核心的貢献

2-イデアル概念の導入：2-圏における2-イデアル（null射と null 2-セルのイデアル）の厳密な定義を提案し、profunctor方法を通じて完全な特徴付けを与える。
2次元核と余核理論の確立：2-イデアルに相対的な2-核（2-kernel）と2-余核（2-cokernel）を定義し、それらの基本性質を証明する。
主要同値定理の証明：2-圏がGrandis 2-正合であることと、(1,1)-適切分解系が存在して2-商対象の弱2-fibrationと2-部分対象の弱2-opfibrationがその2-圏上で二重同値であることが同値であることを証明する。
弱正合性概念の導入：弱Grandis 2-正合と弱Puppe 2-正合の概念を提案し、これらがDupontおよびNakaoka の既存理論を推広することを証明する。
既存理論との関連性の確立：本論文の理論がすべての1次元アーベル圏を特例として含むことを証明し、既存の2次元正合性理論との明確な関連性を確立する。

方法の詳細

タスク定義

本論文の核心的タスクは2-圏の正合性理論を確立することであり、具体的には以下を含む：

入力：2-圏L
出力：LがGrandis 2-正合またはPuppe 2-正合であるかの判定
制約条件：適切な分解系と2-イデアル構造が必要

核心的理論枠組み

2-イデアルの定義

定義2.2：2-圏Lにおける2-イデアルNは対(N,ν)であり、ここで：

N: L^op × L → Catは正規疑函手（2次元profunctor）
νは単射対象で忠実な疑自然変換：

L^op × L → Cat
    N ↘   ↗ Hom(-,-)
        ν

定理2.4は2-イデアルの同値な特徴付けを提供する：null射のクラスとnull 2-セルのクラスを通じて、適切な閉包性条件を満たす。

2-核と2-余核

定義2.10：射f: A → Bの N-2-核は射k: K → Aであり、同型2-セルα: f∘k ≅ n（nはnull射）を備え、以下を満たす：

1次元普遍性質：任意のz: Z → Aで f∘z がnull射に同型であるものに対して、唯一のu: Z → Kと同型2-セルγ: z ≅ k∘uが存在する
2次元普遍性質：射u,v: Z → Kと2-セルλ: k∘u ⇒ k∘vに対して、対応する2-セルがnullであれば、唯一のμ: u ⇒ vが存在してk⋆μ = λを満たす

主要同値定理

定理3.4：2-圏Lに対して、以下の条件は同値である：

(i) 線維化条件：(1,1)-適切分解系(E,M)と二重同値

E ⇄ M
 ↘ ↙
  L

が存在して、2-商対象の弱2-fibrationと2-部分対象の弱2-opfibrationが二重同値である。

(ii) 代数的条件：Lは2-イデアルNを持ち、以下を満たす：

LはすべてのN-2-核とN-2-余核を持つ
Nは閉包2-イデアルである
各N-2-核はそのN-2-余核のN-2-核である（逆も成立）
各射はN-2-余核に続くN-2-核に分解される

技術的革新点

Profunctor方法：profunctor方法を用いて2-イデアルを定義することで、直接的な1次元定義の推広よりも自然で強力である。
弱線維化概念：弱2-fibration概念を導入し、完全なfibrationではなく局所的にisofibrationであることのみを要求する。これは2次元の場合により適切である。
相対直交性：弱正合の場合、相対直交分解系の概念を導入する。これは古典的直交分解系の重要な推広である。
二重同値対厳密同型：2次元の場合、厳密同型ではなく二重同値を使用する。これは2-圏の本質的特性を反映している。