# The symmetric functions catalog

An overview of symmetric functions and related topics

2023-06-21

## 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\}.$ We still require that the corresponding flags are weakly increasing.

With $\completeH_m(a,b) \coloneqq \completeH_m(x_a,x_{a+1},\dotsc,x_b),$ one can show the Jacobi–Trudi type formula

$$\schurS_{\lambda/\mu}(\avec,\bvec) = \left| h_{\lambda_i-\mu_j - i + j}(a_j,b_i) \right|_{1 \leq i,j \leq \ell}.$$

This was proved by I. Gessel (see [GV89]) and later in [Wac85]. An alternative proof is given in [Chu92], which relies on a recursion.

Unlike the classical Jacobi–Trudi identities, exchanging $\completeH \leftrightarrow \elementaryE$ does not in general yield the same determinant. Rather, the corresponding determinant of elementary symmetric polynomials is equal to a column-flagged Schur polynomial (where the tableaux in the generating set have bounds on the columns rather than the rows); see [Wac85]. An identity between determinants of this type is given in [McD23], thus giving a duality for row- and column-flagged Schur polynomials under certain conditions.

### Key expansion

The flagged skew Schur polynomials expand positively into key polynomials, see [RS95].

### Twist by roots of unity

In [Kum23] the author generalizes a previous result by Kumari [Kum22], and [Thm. 16, LO22].