Quantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum Grassmannians. (Q855716)

Let \(k\) be a field and \(\Pi\) is a partially ordered homogeneous subset in a graded \(k\)-algebra \(A\) generating the algebra \(A\). It is assumed that each element from \(\Pi\) has positive degree. A standard monomial on \(\Pi\) is a product \(a_1\cdots a_s\) where \(a_1\leqslant\cdots\leqslant a_s\). The algebra \(A\) is an \(ASL\)-algebra if standard monomials are linearly independent and the following properties are satisfied: 1) if \(a,b\in\Pi\) are not comparable then \(ab\) belongs to the span of elements of \(\Pi\) and the standard monomial \(lm\), where \(l,m\in\Pi\) and \(l<a\), \(l<b\). 2) if \(a,b\in\Pi\) then \(ab-c_{a,b}ba\) belongs to the same span as in 1) for some \(c_{a,b}\in k^*\). Standard monomials form a base of \(A\). A quantum graded \(ASL\)-algebra is Noetherian and of polynomial growth. A subset \(\Omega\) of \(\Pi\) is a \(\Pi\)-ideal if it is an ideal with respect to the order in \(\Pi\). The \(k\)-algebra \(A/\langle\Omega\rangle\) is again an \(ASL\)-algebra on the image of \(\Pi\setminus\Omega\). Under some minor restriction it is shown that an \(ASL\)-algebra is \(AS\)-Cohen-Macaulay. Let \(R\) be a commutative integral domain with \(k\) as the field of fractions. Main examples of \(ASL\)-algebras are the coordinate algebra \(\mathcal O_u(M_{m,n}(A))\) on matrices of size \(m\times n\) and quantum Grassmannian \(\mathcal O_u(G_{m,n}(A))\). So the notion of \(ASL\)-algebra is unifying both examples and allows to clarify some proofs making them more explicit. This approach allows also to consider quantum analogs of Schubert varieties.