Non-additive exact functors and tensor induction for Mackey functors (Q4954183)

Let \(R\) be a commutative ring, and let \(H\) be a subgroup of a finite group \(G\). Classical tensor induction is a functor \(\text{ten}^G_H: RH\text{-}{\mathcal M}od\to RG\text{-}{\mathcal M}od.\) This functor can be generalized to a functor \(t_U:RH\text{-}{\mathcal M}od\to RG\text{-} {\mathcal M}od\), defined for arbitrary finite groups \(G,H\) and an arbitrary \(G-H\)-set \(U\). (Then \(\text{ten}_H^G = t_U\) for \(U:=G.\)) These generalized functors \(t_U\) allow to give a binomial formula for the tensor induction of a direct sum of \(RH\)-modules. In many ways, Mackey functors behave like modules. The main purpose of the present memoir is to give a definition of the tensor induction for Mackey functors. This is a functor \(T_U: {\mathcal M}ack (H)\to {\mathcal M}ack (G)\), associated to any finite \(G-H\)-set \(U\). The author studies in detail the relationship of \(T_U\) with other functors. The construction of \(T_U\) makes use of a general theorem on extensions of exact (possibly non-additive) functors from suitable subcategories of abelian categories.