arXiv++ Combinatorics

The goal of the minimal model program for the Hilbert scheme of points on a surface aims is to describe the (stable) base loci of all divisors, their associated birational models, and the maps between them. We answer all of these questions for the Hilbert scheme of points on the blowup of the affine plane at the origin. The birational models are Brill-Noether loci in a larger Hilbert scheme, and nested variants thereof, and the wall-crossing maps are described as explicit projections. We also establish several new facts about the homogeneous coordinate ring of this Hilbert scheme, including finding the minimal set of line bundles whose sections generate the ring.

We prove that an open Richardson variety in the complete flag variety for $\mathrm{GL}_n$ is isomorphic to a torus if and only if the corresponding closed Richardson variety is toric. Such toric varieties can be classified in terms of the combinatorics of Bruhat intervals, and include many varieties of dimension larger than $n-1$. We give a combinatorial description of the corresponding polytopes, and compute several explicit examples.

We construct an explicit isomorphism between the HOMFLY-PT homology of $(n,n+1)$ torus knots and the direct sum of hook isotypic components of the space of diagonal coinvariants. As a consequence, we compute the action of tautological classes in HOMFLY-PT homology of $(n,n+1)$ torus knots and prove that it extends to an action of the Lie algebra of Hamiltonian vector fields on the plane. We also compute the action of differentials $d_N$ in Rasmussen spectral sequences from HOMLFY-PT to $\mathfrak{gl}(N)$ homology of $(n,n+1)$ torus knots.

We study sections of line bundles on the nested Hilbert scheme of points on the affine plane. We describe the spaces of sections in terms of certain ideals introduced by Haiman, and find explicit bases for them by analyzing the trailing terms in some monomial order. As a consequence, we compute the Newton-Okounkov bodies for nested Hilbert schemes.

For a positive braid $β\in \mathrm{Br}^{+}_{k}$, we consider the braid variety $X(β)$. We define a family of open sets $\mathcal{U}_{r, w}$ in $X(β)$, where $w \in S_k$ is a permutation and $r$ is a positive integer no greater than the length of $β$. For fixed $r$, the sets $\mathcal{U}_{r, w}$ form an open cover of $X(β)$. We conjecture that $\mathcal{U}_{r,w}$ is given by the nonvanishing of some cluster variables in a single cluster for the cluster structure on $\mathbb{C}[X(β)]$ and that $\mathcal{U}_{r,w}$ admits a cluster structure given by freezing these variables. Moreover, we show that $\mathcal{U}_{r, w}$ is always isomorphic to the product of two braid varieties, and we conjecture that this isomorphism is quasi-cluster. In some important special cases, we are able to prove our conjectures.

Skew shaped positroids (or skew shaped positroid varieties) are certain Richardson varieties in the flag variety that admit a realization as explicit subvarieties of the Grassmannian $\mathrm{Gr}(k,n)$. They are parametrized by a pair of Young diagrams $μ\subseteq λ$ fitting inside a $k \times (n-k)$-rectangle. For every $a = 1, \dots, n-k$, we define an explicit open set $U_a$ inside the skew shaped positroid $S^{\circ}_{λ/μ}$, and show that $U_a$ is isomorphic to the product of two smaller skew shaped positroids. Moreover, $U_a$ admits a natural cluster structure and the aforementioned isomorphism is quasi-cluster in the sense of Fraser. Our methods depend on realizing the skew shaped positroid as an explicit braid variety, and generalize the work of the first and third authors for open positroid cells in the Grassmannian.

We introduce a variety $Y_{n,k}$, which we call the \textit{affine $Δ$-Springer fiber}, generalizing the affine Springer fiber studied by Hikita, whose Borel-Moore homology has an $S_n$ action and a bigrading that corresponds to the Delta Conjecture symmetric function $\mathrm{rev}_q\,ωΔ'_{e_{k-1}}e_n$ under the Frobenius character map. We similarly provide a geometric interpretation for the Rational Shuffle Theorem in the integer slope case $(km,k)$. The variety $Y_{n,k}$ has a map to the affine Grassmannian whose fibers are the $Δ$-Springer fibers introduced by Levinson, Woo, and the third author. Part of our proof of our geometric realization relies on our previous work on a Schur skewing operator formula relating the Rational Shuffle Theorem to the Delta Conjecture.

We prove that the symmetric function $Δ'_{e_{k-1}}e_n$ appearing in the Delta Conjecture can be obtained from the symmetric function in the Rational Shuffle Theorem by applying a Schur skewing operator. This generalizes a formula by the first and third authors for the Delta Conjecture at $t=0$, and follows from work of Blasiak, Haiman, Morse, Pun, and Seelinger. Our main result is that we also provide a purely combinatorial proof of this skewing identity, giving a new proof of the Rise Delta Theorem from the Rational Shuffle Theorem.

We construct an explicit isomorphism between an open subset in the open positroid variety $Π_{k,n}^{\circ}$ in the Grassmannian $\mathrm{Gr}(k,n)$ and the product of two open positroid varieties $Π_{k,n-a+1}^{\circ}\times Π_{k,a+k-1}^{\circ}$. In the respective cluster structures, this isomorphism is given by freezing a certain subset of cluster variables and applying a cluster quasi-equivalence.

The double Dyck path algebra $\mathbb{A}_{q,t}$ and its polynomial representation first arose as a key figure in the proof of the celebrated Shuffle Theorem of Carlsson and Mellit. A geometric formulation for an equivalent algebra $\mathbb{B}_{q,t}$ was then given by the second author and Carlsson and Mellit using the K-theory of parabolic flag Hilbert schemes. In this article, we initiate the systematic study of the representation theory of the double Dyck path algebra $\mathbb{B}_{q,t}$. We define a natural extension of this algebra and study its calibrated representations. We show that the polynomial representation is calibrated, and place it into a large family of calibrated representations constructed from posets satisfying certain conditions. We also define tensor products and duals of these representations, thus proving (under suitable conditions) the category of calibrated representations is generically monoidal. As an application, we prove that tensor powers of the polynomial representation can be constructed from the equivariant K-theory of parabolic Gieseker moduli spaces.

We compute the Poincaré polynomials of the compactified Jacobians for plane curve singularities with Puiseaux exponents $(nd,md,md+1)$, and relate them to the combinatorics of $q,t$-Catalan numbers in the non-coprime case. We also confirm a conjecture of Cherednik and Danilenko for such curves.

We show the existence of cluster $\mathcal{A}$-structures and cluster Poisson structures on any braid variety, for any simple Lie group. The construction is achieved via weave calculus and a tropicalization of Lusztig's coordinates. Several explicit seeds are provided and the quiver and cluster variables are readily computable. We prove that these upper cluster algebras equal their cluster algebras, show local acyclicity, and explicitly determine their DT-transformations as the twist automorphisms of braid varieties. The main result also resolves the conjecture of B. Leclerc on the existence of cluster algebra structures on the coordinate rings of open Richardson varieties.

These notes cover the lectures of the first named author at 2021 IHES Summer School on "Enumerative Geometry, Physics and Representation Theory" with additional details and references. They cover the definition of Khovanov-Rozansky triply graded homology, its basic properties and recent advances, as well as three algebro-geometric models for link homology: braid varieties, Hilbert schemes of singular curves and affine Springer fibers, and Hilbert schemes of points on the plane.

We study braid varieties and their relation to open positroid varieties. We discuss four different types of braids associated to open positroid strata and show that their associated Legendrian links are all Legendrian isotopic. In particular, we prove that each open positroid stratum can be presented as the augmentation variety for four different Legendrian fronts described in terms of either permutations, juggling patterns, cyclic rank matrices or Le diagrams. We also relate braid varieties to open Richardson varieties and brick manifolds, showing that the latter provide projective compactifications of braid varieties, with normal crossing divisors at infinity.

In this paper we construct a new basis for the cyclotomic completion of the center of the quantum $\mathfrak{gl}_N$ in terms of the interpolation Macdonald polynomials. Then we use a result of Okounkov to provide a dual basis with respect to the quantum Killing form (or Hopf pairing). The main applications are: 1) cyclotomic expansions for the $\mathfrak{gl}_N$ Reshetikhin--Turaev link invariants and the universal $\mathfrak{gl}_N$ knot invariant; 2) an explicit construction of the unified $\mathfrak{gl}_N$ invariants for integral homology 3-spheres using universal Kirby colors. These results generalize those of Habiro for $\mathfrak{sl}_2$. In addition, we give a simple proof of the fact that the universal $\mathfrak{gl}_N$ invariant of any evenly framed link and the universal $\mathfrak{sl}_N$ invariant of any $0$-framed algebraically split link are $Γ$-invariant, where $Γ=Y/2Y$ with the root lattice $Y$.

In this note we explicitly construct an action of the rational Cherednik algebra $H_{1,m/n}(S_n,\mathbb{C}^n)$ corresponding to the permutation representation of $S_n$ on the $\mathbb{C}^{*}$-equivariant homology of parabolic Hilbert schemes of points on the plane curve singularity $\{x^{m} = y^{n}\}$ for coprime $m$ and $n$. We use this to construct actions of quantized Gieseker algebras on parabolic Hilbert schemes on the same plane curve singularity, and actions of the Cherednik algebra at $t = 0$ on the equivariant homology of parabolic Hilbert schemes on the non-reduced curve $\{y^{n} = 0\}.$ Our main tool is the study of the combinatorial representation theory of the rational Cherednik algebra via the subalgebra generated by Dunkl-Opdam elements.

We give a simple recursion labeled by binary sequences which computes rational $q,t$-Catalan power series, both in relatively prime and non relatively prime cases. It is inspired by, but not identical to recursions due to B. Elias, M. Hogancamp, and A. Mellit, obtained in their study of link homology. We also compare our recursion with the Hogancamp-Mellit's recursion and verify a connection between the Khovanov-Rozansky homology of $N,M$-torus links and the rational $q,t$-Catalan power series for general positive $N,M.$

Recent work of the first author, Negut and Rasmussen, and of Oblomkov and Rozansky in the context of Khovanov--Rozansky knot homology produces a family of polynomials in $q$ and $t$ labeled by integer sequences. These polynomials can be expressed as equivariant Euler characteristics of certain line bundles on flag Hilbert schemes. The $q,t$-Catalan numbers and their rational analogues are special cases of this construction. In this paper, we give a purely combinatorial treatment of these polynomials and show that in many cases they have nonnegative integer coefficients. For sequences of length at most 4, we prove that these coefficients enumerate subdiagrams in a certain fixed Young diagram and give an explicit symmetric chain decomposition of the set of such diagrams. This strengthens results of Lee, Li and Loehr for $(4,n)$ rational $q,t$-Catalan numbers.

We give an explicit recursive description of the Hilbert series and Gröbner bases for the family of quadratic ideals defining the jet schemes of a double point. We relate these recursions to the Rogers-Ramanujan identity and prove a conjecture of the second author, Oblomkov and Rasmussen.

We study the relationship between rational slope Dyck paths and invariant subsets of $\mathbb Z,$ extending the work of the first two authors in the relatively prime case. We also find a bijection between $(dn,dm)$--Dyck paths and $d$-tuples of $(n,m)$-Dyck paths endowed with certain gluing data. These are the first steps towards understanding the relationship between rational slope Catalan combinatorics and the geometry of affine Springer fibers and knot invariants in the non relatively prime case.