[論文レビュー] Categories of Fractions Revisited

T. A. Fritz|arXiv (Cornell University)|Mar 18, 2008

History and Theory of Mathematics参考文献 6被引用数 6

ひとこと要約

本稿は、分数の圏の理論について包括的で教育的なレビューを提供し、すべての基礎的結果を厳密に証明する。古典的なGabriel-Zismanの公理とHigsonが提唱した弱化されたバージョンの間の同値性を確立し、加法的圏が左分数の計算を備えるならば、その局所化も加法的であることを示す。これは、普遍的局所化原理を用いて元の圏から well-behaved な圏を構成する強固な枠組みを提供する。

ABSTRACT

The theory of categories of fractions as originally developed by Gabriel and Zisman is reviewed in a pedagogical manner giving detailed proofs of all statements. A weakening of the category of fractions axioms used by Higson is discussed and shown to be equivalent to the original axioms.

研究の動機と目的

• すべての標準的結果について完全な証明を含む、分数の圏の理論の詳細かつ自己完結的な解説を提供すること。
• 古典的な分数の圏の公理とHigsonが提案した弱化されたバージョンの間の同値性を調査し、証明すること。
• 加法的圏が特定のモルフィズムの族に関して局所化されるとき、その局所化が加法的である条件を確立すること。
• 共通分母と屋根（roofs）の同値類が、局所化された圏における加法演算を構成する際の役割を明確にすること。

提案手法

• モルフィズムの族 W の逆転を解消する普遍的解として、圏 C[W⁻¹] を定義するために局所化の普遍性を用いる。
• 左分数の計算（公理 L0, L1, L2）を適用して、w ∈ W を用いた「屋根」(f, w) の同値類として、モルフィズムの明示的代表元を構成する。
• 図式的推論と初等的同値変換を用いて、屋根の同値類上の加法演算の定義が適切に定義されていることを定義および検証する。
• 左消去性（L1）を用いた共通分母の構成により、異なる分母を持つモルフィズムを統一する。
• 明示的な代表元を構成することで、加法演算が結合的で、可換であり、零元および逆元を有することを示す。
• 局所化関手が双積と零対象を保存することを証明し、元の圏が加法的であれば局所化された圏も加法的であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 Higsonが提唱した分数の圏の弱化公理系は、古典的なGabriel-Zismanの公理系と同値であるか？
• RQ2 共通分母を用いて構成された場合、分数の圏におけるモルフィズムの加法演算は適切に定義されるか？
• RQ3 左分数の計算を備えた加法的圏の局所化は、加法的構造を継承するか？
• RQ4 局所化の普遍性は、元の圏の加法的構造とどのように相互作用するか？
• RQ5 局所化関手が双積と零対象を保存するための条件は何か？

主な発見

• Higsonが提唱した弱化公理は、古典的な分数の圏の公理と同値であり、局所化を構成するのに十分であることが確認された。
• 屋根の同値類上の加法演算は、代表元の選び方に依存せず、図式的同値と初等的変換を用いて示された。
• 元の圏 C が加法的であり、かつ左分数の計算を備えるならば、分数の圏 C[W⁻¹] は加法的である。
• 局所化関手は加法的であり、双積と零対象を保存するため、C[W⁻¹] は C の加法的構造を継承する。
• 左消去性（L1）を用いた共通分母の構成により、局所化された圏におけるモルフィズムの加法演算が一貫的かつ明確に定義可能である。
• 同値類 [(0, id)] は加法的単位元を表し、[(−f, w)] は [(f, w)] の逆元である。これにより、ホム集合上のアーベル群構造が確認された。