arXiv++ Combinatorics

We establish the relationship between volumes of flow polytopes associated to signed graphs and the Kostant partition function. A special case of this relationship, namely, when the graphs are signless, has been studied in detail by Baldoni and Vergne using techniques of residues. In contrast with their approach, we provide entirely combinatorial proofs inspired by the work of Postnikov and Stanley on flow polytopes. As a fascinating special family of flow polytopes, we study the Chan-Robbins-Yuen polytopes. Motivated by the beautiful volume formula $\prod_{k=1}^{n-2} Cat(k)$ for the type $A_n$ version, where $Cat(k)$ is the $k$th Catalan number, we introduce type $C_{n+1}$ and $D_{n+1}$ Chan-Robbins-Yuen polytopes along with intriguing conjectures pertaining to their properties.

Consider the weight $λ$ which is the sum of all simple roots of a simple Lie algebra. Using Kostant's weight multiplicity formula we describe and enumerate the contributing terms to the multiplicity of the zero weight in the representation with highest weight $λ$. We prove that in Lie algebras of type $A$ and $B$, the number of contributing terms to the multiplicity of the zero-weight space in the representation with highest weight $λ$ is given by a Fibonacci number, and that in Lie algebras of type $C$ and $D$, the analogous result is given by a multiple of a Lucas number.

We characterize by pattern avoidance the Schubert varieties for GL_n which are local complete intersections (lci). For those Schubert varieties which are local complete intersections, we give an explicit minimal set of equations cutting out their neighborhoods at the identity. Although the statement of our characterization only requires ordinary pattern avoidance, showing that the Schubert varieties not satisfying our conditions are not lci appears to require working with more general notions of pattern avoidance. The Schubert varieties defined by inclusions, originally introduced by Gasharov and Reiner, turn out to be an important subclass, and we further develop some of their combinatorics. Applications include formulas for Kostant polynomials and presentations of cohomology rings for lci Schubert varieties.

Let g=g_0+g_1 be a Z_2-graded Lie algebra. We study the posets of abelian subalgebras of g_1 which are stable w.r.t. a Borel subalgebra of g_0. In particular, we find out a natural parametrization of maximal elements and dimension formulas for them. We recover as special cases several results of Kostant, Panyushev, Suter.

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 strong Macdonald theorems state that, for $L$ reductive and $s$ an odd variable, the cohomology algebras $H^*(L[z]/z^N)$ and $H^*(L[z,s])$ are freely generated, and describe the cohomological, $s$-, and $z$-degrees of the generators. The resulting identity for the $z$-weighted Euler characteristic is equivalent to Macdonald's constant term identity for a finite root system. We calculate $H^*(\mathfrak{p} / z^N \mathfrak{p})$ and $H^*(\mathfrak{p}[s])$ for $\mathfrak{p}$ a standard parahoric in a twisted loop algebra, giving strong Macdonald theorems that take into account both a parabolic component and a possible diagram automorphism twist. In particular we show that $H^*(\mathfrak{p} / z^N \mathfrak{p})$ contains a parabolic subalgebra of the coinvariant algebra of the fixed-point subgroup of the Weyl group of $L$, and thus is no longer free. We also prove a strong Macdonald theorem for $H^*(\mathfrak{b}; S^* \mathfrak{n}^*)$ and $H^*(\mathfrak{b} / z^N \mathfrak{n})$ when $\mathfrak{b}$ and $\mathfrak{n}$ are Iwahori and nilpotent subalgebras respectively of a twisted loop algebra. For each strong Macdonald theorem proved, taking $z$-weighted Euler characteristics gives an identity equivalent to Macdonald's constant term identity for the corresponding affine root system. As part of the proof, we study the regular adjoint orbits for the adjoint action of the twisted arc group associated to $L$, proving an analogue of the Kostant slice theorem.

Patch ideals encode neighbourhoods of a variety in GL_n/B. For Peterson varieties we determine generators for these ideals and show they are complete intersections, and thus Cohen-Macaulay and Gorenstein. Consequently, we combinatorially describe the singular locus of the Peterson variety; give an explicit equivariant K-theory localization formula; and extend some results of [B. Kostant '96] and of D. Peterson to intersections of Peterson varieties with Schubert varieties. We conjecture that the projectivized tangent cones are Cohen-Macaulay, and that their h-polynomials are nonnegative and upper-semicontinuous. Similarly, we use patch ideals to briefly analyze other examples of torus invariant subvarieties of GL_n/B, including Richardson varieties and Springer fibers.

We study a family of identities regarding a divisibility property of the Kostant partition function which first appeared in a paper of Baldoni and Vergne. To prove the identities, Baldoni and Vergne used techniques of residues and called the resulting divisibility property "mysterious." We prove these identities entirely combinatorially and provide a natural explanation of why the divisibility occurs. We also point out several ways to generalize the identities.

We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus.

The purpose of this note is to give a refinement of the product formula proved in [1] for the Poincare polynomial of a smooth Schubert variety in the flag variety of an algebraic group G over C. This yields a factorization of the number of elements in a Bruhat interval [e,w] in the Weyl group W of G provided the Schubert variety associated to w is smooth. This gives an elementary necessary condition for a Schubert variety in the flag variety to be smooth.

This document is a companion for the Maple program : Discrete series and K-types for U(p,q) available on:http://www.math.jussieu.fr/~vergne We explain an algorithm to compute the multiplicities of an irreducible representation of U(p)x U(q) in a discrete series of U(p,q). It is based on Blattner's formula. We recall the general mathematical background to compute Kostant partition functions via multidimensional residues, and we outline our algorithm. We also point out some properties of the piecewise polynomial functions describing multiplicities based on Paradan's results.

Let $g$ be a simple Lie algebra and $Ab(g)$ the set of Abelian ideals of a Borel subalgebra of $g$. In this note, an interesting connection between $Ab(g)$ and the subsets of the Dynkin diagram of $g$ is discussed. We notice that the number of abelian ideals with $k$ generators equals the number of subsets of the Dynkin diagram with $k$ connected components. For $g$ of type $A_n$ or $C_n$, we provide a combinatorial explanation of this coincidence by constructing a suitable bijection. We also construct another general bijection between $Ab(g)$ and the subsets of the Dynkin diagram, which is based on the theory developed by Peterson and Kostant.

Peterson varieties are a special class of Hessenberg varieties that have been extensively studied e.g. by Peterson, Kostant, and Rietsch, in connection with the quantum cohomology of the flag variety. In this manuscript, we develop a generalized Schubert calculus, and in particular a positive Chevalley-Monk formula, for the ordinary and Borel-equivariant cohomology of the Peterson variety $Y$ in type $A_{n-1}$, with respect to a natural $S^1$-action arising from the standard action of the maximal torus on flag varieties. As far as we know, this is the first example of positive Schubert calculus beyond the realm of Kac-Moody flag varieties $G/P$. Our main results are as follows. First, we identify a computationally convenient basis of $H^*_{S^1}(Y)$, which we call the basis of Peterson Schubert classes. Second, we derive a manifestly positive, integral Chevalley-Monk formula for the product of a cohomology-degree-2 Peterson Schubert class with an arbitrary Peterson Schubert class. Both $H^*_{S^1}(Y)$ and $H^*(Y)$ are generated in degree 2. Finally, by using our Chevalley-Monk formula we give explicit descriptions (via generators and relations) of both the $S^1$-equivariant cohomology ring $H^*_{S^1}(Y)$ and the ordinary cohomology ring $H^*(Y)$ of the type $A_{n-1}$ Peterson variety. Our methods are both directly from and inspired by those of GKM (Goresky-Kottwitz-MacPherson) theory and classical Schubert calculus. We discuss several open questions and directions for future work.

We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case G = SL_n, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, called K-k-Schur functions, whose highest degree term is a k-Schur function. The dual basis in K-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of Lam. In addition, we give a Pieri rule in K-homology. Many of our constructions have geometric interpretations using Kashiwara's thick affine flag manifold.

We discover an explicit expansion formula for the powers $s$ of the Euler Product (or Dedekind $η$-function) in terms of hook lengths of partitions, where the exponent $s$ is any complex number. Several classical formulas have been derived for certain integers $s$ by Euler, Jacobi, Klein, Fricke, Atkin, Winquist, Dyson and Macdonald. In particular, Macdonald obtained expansion formulas for the integer exponents $s$ for which there exists a semi-simple Lie algebra of dimension $s$. For the type $A_l^{(a)}$ he has expressed the $(t^2-1)$-st power of the Euler Product as a sum of weighted integer vectors of length $t$ for any integer $t$. Kostant has considered the general case for any positive integer $s$ and obtained further properties. ----- The present paper proposes a new approach. We convert the weighted vectors of length $t$ used by Macdonald in his identity for type $A_l^{(a)}$ to weighted partitions with free parameter $t$, so that a new identity on the latter combinatorial structures can be derived without any restrictions on $t$. The surprise is that the weighted partitions have a very simple form in terms of hook lengths of partitions. As applications of our formula, we find some new identities about hook lengths, including the "marked hook formula". We also improve a result due to Kostant. The proof of the Main Theorem is based on Macdonald's identity for $A_l^{(a)}$ and on the properties of a bijection between $t$-cores and integer vectors constructed by Garvan, Kim and Stanton.

Let G be a symplectic or orthogonal complex Lie group with Lie algebra g. As a G-module, the decomposition of the symmetric algebra S(g) into its irreducible components can be explicitely obtained by using identities due to Littlewood. We show that the multiplicities appearing in the decomposition of the k-th graded component of S(g) do not depend on the rank n of g providing n is sufficiently large. Thanks to a classical result by Kostant, we establish a similar result for the k-th graded component of the space H(g) of G-harmonic polynomials. These stabilization properties are equivalent to the existence of a limit in infinitely many variables for the graded characters associated to S(g) and H(g). The limits so obtained are formal series with coefficients in the ring of universal characters introduced by Koike and Terada. From Hesselink expression of the graded character of harmonics, the coefficient of degree k in the Lusztig q-analogue associated to the partition lambda and the weight 0 thus stablizes for n sufficiently large. By using Morris-type recurrence formulas, we prove that this is also true for the polynomials $K_{λ,μ}^{g}(q)$ where mu is a nonempty fixed partition. This can be reformulated in terms of a stability property for the dimension of the components of the Brylinski-Kostant filtration. We also associate to each pair of partitions (lambda, mu) formal series $K_{λ,μ}^{so}(q)$ and $K_{λ,μ}^{sp}(q)$, which can be regarded as natural limit of the Lusztig q-analogues. One gives a duality property for these limits and obtains simple expressions when lambda is a row or a column partition.

In this paper, we present a simple combinatorial proof of a Weyl type formula for hook Schur polynomials, which has been obtained by using a Kostant type cohomology formula for $\frak{gl}_{m|n}$. In general, we can obtain in a combinatorial way a Weyl type formula for various highest weight representations of a Lie superalgebra, which together with a general linear algebra forms a Howe dual pair.

Confirming a conjecture of Mark Shimozono, we identify polynomial representatives for the Schubert classes of the affine Grassmannian as the k-Schur functions in homology and affine Schur functions in cohomology. Our results rely on Kostant and Kumar's nilHecke ring, work of Peterson on the homology of based loops on a compact group, and earlier work of ours on non-commutative k-Schur functions.

Let an affine Weyl group $\hat W$ act as a group of affine transformations on a real vector space V. We analyze the $\hat W$-orbit of a regular element in V and deduce applications to Kostant's formula for powers of the Euler product and to the representations of $\hat W$ as permutations of the integers.

We apply some recent developments of Baldoni-Beck-Cochet-Vergne on vector partition function, to Kostant's and Steinberg's formulae, for classical Lie algebras $A\_r$, $B\_r$, $C\_r$, $D\_r$. We therefore get efficient {\tt Maple} programs that compute for these Lie algebras: the multiplicity of a weight in an irreducible finite-dimensional representation; the decomposition coefficients of the tensor product of two irreducible finite-dimensional representations. These programs can also calculate associated Ehrhart quasipolynomials.