The ternary commutator obstruction for internal crossed modules - Université Polytechnique des Hauts-de-France Accéder directement au contenu
Article Dans Une Revue Advances in Mathematics Année : 2013

The ternary commutator obstruction for internal crossed modules

Résumé

In finitely cocomplete homological categories, co-smash products give rise to (possibly higher-order) commutators of subobjects. We use binary and ternary co-smash products and the associated commutators to give characterisations of internal crossed modules and internal categories, respectively. The ternary terms are redundant if the category has the Smith is Hug property, which means that two equivalence relations on a given object commute precisely when their normalisations do. In fact, we show that the difference between the Smith commutator of such relations and the Huq commutator of their normalisations is measured by a ternary commutator, so that the Smith is Hug property itself can be characterised by the relation between the latter two commutators. This allows us to show that the category of loops does not have the Smith is Hug property, which also implies that ternary commutators are generally not decomposable into nested binary ones. Thus, in contexts where Smith is Hug need not hold, we obtain a new description of internal categories, Beck modules and double central extensions, as well as a decomposition formula for the Smith commutator. The ternary commutator now also appears in the Hopf formula for the third homology with coefficients in the abelianisation functor

Dates et versions

hal-03234974 , version 1 (25-05-2021)

Identifiants

Citer

T. Vanderlinden, Manfred Hartl. The ternary commutator obstruction for internal crossed modules. Advances in Mathematics, 2013, 232, pp.571-607. ⟨10.1016/j.aim.2012.09.024⟩. ⟨hal-03234974⟩
7 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More