[논문 리뷰] Diagrams of classifying spaces and $k$-fold Boolean algebras

Eric Babson, Dmitry N. Kozlov|arXiv (Cornell University)|1997. 04. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 3

한 줄 요약

이 논문은 위상공간의 군 작용에 의한 몫의 호몰로지를 계산하기 위해 호모토피 이론적 방법을 개발한다. 공간을 다이어그램의 호모토피 극한으로 표현하고, 그 다이어그램 위에서 군 작용을 분석함으로써 이를 달성한다. 핵심 결과는 브레인드 분할, 분류 공간, 스펙트럴 시퀀스를 사용하여 단체의 대칭 삭제 합성의 $\mathbb{Z}_2$-호몰로지를 완전히 계산한 것으로, 유한 단체의 경우는 추가로 포지트 기반의 묘사가 가능하다.

ABSTRACT

In this paper we study the problem of determining the homology groups of a quotient of a topological space by an action of a group. The method is to represent the original topological space as a homotopy limit of a diagram, and then act with the group on that diagram. Once it is possible to understand what the action of the group on every space in the diagram is, and what it does to the morphisms, we can compute the homology groups of the homotopy limit of this quotient diagram. Our motivating example is the symmetric deleted join of a simplicial complex. It can be represented as a diagram of symmetric deleted products. In the case where the simplicial complex in question is a simplex, we perform the complete computation of the homology groups with $\mathbb Z_p$ coefficients. For the infinite simplex the spaces in the quotient diagram are classifying spaces of various direct products of symmetric groups and diagram morphisms are induced by group homomorphisms. Combining Nakaoka's description of the $\mathbb Z_p$-homology of the symmetric group with a spectral sequence, we reduce the computation to an essentially combinatorial problem, which we then solve using the braid stratification of a sphere. Finally, we give another description of the problem in terms of posets and complete the computation for the case of a finite simplex.

연구 동기 및 목표

• 군 작용에 의한 몫 공간의 호몰로지를 계산하기 위한 일반적 방법을 개발하는 것.
• 단순체의 대칭 삭제 합성을 대칭 삭제 곱의 다이어그램으로 분석하는 것.
• 분류 공간과 스펙트럴 시퀀스를 사용하여 단체의 대칭 삭제 합성의 $\mathbb{Z}_2$-호몰로지를 계산하는 것.
• 유한 단체의 경우 문제를 포지트 이론적으로 묘사하는 것.
• 구구적 분할을 통해 구구적 문제로 호몰로지 계산을 축소하는 것.

제안 방법

• 원래 위상공간을 공간의 다이어그램의 호모토피 극한으로 표현하는 것.
• 군이 다이어그램 위에서 객체와 사상 양쪽에 작용하도록 하는 것.
• Nakaoka의 대칭군의 $\mathbb{Z}_2$-호몰로지 묘사를 사용하여 몫 다이어그램 내 분류 공간의 호몰로지를 분석하는 것.
• 스펙트럴 시퀀스를 적용하여 계산을 구구적 문제로 축소하는 것.
• 구현된 구구적 문제를 해결하기 위해 구의 브레인드 분할을 활용하는 것.
• 유한 단체의 경우 문제를 포지트와 $k$-겹 부울 대수를 사용하여 재구성하는 것.

실험 결과

연구 질문

• RQ1 다이어그램적 호모토피 극한을 통해 군 작용에 의한 몫 공간의 호몰로지를 어떻게 계산할 수 있는가?
• RQ2 단체의 대칭 삭제 합성의 $\mathbb{Z}_2$-호몰로지는 무엇인가?
• RQ3 대칭군이 단체 위에서 작용하는 것은 다이어그램 내 분류 공간 위에서 어떻게 번역되는가?
• RQ4 기하적 분할을 통해 호몰로지 계산을 구구적 문제로 축소할 수 있는가?
• RQ5 유한 단체의 경우 대칭 삭제 합성의 포지트 이론적 묘사는 무엇인가?

주요 결과

• 무한 단체의 대칭 삭제 합성의 $\mathbb{Z}_2$-호몰로지는 대칭군의 직접곱의 분류 공간을 통해 계산된다.
• 스펙트럴 시퀀스의 축소는 브레인드 분할을 통해 해결 가능한 구구적 문제로 이어진다.
• 무한 단체의 경우 몫 다이어그램의 공간들은 대칭군의 곱의 분류 공간이며, 사상은 군 준동형사상에 의해 유도된다.
• 무한 단체의 계산은 대칭군의 호몰로지와 다이어그램 구조를 통해 $\mathbb{Z}_2$-호몰로지의 완전한 묘사를 제공한다.
• 유한 단체의 경우 문제는 포지트와 $k$-겹 부울 대수로 재기록되어 완전한 호몰로지 계산이 가능해진다.
• 기하적 및 대수적 기법을 통해 위상 호몰로지 문제를 성공적으로 구구적 문제로 축소한 방법이 제시된다.