[论文解读] On finite induced crossed modules and the homotopy 2-type of mapping cones

Ronald Brown, Christopher D. Wensley|arXiv (Cornell University)|Mar 9, 1995

Homotopy and Cohomology in Algebraic Topology被引用 15

一句话总结

本文利用二维范坎彭定理与交叉复形方法，证明了有限群导出的交叉模是有限的。它计算了有限群分类空间映射锥的同伦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型。
• 通过上同调类确定此类映射锥的第一个庞特里亚金不变量。
• 展示如何通过自由交叉模化解析构造显式的3-上循环以表示上同调类。

提出的方法

• 使用二维范坎彭定理（2-VKT），证明映射锥的交叉模 $\pi_2(X,A) \to \pi_1(A)$ 是通过映射 $\pi_1(V) \to \pi_1(A)$ 从恒等交叉模 $\pi_1(V) \to \pi_1(V)$ 导出的。
• 应用布朗与希金斯（1987）提出的导出交叉模的表示方法，分析其结构与有限性。
• 采用交叉复形技术，通过从自由交叉模化解析构造显式3-上循环，计算上同调类，特别是 $H^3(C_n, A_n)$。
• 使用同态 $\iota: C_n \to C_{n^2}$，将生成元 $t$ 映射为 $u^n$，定义导出交叉模 $\iota_*C_n \to C_{n^2}$，其核为 $C_n$-模 $A_n$。
• 识别出将自由模 $F_3$ 的生成元映射到 $a_0 \in A_n$ 的3-上循环 $f_3$，并通过边界识别计算出上同调群为 $C_n$。
• 依赖于上同调群 $H^3(C_n, A_n)$ 与边界映射 $\delta_4$ 的余核之间的同构，得出其为阶为 $n$ 的循环群。

实验结果

研究问题

• RQ1 从有限交叉模导出的交叉模在何种条件下自身是有限的？
• RQ2 映射锥 $BC_{n^2} \cup_{B\theta} \Gamma BC_n$ 的同伦2型是什么？
• RQ3 该映射锥的第一个庞特里亚金不变量是什么？它如何作为上同调类实现？
• 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$ 为偶数时，上同调群 $H^3(C_n, C_n') \cong C_2$ 由交叉模 $\nu_n: C_n \times C_n \to C_{n^2}$ 表示，尽管尚不明确其在 $n > 2$ 时是否为导出交叉模。
• 利用自由交叉模化解析构造显式3-上循环的方法有效且可推广至其他有限交叉模。