Residual dimension of nilpotent groups

The function {\mathrm{F}_{G}(n)} gives the maximum order of a finite group needed to distinguish a nontrivial element of G from the identity with a surjective group morphism as one varies over nontrivial elements of word length at most n. In previous work [M. Pengitore, Effective separability of finitely generated nilpotent groups, New York J. Math. 24 2018, 83–145], the author claimed a characterization for {\mathrm{F}_{N}(n)} when N is a finitely generated nilpotent group. However, a counterexample to the above claim was communicated to the author, and consequently, the statement of the asymptotic characterization of {\mathrm{F}_{N}(n)} is incorrect. In this article, we introduce new tools to provide lower asymptotic bounds for {\mathrm{F}_{N}(n)} when N is a finitely generated nilpotent group. Moreover, we introduce a class of finitely generated nilpotent groups for which the upper bound of the above article can be improved. Finally, we construct a class of finitely generated nilpotent groups N for which the asymptotic behavior of {\mathrm{F}_{N}(n)} can be fully characterized.

Group-groupoid actions and liftings of crossed modules

The aim of this paper is to define the notion of lifting via a group morphism for a crossed module and give some properties of this type of liftings. Further, we obtain a criterion for a crossed module to have a lifting crossed module. We also prove that the category of the lifting crossed modules of a certain crossed module is equivalent to the category of group-groupoid actions on groups, where the group-groupoid corresponds to the crossed module.

AN AXIOMATIC DEFINITION OF HOLONOMY

A group of loops [Formula: see text] is associated to every smooth pointed manifold M using a strong homotopy relation. It is shown that the holonomy of a connection on a principal G-bundle may be presented as a group morphism [Formula: see text] and that every such morphism satisfying a natural smoothness condition is the holonomy of some unique connection up to isomorphism.

Quotients of groupoids by an action of a group

For any category A and group G there is a category AG of A-objects with G-action. An object of AG is an A-object A together with a group morphism, θA:G → Isom (A, A), of G into the group of invertible A-morphisms A → A. A morphism of AG is an A-morphism f: A → B which commutes with the G-action; that is, for each g∈G, the following diagram commutes.