arXiv++ Combinatorics

Buch and Fulton conjectured the nonnegativity of the quiver coefficients appearing in their formula for a quiver variety. Knutson, Miller and Shimozono proved this conjecture as an immediate consequence of their ``component formula''. We present an alternative proof of the component formula by substituting combinatorics for Grobner degeneration. We relate the component formula to the work of Buch, Kresch, Tamvakis and the author where a ``splitting'' formula for Schubert polynomials in terms of quiver coefficients was obtained. We prove analogues of this latter result for the type BCD-Schubert polynomials of Billey and Haiman.

We prove K-theoretic generalizations of the component formulas of Knutson, Miller, and Shimozono, and deduce that K-theoretic quiver coefficients have alternating signs. We also prove new variants of the factor sequences conjecture, and a conjecture of Knutson, Miller, and Shimozono stating that the double ratio formula agrees with the original quiver formulas. For completeness we include a short proof of the ratio formula for quiver varieties.

Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alternating signs. Our result is applied to obtain new expansions for the Grothendieck polynomials of Lascoux and Schützenberger.

The work of Buch and Fulton established a formula for a general kind of degeneracy locus associated to an oriented quiver of type $A$. The main ingredients in this formula are Schur determinants and certain integers, the quiver coefficients, which generalize the classical Littlewood-Richardson coefficients. Our aim in this paper is to prove a positive combinatorial formula for the quiver coefficients when the rank conditions defining the degeneracy locus are given by a permutation. In particular, this gives new expansions for Fulton's universal Schubert polynomials and the Schubert polynomials of Lascoux and Schützenberger.

We suggest a (conjectural) construction of a basis in the plus part of the affine Lie algebra of type ADE indexed by irreducible components of certain quiver varieties. This construction is closely related to a string-theoretic construction of a Lie algebra of BPS states. We then study the new combinatorial questions about the (classical) root systems naturally arising from our constructions and Lusztig's semicanonical basis.

Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawrence toric varieties, meaning GIT quotients of even-dimensional affine spaces by symplectic torus actions. A toric hyperkahler variety is a complete intersection in a Lawrence toric variety. Both varieties are non-compact, and they share the same cohomology ring, namely, the Stanley-Reisner ring of a matroid modulo a linear system of parameters. Familiar applications of toric geometry to combinatorics, including the Hard Lefschetz Theorem and the volume polynomials of Khovanskii-Pukhlikov, are extended to the hyperkahler setting. When the matroid is graphic, our construction gives the toric quiver varieties, in the sense of Nakajima.

A conjecture of Kac states that the polynomial counting the number of absolutely indecomposable representations of a quiver over a finite field with given dimension vector has positive coefficients and furthermore that its constant term is equal to the multiplicity of the corresponding root in the associated Kac-Moody Lie algebra. In this paper we prove these conjectures for indivisible dimension vectors.

We prove a formula for the structure sheaf of a quiver variety in the Grothendieck ring of its embedding variety. This formula generalizes and gives new expressions for Grothendieck polynomials. We furthermore conjecture that the coefficients in our formula have signs which alternate with degree. The proof of our formula involves $K$-theoretic generalizations of several useful cohomological tools, including the Thom-Porteous formula, the Jacobi-Trudi formula, and a Gysin formula of Pragacz.

Let g be a simple simply laced Lie algebra. In this paper two families of varieties associated to the Dynkin graph of g are described: ``tensor product'' and ``multiplicity'' varieties. These varieties are closely related to Nakajima's quiver varieties and should play an important role in the geometric constructions of tensor products and intertwining operators. In particular it is shown that the set of irreducible components of a tensor product variety can be equipped with a structure of g-crystal isomorphic to the crystal of the canonical basis of the tensor product of several simple finite dimensional representations of g, and that the number of irreducible components of a multiplicity variety is equal to the multiplicity of a certain representation in the tensor product of several others. Moreover the decomposition of a tensor product into a direct sum is described geometrically (on the level of crystals).

First we survey generating function methods for obtaining useful probability estimates about random matrices in the finite classical groups. Then we describe a probabilistic picture of conjugacy classes which is coherent and beautiful. Connections are made with symmetric function theory, Markov chains, potential theory, Rogers-Ramanujan type identities, quivers, and various measures on partitions.

The asymptotic probability theory of conjugacy classes of the finite general linear and unitary groups leads to a probability measure on the set of all partitions of natural numbers. A simple method of understanding these measures in terms of Markov chains is given and compared with work on the uniform measure. Elementary probabilistic proofs of the Rogers-Ramanujan identities follow. As a corollary, the main case of Bailey's lemma is interpreted as finding eigenvectors of the transition matrix of the Markov chain. It is shown that the viewpoint of Markov chains extends to quivers.

In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula is general enough to give new expressions for all known types of Schubert polynomials. In the present paper we discuss the relationship between this formula and Stanley symmetric functions. We show that the coefficients obtained when a Stanley symmetric function is expressed in the basis of Schur functions are special cases of a class of generalized Littlewood-Richardson coefficients appearing in the formula for quiver varieties. We also prove that Fulton's universal Schubert polynomials (math.AG/9702012) satisfy the usual rule for a Schubert polynomial of a product of two permutations.

In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be non-negative. We conjecture that each of these coefficients count the number of sequences of semistandard Young tableaux which satisfy certain conditions. In this paper I give a proof of this conjecture in the special case where the quiver variety can be described by at most four vector bundles. I also prove that the general conjecture follows from a simple combinatorial statement for which substantial computer verification has been obtained.