The combinatorics of A₂-webs

From MaRDI portal
Publication:405220



Abstract: The nonelliptic mathsfA2-webs with k "+"s on the top boundary and 3n−2k "−"s on the bottom boundary combinatorially model the space mathsfHommathfraksl3(mathsfVotimes(3n−2k),mathsfVotimesk) of mathfraksl3-module maps on tensor powers of the natural 3-dimensional mathfraksl3-module mathsfV, and they have connections with the combinatorics of Springer varieties. Petersen, Pylyavskyy, and Rhodes showed that the set of such mathsfA2-webs and the set of semistandard tableaux of shape (3n) and type 12,dots,k2,k+1,dots,3n−k have the same cardinalities. In this work, we use the sfm-diagrams introduced by Tymoczko and the Robinson-Schensted correspondence to construct an explicit bijection, different from the one given by Russell, between these two sets. In establishing our result, we show that the pair of standard tableaux constructed using the notion of path depth is the same as the pair constructed from applying the Robinson-Schensted correspondence to a 3,2,1-avoiding permutation. We also obtain a bijection between such pairs of standard tableaux and Westbury's mathsfA2 flow diagrams.


Summary: The nonelliptic \(\mathsf{A}_2\)-webs with \(k\) ``\(+\)s on the top boundary and \(3n-2k\) ``\(-\)s on the bottom boundary combinatorially model the space \(\mathrm{Hom}_{\mathfrak{sl}_3}(\mathsf{V}^{\otimes (3n-2k)}, \mathsf{V}^{\otimes k})\) of \(\mathfrak{sl}_3\)-module maps on tensor powers of the natural 3-dimensional \(\mathfrak{sl}_3\)-module \(\mathsf{V}\), and they have connections with the combinatorics of Springer varieties. \textit{T. K. Petersen} et al. [J. Algebr. Comb. 30, No. 1, 19--41 (2009; Zbl 1226.05260)] showed that the set of such \(\mathsf{A}_2\)-webs and the set of semistandard tableaux of shape \((3^n)\) and type \(\{1^2,\dots,k^2,k+1,\dots, 3n-k\}\) have the same cardinalities. In this work, we use the \(m\)-diagrams introduced by \textit{J. Tymoczko} [J. Algebr. Comb. 35, No. 4, 611--632 (2012; Zbl 1242.05277)] and the Robinson-Schensted correspondence to construct an explicit bijection, different from the one given by Russell, between these two sets. In establishing our result, we show that the pair of standard tableaux constructed using the notion of path depth is the same as the pair constructed from applying the Robinson-Schensted correspondence to a \(321\)-avoiding permutation. We also obtain a bijection between such pairs of standard tableaux and Westbury's \(\mathsf{A}_2\) flow diagrams.











This page was built for publication: The combinatorics of \(\mathsf{A}_2\)-webs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q405220)