A Seifert-van Kampen theorem in non-abelian algebra

DOI10.4310/HHA.2018.V20.N2.A5MaRDI QIDQ721484zbMATH OpenWikidataFDO

Authors Mathieu Duckerts-Antoine, Tim Van der Linden

Publication date 19 July 2018

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4310/HHA.2018.V20.N2.A5

zbMATH Keywords

algebraically coherent semi-abelian categorycategorical Galois theoryderived functorfundamental grouphomology coproduct theorem

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Resolutions; derived functors (category-theoretic aspects) (18G10) Nonabelian homological algebra (category-theoretic aspects) (18G50) Cohomology of groups (20J06) Topological categories, foundations of homotopy theory (55U40)

Review text

The authors prove a Seifert-van Kampen theorem for nonabelian categories. The Seifert-van Kampen theorem is well-known in algebraic topology, and it describes the fundamental group of a topological space in terms of the fundamental groups of open, path connected subspaces which cover the space. Loosely, the theorem says that the fundamental group functor sends pullbacks and pushouts of pointed topological spaces to pushouts in the category of groups. In this article, the authors' objective is to generalise the result to the more general setting of a regular epi-reflection. Given a functor \(F\) from an algebraically coherent, semi-abelian category \(\mathcal C\) with enough regular projectives, to an almost abelian category \(\mathcal X\), the authors give sufficient conditions for the fundamental group functor \(\pi_1^F\) relative to the functor \(F\) to preserve pushouts and split monomorphisms. When the category \(\mathcal X\) is abelian, the fundamental group functor \(\pi_1^F\) coincides with the classical left derived functor.

Recommendations

• Nonabelian algebraic topology
• A general Seifert-van Kampen theorem for algebraic fundamental groups
• Descent morphisms and a van Kampen theorem in categories of lax algebras
• Van Kampen theorems for categories of covering morphisms in lextensive categories
• A note on the categorical van Kampen theorem

Cited in

(6)

• A characterisation of Lie algebras via algebraic exponentiation
• Non-abelian analogues of Abel's theorem
• Descent morphisms and a van Kampen theorem in categories of lax algebras
• The Seifert-van Kampen theorem and generalized free products of S-algebras
• Van Kampen theory for algebraic stacks.
• A general Seifert-van Kampen theorem for algebraic fundamental groups

This page was built for publication: A Seifert-van Kampen theorem in non-abelian algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q721484)