Parametrized LS category and group actions

Abstract: We introduce a new invariant associated to an action of a group $G$ on a (possibly non-commutative) group $K$. The invariant is based on the $G$-parametrized LS-category of the semi-direct product $K\rtimes G$ but it also depends on a choice of a derivation $d\colon G\to K$. The invariant is thus denoted $\operatorname{tc}(d)$ and it takes integer values between $\operatorname{cd}(K)$ and $\operatorname{cd}(K)+\operatorname{cd}(G)$ (where $\operatorname{cd}(G)$ stands for the cohomological dimension of a group). We develop a general theory and then compute its values for a number of important examples, including fundamental groups of mapping tori, of pure braid groups and of iterated semi-direct products of free groups. To achieve this, we relate $\operatorname{tc}(d)$ to the cohomological dimension of its factors, to the sectional category of the inclusion of $G$ in $K\rtimes G$, and to the properties of torsors that are associated to the derivation $d$.