A quantum analogue of the dihedral action on Grassmannians. (Q1758257)

As a general principle, the rigidity of quantum algebras, especially those with generic parameters, means that these algebras have much less symmetry than their classical counterparts. In particular, their automorphism groups are usually far smaller, and classical group actions usually do not extend to actions on quantum algebras. Some extensions have been constructed, at the expense of additional structure, and the present paper achieves this for dihedral actions on Grassmannians. The natural action of the symmetric group \(S_n\) on the Grassmannian \(G(m,n)\), by permutation of columns, extends to the coordinate ring \(\mathcal O(G(m,n))\) but not to the quantized coordinate ring \(\mathcal O_q(G(m,n))\). Even the cycle \(c=(1\,2\,\cdots\,n)\) does not induce an automorphism of \(\mathcal O_q(G(m,n))\). \textit{S. Launois} and \textit{T. H. Lenagan} showed that this lack can be repaired as follows: There is a cocycle twist \(T(\mathcal O_q(G(m,n)))\) which supports an isomorphism \(\theta\colon T(\mathcal O_q(G(m,n)))\to\mathcal O_q(G(m,n))\) that sends any \(m\times m\) quantum minor in \(T(\mathcal O_q(G(m,n)))\) with column index set \(I\) to the one in \(\mathcal O_q(G(m,n))\) with column index set \(c(I)\), up to a power of \(q\) [Proc. Am. Math. Soc. 139, No. 1, 99-110 (2011; Zbl 1219.16036)]. The present authors construct a quantum analog of the action on \(G(m,n)\) by the dihedral subgroup of \(S_n\) generated by the cycle \(c\) and the longest element \(w_0\). This analog takes the form of a groupoid based on a family of cocycle twists of \(\mathcal O_q(G(m,n))\). As a consequence, an action of the mentioned dihedral group on the poset of torus-invariant prime ideals of \(\mathcal O_q(G(m,n))\) is obtained. Moreover, there are actions of this dihedral group on the totally nonnegative and totally positive Grassmannians \(G^{\text{tnn}}(m,n)\) and \(G^{\text{tp}}(m,n)\).