Relative projectivity and extendibility of Auslander-Reiten sequences (Q1814047): Difference between revisions

Let \({\mathbf F}G\) be the group algebra of a finite field \(\mathbf F\) of characteristic \(p\neq 0\). For a nonprojective \({\mathbf F}G\)-module \(W\), its Auslander-Reiten sequence is denoted by \(SW: 0\to \Omega^ 2W\to X\to W\to 0\). Associated with \(SW\) is a simple functor in the category of \(\mathbf F\)-linear contravariant functors from \({\mathbf F}G\)-modules to \(\mathbf F\)-vector spaces \(W\to \text{Im}(\Hom_{{\mathbf F}G}(\cdot,W)\to\text{Ext}^ 1_{{\mathbf F}G}(\cdot,\Omega^ 2W))\), also denoted by \(SW\). If \(W\) is projective, then \(SW\) is the simple functor \(\Hom_{{\mathbf F}G}(\cdot,W)/\Hom(\cdot,\text{rad}(W))\). (This functor category for finite groups was first studied by \textit{J. A. Green} [J. Pure Appl. Algebra 37, 265-298 (1985; Zbl 0567.20001)].) In the present paper the author studies questions of relative projectivity and extendibility from a normal subgroup \(N\) for these simple functors. To state some results: (1) Let \(N\leq H\leq G\). Then the simple functor \(SW\) is \(H\)-projective if and only if a certain simple module over a twisted group algebra of \(G/N\) over \(\mathbf F\) is \(H/N\)-projective. (This is achieved by using Clifford theory.) (2) Let \(V\) be an indecomposable \({\mathbf F}N\)-module. If \(V\) extends to \(G\), then so does \(SV\). Also, if \(V\) is \(G\)-invariant, then for any indecomposable direct summand \(W\) of the induced module \(V^ G\), the functor \(SW\) is an extension of \(SV\) if and only if \(SW\) is one-dimensional.