Bijections for Faces of the Shi and Catalan Arrangements

In 1986, Shi derived the famous formula $(n+1)^{n-1}$ for the number of regions of the Shi arrangement, a hyperplane arrangement in ${R}^n$. There are at least two different bijective explanations of this formula, one by Pak and Stanley, another by Athanasiadis and Linusson. In 1996, Athanasiadis used the finite field method to derive a formula for the number of $k$-dimensional faces of the Shi arrangement for any $k$. Until now, the formula of Athanasiadis did not have a bijective explanation. In this paper, we extend a bijection for regions defined by Bernardi to obtain a bijection between the $k$-dimensional faces of the Shi arrangement for any $k$ and a set of decorated binary trees. Furthermore, we show how these trees can be converted to a simple set of functions of the form $f: [n-1] \to [n+1]$ together with a marked subset of $\text{Im}(f)$. This correspondence gives the first bijective proof of the formula of Athanasiadis. In the process, we also obtain a bijection and counting formula for the faces of the Catalan arrangement. All of our results generalize to both extended arrangements.

Root Cones and the Resonance Arrangement

We study the connection between triangulations of a type $A$ root polytope and the resonance arrangement, a hyperplane arrangement that shows up in a surprising number of contexts. Despite an elementary definition for the resonance arrangement, the number of resonance chambers has only been computed up to the $n=8$ dimensional case. We focus on data structures for labeling chambers, such as sign vectors and sets of alternating trees, with an aim at better understanding the structure of the resonance arrangement, and, in particular, enumerating its chambers. Along the way, we make connections with similar (and similarly difficult) enumeration questions. With the root polytope viewpoint, we relate resonance chambers to the chambers of polynomiality of the Kostant partition function. With the hyperplane viewpoint, we clarify the connections between resonance chambers and threshold functions. In particular, we show that the base-2 logarithm of the number of resonance chambers is asymptotically $n^2$.

Schemes Supported on the Singular Locus of a Hyperplane Arrangement in $\mathbb P^n$

A hyperplane arrangement in $\mathbb P^n$ is free if $R/J$ is Cohen–Macaulay (CM), where $R = k[x_0,\dots ,x_n]$ and $J$ is the Jacobian ideal. We study the CM-ness of two related unmixed ideals: $ J^{un}$, the intersection of height two primary components, and $\sqrt{J}$, the radical. Under a mild hypothesis, we show these ideals are CM. Suppose the hypothesis fails. For equidimensional curves in $\mathbb P^3$, the Hartshorne–Rao module measures the failure of CM-ness and determines the even liaison class of the curve. We show that for any positive integer $r$, there is an arrangement for which $R/J^{un}$ (resp. $R/\sqrt{J}$) fails to be CM in only one degree, and this failure is by $r$. We draw consequences for the even liaison class of $J^{un}$ or $\sqrt{J}$.

Cubature rules from Hall–Littlewood polynomials

Discrete orthogonality relations for Hall–Littlewood polynomials are employed so as to derive cubature rules for the integration of homogeneous symmetric functions with respect to the density of the circular unitary ensemble (which originates from the Haar measure on the special unitary group $SU(n;\mathbb{C})$). By passing to Macdonald’s hyperoctahedral Hall–Littlewood polynomials, we moreover find analogous cubature rules for the integration with respect to the density of the circular quaternion ensemble (which originates in turn from the Haar measure on the compact symplectic group $Sp (n;\mathbb{H})$). The cubature formulas under consideration are exact for a class of rational symmetric functions with simple poles supported on a prescribed complex hyperplane arrangement. In the planar situations (corresponding to $SU(3;\mathbb{C})$ and $Sp (2;\mathbb{H})$), a determinantal expression for the Christoffel weights enables us to write down compact cubature rules for the integration over the equilateral triangle and the isosceles right triangle, respectively.

Birational geometry of symplectic quotient singularities

For a finite subgroup $$\Gamma \subset \mathrm {SL}(2,\mathbb {C})$$ Γ ⊂ SL ( 2 , C ) and for $$n\ge 1$$ n ≥ 1 , we use variation of GIT quotient for Nakajima quiver varieties to study the birational geometry of the Hilbert scheme of n points on the minimal resolution S of the Kleinian singularity $$\mathbb {C}^2/\Gamma $$ C 2 / Γ . It is well known that $$X:={{\,\mathrm{{\mathrm {Hilb}}}\,}}^{[n]}(S)$$ X : = Hilb [ n ] ( S ) is a projective, crepant resolution of the symplectic singularity $$\mathbb {C}^{2n}/\Gamma _n$$ C 2 n / Γ n , where $$\Gamma _n=\Gamma \wr \mathfrak {S}_n$$ Γ n = Γ ≀ S n is the wreath product. We prove that every projective, crepant resolution of $$\mathbb {C}^{2n}/\Gamma _n$$ C 2 n / Γ n can be realised as the fine moduli space of $$\theta $$ θ -stable $$\Pi $$ Π -modules for a fixed dimension vector, where $$\Pi $$ Π is the framed preprojective algebra of $$\Gamma $$ Γ and $$\theta $$ θ is a choice of generic stability condition. Our approach uses the linearisation map from GIT to relate wall crossing in the space of $$\theta $$ θ -stability conditions to birational transformations of X over $$\mathbb {C}^{2n}/\Gamma _n$$ C 2 n / Γ n . As a corollary, we describe completely the ample and movable cones of X over $$\mathbb {C}^{2n}/\Gamma _n$$ C 2 n / Γ n , and show that the Mori chamber decomposition of the movable cone is determined by an extended Catalan hyperplane arrangement of the ADE root system associated to $$\Gamma $$ Γ by the McKay correspondence. In the appendix, we show that morphisms of quiver varieties induced by variation of GIT quotient are semismall, generalising a result of Nakajima in the case where the quiver variety is smooth.