Bounding cohomology for finite groups and Frobenius kernels. (Q2355234): Difference between revisions

Let \(G\) be a simple, simply connected algebraic group defined over an algebraically closed field of characteristic \(p>0\). Let \(\sigma\) be an endomorphism of \(G\) onto \(G\) that is not an automorphism. Such endomorphisms were classified by \textit{R. Steinberg} [Mem. Am. Math. Soc. 80 (1968; Zbl 0164.02902)]. One knows that \(\sigma\) fixes a Borel subgroup and a maximal torus \(T\) thereof. We choose an \(\mathbb F_p\)-structure on \(G\) so that \(T\) is split. If \(F\colon G\to G\) is the corresponding Frobenius map, then \(\sigma^6=F^{3s}\) for some integer \(s\). Put \(r=s/2\). Denote by \(G(\sigma)\) the finite group of fixed points of \(\sigma\). It is a finite Chevalley group \(G(\mathbb F_{p^r})\) or a twisted Steinberg group or a Suzuki group or a Ree group. Denote by \(G_\sigma\) the scheme theoretic kernel of \(\sigma\). One wants to bound the dimensions of \[ \text{Ext}^m_{G(\sigma)}(L(\lambda),L(\mu))\qquad\text{or}\qquad\text{Ext}^m_{G_\sigma}(L(\lambda),L(\mu)), \] where the highest weights \(\lambda\), \(\mu\) of the irreducible \(G\)-modules \(L(\lambda)\), \(L(\mu)\) lie in a suitable region of ``restricted weights''. The main result of the paper is the \textit{existence} of bounds on these Ext group dimensions with the bounds depending on \(m\), \(r\) and the root system, but not on the characteristic \(p\). In the case \(\lambda=0\) the bounds also do not depend on \(r\). For such existence of bounds one may ignore finitely many cases, so we may assume \(p\) is large enough to apply the work of \textit{P. Fiebig} [J. Reine Angew. Math. 673, 1-31 (2012; Zbl 1266.20059)]. The existence of the bounds is derived from similar earlier results for \(\text{Ext}^m_G\). The method is also applied to prove there are bounds on the composition factor length of projective indecomposable modules for \(G(\sigma)\) or \(G_\sigma\).