[논문 리뷰] On finite induced crossed modules and the homotopy 2-type of mapping cones

Ronald Brown, Christopher D. Wensley|arXiv (Cornell University)|1995. 03. 09.

Homotopy and Cohomology in Algebraic Topology인용 수 15

한 줄 요약

이 논문은 2차원 반 캄펜 정리와 교차 복합체 방법을 사용하여 유한군에서 유도된 교차 모듈러가 유한하다는 것을 증명한다. 유한군의 분류 공간의 매핑 콘의 호모토플리 2형식을 계산하며, $BC_{n^2}  \bigcup_{B\theta} \Gamma BC_n$의 첫 번째 포스트니코프 불변량이 $H^3(C_n, A_n) \cong C_n$의 생성자를 이루며, 자유 교차 해상법을 통해 명시적인 3코호몰로지 족을 제공한다.

ABSTRACT

Results on the finiteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of classifying spaces of groups. Calculations of the cohomology classes of some finite crossed modules are given, using crossed complex methods.

연구 동기 및 목표

• 유한군에서 시작할 때, 유도된 교차 모듈러가 유한해지는 조건을 확립하는 것.
• 교차 모듈러의 구조를 사용하여 유한군의 분류 공간의 매핑 콘의 호모토플리 2형식을 계산하는 것.
• 코homology 클래스를 통해 이러한 매핑 콘의 첫 번째 포스트니코프 불변량을 결정하는 것.
• 자유 교차 해상법이 어떻게 코homology 클래스를 나타내는 명시적인 3코호몰로지 족을 도출할 수 있는지 보여주는 것.

제안 방법

• 매핑 콘에 대해 $\pi_2(X,A) \to \pi_1(A)$인 교차 모듈러가 $\pi_1(V) \to \pi_1(V)$인 항등 교차 모듈러를 $\pi_1(V) \to \pi_1(A)$의 사상에 의해 유도한다는 것을 2차원 반 캄펜 정리(2-VKT)를 사용하여 보여준다.
• 브라운와 히긴스(1987)의 유도된 교차 모듈러의 표현을 적용하여 구조와 유한성을 분석한다.
• 교차 복합체 기법을 사용하여 코homology 클래스, 특히 $H^3(C_n, A_n)$를 계산하며, 자유 교차 해상법에서 유도된 명시적인 3코호몰로지 족을 구성한다.
• 생성자 $t$를 $u^n$으로 보내는 사상 $\iota: C_n \to C_{n^2}$를 사용하여 유도된 교차 모듈러 $\iota_*C_n \to C_{n^2}$를 정의하며, 그 핵은 $C_n$-모듈러 $A_n$이 된다.
• 자유 모듈러 $F_3$의 생성자를 $a_0 \in A_n$으로 보내는 3코호몰로지 족 $f_3$를 식별하고, 경계 식별을 통해 코homology 군을 $C_n$으로 계산한다.
• 코homology 군 $H^3(C_n, A_n)$과 경계 사상 $\delta_4$의 상사이의 등장관계를 이용하여 순환군 $n$의 순서를 갖는다.

실험 결과

연구 질문

• RQ1 유한 교차 모듈러에서 유도된 교차 모듈러가 유한해지는 조건은 무엇인가?
• RQ2 매핑 콘 $BC_{n^2} \cup_{B\theta} \Gamma BC_n$의 호모토플리 2형식은 무엇인가?
• RQ3 이 매핑 콘의 첫 번째 포스트니코프 불변량은 무엇이며, 어떻게 코homology 클래스로 표현되는가?
• RQ4 유도된 교차 모듈러 $\iota_*C_n \to C_{n^2}$는 $H^3(C_n, A_n)$의 3코호몰로지 족으로 표현될 수 있는가?
• RQ5 $n > 2$일 때, $\nu_n: C_n \times C_n \to C_{n^2}$이면서 $\nu_n t_0 = \nu_n t_1 = u^n$인 교차 모듈러는 유도된 교차 모듈러인가?

주요 결과

• 유도된 교차 모듈러 $\iota_*C_n \to C_{n^2}$는 유한하며, 핵 $A_n$은 순서 $n$인 순환 $C_n$-모듈러이다.
• $H^3(C_n, A_n)$는 $C_n$과 동형이며, 유도된 교차 모듈러의 계열에 의해 생성된다.
• 매핑 콘 $X = BC_{n^2} \cup_{B\theta} \Gamma BC_n$의 첫 번째 포스트니코프 불변량은 $H^3(C_n, A_n) \cong C_n$의 생성자이며, 2형식이 비자명함을 확인한다.
• $w_0 \in F_3$를 $a_0 \in A_n$으로 보내는 3코호몰로지 족 $f_3$는 $H^3(C_n, A_n)$의 생성자를 나타내며, 경계 사상 $\delta_4$를 통해 계산된다.
• 짝수 $n$에 대해 코homology 군 $H^3(C_n, C_n') \cong C_2$는 교차 모듈러 $\nu_n: C_n \times C_n \to C_{n^2}$로 표현되며, $n > 2$일 때 이것이 유도된 것으로 알려져 있지 않다.
• 자유 교차 해상법을 사용하여 명시적인 3코호몰로지 족을 구성하는 방법은 효과적이며, 다른 유한 교차 모듈러로 일반화할 수 있다.