Orthogonal roots, quantum Hafnians, and generalized Rothe diagrams
Abstract
Let $U$ be a set of positive roots of type $ADE$, and let $\Omega_U$ be the set of all maximum cardinality orthogonal subsets of $U$. For each element $R \in \Omega_U$, we define a generalized Rothe diagram whose cardinality we call the level, $\rho(R)$, of $R$. We define the generalized quantum Hafnian of $U$ to be the generating function of $\rho$, regarded as a $q$-polynomial in $U$. Several widely studied algebraic and combinatorial objects arise as special cases of these constructions, and in many cases, $\Omega_U$ has the structure of a graded partially ordered set with rank function $\rho$. A motivating example of the construction involves a certain set of $k^2$ roots in type $D_{2k}$, where the elements of $\Omega_U$ correspond to permutations in $S_k$, the generalized Rothe diagrams are the traditional Rothe diagrams associated to permutations, the level of a permutation is its length, the generalized quantum Hafnian is the $q$-permanent, and the partial order is the Bruhat order. We exhibit many other natural examples of this construction, including one involving perfect matchings, two involving labelled Fano planes, and one involving the invariant cubic form in type $E_6$.