Finite Schur filtration dimension for modules over an algebra with Schur filtration. (Q733671)

Let \(G\) be a general or special linear group over an algebraically closed field \(k\) of characteristic \(p>0\). Further, let \(A\) be a finitely generated commutative \(k\)-algebra on which \(G\) acts rationally by \(k\)-algebra automorphisms and \(M\) be a Noetherian \(A\)-module on which \(G\) acts compatibly. The main result is that if \(A\) has a good filtration (that is a filtration by induced or costandard modules), then \(M\) has finite good filtration dimension and each \(H^i(G,M)\) is a Noetherian \(A^G\)-module. In the case of \(\text{GL}_N\), if \(\text{GL}_N\) acts polynomially on \(A\) and \(M\), then one can further deduce that if \(A\) has a Schur filtration (a Schur module is an induced module whose highest weight is dominant polynomial), then \(M\) has finite Schur filtration dimension. For \(\text{SL}_n\), taking \(M\) to be the Grosshans graded algebra of \(A\), it is shown that the algebra \(H^*(SL_n,M)\) is finitely generated. These results had been obtained previously by the second author. However, in general, those results required \(p\) to be sufficiently large. The current results eliminate those restrictions on the prime. The methods employed here make use of Grassmannians and Cox rings. Beyond their independent interest, these results have a key connection to the verification of the cohomological finite generation (CFG) property for a connected reductive linear algebraic group \(G\) over \(k\) (as above). Precisely, the CFG property is that for \(A\) as above, the cohomology ring \(H^*(G,A)\) is finitely generated as a \(k\)-algebra. The CFG property and special cases thereof have been long-studied. The above results in conjunction with recent work of \textit{A. Touzé} [Duke Math. J. 151, No. 2, 219-249 (2010; Zbl 1196.20052)] have led to a complete verification of the CFG property. See the work of \textit{A. Touzé} and \textit{W. van der Kallen} [Duke Math. J. 151, No. 2, 251-278 (2010; Zbl 1196.20053)].