Table of Contents
Fetching ...

A combinatorial proof of Buryak-Feigin-Nakajima

Eve Vidalis

Abstract

Buryak, Feigin and Nakajima computed a generating function for a family of partition statistics by using the geometry of the $Z/cZ$ fixed point sets in the Hilbert scheme of points on $C^2$. Loehr and Warrington had already shown how a similar observation by Haiman using the geometry of the Hilbert scheme of points on $C^2$ could be made purely combinatorial. We extend the techniques of Loehr and Warrington to also account for cores and quotients. In particular, we construct a multigraph $M_{r,s,c}$ that is a direct refinement of Loehr and Warrington's multigraphs $M_{r,s}$, retains the relevant partition data, and is preserved by an involution $I_{r,s,c}$ which we use to prove the equidistribution of a family of partition statistics. As a consequence, we obtain a purely combinatorial proof of a result of Buryak, Feigin, and Nakajima. More precisely, we define a family of partition statistics $\{h_{x,c}^+, x\in [0,\infty)\}$ and give a combinatorial proof that for all $x$ and all positive integers $c$, \begin{equation*} \sum q^{|λ|}t^{h_{x,c}^+(λ)}=q^{|μ|}\prod_{i\geq 1}\frac{1}{(1-q^{ic})^{c-1}}\prod_{j\geq 1}\frac{1}{1-q^{jc}t}, \end{equation*} where the sum ranges over all partitions $λ$ with $c$-core $μ$. Section 2 recalls background on partitions, cores and quotients and is written with those new to the subject in mind.

A combinatorial proof of Buryak-Feigin-Nakajima

Abstract

Buryak, Feigin and Nakajima computed a generating function for a family of partition statistics by using the geometry of the fixed point sets in the Hilbert scheme of points on . Loehr and Warrington had already shown how a similar observation by Haiman using the geometry of the Hilbert scheme of points on could be made purely combinatorial. We extend the techniques of Loehr and Warrington to also account for cores and quotients. In particular, we construct a multigraph that is a direct refinement of Loehr and Warrington's multigraphs , retains the relevant partition data, and is preserved by an involution which we use to prove the equidistribution of a family of partition statistics. As a consequence, we obtain a purely combinatorial proof of a result of Buryak, Feigin, and Nakajima. More precisely, we define a family of partition statistics and give a combinatorial proof that for all and all positive integers , \begin{equation*} \sum q^{|λ|}t^{h_{x,c}^+(λ)}=q^{|μ|}\prod_{i\geq 1}\frac{1}{(1-q^{ic})^{c-1}}\prod_{j\geq 1}\frac{1}{1-q^{jc}t}, \end{equation*} where the sum ranges over all partitions with -core . Section 2 recalls background on partitions, cores and quotients and is written with those new to the subject in mind.
Paper Structure (22 sections, 47 theorems, 160 equations, 16 figures)

This paper contains 22 sections, 47 theorems, 160 equations, 16 figures.

Key Result

Theorem \ref{h+ is h-}

For all positive rational numbers $x$ and all integers $n\geq 0$, where both sums range over partitions $\lambda$ of $n$ with a fixed $c$-core $\mu$.

Figures (16)

  • Figure 1: The Young diagram for the partition $(4,2,1)$ of $7$.
  • Figure 2: The Young diagram and boundary graph of $(12,12,10,8,7,4,1,1,1)$.
  • Figure 3: the arm and leg of $\square$.
  • Figure 4: A portion of $M_1$ and the corresponding edges in $q_2(M_1)$.
  • Figure 5: The partition $\lambda$ has $G_3(\lambda)=((4,4,2),(7,7,4,3,1))$.
  • ...and 11 more figures

Theorems & Definitions (131)

  • Theorem \ref{h+ is h-}
  • Theorem \ref{basic partition step}
  • Theorem \ref{main theorem}
  • Definition 1.3: Partition,Young diagram
  • Example 1.4
  • Definition 1.5: SE directed multigraph
  • Definition 1.6: Boundary graph
  • Example 1.7
  • Definition 1.8: Complete circuit
  • Definition 1.9: Boundary tour, boundary sequence, index
  • ...and 121 more