비가환 공간 위 유한군 작용의 호모토피 분류

초록

본 논문은 비가환(아스페리컬) 공간에 대한 유한군의 자유 작용을 호모토피 이론으로 완전히 분류한다. 핵심은 자유 작용에 의해 얻어지는 기본군의 확장과 이를 군 확장의 동형류와 일대일 대응시키는 데 있다. 또한 비자유 작용에 대해서는 베리-이시다르드 공간과 스펙트럴 시퀀스를 이용해 군의 코호몰로지와 부분군 격자 구조 사이의 새로운 관계를 제시한다.

상세 요약

논문은 먼저 아스페리컬 공간 X(즉, 모든 고차 동치군이 0인 K(π,1) 공간) 위의 유한군 G의 자유 작용을 고려한다. 자유 작용이면 X→X/G는 정규 covering이며, 기본군 π₁(X/G)와 π₁(X) 사이에 정확한 열
1→π₁(X)→π₁(X/G)→G→1
이 존재한다. 저자는 이 확장을 “동형류 확장(extension up to equivalence)”이라고 정의하고, 두 자유 작용이 호모토피 동형이면 그에 대응하는 확장도 동형류가 된다는 정리를 증명한다. 반대로, 주어진 확장 클래스