Cohomology rings of induced modules (Q1821872): Difference between revisions

Let G be a finite group, K a field of characteristic \(p>0\), H a normal subgroup of G and M a KH-module of dimension one. In this very interesting paper, the maximal two-sided ideals of \(Ext^*_{KG}(M^{\uparrow G},M^{\uparrow G})\) are characterized in terms of the variety \(V_ H(K)\) of the trivial KH-module K. \((V_ H(K)\) is the maximal ideal spectrum of \(Ext^*_{KH}(K,K).)\) If \(\alpha\) : Ext\({}^*_{KH}(K,K)\to K\) is an epimorphism, i.e. a point \(\alpha \in V_ H(K)\), then it is shown that \(\alpha\) gives rise to a ring homomorphism \({\hat \alpha}\): Ext\({}^*_{KG}(M^{\uparrow G},M^{\uparrow G})\to Mat_ n(K)\), where \(n=| G:H|\). The main step in proving this is that \(\alpha\) factors as the composition \[ Ext^*_{KH}(K,K)\to_{res_{H,E}}Ext^*_{KE}(K,K)\to_{res_{E,U }}Ext^*_{KU}(K,K)\to_{\theta}K \] for some elementary abelian p- subgroup \(E\subseteq H\), cyclic shifted subgroup \(U\subseteq KE\) and some \(\theta \in V_ U(K)\). The factorization through the restriction to E was proved by \textit{D. Quillen} [Ann. Math., II. Ser. 94, 549-602 (1971; Zbl 0247.57013)]. The im \({\hat \alpha}\) is characterized and then it is proved that if \(\psi\) : Ext\({}^*_{KG}(M^{\uparrow G},M^{\uparrow G})\to Mat_ S(K)\) is an irreducible representation then there exists \(\alpha \in V_ H(K)\) such that \(\psi\) factors through \({\hat \alpha}\). Since every irreducible module for the ring \(Ext^*_{KG}(M^{\uparrow G},M^{\uparrow G})\) has finite K-dimension [\textit{J. Carlson}, J. Pure Appl. Algebra 36, 105-121 (1985; Zbl 0565.20003)] it follows that a nearly complete characterization of the simple modules is obtained. Some examples are computed whose interesting properties were the starting point of this investigation.