[論文レビュー] The Euler characteristic of a category

Tom Leinster|arXiv (Cornell University)|Oct 8, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 4

ひとこと要約

本稿では、位相幾何学および組合せ論の古典的定義を一般化する有限圏に対するEuler特徴量の新しい定義を導入する。重み付きMöbius逆転枠組みを用いて、Euler特徴量を圏の隣接行列の逆行列から導かれる対象の重みの和として定義し、その性質が、オルビフォールド、群ガロア、位相空間と整合的であることを示す。さらに、集合値関手の余極限の濃度に対する統一的な公式を提供する。

ABSTRACT

The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved, generalizing the classical inclusion-exclusion formula. Both rest on a generalization of Mobius-Rota inversion from posets to categories.

研究の動機と目的

• 有限圏に対するEuler特徴量の定義を提示し、位相的および組合せ論的古典的定義を一般化・拡張すること。
• このEuler特徴量が、オルビフォールド不変量、群ガロア濃度、位相的Euler特徴量といった既知の不変量と整合することを確立すること。
• 集合値関手の余極限の濃度を一般化した統一的な公式を提供すること。この公式は包含除算法を一般化する。
• Möbius–Rota逆転理論を順序集合から一般の有限圏へ拡張し、新たな数え上げおよび表現技法を可能にすること。

提案手法

• Euler特徴量を、対象の重みの和として定義する。ここで重みは、対象 i から j への矢印の数を表す行列 Z の逆行列から導かれる。
• Rotaの理論を順序集合を超えて一般の圏へ拡張するため、圏上の一般化されたMöbius逆転を用いて「対象の重み」の概念を導入する。
• 要素の圏の構成を用いて関手と余極限の関係を関連させ、表現可能性のための平坦性条件を分析する。
• 代表的関手の和として表される関手に対して、隣接行列 Z の逆行列を用いた表現公式を確立する。
• 任意の図形形状に対して有効な、集合値関手の余極限の濃度を表す一般公式を証明する。
• Euler特徴量が積、ファイブレーション、および他の圏的構成と整合的であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 有限圏のEuler特徴量は、位相空間およびオルビフォールドの古典的Euler特徴量を一般化する形でどのように定義できるか？
• RQ2 圏におけるMöbius逆転のカテゴリカルな類似物は何であり、Rotaの理論を順序集合から一般の圏へどのように拡張できるか？
• RQ3 集合値関手の余極限の濃度を一般化した統一的な公式を導出できるか？この公式は包含除算法を一般化する。
• RQ4 新しいEuler特徴量は、既存の不変量（群ガロア濃度、オルビフォールド不変量など）とどのように関係しているか？
• RQ5 Euler特徴量が濃度の一般化的意味を持つとはどのような意味か？また、どのような圏的性質を満たすのか？

主な発見

• 有限圏のEuler特徴量は、対象の重みの和として定義され、重みは隣接行列 Z の逆行列から導かれる。この定義は有理数値をとるが、整数値であるとは限らない。
• 隣接行列 Z が可逆である場合、Euler特徴量は Z⁻¹ のすべての成分の和に等しくなる。これにより、簡潔な計算式が得られる。
• 圏の分類空間のEuler特徴量が正しく定義される場合、この定義は位相的Euler特徴量と一致する。
• Euler特徴量は圏の積と整合的であり、χ(A × B) = χ(A)χ(B) を満たし、ファイブレーションや余極限に対しても良好に振る舞う。
• 任意の図形形状に対して有効な、集合値関手の余極限の濃度を表す一般公式が導出された。これは包含除算法を任意の図形形状へ一般化する。
• 理論はMöbius–Rota逆転を圏へ拡張し、隣接行列 Z の逆行列を用いることで、関手を代表的関手の和として明示的に表現可能にする。