2023-02-14
Schur polynomials (flagged)
The flagged Schur polynomials generalize the classical Schur polynomials and these are no longer symmetric in general. They were first considered in [LS82a], in the study of Schubert polynomials.
We follow the introduction given in [MS15b].
Let $m \leq n$ be fixed integers and let $\lambda$ be a partition with $m$ parts and let $1 \leq b_1 \leq b_2 \leq \dotsb \leq b_\ell = n$ be a sequence of integers. Let $T(\lambda,b)$ denote the set of semi-standard tableaux of shape $\lambda$ such that the entries in row $i$ do not exceed $b_i.$
Then the flagged Schur polynomial is defined as
\[ \schurS_{\lambda,b}(x_1,\dotsc,x_n) \coloneqq \sum_{T \in T(\lambda,b)} \xvec^T. \]Note that if $b_1=\dotsb = b_m = n,$ then $\schurS_{\lambda,b}(\xvec)$ is the usual Schur polynomial in $n$ variables.
$h$-flagged Schur polynomials
Whenever $b = (h,h+1,\dotsc,h+m)$ for some $h,$ we say that $\schurS_{\lambda,b}(\xvec)$ is $h$-flagged, and use the shorthand notation $\schurS^{(h)}_{\lambda}(\xvec).$
Divided differences
In [Wac85], it is proven that flagged Schur polynomials can be obtained via divided difference operators:
\begin{align*} \schurS_{\lambda,b}(\xvec) = \partial_w( x_1^{a_1} \dotsm x_m^{a_m}) \end{align*}where $a_i = \lambda_i + b_i -i$ and
\[ w = (m,m+1,\dotsc, b_m-1,\; m-1,m,\dotsc, b_{m-1} - 1, \dotsc 1,2,\dotsc, b_1 -1 ) \]and the entries in the word are applied from left to right.
Jacobi-Trudi identity
Define the complete homogeneous polynomials in $k$ variables as
\[ \completeH_d(\xvec_k) \coloneqq \sum_{i_1 \leq \dotsb \leq i_d} x_{i_1}\dotsm x_{i_k}. \]Then, using the Lindström–Gessel–Viennot lemma, one can prove that
\[ \schurS_{\lambda,b}(\xvec) = \det( \completeH_{\lambda_i -i+j}(\xvec_{b_i}) )_{1\leq i,j \leq m}. \]See also [Wac85]. This generalizes the classical Jacobi–Trudi identity for Schur polynomials.
The flagged skew Schur polynomials, $\schurS_{\lambda/\mu,a,b}(\avec,\bvec)$ are now defined as the sum over all skew semistandard Young tableaux of shape $\lambda/\mu$ such that entries in row $i$ must be from the interval $\{a_i,a_i+1,\dotsb,b_i\}.$
With $\completeH_m(a,b) \coloneqq completeH_m(x_a,x_{a+1},\dotsc,x_b),$ one can show the Jacobi–Trudi type formula
\begin{equation} \schurS_{\lambda/\mu}(\avec,\bvec) = \left| h_{\lambda_i-\mu_j - i + j}(a_j,b_i) \right|_{1 \leq i,j \leq \ell}. \end{equation}This was proved by I. Gessel (see [GV89]), and later in [Wac85]. An alternative proof is given in [Chu92], which relies on a recursion. A paper with a proof and many nice figures is [McD23].
Key expansion
The flagged skew Schur polynomials expand positively into key polynomials, see [RS95].
References
- [Chu92] Wenchang Chu. Direct proof of the determinant expression for flagged skew tableaux. Acta Mathematicae Applicatae Sinica, 8(4):318–322, October 1992.
- [GV89] I. M. Gessel and X. G. Viennot. Determinants, paths, and plane partitions. 1989. Preprint
- [LS82a] Alain Lascoux and Marcel-Paul Schützenberger. Polynômes de Schubert. C. R. Math. Acad. Sci. Paris, Sér. I Math., 294(13):447–450, 1982.
- [McD23] Eoghan McDowell. Flagged Schur polynomial duality via a lattice path bijection. The Electronic Journal of Combinatorics, 30(1), January 2023.
- [MS15b] Grigory Merzon and Evgeny Smirnov. Determinantal identities for flagged Schur and Schubert polynomials. European Journal of Mathematics, 2(1):227–245, October 2015.
- [RS95] Victor Reiner and Mark Shimozono. Key polynomials and a flagged Littlewood–Richardson rule. J. Combin. Theory Ser. A, 70(1):107–143, 1995.
- [Wac85] Michelle L. Wachs. Flagged Schur functions, Schubert polynomials, and symmetrizing operators. Journal of Combinatorial Theory, Series A, 40(2):276–289, November 1985.