arXiv++ Combinatorics

We study the statistics area, bounce and dinv on the set of parallelogram polyominoes having a rectangular m times n bounding box. We show that the bi-statistics (area, bounce) and (area, dinv) give rise to the same q,t-analogue of Narayana numbers which was introduced by two of the authors in [arXiv:1208.0024]. We prove the main conjectures of that paper: the q,t-Narayana polynomials are symmetric in both q and t, and m and n. This is accomplished by providing a symmetric functions interpretation of the q,t-Narayana polynomials which relates them to the famous diagonal harmonics.

En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta primera parte presenta una introduccion a las matrices totalmente no negativas, y su relacion con las funciones simetricas. In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This first part presents an introduction to totally non-negative matrices and their relationship with symmetric functions.

En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta segunda parte trata la coneccion entre las funciones simetricas y la teoria de representaciones. In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This second part treats the connection between symmetric functions and representation theory.

This book is an exposition of the current state of research of affine Schubert calculus and $k$-Schur functions. This text is based on a series of lectures given at a workshop titled "Affine Schubert Calculus" that took place in July 2010 at the Fields Institute in Toronto, Ontario. The story of this research is told in three parts: 1. Primer on $k$-Schur Functions 2. Stanley symmetric functions and Peterson algebras 3. Affine Schubert calculus

We study the Horn problem in the context of algebraic codes on a smooth projective curve defined over a finite field, reducing the problem to the representation theory of the special linear group $SL(2,F_q)$. We characterize the coefficients that appear in the Kronecker product of symmetric functions in terms of Gromov-Witten invariants of the Hilbert scheme of points in the plane. In addition we classify all the algebraic codes defined over the normal rational curve providing an algorithm to compute set of generators of the ideal associated to any algebraic code constructed on the NRC over an extension $\mathbb{F}_{q^{n}}$ of $\mathbb{F}_{q}$.

We develop a new method for studying the asymptotics of symmetric polynomials of representation-theoretic origin as the number of variables tends to infinity. Several applications of our method are presented: We prove a number of theorems concerning characters of infinite-dimensional unitary group and their $q$-deformations. We study the behavior of uniformly random lozenge tilings of large polygonal domains and find the GUE-eigenvalues distribution in the limit. We also investigate similar behavior for alternating sign matrices (equivalently, six-vertex model with domain wall boundary conditions). Finally, we compute the asymptotic expansion of certain observables in $O(n=1)$ dense loop model.

We construct a family of pairwise commuting operators such that the Jack symmetric functions of infinitely many variables $x_1,x_2,...$ are their eigenfunctions. These operators are defined as limits at $N\to\infty$ of renormalised Sekiguchi-Debiard operators acting on symmetric polynomials in the variables $x_1,...,x_N$. They are differential operators in terms of the power sum variables $p_n=x_1^n+x_2^n+...$ and we compute their symbols by using the Jack reproducing kernel. Our result yields a hierarchy of commuting Hamiltonians for the quantum Calogero-Sutherland model with infinite number of bosonic particles in terms of the collective variables of the model. Our result also yields explicit shift operators for the Jack symmetric functions.

We construct a family of pairwise commuting operators such that the Macdonald symmetric functions of infinitely many variables $x_1,x_2,...$ and of two parameters $q,t$ are their eigenfunctions. These operators are defined as limits at $N\to\infty$ of renormalised Macdonald operators acting on symmetric polynomials in the variables $x_1,...,x_N$. They are differential operators in terms of the power sum variables $p_n=x_1^n+x_2^n+...$ and we compute their symbols by using the Macdonald reproducing kernel. We express these symbols in terms of the Hall-Littlewood symmetric functions of the variables $x_1,x_2,...$. Our result also yields elementary step operators for the Macdonald symmetric functions.

The combinatorial Hopf algebra on building sets $BSet$ extends the chromatic Hopf algebra of simple graphs. The image of a building set under canonical morphism to quasi-symmetric functions is the chromatic symmetric function of the corresponding hypergraph. By passing from graphs to building sets, we construct a sequence of symmetric functions associated to a graph. From the generalized Dehn-Sommerville relations for the Hopf algebra $BSet$, we define a class of building sets called eulerian and show that eulerian building sets satisfy Bayer-Billera relations. We show the existence of the $\mathbf{c}\mathbf{d}-$index, the polynomial in two noncommutative variables associated to an eulerian building set. The complete characterization of eulerian building sets is given in terms of combinatorics of intersection posets of antichains of finite sets.

We study the combinatorial geometry of "lattice" Jenkins--Strebel differentials with simple zeroes and simple poles on $\mathbb{C}P^1$ and of the corresponding counting functions. Developing the results of M. Kontsevich we evaluate the leading term of the symmetric polynomial counting the number of such "lattice" Jenkins-Strebel differentials having all zeroes on a single singular layer. This allows us to express the number of general "lattice" Jenkins-Strebel differentials as an appropriate weighted sum over decorated trees. The problem of counting Jenkins-Strebel differentials is equivalent to the problem of counting pillowcase covers, which serve as integer points in appropriate local coordinates on strata of moduli spaces of meromorphic quadratic differentials. This allows us to relate our counting problem to calculations of volumes of these strata . A very explicit expression for the volume of any stratum of meromorphic quadratic differentials recently obtained by the authors leads to an interesting combinatorial identity for our sums over trees.

We investigate the relationship between Kostka-Foulkes polynomials and certain symmetric functions that arise from Garsia and Haglund's study of the q,t-Catalan series.

The 0-Hecke algebra $H_n(0)$ is a deformation of the group algebra of the symmetric group $\SS_n$. We show that its coinvariant algebra naturally carries the regular representation of $H_n(0)$, giving an analogue of the well-known result for $\SS_n$ by Chevalley-Shephard-Todd. By investigating the action of $H_n(0)$ on coinvariants and flag varieties, we interpret the generating functions counting the permutations with fixed inverse descent set by their inversion number and major index. We also study the action of $H_n(0)$ on the cohomology rings of the Springer fibers, and similarly interpret the (noncommutative) Hall-Littlewood symmetric functions indexed by hook shapes.

In the Hopf algebra of symmetric functions, Sym, the basis of Schur functions is distinguished since every Schur function is isomorphic to an irreducible character of a symmetric group under the Frobenius characteristic map. In this note we show that in the Hopf algebra of noncommutative symmetric functions, Nsym, of which Sym is a quotient, the recently discovered basis of noncommutative Schur functions exhibits that every noncommutative Schur function is isomorphic to a noncommutative irreducible character of a symmetric group when working in noncommutative character theory. We simultaneously show that a second basis of Nsym consisting of Young noncommutative Schur functions also satisfies that every element is isomorphic to a noncommutative irreducible character of a symmetric group.

Hurwitz numbers count branched covers of the Riemann sphere with specified ramification, or equivalently, transitive permutation factorizations in the symmetric group with specified cycle types. Monotone Hurwitz numbers count a restricted subset of these branched covers, related to the expansion of complete symmetric functions in the Jucys-Murphy elements, and have arisen in recent work on the the asymptotic expansion of the Harish-Chandra-Itzykson-Zuber integral. In previous work we gave an explicit formula for monotone Hurwitz numbers in genus zero. In this paper we consider monotone Hurwitz numbers in higher genera, and prove a number of results that are reminiscent of those for classical Hurwitz numbers. These include an explicit formula for monotone Hurwitz numbers in genus one, and an explicit form for the generating function in arbitrary positive genus. From the form of the generating function we are able to prove that monotone Hurwitz numbers exhibit a polynomiality that is reminiscent of that for the classical Hurwitz numbers, i.e., up to a specified combinatorial factor, the monotone Hurwitz number in genus g with ramification specified by a given partition is a polynomial indexed by g in the parts of the partition.

A generalization of Newton's identity on symmetric functions is given. Using the generalized Newton identity we give a unified method to show the existence of Hall-Littlewood, Jack and Macdonald polynomials. We also give a simple proof of the Jing-Jözefiak formula for two-row Macdonald functions.

We provide operadic interpretations for two Hopf subalgebras of the algebra of parking functions. The Catalan subalgebra is identified with the free duplicial algebra on one generator, and the Schröder subalgebra is interpreted by means of a new operad, which we call triduplicial. The noncommutative Lagrange inversion formula is then interpreted in terms of duplicial structures. The generic solution of the noncommutative inversion problem appears as the formal sum of all parking functions. This suggests that combinatorial generating functions derived by functional inversion should be obtainable by evaluating a suitable character on this generic solution. This idea is illustrated by means of the Narayana polynomials, of which we obtain bivariate "super-analogues" by lifting to parking functions a classical character of the algebra of symmetric functions. Other characters, such as evaluation of symmetric functions on a binomial element, are also discussed.

In this paper, we introduce a family of symmetric polynomials by specializing the factorial Schur polynomials. These polynomials represent the weighted Schubert classes of the cohomology of the weighted Grassmannian introduced by Corti-Reid, and we regard these polynomials as analogue of the Schur polynomials. We show that those twisted Schur polynomials are the characters of certain representations. Thus we give an interpretation of the Schubert structure constants of the weighted Grassmannians as the (rational) multiplicities of tensor products of the representations. Furthermore, we derive two types of determinantal formulas for the weighted Schubert classes, in terms of special weighted Schubert classes, and also in terms of Chern classes of tautological orbi-bundles.

In 1982 Macdonald published his now famous constant term conjectures for classical root systems. This paper begins with the almost trivial observation that Macdonald's constant term identities admit an extra set of free parameters, thereby linking them to Poincare polynomials. We then exploit these extra degrees of freedom in the case of type A to give the first proof of Kadell's orthogonality conjecture---a symmetric function generalisation of the q-Dyson conjecture or Zeilberger-Bressoud theorem. Key ingredients in our proof of Kadell's orthogonality conjecture are the polynomial lemma of Karasev and Petrov, the scalar product for Demazure characters and (0,1)-matrices.

In the study of Zeilberger's conjecture on an integer sequence related to the Catalan numbers, Lassalle proposed the following conjecture. Let $(t)_n$ denote the rising factorial, and let $Λ_{\mathbb{R}}$ denote the algebra of symmetric functions with real coefficients. If $\varphi$ is the homomorphism from $Λ_{\mathbb{R}}$ to $\mathbb{R}$ defined by $\varphi(h_n)={1}/{((t)_nn!)}$ for some $t>0$, then for any Schur function $s_λ$, the value $\varphi(s_λ)$ is positive. In this paper, we provide an affirmative answer to Lassalle's conjecture by using the Laguerre-Pólya-Schur theory of multiplier sequences.

The main aim of this article is to compute all the moments of the number of $p^\ell$-torsion elements in some type of nite abelian groups. The averages involved in these moments are those de ned for the Cohen-Lenstra heuristics for class groups and their adaptation for Tate-Shafarevich groups. In particular, we prove that the heuristic model for Tate-Shafarevich groups is compatible with the recent conjecture of Poonen and Rains about the moments of the orders of $p$-Selmer groups of elliptic curves. For our purpose, we are led to de ne certain polynomials indexed by integer partitions and to study them in a combinatorial way. Moreover, from our probabilistic model, we derive combinatorial identities, some of which appearing to be new, the others being related to the theory of symmetric functions. In some sense, our method therefore gives for these identities a somehow natural algebraic context.