On the ideals and essential algebras of shifted functors of linear representations (Q1755577)

\par Let \(k\) and \({\mathbb F}\) be fields of characteristic zero. Given a finite group \(G\), let \(R_{\mathbb F}(G)\) denote the Grothendieck group of finitely generated \({\mathbb F}G\)-modules considered as a ring with products given by tensor product. This can be extended linearly to a ring \(kR_{\mathbb F}(G)\) over \(k\). Given two finite groups \(H\) and \(G\), an \((H,G)\)-biset is a set \(X\) with a left action of \(H\) and a right action of \(G\). For such an \(X\), given an \({\mathbb F}(G)\)-module \(M\), one can define an \({\mathbb F}H\)-module \({\mathbb F}X\otimes_{{\mathbb F}G}M\). This allows one to consider \(R_{\mathbb F}\) (or \(kR_{\mathbb F}\)) as a biset functor on the biset category whose objects are finite groups and morphisms are defined via the Burnside ring (on a pair of groups). Further, the functor \(kR_{\mathbb F}\) admits an external product \(kR_{\mathbb F}(G)\times kR_{\mathbb F}(H) \to kR_{\mathbb F}(G \times H)\) (for any \(G, H\)) satisfying certain properties that make this a \textit{Green biset functor.} A \(kR_{\mathbb F}\)-module is a biset functor \(M\) (satisfying certain conditions), where \(M(H)\) is a \(kR_{\mathbb F}(H)\)-module. For a fixed finite group \(G\), one may consder a \textit{shifted} version of this, denoted \(kR_{{\mathbb F},G}\), where \(kR_{{\mathbb F},G}(H) := kR_{\mathbb F}(H\times G)\). These shifted functors and their modules are the primary focus of the paper. An ideal of \(kR_{{\mathbb F},G}\) is a biset subfunctor that is itself a \(kR_{{\mathbb F},G}\)-module. The author provides a characterization of the lattice of \(kR_{{\mathbb F},G}\) ideals, and this is used to show that \(kR_{{\mathbb F},G}\) is semisimple as a module over itself. Given another finite group \(H\), one can define the associated \textit{essential algebra} \(\widehat{kR_{{\mathbb F},G}(H)}\) as a certain quotient of an endomorphism algebra of \(H\). It is shown that, if \(\widehat{kR_{{\mathbb F},G}(H)} \neq 0\), then \(\widehat{kR_{\mathbb Q}(H)} \neq 0\), which, by work of \textit{N. Romero} [J. Algebra 367, 203--221 (2012; Zbl 1270.19002)], implies that \(H\) is cyclic. Further, the property of uniqueness of minimal groups for simple modules is shown to hold: given a simple \(kR_{{\mathbb F},G}\)-module \(S\) and a finite group \(H\) of minimal order for which \(S(H) \neq 0\), then \(H\) is unique up to isomorphism. This allows one to apply another result in the aforementioned work of Romero to obtain a parametrization of simple \(kR_{{\mathbb F},G}\)-modules. The author explicitly gives a parametrization of a certain family of \(kR_{{\mathbb Q},G}\)-modules. Lastly, the author specializes to the case \(k = {\mathbb C} = {\mathbb F}\) and shows that the category of \({\mathbb C}R_{{\mathbb C},G}\)-modules is equivalent to the category of \({\mathbb C}R_{\mathbb C}(G)\)-modules. Hence, the semisimplicity of the latter category implies the semisimplicity of the former.