G-kernels and Crossed Modules
Abstract
We develop a unified framework based on topological crossed modules for various lifting obstructions for -kernels. It allows us to identify actions, cocycle actions and -kernels up to their natural equivalence relations with cohomology sets. The obstructions then appear as boundary maps in corresponding exact sequences. Since topological crossed modules are topological 2-groups (in the categorical sense), they have classifying spaces, which come with a natural transformation from the cohomology to a homotopy set. For the crossed module that gives cocycle actions we prove a weak equivalence of the classifying space of the crossed module with one from bundle theory. In case the algebra is strongly self-absorbing we show that the homotopy set is a group and that the above natural transformation is a group isomorphism on an appropriate restriction of the cohomology set.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.