圏の局所化で積・余積が保たれる条件を調べる
Gabriel--Zisman Localizations, Products, Coproducts, and Product Categories
この論文をやさしく読む
ひとことで言うと
圏の中で特定の写像を逆向きにも使えるようにする「局所化」を行うと、積や余積という組合せの構造がどこまで保たれるかを調べています。
何に役立つ？
圏を局所化してから積を取る操作と、先に積を取ってから局所化する操作を比較するための理論的な条件になります。
この研究の面白いところ
加法的な関手でも積・余積の保存が保証されない例を示し、標準関手が充満・忠実になる必要十分条件から保存の条件を導いています。
どこまで分かった？
両立性には、積・余積の存在と指定された射のクラスの閉性という仮定があります。要旨には必要十分条件の具体的な式や反例の構成はありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文では、Gabriel–Zisman局所化Q: 𝒜 → 𝒜[S⁻¹]の下での積・余積と加法的構造を研究する。例により、Qが加法的であっても、局所化によって既存の積・余積が失われたり、局所化後にも存在する積・余積がQによって保存されなかったりすることを示す。 集合Iで添字付けられた族(𝒜_i,S_i)_{i∈I}について、標準関手(∏_{i∈I}𝒜_i)[(∏_{i∈I}S_i)⁻¹] → ∏_{i∈I}𝒜_i[S_i⁻¹]が充満または忠実となるための必要十分条件を与える。これらの判定条件から、分数計算が可能な局所化、またはモデル圏から生じる局所化について、Iで添字付けられた積・余積との両立性が得られる。ただし、対象となる積・余積が存在し、指定された射のクラスがそれらの演算について閉じていることを仮定する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
This paper studies (co)products and additive structures under Gabriel--Zisman localization $Q:\mathcal A\longrightarrow\mathcal A[S^{-1}]$. Examples show that localization may destroy existing (co)products or fail to preserve (co)products that remain, even when $Q$ is additive. For a set-indexed family $(\mathcal A_i,S_i)_{i\in I}$, necessary and sufficient conditions are given for the canonical functor $\big(\prod_{i\in I}\mathcal A_i\big)\big[\big(\prod_{i\in I}S_i\big)^{-1}\big]\longrightarrow\prod_{i\in I}\mathcal A_i[S_i^{-1}]$ to be full or faithful. These criteria yield compatibility with $I$-indexed (co)products for localizations admitting a calculus of fractions or arising from model categories, provided the relevant (co)products exist and the designated classes of morphisms are closed under them.
arXiv ID: 2609.18617 ／ 要約の誤りについて