SearcharxivSearch

arXiv subjects

Alain Lascoux

Publications and source records attributed to Alain Lascoux.

At least 19 recordsLinked to original sources

Constant term identities and Poincare polynomials

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.

math.CO

Logarithmic and complex constant term identities

In recent work on the representation theory of vertex algebras related to the Virasoro minimal models M(2,p), Adamovic and Milas discovered logarithmic analogues of (special cases of) the famous Dyson and Morris constant term identities. In this paper we show how the identities of Adamovic and Milas arise naturally by differentiating as-yet-conjectural complex analogues of the constant term identities of Dyson and Morris. We also discuss the existence of complex and logarithmic constant term identities for arbitrary root systems, and in particular prove complex and logarithmic constant term identities for the root system G_2.

math.CO

Noncommutative symmetric functions with matrix parameters

We define new families of noncommutative symmetric functions and quasi-symmetric functions depending on two matrices of parameters, and more generally on parameters associated with paths in a binary tree. Appropriate specializations of both matrices then give back the two-vector families of Hivert, Lascoux, and Thibon and the noncommutative Macdonald functions of Bergeron and Zabrocki.

math.CO

Linear extension sums as valuations of cones

The geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset.

math.CO

Deformed Kazhdan-Lusztig elements and Macdonald polynomials

We introduce deformations of Kazhdan-Lusztig elements and specialised nonsymmetric Macdonald polynomials, both of which form a distinguished basis of the polynomial representation of a maximal parabolic subalgebra of the Hecke algebra. We give explicit integral formula for these polynomials, and explicitly describe the transition matrices between classes of polynomials. We further develop a combinatorial interpretation of homogeneous evaluations using an expansion in terms of Schubert polynomials in the deformation parameters.

math.CO

Hankel Pfaffians, Discriminants and Kazhdan-Lusztig bases

We use Kazhdan-Lusztig bases of representations of the symmetric group to express Pfaffians with entries $(a_i-a_j) h_{i+j}$. In the case where the parameters $a_i$ are specialized to successive powers of $q$, and the $h_i$ are complete functions, we obtain the $q$-discriminant.

math.CO

Idempotents with polynomial coefficients

We combine Young idempotents in the group algebra of the symmetric group with the action of the symmetric group on products of Vandermonde determinants to obtain idempotents with polynomial coefficients.

math.CO

Generalisation of Scott permanent identity

Scott considered the determinant of 1/(y-z)^2, with y,z running over two sets X,Y of size n, and determined its specialisation when Y and Z are the roots of y^n-a and z^n-b. We give the same specialisation for the determinant 1/\prod_x(xy-z), where {x} is an arbitrary set of indeterminates. The case of the Gaudin-Izergin-Korepin is for {x}={q,1/q}.

math.CO

Branching rules for symmetric Macdonald polynomials and sl_n basic hypergeometric series

A one-parameter generalisation R_λ(X;b) of the symmetric Macdonald polynomials and interpolations Macdonald polynomials is studied from the point of view of branching rules. We establish a Pieri formula, evaluation symmetry, principal specialisation formula and q-difference equation for R_λ(X;b). We also prove a new multiple q-Gauss summation formula and several further results for sl_n basic hypergeometric series based on R_λ(X;b).

math.CO

Thom polynomials and Schur funcions: the singularities $A_3(-)$

Combining the "method of restriction equations" of Rimányi et al. with the techniques of symmetric functions, we establish the Schur function expansions of the Thom polynomials for the Morin singularities $A_3: ({\bf C}^{\bullet},0)\to ({\bf C}^{\bullet + k},0)$ for any nonnegative integer $k$.

math.AG

Nonsymmetric interpolation Macdonald polynomials and g_n basic hypergeometric series

The Knop-Sahi interpolation Macdonald polynomials are inhomogeneous and nonsymmetric generalisations of the well-known Macdonald polynomials. In this paper we apply the interpolation Macdonald polynomials to study a new type of basic hypergeometric series of type g_n. Our main results include a new q-binomial theorem, new q-Gauss sum, and several transformation formulae for g_n series.

math.CA

Adding \pm 1 to the argument of an Hall-Littlewood polynomial

Shifting by \pm 1 powers sums: p_i \to p_i \pm 1 induces a transformation on symmetric functions that we detail in the case of Hall-Littlewood polynomials. By iteration, this gives a description of these polynomials in terms of plane partitions, as well as some generating functions. We recover in particular an identity of Warnaar related to Rogers-Ramanujan identities.

math.CO

Gaudin functions, and Euler-Poincaré characteristics

Given two positive integers n,r, we define the Gaudin function of level r to be quotient of the numerator of the determinant det(1/ ((x_i-y_j)(x_i-ty_j) ... (x_i-t^r y_j)), i,j=1..n, by the two Vandermonde in x and y. We show that it can be characterized by specializing the x-variables into the y-variables, multiplied by powers of t. This allows us to obtain the Gaudin function of level 1 (due to Korepin and Izergin) as the image of a resultant under the the Euler-Poincaré characteristics of the flag manifold. As a corollary, we recover a result of Warnaar about the generating function of Macdonald polynomials.

math.CO

The 6 Vertex Model and Schubert Polynomials

We enumerate staircases with fixed left and right columns. These objects correspond to ice-configurations, or alternating sign matrices, with fixed top and bottom parts. The resulting partition functions are equal, up to a normalization factor, to some Schubert polynomials.

math.CO

Non symmetric Cauchy kernels for the classical Groups

We give non-symmetric versions of the Cauchy kernel and Littlewood's kernels, corresponding to the types $A_n$, $B_n$, $C_n$ and $D_n$, of the classical groups. We show that these new kernels are diagonal in the basis of two families of key polynomials (one of them being Demazure characters) obtained as images of dominant monomials under isobaric divided differences. We define scalar products such that the two families of key polynomials are adjoint to each other.

math.CO

Pfaffians and Representations of the Symmetric Group

Pfaffians of matrices with entries z[i,j]/(x\_i+x\_j), or determinants of matrices with entries z[i,j]/(x\_i-x\_j), where the antisymmetrical indeterminates z[i,j] satisfy the Plücker relations, can be identified with a trace in an irreducible representation of a product of two symmetric groups. Using Young's orthogonal bases, one can write explicit expressions of such Pfaffians and determinants, and recover in particular the evaluation of Pfaffians which appeared in the recent literature.

math.CO

Non-Symmetric Hall-Littlewood Polynomials

Using the action of the Yang-Baxter elements of the Hecke algebra on polynomials, we define two bases of polynomials in n variables. The Hall-Littlewood polynomials are a subfamily of one of them. For q=0, these bases specialize into the two families of classical Key polynomials (i.e. Demazure characters for type A). We give a scalar product for which the two bases are adjoint of each other.

math.CO