Lattice Diagram Polynomials and Extended Pieri Rules
The lattice cell in the i+1st row and j+1st column of the positive quadrant of the plane is denoted (i,j). If μ is a partition of n+1, we denote by μ/ij the diagram obtained by removing the cell (i,j) from the (French) Ferrers diagram of μ. We set Δμ/ij=det∥xipjyiqj∥i,j=1n, where (p1,q1),...,(pn,qn) are the cells of μ/ij, and let Mμ/ij be the linear span of the partial derivatives of Δμ/ij. The bihomogeneity of Δμ/ij and its alternating nature under the diagonal action of Sn gives Mμ/ij the structure of a bigraded Sn-module. We conjecture that Mμ/ij is always a direct sum of k left regular representations of Sn, where k is the number of cells that are weakly north and east of (i,j) in μ. We also make a number of conjectures describing the precise nature of the bivariate Frobenius characteristic of Mμ/ij in terms of the theory of Macdonald polynomials. On the validity of these conjectures, we derive a number of surprising identities. In particular, we obtain a representation theoretical interpretation of the coefficients appearing in some Macdonald Pieri Rules.