Higher Hopf formulae for homology via Galois Theory

Abstract

We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we describe the Barr-Beck derived functors of the reflector of A onto B in terms of centralization of higher extensions. In case A is the category Gp of all groups and B is the category Ab of all abelian groups, this yields a new proof for Brown and Ellis's formulae. We also give explicit formulae in the cases of groups vs. k-nilpotent groups, groups vs. k-solvable groups and precrossed modules vs. crossed modules.

35 pages; major changes in section 5, minor changes elsewhere

Cited by in corpus (14)

• Resolutions, higher extensions and the relative Mal'tsev axiom
• A description of the fundamental group in terms of commutators and closure operators
• Galois theory and commutators
• An introduction to regular categories
• Conditional flatness, fiberwise localizations, and admissible reflections
• Non-associative algebras
• Hopf formulae for homology of skew braces
• A comparison theorem for simplicial resolutions
• Non-additive derived functors via chain resolutions
• A symmetric approach to higher coverings in categorical Galois theory
• Higher coverings of racks and quandles -- Part I
• A "working mathematician's" definition of semi-abelian categories
• A non-abelian exterior product and homology of Leibniz algebras
• Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology