Conjectures on the Quotient Ring by Diagonal Invariants

We formulate a series of conjectures (and a few theorems) on the quotient of the polynomial ring in two sets of variables by the ideal generated by all S_n invariant polynomials without constant term. The theory of the corresponding ring in a single set of variables X = {x₁, ..., x_n} 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.