[論文レビュー] Euler Characteristics of Categories and Homotopy Colimits

Thomas M. Fiore, Wolfgang Lück+1 more|arXiv (Cornell University)|Jul 22, 2010

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

ひとこと要約

本稿では、有限な ${\mathcal{I}}$-CW モデルを用いた、小領域 ${\mathcal{I}}$-分類空間の組合せ論的構造と個々の頂点カテゴリの不変量を用いて、カテゴリのホモトピー余極限のオイラー指標および $L^2$-オイラー指標を計算するホモトピー余極限公式を確立する。主な貢献は、モデル内の $n$-セルに対する符号付き和を用いた一般化であり、古典的な包含除外原理を高次カテゴリカルおよびホモトピー的設定へと拡張するものである。

ABSTRACT

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of I-indexed categories where I is any small category admitting a finite I-CW-model for its I-classifying space. Special cases of our Homotopy Colimit Formula include formulas for products, homotopy pushouts, homotopy orbits, and transport groupoids. We also apply our formulas to Haefliger complexes of groups, which extend Bass--Serre graphs of groups to higher dimensions. In particular, we obtain necessary conditions for developability of a finite complex of groups from an action of a finite group on a finite category without loops.

研究の動機と目的

• カテゴリのオイラー指標理論をカテゴリの図のホモトピー余極限へと拡張すること。
• 有限性障害、オイラー指標、$L^2$-オイラー指標がホモトピー余極限と整合することを確立すること。
• 幾何的群論における群の複体と可開条件に、公式を適用すること。
• 古典的な包含除外原理を高次カテゴリカルおよびホモトピー的設定へ一般化すること。
• 射影的クラス群およびフォン・ノイマン代数上の次元論を用いた不変量の統一的枠組みを提供すること。

提案手法

• 著者たちは、図のホモトピー理論および ${\mathcal{I}}$-分類空間の理論を用い、小カテゴリ ${\mathcal{I}}$ に対して有限な ${\mathcal{I}}$-CW モデルを定義する。
• ホモトピー余極限公式は、${\mathcal{I}}$-CW モデル内の $n$-セル $\lambda \in \Lambda_n$ に対する符号付き和として定義され、各セルの重みは頂点カテゴリ $\mathcal{C}(i_\lambda)$ のオイラー指標である。
• この公式は、特に射影的クラス群およびフォン・ノイマン代数上の次元論を介した不変量のホモロジー的起源に基づいて導出される。
• この手法は、頂点カテゴリに対して直接的有限性および有限型（FF Z）の条件が満たされる場合に、有限な ${\mathcal{I}}$-CW モデルの存在が保証されることに依存する。
• 著者たちは、積、ホモトピー被覆、ホモトピー軌道、輸送群準同型の特殊な場合に公式を適用する。
• さらに、ハーフリガーの群の複体に公式を適用し、ループのない有限カテゴリへの群作用から、可開性の必要条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー余極限のカテゴリのオイラー指標は、その頂点カテゴリの不変量からどのように計算できるか？
• RQ2 有限性障害および $L^2$-オイラー指標がホモトピー余極限と整合するための条件は何か？
• RQ3 ホモトピー余極限公式は、古典的な包含除外原理を高次カテゴリカルおよびホモトピー的設定へ一般化できるか？
• RQ4 この公式は、幾何的群論における群の複体の可開性にどのような意味を持つか？
• RQ5 ループのない有限カテゴリへの群作用は、関連する群の複体の可開性とどのように関係するか？

主な発見

• ホモトピー余極限公式は、$\chi(\operatorname{hocolim}_{\mathcal{I}}{\mathcal{C}};R) = \sum_{n\geq 0}(-1)^n \sum_{\lambda \in \Lambda_n} \chi({\mathcal{C}}(i_\lambda);R)$ と表され、ここで $\Lambda_n$ は有限な ${\mathcal{I}}$-CW モデルの $n$-セルをインデックスする。
• ホモトピー被覆の場合、公式は $\chi(\text{homotopy pushout}) = \chi(\{\ast\}) + \chi(\{\ast'\}) - \chi(\{y,z\})$ に簡略化され、包含除外原理が回復される。
• 公式は $L^2$-オイラー指標および有限性障害へも拡張可能であり、${\mathcal{I}}$-セルに対する類似の符号付き和が得られる。
• 有限群 $G$ がループのない有限カテゴリに作用する場合、公式は $\chi(B\operatorname{hocolim}_{\mathcal{I}}F) = \sum_{i \in \operatorname{ob}({\mathcal{I}})} (1 - \chi(BLk^i)) \chi(BF(i))$ を与え、ここで $Lk^i$ はスコールにおける $i$ のリンクである。
• 公式は、ループのない有限カテゴリへの有限群作用から、有限群の複体の可開性の必要条件を提供する。
• 公式はハーフリガーの群の複体に適用され、ホモトピー余極限のオイラー指標が元の複体と群の位数から計算可能であることが示された。