[论文解读] 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}}$-分类空间的有限 ${\mathcal{I}}$-CW 模型中的不变量与组合结构，计算范畴同伦黏合的欧拉特征与 $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)$ 的欧拉特征。
• 该公式通过不变量的同调起源推导得出，特别是通过投影类群与冯·诺依曼代数上的维数理论。
• 该方法依赖于有限 ${\mathcal{I}}$-CW 模型的存在性，该存在性在顶点范畴满足直觉有限性与有限型（FF Z）等条件下得以保证。
• 作者将公式应用于特殊情形，包括积、同伦黏合、同伦轨道与传输群胚。
• 他们进一步将公式应用于 Haefliger 群系复形，从无环有限范畴上的群作用推导出复形可展性的必要条件。

实验结果

研究问题

• 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{同伦黏合}) = \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$ 为 scwol 中 $i$ 的邻域。
• 该公式为从有限群作用于无环有限范畴所诱导的有限群系复形的可展性提供了必要条件。
• 该公式被应用于 Haefliger 群系复形，表明同伦黏合的欧拉特征可由原复形与群阶数计算得出。