arXiv++ Combinatorics

We describe an explicit basis for the $\operatorname{SU}(2)$-invariant space of the exterior power $\wedge_{2k} \mathbb{C}^{2m}$ via the combinatorics of plane partitions. In quantum chemistry, this is the space of spin adapted quantum states of an electronic system with $m$ spin orbitals and $k$ electron pairs. We construct our basis by identifying the invariant space with an Artinian commutative ring called the excitation ring. We compute a Gröbner basis and enumerate its standard monomials via an explicit bijection to Dyck paths counted by the Narayana numbers.

We develop a theory of bicrystalline ideals, synthesizing Gröbner basis techniques and Kashiwara's crystal theory. This provides a unified algebraic, combinatorial, and computational approach that applies to ideals of interest, old and new. The theory concerns ideals in the coordinate ring of matrices, stable under the action of some Levi group, whose quotients admit standard bases equipped with a crystal structure. We construct an effective algorithm to decide if an ideal is bicrystalline. When the answer is affirmative, we provide a uniform, generalized Littlewood-Richardson rule for computing the multiplicity of irreducible representations either for the quotient or the ideal itself.

Matrix Schubert varieties (Fulton '92) carry natural actions of Levi groups. Their coordinate rings are thereby Levi-representations; what is a combinatorial counting rule for the multiplicities of their irreducibles? When the Levi group is a torus, (Knutson-Miller '04) answers the question. We present a general solution, a common refinement of the multigraded Hilbert series, the Cauchy identity, and the Littlewood-Richardson rule. Our result applies to any ``bicrystalline'' algebraic variety; we define these using the operators of (Kashiwara '95) and of (Danilov-Koshevoi '05, van Leeuwen '06). The proof introduces a ``filtered'' generalization of the Robinson-Schensted-Knuth correspondence.