[논문 리뷰] Euler Characteristics of Categories and Homotopy Colimits

Thomas M. Fiore, Wolfgang Lück외 1명|arXiv (Cornell University)|2010. 07. 22.

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$ 의 리ン크이다.
• 공식은 루프가 없는 유한한 카테고리 위의 유한군 작용으로부터 유한한 군 복합체의 가역성에 대한 필요 조건을 제공한다.
• 공식은 하플리거 군 복합체에 적용되어, 호모토피 쌓기의 오일러 특성이 원래 복합체와 군의 순서로부터 계산될 수 있음을 보여준다.