Euler Characteristics of Categories and Homotopy Colimits

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.

44 pages. This final version will appear in Documenta Mathematica. Remark 8.23 has been improved, discussion of Grothendieck construction has been slightly expanded at the beginning of Section 3, and a few other minor improvements have been incoporated

References in corpus (4)

• The K-theoretic Farrell-Jones Conjecture for hyperbolic groups
• A Model for the Universal Space for Proper Actions of a Hyperbolic Group
• Sur l'existence d'une catégorie ayant une matrice strictement positive donnée
• On the existence of a category with a given matrix

Cited by in corpus (9)

• The magnitude of metric spaces
• Traces in monoidal derivators, and homotopy colimits
• Entropy and Diversity: The Axiomatic Approach
• On the Categorification of the Möbius Function
• Operad groups as a unified framework for Thompson-like groups
• Čech complexes for covers of small categories
• Euler characteristic and homotopy cardinality
• CW-complexes in the Category of Small Categories
• Classification des catégories associées à la matrice des coefficients 2 d'ordre donnée