The combinatorics of \(\mathsf{A}_2\)-webs (Q405220)

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.