arXiv++ Combinatorics

Motivated by recent developments on visible actions on complex manifolds, we raise a question whether or not the multiplication of three subgroups $L$, $G'$ and $H$ surjects a Lie group $G$ in the setting that $G/H$ carries a complex structure and contains $G'/G' \cap H$ as a totally real submanifold. Particularly important cases are when $G/L$ and $G/H$ are generalized flag varieties, and we classify pairs of Levi subgroups $(L, H)$ such that $L G' H = G$, or equivalently, the real generalized flag variety $G'/H \cap G'$ meets every $L$-orbit on the complex generalized flag variety $G/H$ in the setting that $(G, G') = (U(n), O(n))$. For such pairs $(L, H)$, we introduce a \textit{herringbone stitch} method to find a generalized Cartan decomposition for the double coset space $L \backslash G/H$, for which there has been no general theory in the non-symmetric case. Our geometric results provides a unified proof of various multiplicity-free theorems in representation theory of general linear groups.

We give a nonrecursive, combinatorial characterization of multiplicity-free products of Grassmannian Schubert classes. This answers a question of W. Fulton and extends results of J. Stembridge.

We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton. All four formulae are combinatorial, in the sense that they are expressed in terms of combinatorial objects of certain types: Zelevinsky permutations, lacing diagrams, Young tableaux, and pipe dreams (also known as rc-graphs). Three of our formulae are multiplicity-free and geometric, meaning that their summands have coefficient 1, and correspond bijectively to components of a torus-invariant scheme. The remaining (presently non-geometric) formula was conjectured for by Buch and Fulton in terms of factor sequences of Young tableaux; our proof of it proceeds by way of a new characterization of the tableaux counted by quiver constants. All four formulae come naturally in ``doubled'' versions, two for `double quiver polynomials', and the other two for their stable versions, the `double quiver functions', where setting half the variables equal to the other half specializes to the ordinary case.

Consider the affine Hecke algebra $H_l$ corresponding to the group $GL_l$ over a $p$-adic field with the residue field of cardinality $q$. Regard $H_l$ as an associative algebra over the field $C(q)$. Consider the $H_{l+m}$-module $W$ induced from the tensor product of the evaluation modules over the algebras $H_l$ and $H_m$. The module $W$ depends on two partitions $λ$ of $l$ and $μ$ of $m$, and on two non-zero elements of the field $C(q)$. There is a canonical operator $J$ acting on $W$, it corresponds to the trigonometric $R$-matrix. The algebra $H_{l+m}$ contains the finite dimensional Hecke algebra of rank $l+m$ as a subalgebra, and the operator $J$ commutes with the action of this subalgebra on $W$. Under this action, $W$ decomposes into irreducible subspaces according to the Littlewood-Richardson rule. We compute the eigenvalues of $J$, corresponding to certain multiplicity-free irreducible components of $W$. In particular, we give a formula for the ratio of two eigenvalues of $J$, corresponding to the ``highest'' and the ``lowest'' components. As an application, we derive the well known $q$-analogue of the hook-length formula for the number of standard tableaux of shape $λ$.

Take the degenerate affine Hecke algebra $H_{l+m}$ corresponding to the group $GL_{l+m}$ over a $p$-adic field. Consider the $H_{l+m}$-module $W$ induced from the tensor product of the evaluation modules over the algebras $H_l$ and $H_m$. The module $W$ depends on two partitions $λ$ of $l$ and $μ$ of $m$, and on two complex numbers $z$ and $w$. There is a canonical operator $J$ acting in $W$, it corresponds to the rational Yang $R$-matrix. The algebra $H_{l+m}$ contains the symmetric group $S_{l+m}$, and $J$ commutes with the action of $S_{l+m}$ in $W$. Under this action, $W$ decomposes into irreducible subspaces according to the Littlewood-Richardson rule. We compute the eigenvalues of $J$, corresponding to certain multiplicity-free irreducible components of $W$. In particular, we obtain a nice formula for the ratio of two eigenvalues of $J$, corresponding to the "highest" and "lowest" (multiplicity-free) irreducible components of $W$.