Conjectures on the Quotient Ring by Diagonal Invariants

Abstract

We formulate a series of conjectures (and a few theorems) on the quotient of the polynomial ring {\Bbb Q}[x_1,\ldots , x_n, y_1, \ldots , y_n] in two sets of variables by the ideal generated by all Sn invariant polynomials without constant term. The theory of the corresponding ring in a single set of variables X e lx1, …, xnr is classical. Introducing the second set of variables leads to a ring about which little is yet understood, but for which there is strong evidence of deep connections with many fundamental results of enumerative combinatorics, as well as with algebraic geometry and Lie theory.