arXiv++ Combinatorics

We study the multiplication and comultiplication in equivariant cohomology of Sato Grassmannian

The k-Schur functions were first introduced by Lapointe, Lascoux and Morse (2003) in the hopes of refining the expansion of Macdonald polynomials into Schur functions. Recently, an alternative definition for k-Schur functions was given by Lam, Lapointe, Morse, and Shimozono (2010) as the weighted generating function of starred strong tableaux which correspond with labeled saturated chains in the Bruhat order on the affine symmetric group modulo the symmetric group. This definition has been shown to correspond to the Schubert basis for the affine Grassmannian of type A by Lam (2008), and, at t = 1, it is equivalent to the k-tableaux characterization of Lapointe and Morse (2007). In this paper, we extend Haiman's (1992) dual equivalence relation on standard Young tableaux to all starred strong tableaux. The elementary equivalence relations can be interpreted as labeled edges in a graph which share many of the properties of Assaf's dual equivalence graphs. These graphs display much of the complexity of working with k-Schur functions and the interval structure on affine Symmetric Group modulo the Symmetric Group. We introduce the notions of flattening and squashing skew starred strong tableaux in analogy with jeu da taquin slides in order to give a method to find all isomorphism types for affine dual equivalence graphs of rank 4. Finally, we make connections between k-Schur functions and both LLT and Macdonald polynomials by comparing the graphs for these functions.

We introduce a conjectural construction for an extension to superspace of the Macdonald polynomials. The construction, which depends on certain orthogonality and triangularity relations, is tested for high degrees. We conjecture a simple form for the norm of the Macdonald polynomials in superspace, and a rather non-trivial expression for their evaluation. We study the limiting cases q=0 and q=\infty, which lead to two families of Hall-Littlewood polynomials in superspace. We also find that the Macdonald polynomials in superspace evaluated at q=t=0 or q=t=\infty seem to generalize naturally the Schur functions. In particular, their expansion coefficients in the corresponding Hall-Littlewood bases appear to be polynomials in t with nonnegative integer coefficients. More strikingly, we formulate a generalization of the Macdonald positivity conjecture to superspace: the expansion coefficients of the Macdonald superpolynomials expanded into a modified version of the Schur superpolynomial basis (the q=t=0 family) are polynomials in q and t with nonnegative integer coefficients.

We examine relationships between two minors of order n of some matrices of n rows and n+r columns. This is done through a class of determinants, here called $n$-determinants, the investigation of which is our objective. We prove that 1-determinants are the upper Hessenberg determinants. In particular, we state several 1-determinants each of which equals a Fibonacci number. We also derive relationships among terms of sequences defined by the same recurrence equation independently of the initial conditions. A result generalizing the formula for the product of two determinants is obtained. Finally, we prove that the Schur functions may be expressed as $n$-determinants.

The classical characteristic map associates symmetric functions to characters of the symmetric groups. There are two natural analogues of this map involving the Brauer algebra. The first of them relies on the action of the orthogonal or symplectic group on a space of tensors, while the second is provided by the action of this group on the symmetric algebra of the corresponding Lie algebra. We consider the second characteristic map both in the orthogonal and symplectic case, and calculate the images of central idempotents of the Brauer algebra in terms of the Schur polynomials. The calculation is based on the Okounkov--Olshanski binomial formula for the classical Lie groups. We also reproduce the hook dimension formulas for representations of the classical groups by deriving them from the properties of the primitive idempotents of the symmetric group and the Brauer algebra.

We prove that the modules of differential operators of order 2 on the classical Coxeter arrangements are free by exhibiting bases. For this purpose, we use Cauchy-Sylvester's theorem on compound determinants and Saito-Holm's criterion. In the case type $A$, we apply Cauchy-Sylvester's theorem on compound determinants to Vandermond determinant. By using the Schur polynomials, we define operators which form a part of a basis of modules of differential operators on the classical Coxeter arrangements of type $A$. In the cases of type $B$ and type $D$, the proofs go similarly to the case of type $A$ with some adjustments of operators and determinants.

We discuss computations of the Thom polynomials of singularity classes of maps in the basis of Schur functions. We survey the known results about the bound on the length and a rectangle containment for partitions appearing in such Schur function expansions. We describe several recursions for the coefficients. For some singularities, we give old and new computations of their Thom polynomials.

In previous work with Mikhail Khovanov and Aaron Lauda we introduced two odd analogues of the Schur functions: one via the combinatorics of Young tableaux (odd Kostka numbers) and one via the odd symmetrization operator. In this paper we introduce a third analogue, the plactic Schur functions. We show they coincide with both previously defined types of Schur function, confirming a conjecture. Using the plactic definition, we establish an odd Littlewood-Richardson rule. We also re-cast this rule in the language of polytopes, via the Knutson-Tao hive model.

We give a type free formula for the expansion of k-Schur functions indexed by fundamental coweights within the affine nilCoxeter algebra. Explicit combinatorics are developed in affine type C.

Haglund, Luoto, Mason, and van Willigenburg introduced a basis for quasisymmetric functions called the quasisymmetric Schur function basis, generated combinatorially through fillings of composition diagrams in much the same way as Schur functions are generated through reverse column-strict tableaux. We introduce a new basis for quasisymmetric functions called the row-strict quasisymmetric Schur function basis, generated combinatorially through fillings of composition diagrams in much the same way as Schur functions are generated through row-strict tableaux. We describe the relationship between this new basis and other known bases for quasisymmetric functions, as well as its relationship to Schur polynomials. We obtain a refinement of the omega transform operator as a result of these relationships.

We establish a fundamental connection between the geometric RSK correspondence and GL(N,R)-Whittaker functions, analogous to the well known relationship between the RSK correspondence and Schur functions. This gives rise to a natural family of measures associated with GL(N,R)-Whittaker functions which are the analogues in this setting of the Schur measures on integer partitions. The corresponding analogue of the Cauchy-Littlewood identity can be seen as a generalisation of an integral identity for GL(N,R)-Whittaker functions due to Bump and Stade. As an application, we obtain an explicit integral formula for the Laplace transform of the law of the partition function associated with a one-dimensional directed polymer model with log-gamma weights recently introduced by one of the authors (TS).

In this investigation of character tables of finite groups we study basic sets and associated representation theoretic data for complementary sets of conjugacy classes. For the symmetric groups we find unexpected properties of characters on restricted sets of conjugacy classes, like beautiful combinatorial determinant formulae for submatrices of the character table and Cartan matrices with respect to basic sets; we observe that similar phenomena occur for the transition matrices between power sum symmetric functions to bounded partitions and the $k$-Schur functions introduced by Lapointe and Morse. Arithmetic properties of the numbers occurring in this context are studied via generating functions.

We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes.

The action of the Bernstein operators on Schur functions was given in terms of codes in [CG] and extended to the analog in Schur Q-functions in [HJS]. We define a new combinatorial model of extended codes and show that both of these results follow from a natural combinatorial relation induced on codes. The new algebraic structure provides a natural setting for Schur functions indexed by compositions.

Using a combinatorial description of the Bernstein operator and its action on Schur functions, we describe the formal power series solutions to a family of partial differential equations known as the 2-Toda hierarchy. We also characterize diagonal solutions and use this to prove that a special family of formal power series, called content-type series, are solutions to the 2-Toda hierarchy. As examples, we prove that various generating series for permutation factorization problems (including the double Hurwitz problem), correlators for the Schur measure on partitions and the formal character expansion of the HCIZ integral are all solutions to the 2-Toda hierarchy.

Plethysm of two Schur functions can be expressed as a linear combination of Schur functions, and monomial symmetric functions. In this paper, we express the coefficients combinatorially in the case of monomial symmetric functions. And by using it, we determine the first term of the plethysm with respect to Schur functions under the reverse lexicographic order.

Factorial Schur functions are generalizations of Schur functions that have, in addition to the usual variables, a second family of "shift" parameters. We show that a factorial Schur function times a deformation of the Weyl denominator may be expressed as the partition function of a particular statistical-mechanical system (six vertex model). The proof is based on the Yang-Baxter equation. There is a deformation parameter $t$ which may be specialized in different ways. If $t=-1$, then we recover the expression of the factorial Schur function as a ratio of alternating polynomials. If $t=0$, we recover the description as a sum over tableaux. If $t=\infty$ we recover a description of Lascoux that was previously considered by McNamara. We also are able to prove using the Yang-Baxter equation the asymptotic symmetry of the factorial Schur functions in the shift parameters. Finally, we give a proof using our methods of the dual Cauchy identity for factorial Schur functions. Thus using our methods we are able to give thematic proofs of many of the properties of factorial Schur functions.

We prove Stanley's conjecture that, if delta_n is the staircase shape, then the skew Schur functions s_{delta_n / mu} are non-negative sums of Schur P-functions. We prove that the coefficients in this sum count certain fillings of shifted shapes. In particular, for the skew Schur function s_{delta_n / delta_{n-2}}, we discuss connections with Eulerian numbers and alternating permutations.

We consider a q-analogue of the standard bilinear form on the commutative ring of symmetric functions. The q=-1 case leads to a Z-graded Hopf superalgebra which we call the algebra of odd symmetric functions. In the odd setting we describe counterparts of the elementary and complete symmetric functions, power sums, Schur functions, and combinatorial interpretations of associated change of basis relations.

We give several explicit combinatorial formulas for the expansion of k-Schur functions indexed by maximal rectangles in terms of the standard basis of the affine nilCoxeter algebra. Using our result, we also show a commutation relation of k-Schur functions corresponding to rectangles with the generators of the affine nilCoxeter algebra.