arXiv++ Combinatorics

We construct a smooth projective variety $\mathscr X_Ψ$ that compactifies an equivariant vector subbundle of the cotangent bundle of the flag variety for $\mathrm{GL}(n)$, determined by a root ideal $Ψ$. A natural family of line bundles on $\mathscr X_Ψ$ yields the Catalan functions -- symmetric functions introduced by Chen--Haiman and studied further by Blasiak--Morse--Pun--Summers. By analyzing the geometry of $\mathscr X_Ψ$, we prove the vanishing conjecture of Chen--Haiman, confirm the tame case of the vanishing conjecture of Blasiak--Morse--Pun, and establish the monotonicity conjectures of Shimozono--Weyman.

A root ideal arrangement $A_I$ is the set of reflecting hyperplanes corresponding to the roots in an order ideal $I$ of the root poset on the positive roots of a finite crystallographic root system. A characterisation of supersolvable root ideal arrangements is obtained. Namely, $A_I$ is supersolvable if and only if $I$ is chain peelable, meaning that it is possible to reach the empty poset from $I$ by in each step removing a maximal chain which is also an order filter. In particular, supersolvability is preserved under taking subideals. We identify the minimal ideals that correspond to non-supersolvable arrangements. There are essentially two such ideals, one in type $D_4$ and one in type $F_4$. By showing that $A_I$ is not line-closed if $I$ contains one of these, we deduce that the Orlik-Solomon algebra $OS(A_I)$ has the Koszul property if and only if $A_I$ is supersolvable.