Increasing subsequences, matrix loci, and Viennot shadows
Let π±_n Γ n be an n Γ n matrix of variables and let π½[π±_n Γ n] be the polynomial ring in these variables over a field π½. We study the ideal I_n βπ½[π±_n Γ n] generated by all row and column variable sums and all products of two variables drawn from the same row or column. We show that the quotient π½[π±_n Γ n]/I_n admits a standard monomial basis determined by Viennot's shadow line avatar of the Schensted correspondence. As a corollary, the Hilbert series of π½[π±_n Γ n]/I_n is the generating function of permutations in π_n by the length of their longest increasing subsequence. Along the way, we describe a `shadow junta' basis of the vector space of k-local permutation statistics. We also calculate the structure of π½[π±_n Γ n]/I_n as a graded π_n Γπ_n-module.
READ FULL TEXT