arXiv++ Combinatorics

In this paper we classify when (row-strict) dual immaculate functions and (row-strict) extended Schur functions, as well as their skew generalizations, are symmetric. We also classify when their natural variants, termed advanced functions, are symmetric. In every case our classification recovers classical skew Schur functions.

The Rogers-Ramanujan identities are investigated using the Cauchy identity for Schur functions.

One hundred years ago, Hilbert gave a list of important open problems in mathematics. His 15th problem asked for the development of a rigorous calculus explaining Schubert's enumerative results for intersecting varieties defined by rank conditions on vector spaces. Today by way of many contributions in algebraic topology, geometry, and combinatorics, we consider this solved. Yet, deep questions remain about the subtleties of actually carrying out the process. In this chapter, we hope to summarize the rigorous development of what has become known as Schubert calculus, with an eye toward computation. We discuss Grassmannians and flag varieties and their cohomology rings, following Monk's constructive algebraic approach. We derive formulas for Schur and Schubert polynomials, which represent cohomology classes of Schubert varieties. We hint at the vast literature in this area and point to the other references in the Handbook for more information. Finally, we identify open problems that remain a challenge even with modern tools at our fingertips in hopes of inspiring further contributions in this fascinating field. This is intended as the first chapter of a book entitled "Handbook of Combinatorial Algebraic Geometry: Subvarieties of the Flag Variety", a compendium of topics in the area. The book is being edited by Erik Insko, Martha Precup, and Ed Richmond. In addition to this introductory chapter, others will cover more advanced topics such as Kazhdan-Lusztig varieties, generalized smooth Schubert varieties, Richardson varieties and positroid varieties, spherical and torus orbit closures, spanning line configurations, different types of Hessenberg varieties, and generalizations to Kac-Moody flag varieties, each written by experts in those areas. We hope you enjoy this chapter enough to seek out the others, and that you send us any comments or corrections you find as you read this article!

We present a proof of a recent conjecture due to M. Kazarian, E. Krasilnikov, S. Lando, and M. Shapiro, which describes the average value of the universal $\mathfrak{gl}$-weight system on permutations. The proof uses a quantum analogue of the $\mathfrak{gl}$-weight system on Hecke algebras of type $A$, which leads to a one-parameter deformation of the average value of the universal ${\mathfrak{gl}}$-weight system. We show that the average value of the quantum weight system is a linear combination of one-part Schur functions, with coefficients being $q$-analogues of Bernoulli polynomials.

We show that Schur classes of ample vector bundles on smooth projective varieties satisfy Hodge-Riemann relations on $H^{p,q}$ under the assumption that $H^{p-2,q-2}$ vanishes. More generally, we study Hodge-Riemann polynomials, which are partially symmetric polynomials that produce cohomology classes satisfying the Hodge-Riemann property when evaluated at Chern roots of ample vector bundles. In the case of line bundles and in bidegree $(1,1)$, these are precisely the nonzero dually Lorentzian polynomials. We prove various properties of Hodge-Riemann polynomials, confirming predictions and answering questions of Ross and Toma. As an application, we show that the derivative sequence of any product of Schur polynomials is Schur log-concave, confirming conjectures of Ross and Wu.

A classical result in combinatorial number theory states that the largest subset of $[n]$ avoiding a solution to the equation $x+y=z$ is of size $\lceil n/2 \rceil$. For all integers $k>m$, we prove multicolored extensions of this result where we maximize the sum and product of the sizes of sets $A_1,A_2,\dots,A_k \subseteq [n]$ avoiding a rainbow solution to the Schur equation $x_1+x_2+\dots+x_m=x_{m+1}$. Moreover, we determine all the extremal families.

The well-known descent-to-peak map $Θ_{\mathrm{QSym}}$ for the Hopf algebra of quasisymmetric functions, $\mathrm{QSym}$, and the peak algebra $Π$ were originally defined by Stembridge in 1997. We introduce their noncommutative analogues, the labelled descent-to-peak map $Θ_{\mathrm{NCQSym}}$ for the Hopf algebra of quasisymmetric functions in noncommuting variables, $\mathrm{NCQSym}$, and the peak algebra in noncommuting variables $\mathrm{NC}Π$. Then, we define the Hopf algebra of Schur $Q$-functions in noncommuting variables. We show that our generalizations possess many properties analogous to their classical counterparts. Furthermore, we show that the coefficients in the expansion of certain elements of $\mathrm{NC}Π$ in the monomial basis of $\mathrm{NCQSym}$ satisfy the generalized Dehn-Sommerville equation of Bayer and Billera. In the end, we give representation-theoretic interpretations of the descent-to-peak map for the Hopf algebras of symmetric functions and noncommutative symmetric functions.

Let $r \geq 0$, and let $λ$ and $μ$ be partitions such that $λ_1 \leq r + 1$. We present a combinatorial interpretation of the plethysm coefficient $\langle s_λ, s_μ[s_r] \rangle$. As a consequence, we solve the restriction problem for partitions with at most three columns. That is, for all partitions $λ$ with $λ_1 \leq 3$, we find a combinatorial interpretation for the multiplicities of the irreducible $\mathfrak{S}_n$-submodules of the Schur module $\mathbb{S}^λ\mathbb{C}^n$, considered as an $\mathfrak{S}_n$-module.

We construct a new class of operators that act on symmetric functions with two deformation parameters $q$ and $t$. Our combinatorial construction associates each operator with a specific lattice path, whose steps alternate between moving up and down. We demonstrate that positive linear combinations of these operators are the images of Negut elements via a representation of the shuffle algebra acting on the space of symmetric functions. Additionally, we provide a monomial, elementary, and Schur symmetric function expansion for the symmetric function obtained through repeated applications of the path operators on $1$. We apply path operators to investigate a $(q,t)$-deformation of the classical hypergeometric tau functions, which generalizes several important series already present in enumerative geometry, gauge theory, and integrability. We prove that this function is uniquely characterized by a family of partial differential equations derived from a positive linear combination of path operators. We also use our operators to offer a new, independent proof of the key result in establishing the extended delta conjecture of Haglund, Remmel, and Wilson.

We give a new formula for the Littlewood--Richardson coefficients in terms of peelable tableaux compatible with shuffle tableaux, in the same fashion as Remmel--Whitney rule. This gives an efficient way to compute generalized Littlewood--Richardson coefficients for Temperley--Lieb immanants of Jacobi--Trudi matrices. We will also show that our rule behaves well with Bender--Knuth involutions, recovering the symmetry of Littlewood--Richardson coefficients. As an application, we use our rule to prove a special case of a Schur log-concavity conjecture by Lam--Postnikov--Pylyavskyy.

We characterize the $k$-Schur functions as the graded characters of simple objects in an additive module category. This confirms a set of conjectures formulated in the Ph.D. thesis of Chen, written under the direction of Mark Haiman, and thereby establishes the algebraic framework proposed therein. As a consequence, we deduce that the modified Macdonald polynomials are $k$-Schur positive, thus realizing the original motivation behind the definition of the $k$-Schur functions by Lapointe, Lascoux, and Morse. Our approach builds on our previous work on the algebraic and geometric realization of Catalan symmetric functions, which encompasses both the $k$-Schur functions and the Hall--Littlewood functions.

For a skew shape $λ/μ$, we define the hybrid Grothendieck polynomial $${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w}) =\sum_{T\in \mathrm{SVRPP}(λ/μ)} \textbf{x}^{\mathrm{ircont}(T)}\textbf{t}^{\mathrm{ceq} (T)}\textbf{w}^{\mathrm{ex}(T)}$$ as a weight generating function over set-valued reverse plane partitions of shape $λ/μ$. It specializes to \begin{itemize} \item[(1)] the refined stable Grothendieck polynomial introduced by Chan--Pflueger by setting all $t_i=0$; \item[(2)] the refined dual stable Grothendieck polynomial introduced by Galashin--Grinberg--Liu by setting all $w_i=0$. \end{itemize} We show that ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ is symmetric in the $\textbf{x}$ variables. By building a crystal structure on set-valued reverse plane partitions, we obtain the expansion of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ in the basis of Schur functions, extending previous work by Monical--Pechenik--Scrimshaw and Galashin. Based on the Schur expansion, we deduce that hybrid Grothendieck polynomials of straight shapes have saturated Newton polytopes. Finally, using Fomin--Greene's theory on noncommutative Schur functions, we give a combinatorial formula for the image of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ (in the case $t_i=α$ and $w_i=β$) under the omega involution on symmetric functions. The formula unifies the structures of weak set-valued tableaux and valued-set tableaux introduced by Lam--Pylyavskyy. Several problems and conjectures are motivated and discussed.

We study symmetric function analogues of the higher order Bell numbers. Their construction involves iterated plethystic exponential towers mimicking the single variable exponential generating functions for the higher order Bell numbers. We derive explicit recurrence relations for the expansion coefficients of the Bell functions into the monomial and power sum bases of the ring of symmetric functions. Using the machinery of combinatorial species, the Bell functions are proven to be the Frobenius characteristics of the permutation representations of symmetric groups on hyper-partitions of certain orders and sizes. In the order 1 case, we are able to give more details about the expansion coefficients of the Bell functions in terms of vector partitions and divisor sums as well as give a recurrence relation analogous to the well known recursion for the Bell numbers. Lastly, we use Littlewood's reciprocity theorem and the Hardy-Littlewood Tauberian theorem to prove that the Schur expansion coefficients of the order 1 Bell functions are certain asymptotic averages of restriction coefficients.

For finite groups $G$, we show that bosonic-fermionic coinvariant rings have a natural $U(\mathfrak{gl}(k|j)) \otimes \mathbb{C}[G]$-module structure. In particular, we show that their character series are a sum of super Schur functions $s_λ(\mathbf{q}/\mathbf{u})$ times irreducible characters of $G$ with universal coefficients, which do not depend on $k,j$. In the case where $G$ is the symmetric group with diagonal action, this proves the "Diagonal Supersymmetry" conjecture of Bergeron (2020).

We provide a generalization of the Littlewood identity, both sides of which are related to alternating sign matrices. The classical Littlewood identity establishes a nice product formula for the sum of all Schur polynomials. Compared to the classical identity, Schur polynomials are replaced by so-called modified Robbins polynomials. These polynomials are a generalization of Schur polynomials and enumerate down-arrowed monotone triangles, and thus also alternating sign matrices. As an additional factor on the other side of the identity, we have a Pfaffian formula which we interpret in terms of the partition function of six-vertex model configurations corresponding to diagonally symmetric alternating sign matrices.

Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ. In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta. For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions.

The plethysm product of Schur functions corresponds to composing polynomial representations of infinite general linear groups. Finding the plethysm coefficients $\langle s_ν\circ s_μ, s_λ\rangle$ that express an arbitrary plethysm $s_ν\circ s_μ$ as a sum $\sum_λ\langle s_ν\circ s_μ, s_λ\rangle s_λ$ of Schur functions is a fundamental open problem in algebraic combinatorics. We prove two stability theorems for plethysm coefficients under the operations of adding and/or joining an arbitrary partition to either $μ$ or $ν$. In both theorems $μ$ may be replaced with an arbitrary skew partition. As special cases we obtain all stability results on the plethysm product of two Schur functions in the literature to date. The proofs are entirely combinatorial using plethystic semistandard tableaux with positive and negative entries.

We investigate the phenomenon known as ``quantum equals affine'' in the setting of $T$-equivariant quantum $K$-theory of the flag variety $G/B$, as established by Kato for any semisimple algebraic group $G$. In particular, we focus on the $K$-Peterson isomorphism between the $T$-equivariant quantum $K$-ring $QK_T(SL_n(\mathbb{C})/B)$ and the $T$-equivariant $K$-homology ring $K_*^T(\mathrm{Gr}_{SL_n})$ of the affine Grassmannian, after suitable localizations on both sides. Building on an earlier work by Ikeda, Iwao, and Maeno, we present an explicit algebraic realization of the $K$-Peterson map via a rational substitution that sends the generators of the quantum $K$-theory ring to explicit rational expressions in the fundamental generators of $K_*^T(\mathrm{Gr}_{SL_n})$, thereby matching the Schubert bases on both sides. Our approach builds on recent developments in the theory of $QK_T(SL_n(\mathbb{C})/B)$ by Maeno, Naito, and Sagaki, as well as the theory of $K$-theoretic double $k$-Schur functions introduced by Ikeda, Shimozono, and Yamaguchi. This concrete formulation provides new insight into the combinatorial structure of the $K$-Peterson isomorphism in the equivariant setting. As an application, we establish a factorization formula for the $K$-theoretic double $k$-Schur function associated with the maximal $k$-irreducible $k$-bounded partition.

In the 1940s Littlewood formulated three fundamental correspondences for the immanants and Schur symmetric functions on the general linear group, which establish deep connections between representation theory of the symmetric group and the general linear group parallel to the Schur-Weyl duality. In this paper, we introduce the notion of quantum immanants in the quantum coordinate algebra using primitive idempotents of the Hecke algebra. By employing $R$-matrix techniques, we establish the quantum analog of Littlewood correspondences between quantum immanants and Schur functions for the quantum coordinate algebra. In the setting of the Schur-Weyl-Jimbo duality, we construct an exact correspondence between the Gelfand-Tsetlin bases of the irreducible representations of the quantum enveloping algebra $U_q(\mathfrak{gl}(n))$ and Young's orthonormal basis of an irreducible representation of the Hecke algebra $\mathcal H_m$. This isomorphism leads to our trace formula for the quantum immanants, which settled the generalization problem of $q$-analog of Kostant's formular for $λ$-immanants. As applications, we also derive general $q$-Littlewood-Merris-Watkins identities and $q$-Goulden-Jackson identities as special cases of the quantum Littlewood correspondence III.

We show that a ratio of Schur polynomials $s_λ/s_ρ$ associated to partitions $λ$ and $ρ$ such that $λ\subsetneqρ$ has a negative partial derivative at any point where all variables are positive. This is accomplished by establishing an injective map between sets of pairs of skew semistandard Young tableaux that preserves the product of the corresponding monomials. We use this result and the description of the first Laurent coefficient of the Hilbert series of the graded algebra of regular functions on a linear symplectic quotient by the circle to demonstrate that many such symplectic quotients are not graded regularly diffeomorphic. In addition, we give an upper bound for this Laurent coefficient in terms of the largest two weights of the circle representation and demonstrate that all but finitely many circle symplectic quotients of each dimension are not graded regularly diffeomorphic to linear symplectic quotients by $\operatorname{SU}_2$.