A quantum analogue of the dihedral action on Grassmannians. (Q1758257)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A quantum analogue of the dihedral action on Grassmannians. |
scientific article |
Statements
A quantum analogue of the dihedral action on Grassmannians. (English)
0 references
8 November 2012
0 references
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)\).
0 references
quantum algebras
0 references
coordinate rings
0 references
quantum Grassmannians
0 references
twistings
0 references
dihedral groups
0 references
torus-invariant prime ideals
0 references
totally nonnegative Grassmannians
0 references
totally positive Grassmannians
0 references
0 references
0 references