2.1 Notations

The spaces considered in this paper are defined over the complex field $\mathbb {C}$ , and they are quotient stacks $\mathcal {X}=A/G$ , where A is a dg scheme, the derived zero locus of a section s of a finite rank bundle vector bundle $\mathcal {E}$ on a finite type separated scheme X over $\mathbb {C}$ , and G is a reductive group. For such a dg scheme A, let $\dim A:=\dim X-\text {rank}(\mathcal {E})$ , let $A^{\mathrm {cl}}:=Z(s)\subset X$ be the (classical) zero locus, and let $\mathcal {X}^{\mathrm {cl}}:=A^{\mathrm {cl}}/G$ . We denote by $\mathcal {O}_{\mathcal {X}}$ or $\mathcal {O}_A$ the structure sheaf of $\mathcal {X}$ .

For G a reductive group and A a dg scheme as above, denote by $A/G$ the corresponding quotient stack and by $A/\!\!/ G$ the quotient dg scheme with dg-ring of regular functions $\mathcal {O}_A^G$ .

For a classical stack $\mathcal {X}$ with a morphism $\mathcal {X} \to X$ to a scheme X and for a closed point $p\in X$ , we denote by $\mathcal {X}_p$ its formal fiber $\mathcal {X}_p := \mathcal {X} \times _X \operatorname {Spec} \widehat {\mathcal {O}}_{X, p}$ .

For a (derived) stack $\mathcal {X}$ with an action of a torus T, we denote by $D^b_T(\mathcal {X})$ the bounded derived category of T-equivariant coherent sheaves on $\mathcal {X}$ and by $G_T(\mathcal {X})$ its Grothendieck group. We denote by $\mathrm {Perf}_T(\mathcal {X})$ the subcategory of T-equivariant perfect complexes and by $K_T(\mathcal {X})$ its Grothendieck group. When T is trivial, we drop T from the notation of the above Grothendieck groups. We introduce more notations for categories and K-theory in Subsection 2.6.2.

Consider the two-dimensional torus

(2.1) $$ \begin{align} (\mathbb{C}^{\ast})^2 \stackrel{\cong}{\to} T:=\{(t_1, t_2, t_3) \in (\mathbb{C}^{\ast})^{\times 3} \mid t_1 t_2 t_3=1\}\subset (\mathbb{C}^{\ast})^3. \end{align} $$

The isomorphism above is given by $(t_1, t_2) \mapsto (t_1, t_2, t_1^{-1} t_2^{-1})$ . We denote by $\mathbb {K}:=K_T(\mathrm {pt})=\mathbb {Z}[q_1^{\pm 1}, q_2^{\pm 1}]$ and let $\mathbb {F}$ be the fraction field of $\mathbb {K}$ . For V a $\mathbb {K}$ -module, we use the notations $V':=V/(\mathbb {K}\text {-torsion})$ and $V_{\mathbb {F}}:=V\otimes _{\mathbb {K}}\mathbb {F}$ .

For a dg-category $\mathcal {D}$ , a full dg-subcategory $\mathcal {C} \subset \mathcal {D}$ is called dense if any object in $\mathcal {D}$ is a direct summand of an object in $\mathcal {C}$ .

2.2 Weights and partitions

2.2.1

For $d\in \mathbb {N}$ , let V be a $\mathbb {C}$ -vector space of dimension d, and let $\mathfrak {g}=\mathfrak {gl}(V):=\text {End}(V)$ . When the dimension is clear from the context, we drop d from its notation. Let

$$\begin{align*}\pi\colon \mathcal{X}(d):= R(d)/G(d):=\mathfrak{gl}(V)^{\oplus 3}/GL(V)\to X(d):=\mathfrak{gl}(V)^{\oplus 3}/\!\!/ GL(V).\end{align*}$$

Alternatively, $\mathcal {X}(d)$ is the stack of representations of dimension d of the quiver Q with one vertex and three loops $\{x, y, z\}$ :

Consider the superpotential $W=x[y, z]$ of Q and the regular function

(2.2) $$ \begin{align} \mathop{\mathrm{Tr}}\nolimits W= \mathop{\mathrm{Tr}}\nolimits W_d:=\mathop{\mathrm{Tr}}\nolimits A[B, C] \colon \mathcal{X}(d)\to \mathbb{C}, \end{align} $$

where $(A, B, C)\in \mathfrak {gl}(V)^{\oplus 3}$ .

Fix the maximal torus $T(d)\subset GL(d)$ to be consisting of diagonal matrices. Denote by $M=\oplus _{i=1}^d \mathbb {Z} \beta _i$ the weight space of $T(d)$ , and let $M(d)_{\mathbb {R}}:=M(d)\otimes _{\mathbb {Z}}\mathbb {R}$ , where $\beta _1,\ldots , \beta _d$ is the set of simple roots. A weight $\chi =\sum _{i=1}^d c_i\beta _i$ is dominant if

$$ \begin{align*} c_1\leqslant\ldots\leqslant c_d, \ \end{align*} $$

We denote by $M^+\subset M$ and $M^+_{\mathbb {R}}\subset M_{\mathbb {R}}$ the dominant chambers. When we want to emphasize the dimension vector, we write $M(d)$ and so on. Denote by N the coweight lattice of $T(d)$ and by $N_{\mathbb {R}}:=N\otimes _{\mathbb {Z}}\mathbb {R}$ . Let $\langle \,,\,\rangle $ be the natural pairing between $N_{\mathbb {R}}$ and $M_{\mathbb {R}}$ .

Let $W=\mathfrak {S}_d$ be the Weyl group of $GL(d)$ . For $\chi \in M(d)^+$ , let $\Gamma _{GL(d)}(\chi )$ be the irreducible representation of $GL(d)$ of highest weight $\chi $ . We drop $GL(d)$ from the notation if the dimension vector d is clear from the context. Let $w*\chi :=w(\chi +\rho )-\rho $ be the Weyl-shifted action of $w\in W$ on $\chi \in M(d)_{\mathbb {R}}$ . We denote by $\ell (w)$ the length of $w\in W$ .

Denote by $\mathcal {W}$ the multiset of $T(d)$ -weights of $R(d)$ . If there is a natural action of a torus T on $R(d)$ , we abuse notation and write $\mathcal {W}$ for the multiset of $(T\times T(d))$ -weights of $R(d)$ . For $\lambda $ a cocharacter of $T(d)$ , we denote by $N^{\lambda>0}$ the sum of weights $\beta $ in $\mathcal {W}$ such that $\langle \lambda , \beta \rangle>0$ .

2.2.2

We denote by $\rho $ half the sum of positive roots of $GL(d)$ . In our convention of the dominant chamber, it is given by

$$ \begin{align*} \rho=\frac{1}{2}\sum_{j<i}(\beta_i-\beta_j). \end{align*} $$

We denote by $1_d:=z\cdot \text {Id}$ the diagonal cocharacter of $T(d)$ . Define the weights

$$ \begin{align*} \sigma_d:=\sum_{j=1}^d\beta_j\in M,\ \tau_d:=\frac{\sigma_d}{d}\in M_{\mathbb{R}}. \end{align*} $$

2.2.3

Let G be a reductive group (in this paper, G will be a Levi subgroup of $GL(d)$ for some positive integer d), let $T_G$ be a maximal torus of G, let X be a G-representation and let

$$\begin{align*}\mathcal{X}=X/G\end{align*}$$

be the corresponding quotient stack. Let $\mathcal {W}$ be the multiset of $T_G$ -weights of X. For $\lambda $ a cocharacter of $T_G$ , let $X^{\lambda }\subset X$ be the subspace generated by weights $\beta \in \mathcal {W}$ such that $\langle \lambda , \beta \rangle =0$ , let $X^{\lambda \geqslant 0}\subset X$ be the subspace generated by weights $\beta \in \mathcal {W}$ such that $\langle \lambda , \beta \rangle \geqslant 0$ and let $G^{\lambda }$ and $G^{\lambda \geqslant 0}$ be the Levi and parabolic groups associated to $\lambda $ . Consider the fixed and attracting stacks

$$ \begin{align*} \mathcal{X}^{\lambda}:=X^{\lambda}/ G^{\lambda},\ \mathcal{X}^{\lambda\geqslant 0}:=X^{\lambda\geqslant 0}/G^{\lambda\geqslant 0} \end{align*} $$

with maps

$$\begin{align*}\mathcal{X}^{\lambda}\xleftarrow{q_{\lambda}}\mathcal{X}^{\lambda\geqslant 0}\xrightarrow{p_{\lambda}}\mathcal{X}.\end{align*}$$

Define the integer

(2.3) $$ \begin{align} n_{\lambda}:=\langle \lambda, [X^{\lambda\geqslant 0}]-[\mathfrak{g}^{\lambda\geqslant 0}]\rangle. \end{align} $$

2.2.4

Let $d\in \mathbb {N}$ , and recall the definition of $\mathcal {X}(d)$ from Subsection 2.2.1. For a cocharacter $\lambda :\mathbb {C}^{*}\to T(d)$ , consider the maps of fixed and attracting loci

(2.4) $$ \begin{align} \mathcal{X}(d)^{\lambda} \xleftarrow{q_{\lambda}}\mathcal{X}(d)^{\lambda\geqslant 0}\xrightarrow{p_{\lambda}}\mathcal{X}(d). \end{align} $$

We say that two cocharacters $\lambda $ and $\lambda '$ are equivalent and write $\lambda \sim \lambda '$ if $\lambda $ and $\lambda '$ have the same fixed and attracting stacks as above.

We call $\underline {d}:=(d_i)_{i=1}^k$ a partition of d if $d_i\in \mathbb {N}$ are all nonzero and $\sum _{i=1}^k d_i=d$ . In Section 5, we allow partitions $\underline {d}=(d_i)_{i=1}^k$ to have terms $d_i$ equal to zero. We similarly define partitions of $(d,w)\in \mathbb {N}\times \mathbb {Z}$ . For a cocharacter $\lambda $ of $T(d)$ , there is an associated partition $(d_i)_{i=1}^k$ such that

$$\begin{align*}\mathcal{X}(d)^{\lambda\geqslant 0}\xrightarrow{q_{\lambda}} \mathcal{X}(d)^{\lambda}\cong\times_{i=1}^k\mathcal{X}(d_i).\end{align*}$$

Define the length $\ell (\lambda ):=k$ .

Equivalence classes of antidominant cocharacters are in bijection with ordered partitions $(d_i)_{i=1}^k$ of d. For an ordered partition $\underline {d}=(d_i)_{i=1}^k$ of d, fix a corresponding antidominant cocharacter $\lambda =\lambda _{\underline {d}}$ of $T(d)$ which induces the maps

$$\begin{align*}\mathcal{X}(d)^{\lambda}\cong\times_{i=1}^k\mathcal{X}(d_i) \xleftarrow{q_{\lambda}}\mathcal{X}(d)^{\lambda\geqslant 0} \xrightarrow{p_{\lambda}}\mathcal{X}(d).\end{align*}$$

We also use the notations $p_{\lambda }=p_{\underline {d}}$ , $q_{\lambda }=q_{\underline {d}}$ . The categorical Hall algebra is given by the functor $p_{\lambda *}q_{\lambda }^{*}=p_{\underline {d}*}q_{\underline {d}}^{*}$ :

(2.5) $$ \begin{align} m=m_{\underline{d}} \colon D^b(\mathcal{X}(d_1)) \boxtimes \cdots \boxtimes D^b(\mathcal{X}(d_k)) \to D^b(\mathcal{X}(d)). \end{align} $$

We may drop the subscript $\lambda $ or $\underline {d}$ in the functors $p_*$ and $q^{*}$ when the cocharacter $\lambda $ or the partition $\underline {d}$ is clear. We also use the notation $\ast $ for the Hall product.

2.2.5

Let $(d_i)_{i=1}^k$ be a partition of d. There is an identification

$$\begin{align*}\bigoplus_{i=1}^k M(d_i)\cong M(d),\end{align*}$$

where the simple roots $\beta _j$ in $M(d_1)$ correspond to the first $d_1$ simple roots $\beta _j$ of d etc.

2.2.6

Let $\underline {e}=(e_i)_{i=1}^l$ and $\underline {d}=(d_i)_{i=1}^k$ be two partitions of $d\in \mathbb {N}$ . We write $\underline {e}\geqslant \underline {d}$ if there exist integers

$$\begin{align*}a_0=0< a_1<\cdots<a_{k-1}\leqslant a_k=l\end{align*}$$

such that for any $0\leqslant j\leqslant k-1$ , we have

$$\begin{align*}\sum_{i=a_{j}+1}^{a_{j+1}} e_i=d_{j+1}.\end{align*}$$

We say $\underline {e}$ is a refinement of $\underline {d}$ . There is a similarly defined order on pairs $(d, w)\in \mathbb {N}\times \mathbb {Z}$ .

2.2.7

Let A be a partition $(d_i, w_i)_{i=1}^k$ of $(d, w)$ , and consider its corresponding antidominant cocharacter $\lambda $ . Define the weights

$$ \begin{align*} \chi_A:=\sum_{i=1}^k w_i\tau_{d_i},\ \chi^{\prime}_A:=\chi_A+\mathfrak{g}^{\lambda>0}. \end{align*} $$

Consider weights $\chi ^{\prime }_i\in M(d_i)_{\mathbb {R}}$ such that

$$\begin{align*}\chi^{\prime}_A=\sum_{i=1}^k \chi^{\prime}_i.\end{align*}$$

Let $v_i$ be the sum of coefficients of $\chi ^{\prime }_i$ for $1\leqslant i\leqslant k$ ; alternatively, $v_i:=\langle 1_{d_i}, \chi ^{\prime }_i\rangle $ . We denote the above transformation by

(2.6) $$ \begin{align} A\mapsto A', \ (d_i, w_i)_{i=1}^k\mapsto (d_i, v_i)_{i=1}^k. \end{align} $$

Explicitly, the weights $v_i$ for $1\leqslant i\leqslant k$ are given by

(2.7) $$ \begin{align} v_i=w_i+d_i\left(\sum_{j>i}d_j -\sum_{j<i}d_j \right). \end{align} $$

2.3 Polytopes

The polytope $\textbf {W}(d)$ is defined as

(2.8) $$ \begin{align} \textbf{W}(d):=\frac{3}{2}\text{sum}[0, \beta_i-\beta_j]+\mathbb{R}\tau_d\subset M(d)_{\mathbb{R}}, \end{align} $$

where the Minkowski sum is after all $1\leqslant i, j\leqslant d$ . For $w\in \mathbb {Z}$ , consider the hyperplane

(2.9) $$ \begin{align} \textbf{W}(d)_w:=\frac{3}{2}\text{sum}[0, \beta_i-\beta_j]+w\tau_d\subset \textbf{W}(d). \end{align} $$

For $r>0$ and $\lambda $ a cocharacter of $T(d)$ , let $F_r(\lambda )$ be the face of the polytope $2r\textbf {W}(d)$ corresponding to the cocharacter $\lambda $ , so the set of weights $\chi $ in $M(d)_{\mathbb {R}}$ such that

$$ \begin{align*} \chi\in 2r\textbf{W}(d), \ \langle \lambda, \chi\rangle=r\langle \lambda, R(d)^{\lambda>0}\rangle. \end{align*} $$

When $r=\frac {1}{2}$ , we use the notations $F(\lambda )$ . For $\chi \in M(d)^+_{\mathbb {R}}$ , its r-invariant $r(\chi )$ is the smallest real number r such that

$$\begin{align*}\chi\in 2r\textbf{W}(d). \end{align*}$$

For a cocharacter $\lambda $ of $T(d)$ , denote by

$$\begin{align*}\textbf{W}(\lambda)_0:=\frac{3}{2}\text{sum}[0,\beta_i-\beta_j]\subset M(d)_{\mathbb{R}},\end{align*}$$

where the sum is after all weights $1\leqslant i, j\leqslant d$ such that $\langle \lambda , \beta _i-\beta _j\rangle =0$ .

2.4 A corollary of the Borel–Weyl–Bott theorem

For future reference, we state a result from [Reference Halpern-Leistner and SamHLS20, Section 3.2]. We continue with the notations from Subsection 2.2.3. Let M be the weight lattice of $T_G$ . We assume that X is a symmetric G-representation, meaning that for any weight $\beta $ of X, the weights $\beta $ and $-\beta $ appear with the same multiplicity in X. Let $\chi $ be a weight in M. Let $\chi ^+$ be the dominant Weyl-shifted conjugate of $\chi $ if it exists and zero otherwise. For a multiset $J\subset \mathcal {W}$ , let

$$\begin{align*}\sigma_J:=\sum_{\beta\in J}\beta.\end{align*}$$

Let w be the element of the Weyl group of minimal length such that $w*(\chi -\sigma _J)$ is dominant or zero. We let $\ell (J):=\ell (w)$ .

Proposition 2.1. Let X be a symmetric G-representation, and let $\lambda $ be an antidominant cocharacter of $T_G$ . Recall the fixed and attracting stacks and the corresponding maps

$$\begin{align*}X^{\lambda}/G^{\lambda}\xleftarrow{q_{\lambda}}X^{\lambda\geqslant 0}/G^{\lambda\geqslant 0}\xrightarrow{p_{\lambda}}X/G.\end{align*}$$

For a weight $\chi $ in M, there is a quasi-isomorphism

$$\begin{align*}\left(\bigoplus_{J}\mathcal{O}_{X}\otimes \Gamma_{G}\left((\chi-\sigma_J)^+\right)\left[|J|-\ell(J)\right], d\right)\xrightarrow{\sim}p_{\lambda*}q_{\lambda}^{*}\left(\mathcal{O}_{X^{\lambda}}\otimes\Gamma_{G^{\lambda}}(\chi)\right),\end{align*}$$

where the complex on the left-hand side has terms (shifted) vector bundles for all multisets $J\subset \{\beta \in \mathcal {W} \mid \langle \lambda , \beta \rangle <0\}$ .

2.5 Matrix factorizations

In the notations from Subsection 2.2.1, we denote by

$$ \begin{align*} \mathrm{MF}(\mathcal{X}(d), \mathop{\mathrm{Tr}}\nolimits W_d) \end{align*} $$

the dg-category of matrix factorizations of the regular function $\mathop {\mathrm {Tr}}\nolimits W_d$ on the smooth stack $\mathcal {X}(d)$ . Its objects consist of tuples

$$ \begin{align*} \left(\alpha \colon F\rightleftarrows G\colon \beta\right)\text{ such that} \ \alpha \circ \beta=\beta \circ \alpha=\cdot \mathop{\mathrm{Tr}}\nolimits W_d, \ \end{align*} $$

where $F, G \in \operatorname {Coh}(\mathcal {X}(d))$ ; see [Reference Pădurariu and TodaPTa, Subsection 2.6] for details. For an object $\mathcal {F} \in \mathrm {MF}(\mathcal {X}(d), \mathop {\mathrm {Tr}}\nolimits W_d)$ , its internal homomorphism $R\mathcal {H}om (\mathcal {F}, \mathcal {F})$ is an object of the $\mathbb {Z}/2$ -graded derived category of $\operatorname {Coh}(\mathcal {X}(d))$ . The support of $\mathcal {F}$

$$ \begin{align*} \mathrm{Supp}(\mathcal{F}) \subset \mathcal{X}(d) \end{align*} $$

is defined to be the support of $R\mathcal {H}om(\mathcal {F}, \mathcal {F})$ , which is a closed substack of $\mathcal {X}(d)$ . Alternatively, it is the smallest closed substack $\mathcal {Z} \subset \mathcal {X}(d)$ such that $\mathcal {F}|_{\mathcal {X}(d) \setminus \mathcal {Z}} \cong 0$ in $\mathrm {MF}(\mathcal {X}(d) \setminus \mathcal {Z}, \mathop {\mathrm {Tr}}\nolimits W_d)$ .

Similarly to Equation (2.5), for $d=d_1+d_2$ we have the categorical Hall product

$$ \begin{align*} m=m_{d_1,d_2}\colon \mathrm{MF}(\mathcal{X}(d_1), \mathop{\mathrm{Tr}}\nolimits W_{d_1}) \boxtimes \mathrm{MF}(\mathcal{X}(d_2), \mathop{\mathrm{Tr}}\nolimits W_{d_2}) \to \mathrm{MF}(\mathcal{X}(d), \mathop{\mathrm{Tr}}\nolimits W_d); \end{align*} $$

see [Reference PădurariuPăd22] for details. We sometimes write $a\ast b$ instead of $m(a, b)$ .

We also consider equivariant and graded matrix factorizations for the regular function (2.2); see [Reference Pădurariu and TodaPTa, Subsection 2.6.2] for details. The group $(\mathbb {C}^{\ast })^3$ acts on the linear maps corresponding to the edges $(x, y, z)$ of the quiver Q by scalar multiplication. Consider the two-dimensional subtorus

$$\begin{align*}T\cong (\mathbb{C}^{\ast})^2 \subset (\mathbb{C}^{\ast})^3\end{align*}$$

which preserves the superpotential $W=x[y, z]$ ; see Equation (2.1). Then T acts on $\mathcal {X}(d)$ and preserves $\mathop {\mathrm {Tr}}\nolimits W$ . We will also consider graded matrix factorizations, where the grading is given by scaling with weight $2$ the space $\mathfrak {gl}(V)$ for V a vector space. For example, we can choose an edge $e\in \{x, y, z\}$ of Q and let $\mathbb {C}^{*}$ scale with weight $2$ the linear map corresponding to e. Contrary to the T-action, the regular function $\mathop {\mathrm {Tr}}\nolimits W$ has weight $2$ with respect to such a grading. The corresponding categories of matrix factorizations are denoted by

$$ \begin{align*} \mathrm{MF}_{\ast}^{\bullet}(\mathcal{X}(d), \mathop{\mathrm{Tr}}\nolimits W_d)\text{ for} \ \ast \in \{\emptyset, T\}, \ \bullet \in \{\emptyset, \mathrm{gr}\}. \end{align*} $$

2.6 Quasi-BPS categories

2.6.1

For $w \in \mathbb {Z}$ , we denote by $D^b(\mathcal {X}(d))_w$ the subcategory of $D^b(\mathcal {X}(d))$ consisting of objects of weight w with respect to the diagonal cocharacter $1_d$ of $T(d)$ . We have the direct sum decomposition

$$ \begin{align*} D^b(\mathcal{X}(d))=\bigoplus_{w\in \mathbb{Z}} D^b(\mathcal{X}(d))_w. \end{align*} $$

We define the dg subcategories

$$ \begin{align*} \mathbb{M}(d) \subset D^b(\mathcal{X}(d)), \ (\mbox{resp. } \mathbb{M}(d)_w \subset D^b(\mathcal{X}(d))_w) \end{align*} $$

to be generated by the vector bundles $\mathcal {O}_{\mathcal {X}(d)}\otimes \Gamma _{GL(d)}(\chi )$ , where $\chi $ is a dominant weight of $T(d)$ such that

(2.10) $$ \begin{align} \chi+\rho\in \textbf{W}(d), \ (\mbox{resp. } \chi+\rho \in \textbf{W}(d)_w). \end{align} $$

Note that $\mathbb {M}(d)$ decomposes into the direct sum of $\mathbb {M}(d)_w$ for $w \in \mathbb {Z}$ . The following is an alternative description of the category $\mathbb {M}(d)_w$ :

Lemma 2.2 [Reference Halpern-Leistner and SamHLS20, Lemma 2.9].

The category $\mathbb {M}(d)_w$ is generated by the vector bundles $\mathcal {O}_{\mathcal {X}(d)} \otimes \Gamma $ for $\Gamma $ a $GL(d)$ -representation such that the $T(d)$ -weights of $\Gamma $ are contained in the set $\nabla _w$ defined by

$$ \begin{align*} \nabla_{w} &:= \left\{\chi \in M_{\mathbb{R}} \,\bigg|\, -\frac{1}{2} n_{\lambda} \leqslant \langle \lambda, \chi \rangle \leqslant \frac{1}{2}n_{\lambda} \mbox{ for all } \lambda \colon \mathbb{C}^{\ast} \to T(d) \right\} +w\tau_d. \end{align*} $$

For a partition $A=(d_i, w_i)_{i=1}^k$ of $(d, w)$ , define

(2.11) $$ \begin{align} \mathbb{M}_A := \boxtimes_{i=1}^k \mathbb{M}(d_i)_{w_i}. \end{align} $$

2.6.2

Recall the regular function (2.2). We define the subcategory

$$\begin{align*}\mathbb{S}(d):=\text{MF}(\mathbb{M}(d), \mathop{\mathrm{Tr}}\nolimits W_d) \subset \mathrm{MF}(\mathcal{X}(d), \mathop{\mathrm{Tr}}\nolimits W_d) \end{align*}$$

to be the subcategory of matrix factorizations $\left (\alpha \colon F\rightleftarrows G\colon \beta \right )$ with F and G in $\mathbb {M}(d)$ . It decomposes into the direct sum of $\mathbb {S}(d)_w$ for $w \in \mathbb {Z}$ , where $\mathbb {S}(d)_w$ is defined similarly to $\mathbb {S}(d)$ using $\mathbb {M}(d)_w$ .

We also consider subcategories for $\ast \in \{\emptyset , T\}$ , $\bullet \in \{\emptyset , \text {gr}\}$ defined in a similar way

$$\begin{align*}\mathbb{S}^{\bullet}_{\ast}(d):= \text{MF}^{\bullet}_{\ast}(\mathbb{M}(d), \mathop{\mathrm{Tr}}\nolimits W_d) \subset \text{MF}^{\bullet}_{\ast}(\mathcal{X}(d), \mathop{\mathrm{Tr}}\nolimits W_d). \end{align*}$$

The subcategory $\mathbb {S}^{\bullet }_{\ast }(d)_w$ is also defined in a similar way. For a partition $A=(d_i, w_i)_{i=1}^k$ of $(d, w)$ , the category $\mathbb {S}_{\ast , A}^{\bullet }$ is also defined similarly to Equation (2.11). We denote the Grothendieck group of $\mathbb {S}^{\bullet }_{\ast }(d)_w$ by

$$ \begin{align*} K_{\ast}(\mathbb{S}^{\bullet}(d)_w), \ \ast \in \{\emptyset, T\}, \ \bullet \in \{\emptyset, \mathrm{gr}\}. \end{align*} $$

By [Reference TodaTod23, Corollary 3.13], there are natural isomorphisms (which hold for all graded matrix factorizations as in Subsection 2.5):

(2.12) $$ \begin{align} K(\mathbb{S}^{\mathrm{gr}}(d)_w) \stackrel{\cong}{\to} K(\mathbb{S}(d)_w), \ K_T(\mathbb{S}^{\mathrm{gr}}(d)_w) \stackrel{\cong}{\to} K_T(\mathbb{S}(d)_w). \end{align} $$

2.7 Complexes in quasi-BPS categories

Let V be a d-dimensional complex vector space, and recall that we denote by $\mathfrak {g}=\operatorname {Hom}(V, V)$ the Lie algebra of $GL(V)$ . We set

$$ \begin{align*} \mathcal{Y}(d):=\mathfrak{g}^{\oplus 2}/GL(V), \end{align*} $$

where $GL(V)$ acts on $\mathfrak {g}$ by conjugation. The stack $\mathcal {Y}(d)$ is the moduli stack of representations of dimension d of the quiver with one vertex and two loops. Let s be the morphism

(2.13) $$ \begin{align} s \colon \mathcal{Y}(d) \to \mathfrak{g}, \ (X, Y) \mapsto [X, Y]. \end{align} $$

The morphism s induces a map of vector bundles $\partial : \mathfrak {g}^{\vee }\otimes \mathcal {O}_{\mathfrak {g}^{\oplus 2}}\to \mathcal {O}_{\mathfrak {g}^{\oplus 2}}$ . Let $s^{-1}(0)$ be the derived scheme with the dg-ring of regular functions

(2.14) $$ \begin{align} \mathcal{O}_{s^{-1}(0)}:=\mathcal{O}_{\mathfrak{g}^{\oplus 2}}\left[\mathfrak{g}^{\vee}\otimes\mathcal{O}_{\mathfrak{g}^{\oplus 2}}[1]; d_s\right], \end{align} $$

where the differential $d_s$ is induced by the map $\partial $ . Consider the (derived) stack

(2.15) $$ \begin{align} \mathscr{C}(d):=s^{-1}(0)/GL(V) \hookrightarrow \mathcal{Y}(d). \end{align} $$

For a smooth variety X, we denote by $\mathscr {C}oh(X, d)$ the derived moduli stack of zero-dimensional sheaves on X with length d and by $\mathcal {C}oh(X, d)$ the classical truncation of $\mathscr {C}oh(X, d)$ . Then $\mathscr {C}(d)$ is equivalent to $\mathscr {C}oh(\mathbb {C}^2, d)$ .

For a decomposition $d=d_1+\cdots +d_k$ , let $\mathscr {C}(d_1, \ldots , d_k)$ be the derived moduli stack of filtrations of coherent sheaves on $\mathbb {C}^2$ :

(2.16) $$ \begin{align} 0=Q_0 \subset Q_1 \subset Q_2 \subset \cdots \subset Q_k \end{align} $$

such that each subquotient $Q_i/Q_{i-1}$ is a zero-dimensional sheaf on $\mathbb {C}^2$ with length $d_i$ . There exist evaluation morphisms

$$ \begin{align*} \mathscr{C}(d_1) \times \cdots \times \mathscr{C}(d_k) \stackrel{q}{\leftarrow} \mathscr{C}(d_1, \ldots, d_k) \stackrel{p}{\to} \mathscr{C}(d), \end{align*} $$

where p is proper and q is quasi-smooth. The above diagram for $k=2$ defines the categorical Hall product

(2.17) $$ \begin{align} m=m_{d_1,d_2}=p_{\ast}q^{\ast} \colon D^b(\mathscr{C}(d_1)) \boxtimes D^b(\mathscr{C}(d_2)) \to D^b(\mathscr{C}(d)), \end{align} $$

which is a special case of the product of categorical Hall algebras for surfaces defined by Porta–Sala [Reference Porta and SalaPS23].

Let T be the two-dimensional torus in Equation (2.1) which acts on $\mathbb {C}^2$ by $(t_1, t_2) \cdot (x, y)=(t_1 x, t_2 y)$ . It naturally induces an action on $\mathscr {C}(d)$ . There is also a T-equivariant Hall product

(2.18) $$ \begin{align} m=m_{d_1,d_2}=p_{\ast}q^{\ast} \colon D^b_T(\mathscr{C}(d_1)) \boxtimes D^b_T(\mathscr{C}(d_2)) \to D^b_T(\mathscr{C}(d)). \end{align} $$

Here, the box product is taken over $BT$ . In what follows, whenever we take a box-product in the T-equivariant setting, we take it over $BT$ . We also use the notation $\ast $ for the Hall product.

2.8 Subcategories $\mathbb {T}(d)_v$

Let

(2.19) $$ \begin{align} i \colon \mathscr{C}(d) \hookrightarrow \mathcal{Y}(d) \end{align} $$

be the natural closed immersion. Define the full triangulated subcategory

$$\begin{align*}\widetilde{\mathbb{T}}(d)_v\subset D^b(\mathcal{Y}(d))\end{align*}$$

generated by the vector bundles $\mathcal {O}_{\mathcal {Y}(d)}\otimes \Gamma _{GL(d)}(\chi )$ for a dominant weight $\chi $ satisfying

$$ \begin{align*} \chi+\rho \in \textbf{W}(d)_{v}. \end{align*} $$

Define the full triangulated subcategory

(2.20) $$ \begin{align} \mathbb{T}(d)_v \subset D^b(\mathscr{C}(d)) \end{align} $$

with objects $\mathcal {E}$ such that $i_{\ast }\mathcal {E}$ is in $\widetilde {\mathbb {T}}(d)_v$ . In [Reference Pădurariu and TodaPTa, Lemma 4.8], we showed that the Hall product restricts to functors

$$\begin{align*}m: \mathbb{T}(d_1)_{v_1}\otimes \mathbb{T}(d_2)_{v_2}\to \mathbb{T}(d)_v\end{align*}$$

for $(d, v)=(d_1, v_1)+(d_2, v_2)$ and $\frac {v_1}{d_1}=\frac {v_2}{d_2}$ . Also, there is a semiorthogonal decomposition; see [Reference PădurariuPăd23, Corollary 3.3]:

(2.21) $$ \begin{align} D^b(\mathscr{C}(d))=\left\langle \mathbb{T}(d_1)_{v_1} \boxtimes \cdots \boxtimes \mathbb{T}(d_k)_{v_k} \,\bigg|\, \begin{array}{c} v_1/d_1 < \cdots < v_k/d_k \\ d_1+\cdots+d_k=d \end{array} \right\rangle. \end{align} $$

In the above, each fully faithful functor

$$ \begin{align*} \mathbb{T}(d_1)_{v_1} \boxtimes \cdots \boxtimes \mathbb{T}(d_k)_{v_k} \hookrightarrow D^b(\mathscr{C}(d)) \end{align*} $$

is given by the categorical Hall product (2.17).

Consider the grading induced by the action of $\mathbb {C}^{*}$ on $\mathcal {X}(d)$ scaling the linear map corresponding to Z with weight $2$ . The Koszul duality equivalence, also called dimensional reduction in the literature, gives the following equivalence [Reference IsikIsi13, Reference HiranoHir17, Reference TodaToda]:

(2.22) $$ \begin{align} \Phi \colon D^b(\mathscr{C}(d)) \stackrel{\sim}{\to} \mathrm{MF}^{\mathrm{gr}}(\mathcal{X}(d), \mathop{\mathrm{Tr}}\nolimits W). \end{align} $$

Under this equivalence, we have that $\Phi \colon \mathbb {T}(d)_v\stackrel {\sim }{\to } \mathbb {S}^{\mathrm {gr}}(d)_v$ .

2.9 Constructions of objects in $\mathbb {T}(d)_v$

Here, we review the construction of objects $\mathcal {E}_{d, v} \in \mathbb {T}(d)_v$ (which also produces an object in $\mathbb {T}_T(d)_v$ ) following [Reference Pădurariu and TodaPTa, Subsection 4.3]. Let $\mathcal {Z} \subset \mathscr {C}(1, 1, \ldots , 1)$ be the closed substack defined as follows. Let $\lambda $ be the cocharacter

(2.23) $$ \begin{align} \lambda \colon \mathbb{C}^{\ast} \to GL(V), \ t \mapsto (t^d, t^{d-1}, \ldots, t). \end{align} $$

The attracting stack of $\mathcal {Y}(d)$ with respect to $\lambda $ is given by

(2.24) $$ \begin{align} \mathcal{Y}(d)^{\lambda \geqslant 0}:= \left(\mathfrak{g}^{\lambda \geqslant 0}\right)^{\oplus 2}\big/GL(V)^{\lambda \geqslant 0}, \end{align} $$

where $GL(V)^{\lambda \geqslant 0} \subset GL(V)$ is the subgroup of upper triangular matrices. Then the morphism (2.13) restricts to the morphism

(2.25) $$ \begin{align} s^{\lambda \geqslant 0} \colon \mathcal{Y}(d)^{\lambda \geqslant 0} \to \mathfrak{g}^{\lambda \geqslant 0} \end{align} $$

whose derived zero locus $\mathscr {C}(d)^{\lambda \geqslant 0}$ is equivalent to $\mathscr {C}(1, \ldots , 1)$ . Let $X=(x_{i,j})$ and $Y=(y_{i,j})$ be elements of $\mathfrak {g}^{\lambda \geqslant 0}$ for $1\leqslant i, j\leqslant d$ , where $x_{i,j}=y_{i,j}=0$ for $i>j$ . Then the equation $s^{\lambda \geqslant 0}(X, Y)=0$ is equivalent to the equations

$$ \begin{align*} \sum_{i\leqslant a \leqslant j} x_{i,a}y_{a,j}=\sum_{i\leqslant a \leqslant j} y_{i,a}x_{a,j}, \end{align*} $$

for each $(i, j)$ with $i\leqslant j$ . We call the above equation $\mathbb {E}_{i, j}$ . The equation $\mathbb {E}_{i, i}$ is $x_{i, i} y_{i, i}-y_{i, i} x_{i, i}=0$ , which always holds but imposes a nontrivial derived structure on $\mathscr {C}(1, \ldots , 1)$ . The equation $\mathbb {E}_{i, i+1}$ is

$$ \begin{align*} (x_{i,i}-x_{i+1, i+1})y_{i, i+1}-(y_{i,i}-y_{i+1, i+1})x_{i, i+1}=0. \end{align*} $$

The above equation is satisfied if the following equation $\mathbb {F}_{i, i+1}$ is satisfied:

$$ \begin{align*} \{x_{i, i}-x_{i+1, i+1}=0, y_{i, i}-y_{i+1, i+1}=0\}. \end{align*} $$

We define the closed derived substack

(2.26) $$ \begin{align} \mathcal{Z}:=\mathcal{Z}(d) \subset \mathcal{Y}^{\lambda \geqslant 0}(d) \end{align} $$

to be the derived zero locus of the equations $\mathbb {F}_{i, i+1}$ for all i and $\mathbb {E}_{i, j}$ for all $i+2 \leqslant j$ . We usually drop d from the notation if the dimension is clear from the context. Then $\mathcal {Z}$ is a closed substack of $\mathscr {C}(d)^{\lambda \geqslant 0}=\mathscr {C}(1, \ldots , 1)$ . Note that, set theoretically, the closed substack $\mathcal {Z}$ corresponds to filtrations (2.16) such that each $Q_i/Q_{i-1}$ is isomorphic to $\mathcal {O}_x$ for some $x \in \mathbb {C}^2$ independent of i.

We have the diagram of attracting loci

$$ \begin{align*} \mathscr{C}(1)^{\times d}=\mathscr{C}(d)^{\lambda} \stackrel{q}{\leftarrow} \mathscr{C}(d)^{\lambda \geqslant 0} \stackrel{p}{\to} \mathscr{C}(d), \end{align*} $$

where p is a proper morphism. We set

(2.27) $$ \begin{align} m_i :=\left\lceil \frac{vi}{d} \right\rceil -\left\lceil \frac{v(i-1)}{d} \right\rceil +\delta_i^d -\delta_i^1 \in \mathbb{Z}, \end{align} $$

where $\delta ^j_i$ is the Kronecker delta function defined by $\delta ^j_i=1$ if $i=j$ and $\delta ^j_i=0$ otherwise. For a weight $\chi =\sum _{i=1}^d n_i \beta _i$ with $n_i \in \mathbb {Z}$ , we denote by $\mathbb {C}(\chi )$ the one-dimensional $GL(V)^{\lambda \geqslant 0}$ -representation given by

$$ \begin{align*} GL(V)^{\lambda \geqslant 0} \to GL(V)^{\lambda}=T(d) \stackrel{\chi}{\to} \mathbb{C}^{\ast}, \end{align*} $$

where the first morphism is the projection.

Definition 2.3 [Reference Pădurariu and TodaPTa, Definition 4.2].

We define the complex $\mathcal {E}_{d, v}$ by

(2.28) $$ \begin{align} \mathcal{E}_{d, v}:=p_{\ast}\left(\mathcal{O}_{\mathcal{Z}} \otimes \mathbb{C}(m_1, \ldots, m_d)\right) \in D^b(\mathscr{C}(d))_v. \end{align} $$

The construction above is T-equivariant, so we also obtain an object $\mathcal {E}_{d, v}\in D^b_T(\mathscr {C}(d))_v$ .

In [Reference Pădurariu and TodaPTa, Lemma 4.3], we showed that $\mathcal {E}_{d, v}$ is an object of $\mathbb {T}(d)_v$ and $\mathbb {T}_T(d)_v$ .

2.10 Shuffle algebras

2.10.1

Consider the $\mathbb {N}$ -graded $\mathbb {K}$ -module:

$$\begin{align*}\mathcal{S}h:=\bigoplus_{d\geqslant 0}\mathbb{K}\left[z_1^{\pm 1}, \ldots, z_d^{\pm 1}\right]^{\mathfrak{S}_d}.\end{align*}$$

We define a shuffle product on $\mathcal {S}h$ as follows. Let $\xi (x)$ be defined by

$$ \begin{align*} \xi(x):=\frac{(1-q_1^{-1}x)(1-q_2^{-1}x)(1-q^{-1}x^{-1})}{1-x}, \end{align*} $$

where $q:=q_1 q_2$ . For $f \in \mathbb {K}\left [z_1^{\pm }, \ldots , z_a^{\pm }\right ]$ and $g \in \mathbb {K}\left [z_{a+1}^{\pm }, \ldots , z_{a+b}^{\pm }\right ]$ , we set

(2.29) $$ \begin{align} f \ast g:=\frac{1}{a! b!} \mathrm{Sym}\left(fg \cdot \prod_{\substack{1\leqslant i\leqslant a,\\ a<j\leqslant a+b}} \xi(z_i z_j^{-1})\right), \end{align} $$

where we denote by $\mathrm {Sym}(h(z_1, \ldots , z_d))$ the sum of $h(z_{\sigma (1)}, \ldots , z_{\sigma (d)})$ after all permutations $\sigma \in \mathfrak {S}_d$ . Let $\mathcal {S}\subset \mathcal {S}h$ be the subalgebra generated by $z_1^l$ for $l\in \mathbb {Z}$ . Let $\mathcal {S}_{\mathbb {F}}:=\mathcal {S}\otimes _{\mathbb {K}}\mathbb {F}$ . It is proved in [Reference NeguţNeg23, Theorem 4.6] that there is an isomorphism

(2.30) $$ \begin{align} i_{\ast} \colon \bigoplus_{d\geqslant 0} G_T(\mathscr{C}(d))\otimes_{\mathbb{K}}\mathbb{F} \stackrel{\cong}{\to} \mathcal{S}_{\mathbb{F}}. \end{align} $$

The above isomorphism is induced by the algebra homomorphism which will be defined in Equation (2.37).

2.10.2

Let

$$ \begin{align*} \mathcal{S}' \subset \bigoplus_{d\geqslant 0} \mathbb{K}\left(z_1, \ldots, z_d\right)^{\mathfrak{S}_d} \end{align*} $$

be the $\mathbb {K}$ -subalgebra generated by elements of the form

(2.31) $$ \begin{align} A^{\prime}_{k_{\bullet}}:= \mathrm{Sym}\left(\frac{z_1^{k_1} \cdots z_d^{k_d}}{(1-q^{-1}z_1^{-1}z_2)\cdots (1-q^{-1}z_{d-1}^{-1}z_d)} \cdot \prod_{j>i}w(z_i z_j^{-1}) \right) \end{align} $$

for various $(k_1, \ldots , k_d) \in \mathbb {Z}^d$ and $d\geqslant 1$ , for the shuffle product (2.29) where we replace $\xi (x)$ with $w(x)$ defined by

$$ \begin{align*} w(x):=\frac{(1-q_1^{-1}x)(1-q_2^{-1}x)}{(1-x)(1-q^{-1}x)}. \end{align*} $$

Let $\mathcal {S}^{\prime }_{\mathbb {F}}:=\mathcal {S}'\otimes _{\mathbb {K}}\mathbb {F}$ . Consider the morphism

(2.32) $$ \begin{align} \bigoplus_{d\geqslant 0} \mathbb{F}[z_1^{\pm 1}, \ldots, z_d^{\pm 1}]^{\mathfrak{S}_d} \to \bigoplus_{d\geqslant 0} \mathbb{F}(z_1, \ldots, z_d)^{\mathfrak{S}_d} \end{align} $$

defined by

$$ \begin{align*} f(z_1, \ldots, z_d) \mapsto f(z_1, \ldots, z_d) \cdot \prod_{i\neq j}(1-q^{-1} z_i z_j^{-1})^{-1}. \end{align*} $$

Then Equation (2.32) induces an algebra homomorphism $\mathcal {S}\to \mathcal {S}'$ . There is an isomorphism

(2.33) $$ \begin{align} \mathcal{S}_{\mathbb{F}} \stackrel{\cong}{\to} \mathcal{S}^{\prime}_{\mathbb{F}}, \end{align} $$

see [Reference Pădurariu and TodaPTa, Proof of Lemma 4.11]. For $(d, v)\in \mathbb {N}\times \mathbb {Z}$ , we set $A^{\prime }_{d, v}$ to be $A^{\prime }_{m_{\bullet }}$ for the choice of $m_{\bullet }$ in Equation (2.27). By [Reference NeguţNeg22, Equation (2.12)], we have the following isomorphism of $\mathbb {K}$ -modules:

(2.34) $$ \begin{align} \mathcal{S}'=\bigoplus_{v_1/d_1 \leqslant \cdots \leqslant v_k/d_k} \mathbb{K} \cdot A^{\prime}_{d_1, v_1} \ast \cdots \ast A^{\prime}_{d_k, v_k}, \end{align} $$

where the tuples $(d_i, v_i)_{i=1}^k$ appearing above are unordered for subtuples $(d_i, v_i)_{i=a}^b$ with $v_a/d_a=\cdots =v_b/d_b$ . We also define

(2.35) $$ \begin{align} A_{d, v}:=\mathrm{Sym}\left(\frac{z_1^{m_1} \cdots z_d^{m_d}}{(1-q^{-1}z_1^{-1}z_2)\cdots (1-q^{-1}z_{d-1}^{-1}z_d)} \cdot \prod_{j>i}\xi(z_i z_j^{-1}) \right), \end{align} $$

where the exponents $m_i$ for $1\leqslant i\leqslant d$ are given by Equation (2.27).

2.10.3

The T-equivariant Hall product (2.18) induces an associative algebra structure

(2.36) $$ \begin{align} m \colon G_T(\mathscr{C}(d_1)) \otimes_{\mathbb{K}}G_T(\mathscr{C}(d_2)) \to G_T(\mathscr{C}(d)). \end{align} $$

Let $i \colon \mathscr {C}(d) \hookrightarrow \mathcal {Y}(d)$ be the closed immersion. The pull-back via $\mathcal {Y}(d) \to BGL(d)$ gives the isomorphism

$$ \begin{align*} \bigoplus_{d\geqslant 0}K_T(BGL(d))= \bigoplus_{d\geqslant 0}\mathbb{K}\left[z_1^{\pm 1}, \ldots, z_d^{\pm 1}\right]^{\mathfrak{S}_d} \stackrel{\cong}{\to} \bigoplus_{d\geqslant 0} K_T(\mathcal{Y}(d)). \end{align*} $$

Therefore, the push-forward by i induces a morphism

(2.37) $$ \begin{align} i_{\ast} \colon \bigoplus_{d\geqslant 0} G_T(\mathscr{C}(d)) \to \bigoplus_{d\geqslant 0}\mathbb{K}\left[z_1^{\pm 1}, \ldots, z_d^{\pm 1}\right]^{\mathfrak{S}_d}. \end{align} $$

The product (2.36) is compatible with a shuffle product defined on the right-hand side of Equation (2.37); see [Reference Pădurariu and TodaPTa, Subsection 4.5]. In [Reference Pădurariu and TodaPTa, Lemma 4.11], we showed that

(2.38) $$ \begin{align} i_{\ast}[\mathcal{E}_{d, v}] =(1-q_1^{-1})^{d-1}(1-q_2^{-1})^{d-1}A_{d, v}. \end{align} $$

2.11 Compatibility of the Hall product under the Koszul equivalence

In this subsection, we denote by m the Hall product (2.17) and by $\widetilde {m}$ the Hall product for the quiver with potential $(Q, W)$ from Subsection 2.2.1. Using the results in [Reference TodaToda, Section 2.4], Koszul duality equivalences are compatible with the Hall products by the following commutative diagram (see [Reference PădurariuPăd23, Proposition 3.1]):

(2.39)

where the left arrow $\widetilde {\Phi }$ is the composition of Koszul duality equivalences (2.22) with the tensor product of

(2.40) $$ \begin{align} \det((\mathfrak{g}^{\nu>0})^{\vee}(2))[-\dim \mathfrak{g}^{\nu>0}] =(\det V_1)^{-d_2} \otimes (\det V_2)^{d_1}[d_1 d_2]. \end{align} $$

The cocharacter $\nu \colon \mathbb {C}^{\ast } \to T(d)$ is $\nu (t)=(\overbrace {t, \ldots , t}^{d_1}, \overbrace {1, \ldots , 1}^{d_2})$ , the vector spaces $V_i$ have $\dim V_i=d_i$ for $i=1, 2$ and $(1)$ is a twist by the weight one $\mathbb {C}^{\ast }$ -character, which is isomorphic to the shift functor $[1]$ of the category of graded matrix factorizations.

2.12 Symmetric polynomials

Let $\Lambda $ be the $\mathbb {Z}$ -algebra of symmetric polynomials [Reference MacDonaldMac79, Chapter I, Section 2], [Reference SchiffmannSch12, Subsection 2.4]:

$$\begin{align*}\Lambda\cong \varprojlim \mathbb{Z}\left[x_1,\ldots, x_n\right]^{\mathfrak{S}_n},\end{align*}$$

with multiplication defined by

$$\begin{align*}f(x_1,\ldots, x_a)\star g(x_{a+1},\ldots, x_{a+b}):=\sum_{\mathfrak{S}_{a+b}/\mathfrak{S}_a\times \mathfrak{S}_b}w\left(f(x_1,\ldots, x_a) g(x_{a+1},\ldots, x_{a+b})\right)\end{align*}$$

and comultiplication induced by the restriction map

$$\begin{align*}\mathbb{Z}\left[x_1,\ldots, x_{a+b}\right]^{\mathfrak{S}_{a+b}}\to \mathbb{Z}\left[x_1,\ldots, x_a\right]^{\mathfrak{S}_a}\otimes \mathbb{Z}\left[x_{a+1},\ldots, x_{a+b}\right]^{\mathfrak{S}_b}.\end{align*}$$

Alternatively, $\Lambda $ is isomorphic to the Grothendieck group of the monoidal category

$$\begin{align*}\mathcal{R}:=\bigoplus_{n\geqslant 0}\text{Rep}(\mathfrak{S}_n),\end{align*}$$

where $\text {Rep}(\mathfrak {S}_n)$ is the abelian category of finite-dimensional $\mathfrak {S}_n$ -representations, multiplication is given by the induction functor

$$\begin{align*}\text{Ind}: \text{Rep}(\mathfrak{S}_a\times \mathfrak{S}_b)\to \text{Rep}(\mathfrak{S}_{a+b}),\end{align*}$$

and comultiplication is given by the restriction functor

$$\begin{align*}\text{Res}: \text{Rep}(\mathfrak{S}_{a+b})\to \text{Rep}(\mathfrak{S}_a\times \mathfrak{S}_b).\end{align*}$$

The isomorphism $\mathcal {R} \stackrel {\cong }{\to } \Lambda $ is given by sending an irreducible $\mathfrak {S}_n$ -representation $W_{\lambda }$ corresponding to a partition $\lambda $ of n to the Schur function $s_{\lambda }$ , see [Reference MacDonaldMac79, Chapter I, Equation (7.5)].

For R a ring with a map $\mathbb {Z}\to R$ , denote by $\Lambda _R:=R\otimes _{\mathbb {Z}}\Lambda $ the R-algebra with multiplication and comultiplication induced from those of $\Lambda $ . Consider the elementary symmetric functions

$$\begin{align*}e_n:=\sum_{i_1<\ldots<i_n}x_{i_1}\ldots x_{i_n}\in \Lambda\end{align*}$$

and the power sum functions

$$\begin{align*}p_n:=\sum_{i}x_i^n\in \Lambda.\end{align*}$$

We also denote by $e_n$ and $p_n$ the images of these symmetric functions in $\Lambda _R$ . Let t be a formal variable. These functions are connected via the identity

(2.41) $$ \begin{align} \sum_{n\geqslant 0}e_nt^n=\text{exp}\left(\sum_{n\geqslant 1}\frac{(-1)^{n+1}}{n}p_nt^n\right).\end{align} $$

There are isomorphisms (see [Reference MacDonaldMac79, Chapter I, Equations (2.4), (2.14)]):

(2.42) $$ \begin{align} \Lambda_{\mathbb{Q}}\cong \mathbb{Q}[e_1, e_2, \ldots]\cong \mathbb{Q}[p_1, p_2, \ldots]. \end{align} $$

For $n\geqslant 1$ , let $P(n)$ be the free one-dimensional $\mathbb {Z}$ -module with generator $p_n$ . By Equation (2.42), there is an isomorphism of $\mathbb {N}$ -graded $\mathbb {Q}$ -vector spaces

(2.43) $$ \begin{align} \Lambda_{\mathbb{Q}}\cong \bigotimes_{n\geqslant 1}\mathrm{Sym}\big(P(n)_{\mathbb{Q}}\big). \end{align} $$

3.1 Proof of the main result

Proof of Theorem 3.1.

Suppose that an object $\mathcal {F} \in \mathbb {S}(d)_w$ has support not contained in $\pi ^{-1}(\Delta )$ . Then there is $p \in \mathrm {Sym}^d(\mathbb {C}^3) \setminus \Delta $ such that $\mathcal {F}|_{\mathcal {X}_p(d)} \neq 0$ in $\mathrm {MF}(\mathcal {X}_p(d), \mathop {\mathrm {Tr}}\nolimits W_d)$ , where $\mathcal {X}_p(d)$ is the formal fiber of p along the good moduli space morphism $\mathcal {X}(d) \to X(d)$ . Since $p \notin \Delta $ , it is written as

$$ \begin{align*} p=\sum_{i=1}^l p^{(i)}, \ p^{(i)}=d^{(i)}x^{(i)}, \ d^{(i)} \in \mathbb{Z}_{>0}, \ x^{(i)} \neq x^{(i')} \mbox{ for } i \neq i', \ l\geqslant 2. \end{align*} $$

The unique closed point in $\pi ^{-1}(p)$ corresponds to the semisimple Q-representation

$$ \begin{align*} R=\bigoplus_{i=1}^l V^{(i)} \otimes R^{(i)}, \end{align*} $$

where $R^{(i)}$ is the one-dimensional Q-representation corresponding to $\mathcal {O}_{x^{(i)}}$ and $V^{(i)}$ is a $d^{(i)}$ -dimensional vector space such that $d^{(1)}+\cdots +d^{(l)}=d$ . Below we write a basis of $V^{(i)}$ as $\beta _1^{(i)}, \ldots , \beta _{d^{(i)}}^{(i)}$ and set

$$ \begin{align*} \{\beta_1, \ldots, \beta_d\}=\{\beta_1^{(1)}, \ldots, \beta_{d^{(1)}}^{(1)}, \beta_1^{(2)}, \ldots, \beta_{d^{(2)}}^{(2)}, \ldots \}. \end{align*} $$

The étale slice theorem implies that

(3.2) $$ \begin{align} \mathcal{X}_p(d) \cong \widehat{\operatorname{Ext}}_Q^1(R, R)/G_p, \end{align} $$

where $G_p=\mathrm {Aut}(R)=\prod _{i=1}^l GL(V^{(i)})$ and $\widehat {\operatorname {Ext}}^1_Q(R, R)$ is the formal fiber of the origin along the morphism $\operatorname {Ext}^1_Q(R, R) \to \operatorname {Ext}_Q^1(R, R)/\!\!/G_p$ . By Lemma 3.2, the Ext-group $\operatorname {Ext}^1_Q(R, R)$ is computed as follows:

(3.3) $$ \begin{align} \operatorname{Ext}_Q^1(R, R)=\bigoplus_{i=1}^l \mathrm{End}(V^{(i)}, V^{(i)})^{\oplus 3} \oplus \bigoplus_{i \neq j} \operatorname{Hom}(V^{(i)}, V^{(j)})^{\oplus 2}. \end{align} $$

Note that the maximal torus $T(d) \subset GL(V)$ is contained in $G_p$ .

We define

$$ \begin{align*} \mathbb{S}_p(d)_{w} \subset \mathrm{MF}(\mathcal{X}_p(d), \mathop{\mathrm{Tr}}\nolimits W_d) \end{align*} $$

to be the full subcategory generated by matrix factorizations whose entries are of the form $\Gamma _{G_p}(\chi ) \otimes \mathcal {O}$ , where $\chi $ is a $G_p$ -dominant $T(d)$ -weight satisfying

(3.4) $$ \begin{align} \chi+\rho_p \in \textbf{W}_p(d)_w. \end{align} $$

Here, $\rho _p$ is half the sum of positive roots of $G_p$ and $\textbf {W}_p(d)_{w}$ is defined as in Equation (2.9) for the $G_p$ -representation $\operatorname {Ext}_Q^1(R, R)$

$$ \begin{align*} \textbf{W}_p(d)_{w}:=\frac{1}{2}\mathrm{sum}[0, \beta]+w \tau_d, \end{align*} $$

where the Minkowski sum is after all weights $\beta $ in $\operatorname {Ext}_Q^1(R, R)$ . By Lemma 3.5, we have $\mathcal {F}|_{\mathcal {X}_p(d)} \in \mathbb {S}_p(d)_w$ , in particular $\mathbb {S}_p(d)_{w} \neq 0$ .

Below, in order to simplify the notation, we treat the case $l=2$ . Since any zero-dimensional sheaf Q on $\mathbb {C}^3$ supported on p decomposes into $Q^{(1)} \oplus Q^{(2)}$ , where $Q^{(i)}$ is supported on $x^{(i)}$ , we have

(3.5) $$ \begin{align} \widehat{\mathcal{C}oh}_p(\mathbb{C}^3, d)= \mathrm{Crit}( \mathop{\mathrm{Tr}}\nolimits W_d|_{\mathcal{X}_p(d)})=\widehat{\mathcal{C}oh}_{p^{(1)}}(\mathbb{C}^3, d^{(1)}) \times \widehat{\mathcal{C}oh}_{p^{(2)}}(\mathbb{C}^3, d^{(2)}). \end{align} $$

Here, $\widehat {\mathcal {C}oh}_p(\mathbb {C}^3, d)$ is the formal fiber of the left vertical arrow in Equation (3.1) at p. Indeed, by Lemma 3.3, we can show that, by replacing the isomorphism (3.2) if necessary, the regular function $\mathop {\mathrm {Tr}}\nolimits W_d$ restricted to $\mathcal {X}_p(d)$ is written as

(3.6) $$ \begin{align} \mathop{\mathrm{Tr}}\nolimits W_d|_{\mathcal{X}_p(d)}= \mathop{\mathrm{Tr}}\nolimits W_{d^{(1)}}\boxplus \mathop{\mathrm{Tr}}\nolimits W_{d^{(2)}} \boxplus q. \end{align} $$

Here, $\mathop {\mathrm {Tr}}\nolimits W_{d^{(i)}}$ is the regular function (2.2) on $\mathcal {X}(d^{(i)})$ restricted to $\mathcal {X}_{p^{(i)}}(d^{(i)})$ and q is a nondegenerate $G_p$ -invariant quadratic form on $U\oplus U^{\vee }$ given by $q(u, v)=\langle u, v \rangle $ , where U is the following self-dual $G_p$ -representation

$$ \begin{align*} U:=\operatorname{Hom}(V^{(1)}, V^{(2)}) \oplus \operatorname{Hom}(V^{(2)}, V^{(1)}). \end{align*} $$

The decomposition (3.6) in particular implies Equation (3.5).

We have the following diagram

where $\mathcal {U}$ is the vector bundle on $\mathcal {X}_{p^{(1)}}(d^{(1)}) \times \mathcal {X}_{p^{(2)}}(d^{(2)})$ determined by the $G_p$ -representation U, i is the closed immersion $x \mapsto (x, 0)$ , and j is the natural morphism induced by the formal completion which induces the isomorphism on critical loci of $\mathop {\mathrm {Tr}}\nolimits W_d$ . We have the following functors

(3.7) $$ \begin{align} \Psi := j^{\ast}i_{\ast}p^{\ast} \colon \mathrm{MF}(\mathcal{X}_{p^{(1)}}(d^{(1)}), \mathop{\mathrm{Tr}}\nolimits W_{d^{(1)}}) &\boxtimes \mathrm{MF}(\mathcal{X}_{p^{(2)}}(d^{(2)}), \mathop{\mathrm{Tr}}\nolimits W_{d^{(2)}}) \\ \notag &\stackrel{\sim}{\to}\mathrm{MF}(\mathcal{U} \oplus \mathcal{U}^{\vee}, \mathop{\mathrm{Tr}}\nolimits W_d) \stackrel{j^{\ast}}{\hookrightarrow} \mathrm{MF}(\mathcal{X}_p(d), \mathop{\mathrm{Tr}}\nolimits W_d). \end{align} $$

Here, the first arrow is an equivalence by Knörrer periodicity (see [Reference HiranoHir17, Theorem 4.2]), and the second arrow is fully faithful with dense image (see [Reference TodaTodb, Lemma 6.4]). By Lemma 3.4, the above functor restricts to the fully faithful functor

(3.8) $$ \begin{align} \bigoplus_{\begin{subarray}{c}w^{(1)}+w^{(2)}=w \\ w^{(1)}/d^{(1)}=w^{(2)}/d^{(2)} \end{subarray}} \mathbb{S}_{p^{(1)}}(d^{(1)})_{w^{(1)}} \boxtimes \mathbb{S}_{p^{(2)}}(d^{(2)})_{w^{(2)}} \to \mathbb{S}_{p}(d)_w. \end{align} $$

Below, we show that the above functor (3.8) has dense image, and thus the conclusion follows. By the semiorthogonal decomposition (2.21) together with Equation (2.39), we have

(3.9) $$ \begin{align} &\mathrm{MF}(\mathcal{X}(d), \mathop{\mathrm{Tr}}\nolimits W_d) \\ \notag & \quad = \left\langle \ast_{i=1}^k \mathbb{S}(d_i)_{v_i+d_i(\sum_{i>j}d_j-\sum_{j>i}d_j)}\,\bigg|\, \frac{v_1}{d_1}<\cdots<\frac{v_k}{d_k}, d_1+\cdots+d_k=d\right\rangle. \end{align} $$

The weights $w_i:=v_i+d_i(\sum _{i>j}d_j-\sum _{j>i}d_j)$ are computed as in Equation (2.7):

(3.10) $$ \begin{align} \sum_{i=1}^k w_i \tau_{d_i}=\sum_{i=1}^k v_i \tau_{d_i} -\mathfrak{g}^{\lambda>0}, \end{align} $$

where $\mathfrak {g}$ is the Lie algebra of $GL(d)$ and $\lambda $ is the antidominant cocharacter corresponding to the decomposition $d=d_1+\cdots +d_k$ :

(3.11) $$ \begin{align} \lambda(t)=(\overbrace{t^k, \ldots, t^k}^{d_1}, \overbrace{t^{k-1}, \ldots, t^{k-1}}^{d_2}, \ldots, \overbrace{t, \ldots, t}^{d_k}). \end{align} $$

For $x \in \mathbb {C}^3$ , let $q=d[x]:=(x,\ldots , x) \in \mathrm {Sym}^d(\mathbb {C}^3)$ . Since $G_q=GL(V)$ and $\mathcal {X}_q(d)\cong \mathfrak {g}^{\oplus 3}_{d[0]}/GL(V)$ , the argument showing Equation (3.9) applies verbatim to show the semiorthogonal decomposition

(3.12) $$ \begin{align} &\mathrm{MF}(\mathcal{X}_q(d), \mathop{\mathrm{Tr}}\nolimits W_d) \\ \notag &= \left\langle \ast_{i=1}^k \mathbb{S}_q(d_i)_{v_i+d_i(\sum_{i>j}d_j-\sum_{j>i}d_j)}\,\bigg|\, \frac{v_1}{d_1}<\cdots<\frac{v_k}{d_k}, d_1+\cdots+d_k=d\right\rangle. \end{align} $$

From Equation (3.12), the left-hand side of Equation (3.7) admits a semiorthogonal decomposition S whose summands are of the form

(3.13) $$ \begin{align} \ast_{i=1}^a \mathbb{S}_{p_i^{(1)}}(d_i^{(1)})_{v_i^{(1)}+d_i^{(1)}(\sum_{i>j}d_j^{(1)}-\sum_{j>i}d_j^{(1)})} \boxtimes \ast_{i=1}^b \mathbb{S}_{p_i^{(2)}}(d_i^{(2)})_{v_i^{(2)}+d_i^{(2)}(\sum_{i>j}d_j^{(2)}-\sum_{j>i}d_j^{(2)})}. \end{align} $$

Here, the left-hand side in Equation (3.8) comes to the rightmost part of the semiorthogonal decomposition S, $p_i^{(j)}=d_i^{(j)}x^{(j)}$ , the integers $d_i^{(j)}$ satisfy

$$ \begin{align*} d_1^{(1)}+ \cdots+ d_a^{(1)}=d^{(1)}, \ d_1^{(2)}+ \cdots+ d_b^{(2)}=d^{(2)}, \end{align*} $$

and we have the inequalities

$$ \begin{align*} \frac{v_1^{(1)}}{d_1^{(1)}}<\cdots< \frac{v_a^{(1)}}{d_a^{(1)}}, \ \frac{v_1^{(2)}}{d_1^{(2)}}<\cdots< \frac{v_b^{(2)}}{d_b^{(2)}}. \end{align*} $$

We write

$$ \begin{align*} \left\{ \frac{v_1^{(1)}}{d_1^{(1)}}, \ldots, \frac{v_a^{(1)}}{d_a^{(1)}}, \ldots, \frac{v_1^{(2)}}{d_1^{(2)}}, \ldots, \frac{v_b^{(2)}}{d_b^{(2)}} \right\}= \{\mu_1<\cdots<\mu_k\}, \end{align*} $$

where k is the number of distinct elements in the left-hand side. For $1\leqslant i\leqslant k$ , we replace $(d_i^{(j)}, v_i^{(j)})$ by

$$ \begin{align*} (d_i^{(j)}, v_i^{(j)}) \mapsto \begin{cases} (d_l^{(j)}, v_l^{(j)}), & \mbox{ if } \mu_i=v_l^{(j)}/d_l^{(j)} \mbox{ for some }l, \\ (0, 0), & \mbox{ otherwise}. \end{cases} \end{align*} $$

The subcategory (3.13) of Equation (3.8) is unchanged under the above replacement. Therefore, we may assume that $a=b=k$ and, by setting $(d_i, v_i)=(d_i^{(1)}, v_i^{(1)}) +(d_i^{(2)}, v_i^{(2)})$ , we have

$$ \begin{align*} \frac{v_i}{d_i}=\frac{v_i^{(j)}}{d_i^{(j)}}, \ \frac{v_1}{d_1}< \cdots< \frac{v_k}{d_k}. \end{align*} $$

Here, the first identity holds whenever $(d_i^{(j)}, v_i^{(j)}) \neq (0, 0)$ .

Let us take decompositions $V^{(j)}=\oplus _{i=1}^k V_i^{(j)}$ with $\dim V_i^{(j)}=d_i^{(j)}$ and a cocharacter as in Equation (3.11)

(3.14) $$ \begin{align} \lambda \colon \mathbb{C}^{\ast} \to GL(V^{(1)}) \times GL(V^{(2)}) \end{align} $$

which acts on $V_i^{(j)}$ with weight $k+1-i$ . The diagrams of attracting loci with respect to $\lambda $ give the commutative diagram; see [Reference TodaTodb, Proposition 2.5]:

Here, the vertical arrows are categorical Hall products determined by $\lambda $ , $p_i:=p_i^{(1)}+p_i^{(2)}$ , the bottom horizontal arrow is Equation (3.7), and the top horizontal arrow is the composition of the Knörrer periodicity equivalences with the tensor product of (a shift of)

$$ \begin{align*} \det \left((U^{\lambda>0})^{\vee}\right)= \bigotimes_{i=1}^k\left( (\det V_i^{(1)})^{\sum_{i>j}d_j^{(2)}-\sum_{j>i}d_j^{(2)}} \otimes (\det V_i^{(2)})^{\sum_{i>j}d_j^{(1)}-\sum_{j>i}d_j^{(1)}}\right). \end{align*} $$

By the above commutative diagram together with the fact that Equation (3.7) restricts to the functor (3.8), the functor (3.7) sends Equation (3.13) to

(3.15) $$ \begin{align} \ast_{i=1}^k \mathbb{S}_{p_i}(d_i)_{v_i+d_i(\sum_{i>j}d_j-\sum_{j>i}d_j)} \subset \mathrm{MF}(\mathcal{X}_p(d), \mathop{\mathrm{Tr}}\nolimits W_d). \end{align} $$

Let us take a decomposition

$$\begin{align*}w=v_1+\cdots+v_k=w_1+\cdots+w_k,\end{align*}$$

where $w_i$ is given in Equation (3.10). Then by Lemma 3.6, the subcategory (3.15) for $k\geqslant 2$ is right orthogonal to $\mathbb {S}_p(d)_w$ . Together with the semiorthogonal decomposition $\mathrm {S}$ with summands (3.13), we conclude that the functor (3.8) has dense image. Indeed, for an object $A \in \mathbb {S}_p(d)_w$ , there is a distinguished triangle

(3.16) $$ \begin{align} A_1 \xrightarrow{\alpha} A \xrightarrow{\beta} A_2, \end{align} $$

where $A_1$ is a direct summand of an object $\Psi (B_1)$ for some $B_1$ in the left-hand side of Equation (3.8) and $A_2$ is a direct summand of an object $\Psi (B_2)$ for some $B_2$ in Equation (3.13) for $a=b\geqslant 2$ . Then $\Psi (B_2)$ is an object of Equation (3.15) for $k\geqslant 2$ , hence $\beta $ is a zero map by Lemma 3.6. So $\alpha $ is an isomorphism, hence the functor (3.8) has dense image.

We have postponed several lemmas, which are given below:

Proof. By the Euler pairing computation, we have $\chi _Q(R^{(i)}, R^{(j)})=-2$ . Since $\operatorname {Hom}(R^{(i)}, R^{(j)})=\mathbb {C} \delta _{ij}$ , we have

$$ \begin{align*} \operatorname{Ext}_Q^1(R^{(i)}, R^{(j)})=\begin{cases} \mathbb{C}^2, & i \neq j, \\ \mathbb{C}^3, & i=j. \end{cases} \end{align*} $$

Therefore, Equation (3.3) holds.

Proof. We may assume $x^{(1)}=(0, 0, 1)$ and $x^{(2)}=(0, 0, 0)$ . We write an element of $\operatorname {Ext}_Q^1(R, R)$ as

(3.17) $$ \begin{align} (X^{(1)}, Y^{(1)}, Z^{(1)}, X^{(2)}, Y^{(2)}, Z^{(2)}, A^{(12)}, A^{(21)}, B^{(12)}, B^{(21)}), \end{align} $$

where $X^{(i)} \in \mathrm {End}(V^{(i)})$ and $A^{(ij)} \in \operatorname {Hom}(V^{(i)}, V^{(j)})$ . We have the morphism of algebraic stacks

$$ \begin{align*} \nu \colon \widehat{\operatorname{Ext}}_Q^1(R, R)/G_p \to \mathcal{X}_p(d) \end{align*} $$

which sends Equation (3.17) to

$$ \begin{align*} \left( \begin{pmatrix} X^{(1)} & A^{(12)} \\ A^{(21)} & X^{(2)} \\ \end{pmatrix}, \ \begin{pmatrix} Y^{(1)} & B^{(12)} \\ B^{(21)} & Y^{(2)} \\ \end{pmatrix}, \ \begin{pmatrix} Z^{(1)}+I & 0 \\ 0 & Z^{(2)} \\ \end{pmatrix} \right) \in \mathfrak{g}^{\oplus 3}. \end{align*} $$

Indeed, the above correspondence is $GL(V)$ -equivariant using the embedding $G_p \subset GL(V)$ , so it determines a morphism $\nu $ . Note that $\nu (0)$ corresponds to the polystable Q-representation $R=(V^{(1)} \otimes R^{(1)}) \oplus (V^{(2)} \otimes R^{(2)})$ , where $R^{(i)}$ corresponds to $\mathcal {O}_{x^{(i)}}$ .

We now explain that the morphism $\nu $ is étale at $\nu (0)$ . The tangent complex of $\mathcal {X}(d)$ at $\nu (0)$ is

$$ \begin{align*} \mathbb{T}_{\mathcal{X}(d)}|_{\nu(0)}= \left(\mathrm{End}(V) \to \mathrm{End}(V)^{\oplus 3} \right), \ \alpha \mapsto (0, 0, [\alpha, u]), \ u=\begin{pmatrix} I & 0 \\ 0 & 0 \\ \end{pmatrix}. \end{align*} $$

The kernel of the above map is $\mathrm {End}(V^{(1)}) \oplus \mathrm {End}(V^{(2)})$ , and the cokernel is $\operatorname {Ext}_Q^1(R, R)$ , so the morphism $\nu $ induces a quasi-isomorphism on tangent complexes at $\nu (0)$ .

A straightforward computation shows that

$$ \begin{align*} \nu^{\ast} \mathop{\mathrm{Tr}}\nolimits W_d &= \mathrm{Tr}(Z^{(1)}[X^{(1)}, Y^{(1)}]) + \mathrm{Tr}(Z^{(2)}[X^{(2)}, Y^{(2)}]) \\& \quad +\mathrm{Tr}(A^{(12)}(B^{(21)}+B^{(21)}Z^{(1)}-Z^{(2)}B^{(21)})) \\&\quad +\mathrm{Tr}(B^{(12)}(Z^{(2)}A^{(21)}-A^{(21)}Z^{(1)}-A^{(21)})). \end{align*} $$

By the following $G_p$ -equivariant variable change

$$ \begin{align*} A^{(21)} \mapsto Z^{(2)}A^{(21)}-A^{(21)}Z^{(1)}-A^{(21)}, \ B^{(21)} \mapsto B^{(21)}+B^{(21)}Z^{(1)}-Z^{(2)}B^{(21)}, \end{align*} $$

we obtain the identity (3.6).

Proof (cf. the proof of [Reference Koseki and TodaKT21, Theorem 2.7]).

For a cocharacter $\lambda \colon \mathbb {C}^{\ast } \to T(d)$ , let

$$ \begin{align*} n_{\lambda, p} :=\left\langle \lambda, \mathbb{L}^{\lambda>0}_{\mathcal{X}_p(d)}\big|_{0} \right\rangle, \ n_{\lambda, p}':=\left\langle \lambda, \mathbb{L}^{\lambda>0}_{\mathcal{X}_{p^{(1)}}(d^{(1)}) \times \mathcal{X}_{p^{(2)}}(d^{(2)})}\big|_{0} \right\rangle. \end{align*} $$

Define the sets of weights

$$ \begin{align*} \nabla_{p, w} &:= \left\{\chi \in M_{\mathbb{R}} \,\bigg|\, -\frac{1}{2} n_{\lambda, p} \leqslant \langle \lambda, \chi \rangle \leqslant \frac{1}{2}n_{\lambda, p} \mbox{ for all } \lambda \right\} +w\tau_d, \\ \nabla^{\prime}_{p, w} &:= \left\{\chi \in M_{\mathbb{R}} \,\bigg|\, -\frac{1}{2} n^{\prime}_{\lambda, p} \leqslant \langle \lambda, \chi \rangle \leqslant \frac{1}{2}n^{\prime}_{\lambda, p} \mbox{ for all } \lambda \right\}+w\tau_d. \end{align*} $$

Then an object in the right- (resp. left-) hand side of Equation (3.7) lies in the right- (resp. left-) hand side of Equation (3.8) if and only if its $T(d)$ -weights are contained in $\nabla _{p, w}$ (resp. $\nabla _{p, w}^{\prime }$ ); see [Reference Halpern-Leistner and SamHLS20, Lemma 2.9]. Let $\mathcal {E}$ be an object in the left-hand side of Equation (3.8). Using a Koszul resolution, the complex $\Psi (\mathcal {E})$ is generated by $p^{\ast }(\mathcal {E})\otimes \wedge ^{\bullet }U$ . Let $\chi $ be a $T(d)$ -weight of $p^{\ast }(\mathcal {E})\otimes \wedge ^{\bullet }U$ . We then have that

$$ \begin{align*} -\frac{1}{2}n_{\lambda, p}^{\prime} +\langle \lambda, U^{\lambda<0} \rangle \leqslant \langle \lambda, \chi \rangle \leqslant \frac{1}{2}n_{\lambda, p}^{\prime} +\langle \lambda, U^{\lambda>0} \rangle. \end{align*} $$

Since U is self-dual, we have $\langle \lambda , U^{\lambda <0}\rangle = -\langle \lambda , U^{\lambda>0}\rangle $ . Moreover, from Equation (3.3), it is easy to see that

$$ \begin{align*} \frac{1}{2}n_{\lambda, p}^{\prime} +\langle \lambda, U^{\lambda>0}\rangle=\frac{1}{2}n_{\lambda, p}. \end{align*} $$

Therefore, $\Psi (\mathcal {E})$ is an object of the right-hand side of Equation (3.8).

Lemma 3.5. If a $T(d)$ -weight $\chi $ satisfies Equation (3.4), then

(3.18) $$ \begin{align} \chi+\rho \in \mathbf{W}(d)_w. \end{align} $$

Conversely if a $GL(V)$ -dominant $T(d)$ -weight $\chi $ satisfies Equation (3.18), then it satisfies Equation (3.4).

Proof. If a $T(d)$ -weight $\chi $ satisfies Equation (3.4), it is written as

(3.19) $$ \begin{align} \chi+\rho_p=\sum_{i, j, a} c_{ij}^{(a)}(\beta_i^{(a)}-\beta_j^{(a)}) +\sum_{i, j, a \neq b} c_{ij}^{(ab)}(\beta_i^{(a)}-\beta_j^{(b)}), \end{align} $$

where $0\leqslant c_{ij}^{(a)} \leqslant 3/2$ and $0\leqslant c_{ij}^{(ab)} \leqslant 1$ . Since we have

(3.20) $$ \begin{align} \rho-\rho_p=\frac{1}{2}\sum_{i, j, a<b}(\beta_i^{(b)}-\beta_j^{(a)}), \end{align} $$

the weight $\chi +\rho $ satisfies Equation (3.18). Conversely, if $\chi $ is a $GL(V)$ -dominant $T(d)$ -weight satisfying Equation (3.18), from [Reference Pădurariu and TodaPTa, Proposition 3.5] it is written as

$$ \begin{align*} \chi+\rho=\sum_{i>j} c_{ij}(\beta_i-\beta_j) \end{align*} $$

for $0\leqslant c_{ij} \leqslant 3/2$ . Therefore, from Equation (3.20), the weight $\chi +\rho _p$ is written as Equation (3.19).

Proof. Recall that $w_i=v_i+d_i(\sum _{i>j}d_j-\sum _{j>i}d_j)$ . Choose weights $\psi _i \in \textbf {W}_{p_i}(d_i)_{0}$ for $1\leqslant i\leqslant k$ . From the proof of semiorthogonality in [Reference PădurariuPăda, Proposition 4.3], it is enough to show that the r-invariant of the weight

(3.21) $$ \begin{align} \sum_{i=1}^k \psi_i+ \sum_{i=1}^k w_i \tau_{d_i}-\sum_{i=1}^k \rho_{p_i}+\rho_p \end{align} $$

with respect to the polytope $\textbf {W}_p(d)$ is bigger than $1/2$ . Here, the polytope $\textbf {W}_p(d)$ is defined as follows:

$$ \begin{align*} \textbf{W}_p(d):=\frac{1}{2} \mathrm{sum}[0, \beta]+\mathbb{R}\tau_d, \end{align*} $$

where the sum is after all weights in $\operatorname {Ext}_Q^1(R, R)$ .

Suppose the contrary, that is, the weight (3.21) lies in $\textbf {W}_p(d)_{w}$ . Let $\lambda $ be the cocharacter as in Equation (3.14), and write it as $\lambda =(\lambda ^{(1)}, \lambda ^{(2)})$ , where $\lambda ^{(j)}$ is the cocharacter of $GL(V^{(j)})$ . We set $\mathfrak {g}=\mathrm {End}(V)$ and $\mathfrak {g}^{(j)}=\mathrm {End}(V^{(j)})$ . The weight (3.21) is written as

$$ \begin{align*} \sum_{i=1}^k \psi_i+ \sum_{i=1}^k v_i \tau_{d_i} -\mathfrak{g}^{\lambda>0}-\frac{1}{2}(\mathfrak{g}^{(1)})^{\lambda^{(1)}>0} -\frac{1}{2}(\mathfrak{g}^{(2)})^{\lambda^{(2)}>0}. \end{align*} $$

By the assumption, the above weight is an element of $\textbf {W}_p(d)_w$ . Then using an argument as in the proof of Lemma 3.5, we have that

(3.22) $$ \begin{align} \sum_{i=1}^k \psi_i+\sum_{i=1}^k v_i \tau_{d_i}-\frac{3}{2}\mathfrak{g}^{\lambda>0} \in \textbf{W}(d)_w. \end{align} $$

Note that we have

$$ \begin{align*} \left\langle \lambda, \sum_{i=1}^k \psi_i+\sum_{i=1}^k v_i \tau_{d_i}-\frac{3}{2}\mathfrak{g}^{\lambda>0} -w \tau_d \right\rangle =\sum_{i=1}^k (k+1-i)d_i\left(\frac{v_i}{d_i}-\frac{w}{d}\right) -\left\langle \lambda, \frac{3}{2}\mathfrak{g}^{\lambda>0} \right\rangle. \end{align*} $$

For $1\leqslant i\leqslant k$ , define

$$\begin{align*}\tilde{v}_i:=d_i\left(\frac{v_i}{d_i}-\frac{w}{d}\right).\end{align*}$$

Then $\tilde {v}_1+\cdots +\tilde {v}_k=0$ and $\tilde {v}_1+\cdots +\tilde {v}_l<0$ for $1\leqslant l<k$ . Therefore,

$$ \begin{align*} \sum_{i=1}^k (k+1-i)d_i\left(\frac{v_i}{d_i}-\frac{w}{d}\right) =\sum_{l=1}^k \left(\sum_{i=1}^l \tilde{v}_i \right)<0. \end{align*} $$

It follows that

(3.23) $$ \begin{align} \left\langle \lambda, \sum_{i=1}^k \psi_i+\sum_{i=1}^k v_i \tau_{d_i}-\frac{3}{2}\mathfrak{g}^{\lambda>0} -w \tau_d \right\rangle <-\left\langle \lambda, \frac{3}{2}\mathfrak{g}^{\lambda>0} \right\rangle. \end{align} $$

On the other hand, we claim that for any weight $\chi \in \textbf {W}(d)_{0}$ , we have that

(3.24) $$ \begin{align} \langle \lambda, \chi\rangle \geqslant -\left\langle \lambda, \frac{3}{2}\mathfrak{g}^{\lambda>0} \right\rangle. \end{align} $$

We thus obtain a contradiction with Equations (3.23) and (3.22). To prove Equation (3.24), write $\chi =\sum _{i, j}c_{ij}(\beta _i-\beta _j)$ with $0\leqslant c_{ij} \leqslant 3/2$ . Then

$$ \begin{align*} \langle \lambda, \chi \rangle \geqslant \sum_{\langle \lambda, \beta_i-\beta_j \rangle<0} c_{ij}\langle \lambda, \beta_i-\beta_j \rangle \geqslant \frac{3}{2}\sum_{\langle \lambda, \beta_i-\beta_j \rangle<0} \langle \lambda, \beta_i-\beta_j \rangle= -\left\langle \lambda, \frac{3}{2}\mathfrak{g}^{\lambda>0} \right\rangle.\\[-48pt] \end{align*} $$

4.1 Sheaves supported over the small diagonal

Let

$$ \begin{align*} \Omega_{\mathscr{C}(d)}[-1]:= \operatorname{Spec} \mathrm{Sym}\left(\mathbb{T}_{\mathscr{C}(d)}[1]\right) \end{align*} $$

be the $(-1)$ -shifted cotangent of $\mathscr {C}(d)$ . An object $\mathcal {E} \in D^b(\mathscr {C}(d))$ has singular support [Reference Arinkin and GaitsgoryAG15]:

$$ \begin{align*} \mathrm{Supp}^{\mathrm{sg}}(\mathcal{E}) \subset (\Omega_{\mathscr{C}(d)}[-1])^{\mathrm{cl}}. \end{align*} $$

We identify the right-hand side with $\mathrm {Crit}(\mathop {\mathrm {Tr}}\nolimits W_d) \subset \mathcal {X}(d)$ , which is isomorphic to the moduli stack of zero-dimensional coherent sheaves on $\mathbb {C}^3$ of length d. Under the Koszul duality equivalence (2.22), we have by [Reference TodaToda, Proposition 2.3.9] that

$$ \begin{align*} \mathrm{Supp}^{\mathrm{sg}}(\mathcal{E}) =\mathrm{Supp}(\Phi(\mathcal{E})). \end{align*} $$

In the following lemma, we show that the K-theory class of an object in $D^b_T(\mathscr {C}(d))$ with singular support contained in $\pi ^{-1}(\Delta )$ has a certain divisibility property. The proof is inspired by the proof of wheel conditions in [Reference ZhaoZha, Theorem 2.9, Corollary 2.10], [Reference NeguţNeg23, Proposition 2.11]

Lemma 4.1. For any $\mathcal {E} \in D^b_T(\mathscr {C}(d))$ whose singular support is contained in $\pi ^{-1}(\Delta )$ , the element $i_{\ast }[\mathcal {E}] \in K_T(\mathcal {Y}(d))= \mathbb {K}[z_1^{\pm }, \ldots , z_d^{\pm 1}]^{\mathfrak {S}_d}$ is divisible by

(4.1) $$ \begin{align} (q_1-1)^{d-1}(q_2-1)^{d-1}(q_1 q_2-1)^{d-1} \in \mathbb{K}. \end{align} $$

Proof. By [Reference Pădurariu and TodaPTa, Lemma 4.9], it is enough to show that, for $\mathcal {F} \in \mathrm {MF}_T(\mathcal {X}(d), \mathop {\mathrm {Tr}}\nolimits W)$ supported on $\pi ^{-1}(\Delta )$ , its image under the forget-the-potential map (1.8):

(4.2) $$ \begin{align} \Theta([\mathcal{F}]):=[\mathcal{F}^{0}]-[\mathcal{F}^1] \in K_T(\mathrm{MF}(\mathcal{X}(d), 0)) =\mathbb{K}[z_1^{\pm 1}, \ldots, z_d^{\pm d}]^{\mathfrak{S}_d} \end{align} $$

is divisible by $(q_1-1)^{d-1}(q_2-1)^{d-1}(q_1 q_2-1)^{d-1}$ . We consider the morphism

$$ \begin{align*} h \colon \mathbb{C}^{d-1} \setminus \{0\} &\to \mathrm{Crit}(\mathop{\mathrm{Tr}}\nolimits W_d) \subset \mathfrak{g}^{\oplus 3}\\ (t_1, \ldots, t_{d-1}) &\mapsto \left(0, 0, (t_1, \ldots, t_{d-1}, 0) \right), \end{align*} $$

where $(t_1, \ldots , t_{d-1}, 0)$ is the diagonal matrix. Let $T=(\mathbb {C}^{\ast })^2$ act on $\mathbb {C}^{d-1}$ with weight $q_1^{-1}q_2^{-1}$ , and let the maximal torus $T(d) \subset GL(d)$ act on $\mathbb {C}^{d-1}$ trivially. Then the above morphism h is $T \times T(d)$ -equivariant, so it induces a morphism

$$ \begin{align*} h \colon (\mathbb{C}^{d-1}\setminus \{0\})/(T \times T(d)) \to \mathfrak{g}^{\oplus 3}/(T \times T(d)) \to \mathfrak{g}^{\oplus 3}/(T \times GL(d)). \end{align*} $$

By the localization sequence

$$ \begin{align*} K_{T \times T(d)}(\{0\}) \to K_{T \times T(d)}(\mathbb{C}^{d-1}) \to K_{T \times T(d)}(\mathbb{C}^{d-1} \setminus \{0\}) \to 0, \end{align*} $$

we have an isomorphism

$$ \begin{align*} K_{T \times T(d)}(\mathbb{C}^{d-1} \setminus \{0\}) \cong \mathbb{K}[z^{\pm 1}_1, \ldots, z^{\pm 1}_d]/(1-q_1^{-1}q_2^{-1})^{d-1}. \end{align*} $$

Note that we have

$$ \begin{align*} \pi \circ h(t_1, \ldots, t_{d-1})=\{(0, 0, t_1), \ldots, (0, 0, t_{d-1}), (0, 0, 0)\} \in \mathrm{Sym}^d(\mathbb{C}^3), \end{align*} $$

in particular the image of h does not intersect $\pi ^{-1}(\Delta ) \subset \mathrm {Crit}(\mathop {\mathrm {Tr}}\nolimits W_d)$ . We thus have that

$$\begin{align*}h^{\ast}(\Theta([\mathcal{F}]))=0\text{ in }K_{T \times T(d)}(\mathbb{C}^{d-1} \setminus \{0\}).\end{align*}$$

Therefore, the element (4.2) is divisible by $(q_1 q_2-1)^{d-1}$ . By replacing h with

$$ \begin{align*} (t_1, \ldots, t_{d-1}) &\mapsto (0, (t_1, \ldots, t_{d-1}, 0), 0), \\ (t_1, \ldots, t_{d-1}) & \mapsto ((t_1, \ldots, t_{d-1}, 0), 0, 0), \end{align*} $$

the element (4.2) is also divisible by $(q_1-1)^{d-1}$ , $(q_2-1)^{d-1}$ , respectively.

By combining the above lemma with Theorem 3.1, we obtain the following:

Corollary 4.2. For any object $\mathcal {E} \in \mathbb {T}_T(d)_v$ with $\gcd (d, v)=1$ , the element

$$ \begin{align*} i_{\ast}[\mathcal{E}] \in K_T(\mathcal{Y}(d))=\mathbb{K}[z_1^{\pm 1}, \ldots, z_d^{\pm 1}]^{\mathfrak{S}_d} \end{align*} $$

is divisible by Equation (4.1). In particular, the element $i_{\ast }[\mathcal {E}_{d, v}]$ in Equation (2.38) for $\gcd (d, v)=1$ is divisible by Equation (4.1).

Remark 4.3. It is not clear from the expression (2.38) that $i_{\ast }[\mathcal {E}_{d, v}]$ is divisible by Equation (4.1) when $\gcd (d, v)=1$ . Further, the condition $\gcd (d, v)=1$ is necessary for the above divisibility. Indeed, for $d=2$ , a direct computation shows that

$$ \begin{align*} i_{\ast}[\mathcal{E}_{2, 0}]&= (1-q_1^{-1})(1-q_2^{-1})(1-q_1^{-1}-q_2^{-1}-q_1^{-1}q_2^{-1}+z_1^{-1}z_2+z_1 z_2^{-1}), \\ i_{\ast}[\mathcal{E}_{2, 1}]&= (1-q_1^{-1})(1-q_2^{-1})(1-q_1^{-1}q_2^{-1})(z_1+z_2). \end{align*} $$

The element $i_{\ast }[\mathcal {E}_{2, 0}]$ is not divisible by Equation (4.1). In particular, the singular support of $\mathcal {E}_{2, 0}$ is not included in $\pi ^{-1}(\Delta )$ .

4.2 Integral generator for the coprime case

Recall that $K_T(\mathbb {T}(d)_v)$ is expected to be torsion free as a $\mathbb {K}$ -module. We also expect that $K_T(\mathbb {T}(d)_v)$ is freely generated by $[\mathcal {E}_{d, v}]$ if $\gcd (d, v)=1$ . The following theorem, which is an application of Corollary 4.2, gives evidence towards this expectation.

Theorem 4.4. Consider a pair $(d, v)\in \mathbb {N}\times \mathbb {Z}$ with $\gcd (d, v)=1$ . There is an isomorphism of $\mathbb {K}$ -modules:

$$ \begin{align*} K_T(\mathbb{T}(d)_v)' \cong\mathbb{K}[\mathcal{E}_{d, v}]. \end{align*} $$

Proof. By the isomorphism (2.30), the $\mathbb {K}$ -module $K_T(\mathbb {T}(d)_v)'$ is isomorphic to the image of

$$ \begin{align*} i_{\ast} \colon K_T(\mathbb{T}(d)_v) \to \mathbb{K}[z_1^{\pm 1}, \ldots, z_d^{\pm}]^{\mathfrak{S}_d}. \end{align*} $$

It is enough to show that the image of the above morphism is generated by $i_{\ast }[\mathcal {E}_{d, v}]$ as a $\mathbb {K}$ -module. By Corollary 4.2, we have

$$ \begin{align*} \mathrm{Im}(i_{\ast}) \subset (q_1-1)^{d-1}(q_2-1)^{d-1}(q_1 q_2-1)^{d-1} \mathbb{K}[z_1^{\pm 1}, \ldots, z_d^{\pm 1}]^{\mathfrak{S}_d}. \end{align*} $$

Moreover, $\mathrm {Im}(i_{\ast })\otimes _{\mathbb {K}} \mathbb {F}$ is generated by $i_{\ast }[\mathcal {E}_{d, v}]$ over $\mathbb {F}$ by [Reference Pădurariu and TodaPTa, Theorem 4.12]. It is thus enough to show that $i_{\ast }[\mathcal {E}_{d, v}]$ is written as

$$ \begin{align*} i_{\ast}[\mathcal{E}_{d, v}] =(q_1-1)^{d-1}(q_2-1)^{d-1}(q_1 q_2-1)^{d-1} \cdot E, \end{align*} $$

where E is not divisible by a nonunit element in $\mathbb {K}$ .

By Equation (2.38), we have that

(4.3) $$ \begin{align} \mathrm{Sym}\left(\frac{z_1^{m_1}\ldots z_d^{m_d}}{(1-q^{-1}z_1^{-1}z_2)\cdots (1-q^{-1}z_{d-1}^{-1}z_d)} \cdot \prod_{j>i}\xi(z_i z_j^{-1})\right)=(q_1 q_2-1)^{d-1} \cdot E. \end{align} $$

By setting

(4.4) $$ \begin{align} f_d(z_1, \ldots, z_d):=\prod_{i=1}^{d-1}(z_{i+1}-q_1^{-1}z_i)&(z_{i+1}-q_2^{-1}z_i) \cdot \\&\prod_{j>i+1}(z_j-q_1^{-1}z_i)(z_j-q_2^{-1}z_i)(z_j-q z_i),\nonumber \end{align} $$

we can write Equation (4.3) as

(4.5) $$ \begin{align} (-q)^{-\frac{1}{2}(d-1)(d-2)}(z_1 \cdots z_d)^{2-d} \cdot \mathrm{Sym}\left(\frac{z_1^{m_1}\cdots z_{d-1}^{m_{d-1}}z_d^{m_d-1} f_d(z_1, \ldots, z_d)}{\prod_{j>i}(z_j-z_i)} \right). \end{align} $$

Plug in $z_i=q_1^i$ for $1\leqslant i\leqslant d$ in the formula (4.5). The only nonzero term in the sum above corresponds to the identity permutation. The factors of this term not in $\mathbb {K}^{*}$ divide

(4.6) $$ \begin{align} q_1^{a+1}-1,\, q_1^a-q_2^{-1},\text{ or }q_1^a-q_2\text{ for some }a\geqslant 1. \end{align} $$

Next, plug in $z_i=q_2^i$ for $1\leqslant i\leqslant d$ in the formula (4.5). The only nonzero term in the sum of Equation (4.5) corresponds to the identity permutation. The factors of this term not in $\mathbb {K}^{*}$ divide

(4.7) $$ \begin{align} q_2^{a+1}-1,\, q_2^a-q_1^{-1},\text{ or }q_2^a-q_1\text{ for some }a\geqslant 1. \end{align} $$

The only factors which divide terms in both sets (4.6) and (4.7) are $q_1-q_2$ and $q_1q_2-1$ . The factor $q_1q_2-1$ appears with multiplicity $d-1$ as it corresponds to $z_{i+1}-q_2^{-1}z_i$ for $1\leqslant i\leqslant d-1$ .

It suffices to show that $q_1-q_2$ does not divide Equation (4.5). We will be using computations from [Reference NeguţNeg22, Section 2]. Note that $q_1, q_2, q$ from our paper correspond to $q_1^{-1}, q_2^{-1}, q^{-1}$ in loc. cit. Further, the weight $v\in \mathbb {Z}$ corresponds to $k\in \mathbb {Z}$ in loc. cit. By [Reference NeguţNeg22, Equation (2.35)], the equality $P_{d, k}=E_{d, k}$ for $\gcd (d, k)=1$ in loc. cit. (see [Reference NeguţNeg22, Equations (2.6) and (2.35)]) and the isomorphism between shuffle algebras $\mathcal {S}_{\mathbb {F}}\xrightarrow {\sim }\mathcal {S}^{\prime }_{\mathbb {F}}$ , we can write

$$\begin{align*}(q_1q_2-1)^{d-1}\cdot E=y+t \text{ in }\mathcal{S}\otimes_{\mathbb{K}}\mathbb{K}\left[\frac{1}{1-q_2^{-1}}, \frac{1}{1-q^{-1}}\right] \end{align*}$$

for t a $\mathbb {K}$ -torsion element and

(4.8) $$ \begin{align} y:=\frac{(1-q_2^{-1})(1-q)^v}{(1-q_2^{-1})^v(1-q^{-1})}\cdot \mathrm{Sym}\left(\frac{z_1^{m_1}\ldots z_d^{m_d}}{(1-q_2z_1^{-1}z_2)\cdots (1-q_2z_{d-1}^{-1}z_d)} \cdot \prod_{j>i}\xi(z_i z_j^{-1})\right). \end{align} $$

It suffices to show that $q_1-q_2$ does not divide y. By setting

(4.9) $$ \begin{align} g_d(z_1, \ldots, z_d):=\prod_{i=1}^{d-1}(z_{i+1}-q_1^{-1}z_i)&(z_{i+1}-qz_i) \cdot \\&\prod_{j>i+1}(z_j-q_1^{-1}z_i)(z_j-q_2^{-1}z_i)(z_j-q z_i),\nonumber\end{align} $$

we can write the $\mathrm {Sym}(-)$ term of y as

(4.10) $$ \begin{align} (-q_2)^{-\frac{1}{2}(d-1)(d-2)}(z_1 \cdots z_d)^{2-d} \cdot \mathrm{Sym}\left(\frac{z_1^{m_1}\ldots z_{d-1}^{m_{d-1}}z_d^{m_d-1} g_d(z_1, \ldots, z_d)}{\prod_{j>i}(z_j-z_i)} \right). \end{align} $$

It suffices to show that $q_1-q_2$ does not divide Equation (4.10). Let $z_i=q^{-i}$ for $1\leqslant i\leqslant d$ . The only nonzero term in the sum of Equation (4.10) corresponds to the identity permutation. The factors of this term not in $\mathbb {K}^{*}$ divide

$$\begin{align*}q^{-a-1}-1, q^{-a}-q_1^{-1}, q^{-a}-q_1\text{ for some }a\geqslant 1.\end{align*}$$

None of these polynomials is divisible by $q_1-q_2$ , and the conclusion thus follows.

4.3 Integral generator for $K_T(\mathbb {T}(2)_0)'$

The computation of $K_T(\mathbb {T}(d)_v)'$ is more subtle when $\gcd (d, v)>1$ , since the monomials $[\mathcal {E}_{d_1, v_1}] \ast \cdots \ast [\mathcal {E}_{d_k, v_k}]$ for $v_i/d_i=v/d$ do not generate it over $\mathbb {K}$ ; see Remark 4.8. We need to find other objects giving $\mathbb {K}$ -basis of $K_T(\mathbb {T}(d)_v)'$ . Here, we give a computation for $(d, v)=(2, 0)$ .

Let V be a two-dimensional vector space, and let $\mathfrak {sl} \subset \mathfrak {g}=\mathrm {End}(V)$ be its traceless part. Note that

$$ \begin{align*} [\mathfrak{sl}]=1+z_1^{-1}z_2+z_1 z_2^{-1} \in K(BGL(2))=\mathbb{Z}[z_1^{\pm 1}, z_2^{\pm 1}]^{\mathfrak{S}_2}. \end{align*} $$

The structure sheaf of the classical truncation $\mathscr {C}(2)^{\mathrm {cl}}$ fits into the exact sequence

(4.11) $$ \begin{align} 0 \to \mathcal{O}_{\mathcal{Y}(2)}(q_1^{-1}q_2^{-2}) \oplus \mathcal{O}_{\mathcal{Y}(2)}(q_1^{-2}q_2^{-1}) \stackrel{A}{\to} \mathfrak{sl} \otimes \mathcal{O}_{\mathcal{Y}(2)}(q_1^{-1}q_2^{-1}) \stackrel{B}{\to} \mathcal{O}_{\mathcal{Y}(2)} \to \mathcal{O}_{\mathscr{C}(2)^{\mathrm{cl}}} \to 0. \end{align} $$

Here, over $(X, Y) \in \mathfrak {g}^{\oplus 2}$ , the maps A, B are given by

$$ \begin{align*} A|_{(X, Y)}=(2X-\mathop{\mathrm{Tr}}\nolimits X \cdot I, 2Y-\mathop{\mathrm{Tr}}\nolimits Y \cdot I), \ B|_{(X, Y)}(Z)=\mathop{\mathrm{Tr}}\nolimits(Z[X, Y]). \end{align*} $$

We set $M_1:=\mathcal {O}_{\mathscr {C}(2)^{\mathrm {cl}}}(q_1 q_2)$ . We also define a coherent sheaf $M_2$ on $\mathscr {C}(2)^{\mathrm {cl}}$ by the exact sequence

(4.12) $$ \begin{align} 0 \to \mathcal{O}_{\mathcal{Y}(2)}(q_1^{-1}q_2^{-1}) \stackrel{B^{\vee}}{\to} \mathfrak{sl} \otimes \mathcal{O}_{\mathcal{Y}(2)} \stackrel{A^{\vee}}{\to} \mathcal{O}_{\mathcal{Y}(2)}(q_1) \oplus \mathcal{O}_{\mathcal{Y}(2)}(q_2) \to M_2 \to 0. \end{align} $$

The sequences (4.11), (4.12) are the Eagon–Northcott complex and the Buchsbaum–Rim complex associated with $A^{\vee } \colon \mathfrak {sl} \otimes \mathcal {O}_{\mathcal {Y}(2)} \to \mathcal {O}_{\mathcal {Y}(2)}(q_1) \oplus \mathcal {O}_{\mathcal {Y}(2)}(q_2)$ , respectively. In particular they are exact; see [Reference EisenbudEis95, Theorem A2.10]. From the exact sequences (4.11), (4.12), we have $M_1, M_2 \in \mathbb {T}(2)_0$ .

Proposition 4.5. As a $\mathbb {K}$ -module, we have

(4.13) $$ \begin{align} K_T(\mathbb{T}(2)_0)'= \mathbb{K}[M_1] \oplus \mathbb{K}[M_2]. \end{align} $$

Proof. It is enough to show that the image of

(4.14) $$ \begin{align} i_{\ast} \colon K_T(\mathbb{T}(2)_0) \to \mathbb{K}[z_1^{\pm 1}, z_2^{\pm 1}]^{\mathfrak{S}_2} \end{align} $$

is generated by $i_{\ast }M_1$ , $i_{\ast }M_2$ and that $i_{\ast }M_1, i_{\ast }M_2$ are linearly independent over $\mathbb {F}$ . Below, we omit $i_{\ast }$ from the notation $i_{\ast }M_j$ . From the exact sequences (4.11), (4.12), we have

(4.15) $$ \begin{align} [M_1]=q_1 q_2+q_1^{-1}+q_2^{-1}-\mathfrak{sl}, \ [M_2]=q_1^{-1} q_2^{-1}+q_1+q_2-\mathfrak{sl}. \end{align} $$

A direct computation shows that

(4.16) $$ \begin{align} [\mathcal{E}_{1, 0} \ast \mathcal{E}_{1, 0}]&= 1+q_1^{-1}+q_2^{-1}+q_1^{-1}q_2^{-2}+q_1^{-2}q_2^{-1}+q_1^{-2}q_2^{-2}-2\mathfrak{sl} q_1^{-1}q_2^{-1} \\ \notag &=q_1^{-1}q_2^{-1}([M_1]+[M_2]), \\ \notag [\mathcal{E}_{2, 0}]&= (1-q_1^{-1})(1-q_2^{-1})(\mathfrak{sl}-q_1^{-1}-q_2^{-1}-q_1^{-1}q_2^{-1}) \\ \notag &=(q_1^{-1}+q_2^{-1})[M_1]-(q_1^{-1}q_2^{-1}+1)[M_2]. \end{align} $$

Here, $[\mathcal {E}_{1, 0} \ast \mathcal {E}_{1, 0}]$ is computed from Equation (2.29) and $[\mathcal {E}_{2, 0}]$ is computed from Equation (2.38). Therefore, we have

(4.17) $$ \begin{align} \mathbb{K}[\mathcal{E}_{2, 0}] \oplus \mathbb{K}[\mathcal{E}_{1, 0} \ast \mathcal{E}_{1, 0}] \subset \mathbb{K}[M_1] \oplus \mathbb{K}[M_2]. \end{align} $$

Since we have

(4.18) $$ \begin{align} \det \begin{pmatrix} q_1^{-1}q_2^{-1} & q_1^{-1} q_2^{-1} \\[4pt] q_1^{-1}+q_2^{-1} & -(q_1^{-1}q_2^{-1}+1) \\ \end{pmatrix} =-q_1^{-1}q_2^{-1}(1+q_1^{-1})(1+q_2^{-1}) \in \mathbb{K} \setminus \{0\}, \end{align} $$

the embedding (4.17) is an isomorphism after taking $\otimes _{\mathbb {K}} \mathbb {F}$ . In particular, $[M_1]$ , $[M_2]$ are linearly independent over $\mathbb {F}$ .

By the above argument, we have

$$ \begin{align*} K_T(\mathbb{T}(2)_0)\otimes_{\mathbb{K}}{\mathbb{F}}= \mathbb{F}[\mathcal{E}_{2, 0}] \oplus \mathbb{F}[\mathcal{E}_{1, 0} \ast \mathcal{E}_{1, 0}]= \mathbb{F}[M_1] \oplus \mathbb{F}[M_2], \end{align*} $$

where the first isomorphism is proved in [Reference Pădurariu and TodaPTa, Theorem 4.12]. It follows that any element in the image of Equation (4.14) is written as $a_1[M_1]+a_2[M_2]$ for $a_1, a_2 \in \mathbb {F}$ . As it lies in $\mathbb {K}[z_1^{\pm 1}, z_2^{\pm 1}]$ , from Equation (4.15) we have

$$ \begin{align*} a_1(q_1 q_2+q_1^{-1}+q_2^{-1})+a_2(q_1^{-1}q_2^{-1}+q_1+q_2) \in \mathbb{K}, \ a_1+a_2 \in \mathbb{K}. \end{align*} $$

By solving the above equation, there exist $b, c \in \mathbb {K}$ such that

(4.19) $$ \begin{align} a_1=\frac{b}{\Delta}, \ a_2=-\frac{b}{\Delta}+c, \end{align} $$

where $\Delta $ is given by

$$ \begin{align*} \Delta &:=q_1^{-1}+q_2^{-1}+q_1q_2-q_1-q_2-q_1^{-1} q_2^{-1} \\ &=q_1^{-1}q_2^{-1}(q_1-1)(q_2-1)(q_1 q_2-1). \end{align*} $$

It is enough to show that b is divisible by $\Delta $ . If $a_1, a_2$ are given by Equation (4.19), then $a_1[M_1]+a_2[M_2]=b+c[M_2]$ . As we assumed that $a_1[M_1]+a_2[M_2]$ lies in the image of Equation (4.14), by the wheel condition [Reference NeguţNeg23, Proposition 2.11] we have

(4.20) $$ \begin{align} (b+c[M_2])\big|_{z_i=q_1^{-1}z_j=q_1^{-1}q_2^{-1}z_k}= (b+c[M_2])\big|_{z_i=q_2^{-1}z_j=q_1^{-1}q_2^{-1}z_k}=0 \end{align} $$

unless $i=j=k$ ; see Remark 4.6. By setting $i=k=1$ and $j=2$ , we obtain $b|_{q_1 q_2=1}=0$ . Similarly, we also obtain $b|_{q_1=1}=b|_{q_2=1}=0$ , so b is divisible by $\Delta $ .

Remark 4.7. Note that

$$\begin{align*}\mathscr{C}(2)^{\mathrm{cl}}\cong[R/GL(2)] \times \mathbb{C}^2, \end{align*}$$

where R is the determinantal variety of $(3 \times 2)$ -matrices, and $M_1 \oplus M_2$ gives a noncommutative resolution of $R \times \mathbb {C}^2$ by [Reference Buchweitz, Leuschke and Van den BerghBLdB10, Theorem A].

Remark 4.9. For $(d, v)\in \mathbb {N}\times \mathbb {Z}$ with $\gcd (d, v)=1$ and $n\geqslant 1$ , let $P_{nd, nv}$ be defined as in [Reference NeguţNeg14, Equation (1.2)]:

(4.21) $$ \begin{align} P_{nd,nv}&:= \frac{(q_1^{-1}-1)^{nd}(q_2^{-1}-1)^{nd}}{(q_1^{-n}-1)(q_2^{-n}-1)}\cdot \\& \quad\text{Sym}\left( \frac{\prod_{i=1}^{nd} z_i^{\big\lfloor \frac{iv}{d}\big\rfloor-\big\lfloor \frac{(i-1)v}{d}\big\rfloor}}{\prod_{i=1}^{nd-1}\left(1-q^{-1}z_{i+1}z_i^{-1}\right)}\sum_{s=0}^{n-1}q^{-s}\frac{z_{d(n-1)+1}\ldots z_{d(n-s)+1}}{z_{d(n-1)}\ldots z_{d(n-s)}}\prod_{i<j}\xi\left(\frac{z_i}{z_j}\right) \right). \nonumber\end{align} $$

Then we have

(4.22) $$ \begin{align} P_{2, 0} =q_1^{-2}q_2^{-2}(q_1-1)(q_2-1)(q_1 q_2-1) =q_1^{-1}q_2^{-1}(M_1-M_2). \end{align} $$

Together with (4.16), we have

(4.23) $$ \begin{align} \mathbb{K}[P_{1, 0} \ast P_{1, 0}] \oplus \mathbb{K}[P_{2, 0}] \subsetneq \mathbb{K}[M_1] \oplus \mathbb{K}[M_2] \end{align} $$

with cokernel $\mathbb {Z}/2$ . The inclusion (4.23) is an isomorphism after $\otimes _{\mathbb {Z}} \mathbb {Q}$ .

More generally, we expect that

$$ \begin{align*} K_T(\mathbb{S}(nd)_{nv})_{\mathbb{Q}}^{\prime} = \bigoplus_{n_1+\cdots+n_k=n} \mathbb{K}_{\mathbb{Q}} [P_{n_1 d, n_1 v} \ast \cdots \ast P_{n_k d, n_k v}]. \end{align*} $$

More details will be discussed in [Reference Pădurariu and TodaPTb].

5.1 Preliminaries

Let $d\in \mathbb {N}$ . Recall the stack of representation of Q of dimension d:

$$\begin{align*}\mathcal{X}(d):=R(d)/G(d):=\mathfrak{g}^{\oplus 3}/GL(d).\end{align*}$$

In this section, we allow partitions which have terms equal to zero. For $w\in \mathbb {Z}$ , let $H_{d, w}$ be the set of partitions $(d_i, w_i)_{i=1}^k$ of $(d, w)$ with $d_i\geqslant 1$ for $i\in \{1,\ldots , k\}$ such that, for $v_i:=w_i-d_i\left (\sum _{i>j}d_j-\sum _{j>i}d_j\right )$ for $i\in \{1,\ldots , k\}$ , we have

(5.1) $$ \begin{align} \frac{v_1}{d_1}=\ldots=\frac{v_k}{d_k}. \end{align} $$

For a partition $A=(d_i, w_i)_{i=1}^k$ with terms possibly equal to zero, let $I\subset \{1,\ldots , k\}$ be the subset of i with $d_i\geqslant 1$ , and define the partition of $(d, w)$ with nonzero terms $\overline {A}:=(d_i, w_i)_{i\in I}$ .

5.1.1

For $\lambda $ and $\mu $ two cocharacters, let $A_{\lambda }$ be the set of $(T(d)\times T)$ -weights $\beta $ of $R(d)$ such that $\langle \lambda , \beta \rangle>0$ , let $I^{\mu }_{\lambda }\subset A_{\lambda }$ be the set of weights such that $\langle \mu , \beta \rangle <0$ and let $A^{\mu }_{\lambda }\subset A_{\lambda }$ be the set of weights such that $\langle \mu , \beta \rangle =0$ . Let $J^{\mu }_{\lambda }$ be the set of weights $\beta $ of $\mathfrak {g}$ such that $\langle \lambda , \beta \rangle>0$ and $\langle \mu , \beta \rangle <0$ . Define the weights

$$ \begin{align*} N^{\mu}_{\lambda}:=\sum_{I^{\mu}_{\lambda}}\beta,\ \mathfrak{g}^{\mu}_{\lambda}:=\sum_{J^{\mu}_{\lambda}}\beta. \end{align*} $$

5.1.2

Let $\lambda $ and $\mu $ be dominant cocharacters of $T(d)$ with associated partitions $A=(d_i)_{i=1}^k$ and $B=(e_i)_{i=1}^s$ , respectively. Let $W\cong \mathfrak {S}_d$ be the Weyl group of $GL(d)$ , let $W^{\lambda }\cong \times _{i=1}^k \mathfrak {S}_{d_i}$ be the Weyl group of $GL(d)^{\lambda }$ and let $W^{\mu }$ be the Weyl group of $GL(d)^{\mu }$ . Define the set of cosets

$$\begin{align*}S^{\mu}_{\lambda}:= W^{\mu}\backslash W/W^{\lambda}.\end{align*}$$

A coset $C\in S^{\mu }_{\lambda }$ corresponds to partitions $(f_{ij})$ for $1\leqslant i\leqslant k$ and $1\leqslant j\leqslant s$ such that

$$ \begin{align*} \sum_{j=1}^s f_{ij}=d_i\mbox{ for }1\leqslant i\leqslant k, \ \sum_{i=1}^k f_{ij}=e_j\mbox{ for }1\leqslant j\leqslant s. \end{align*} $$

Let $\nu $ be a dominant cocharacter corresponding to the partition

(5.2) $$ \begin{align} (f_{11},\cdots, f_{1s}, f_{21},\cdots, f_{2s}, \cdots, f_{k1},\cdots, f_{ks}), \end{align} $$

and let $\kappa $ be a dominant cocharacter corresponding to the partition

(5.3) $$ \begin{align} (f_{11},\cdots, f_{k1}, f_{12},\cdots, f_{k2}, \cdots, f_{1s},\cdots, f_{ks}). \end{align} $$

Consider the permutation w of $\mathfrak {S}_d$ of minimal length which permutes blocks of consecutive integers

(5.4) $$ \begin{align} w&=w_C\colon (f_{11},\cdots, f_{1s}, f_{21},\cdots, f_{2s}, \cdots, f_{k1},\cdots, f_{ks})\mapsto \\&\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad(f_{11},\cdots, f_{k1}, f_{12},\cdots, f_{k2}, \cdots, f_{1s},\cdots, f_{ks}). \nonumber\end{align} $$

Consider the partition

(5.5) $$ \begin{align} D=(f_{ij}, u_{ij}), \end{align} $$

where $f_{ij}$ are ordered as on Equation (5.2), and assume that $\overline {D}$ is in $H_{d,w}$ . Then there also exists a partition E with terms $(f_{ij}, \widetilde {u}_{ij})$ where $f_{ij}$ are ordered as on Equation (5.3) such that $\overline {E}$ is in $H_{d, w}$ . Consider the order $1\leqslant l\leqslant ks$ of the pairs $(i, j)$ as on the first line on Equation (5.4). Define the functor

(5.6) $$ \begin{align} \text{sw}_C: \boxtimes_{l=1}^{ks} \mathbb{M}(f_{l})_{u_{l}}&\to \boxtimes_{l=1}^{ks}\mathbb{M}(f_{w(l)})_{\widetilde{u}_{w(l)}}, \\ \notag\boxtimes_{l=1}^{ks} \mathcal{A}_{l} &\mapsto \boxtimes_{l=1}^{ks} \mathcal{A}_{w(l)} \end{align} $$

which permutes the factors as in Equation (5.4). Define

$$ \begin{align*} \widetilde{\text{sw}}_C\colon \boxtimes_{i=1}^k \boxtimes_{j=1}^s \mathbb{M}(f_{ij})_{u_{ij}}&\to \boxtimes_{j=1}^s \boxtimes_{i=1}^k \mathbb{M}(f_{ij})_{\widetilde{u}_{ij}},\\ \mathcal{A}&\mapsto \mathrm{sw}_{C}\left( \mathcal{A}\otimes \mathcal{O}(-N^{w^{-1}\mu}_{\lambda}+\mathfrak{g}^{w^{-1}\mu}_{\lambda})[|I^{w^{-1}\mu}_{\lambda}|-|J^{w^{-1}\mu}_{\lambda}|] \right), \end{align*} $$

where $\mathcal {O}(-N^{w^{-1}\mu }_{\lambda }+\mathfrak {g}^{w^{-1}\mu }_{\lambda })$ is a one-dimensional representation of $G^{\nu }\cong G^{\kappa }$ . Consider the maps

$$\begin{align*}\mathcal{X}(d)^{\kappa}\xleftarrow{q_{\kappa^{-1}\mu}}\left(\mathcal{X}(d)^{\mu}\right)^{\kappa^{-1}\geqslant 0}\xrightarrow{p_{\kappa^{-1}\mu}}\mathcal{X}(d)^{\mu}.\end{align*}$$

Finally, define

$$\begin{align*}\widehat{m}_{DE}=p_{\kappa^{-1}\mu*}q_{\kappa^{-1}\mu}^{*} \widetilde{\text{sw}}_C\colon \mathbb{M}_C\to \mathbb{M}_B.\end{align*}$$

There are analogous such functors for categories of (equivariant and/ or graded) matrix factorizations

$$\begin{align*}\widehat{m}_{CB}\colon \mathbb{S}^{\bullet}_{\ast, C}\to \mathbb{S}^{\bullet}_{\ast, B}.\end{align*}$$

5.1.3

We introduce some more maps and functors needed in the rest of this section. Let $\lambda $ and $\mu $ be dominant cocharacters, and let $\nu $ be a dominant cocharacter corresponding to a partition in $S^{\mu }_{\lambda }$ . The map $p_{\lambda ^{-1}}$ factors as $p_{\lambda ^{-1}}=\pi _{\lambda ^{-1}} \iota _{\lambda ^{-1}}$ , where

$$ \begin{align*} \pi_{\lambda^{-1}}&: R(d)/G(d)^{\lambda^{-1}\geqslant 0}\to R(d)/G(d),\\ \iota_{\lambda^{-1}}&: R(d)^{\lambda^{-1}\geqslant 0}/G(d)^{{\lambda^{-1}}\geqslant 0}\to R(d)/G(d)^{{\lambda^{-1}}\geqslant 0}. \end{align*} $$

There are similarly defined maps

$$ \begin{align*} \pi_{\kappa^{-1}\mu}&: R(d)^{\mu}/\left(G(d)^{\mu}\right)^{{\kappa^{-1}}\geqslant 0}\to R(d)^{\mu}/G(d)^{\mu},\\ \iota_{\kappa^{-1}\mu}&: \left(R(d)^{\mu}\right)^{\kappa^{-1}\geqslant 0}/\left(G(d)^{\mu}\right)^{\kappa^{-1}\geqslant 0}\to R(d)^{\mu}/\left(G(d)^{\mu}\right)^{\kappa^{-1}\geqslant 0}. \end{align*} $$

5.1.4

Let $\mu $ be a dominant cocharacter of $T(d)$ , let $b\in \mathbb {Z}$ and let $D^b\left (\mathcal {X}(d)^{\mu \geqslant 0}\right )_{\leqslant b}$ be the subcategory of $D^b\left (\mathcal {X}(d)^{\mu \geqslant 0}\right )$ generated by complexes $q_{\mu }^{*}\mathcal {A}$ for $\mathcal {A}\in D^b\left (\mathcal {X}(d)^{\mu }\right )_i$ and $i\leqslant b$ . There is a semiorthogonal decomposition

$$\begin{align*}D^b\left(\mathcal{X}(d)^{\mu\geqslant 0}\right)_{\leqslant b}=\Big\langle D^b\left(\mathcal{X}(d)^{\mu\geqslant 0}\right)_{\leqslant b-1}, D^b\left(\mathcal{X}(d)^{\mu\geqslant 0}\right)_{b} \Big\rangle,\end{align*}$$

and there are equivalences $q_{\mu }^{*}: D^b\left (\mathcal {X}(d)^{\mu }\right )_{b}\xrightarrow {\sim } D^b\left (\mathcal {X}(d)^{\mu \geqslant 0}\right )_{b}$ . We define the functor

$$\begin{align*}\beta_b: D^b\left(\mathcal{X}(d)^{\mu\geqslant 0}\right)_{\leqslant b}\to D^b\left(\mathcal{X}(d)^{\mu\geqslant 0}\right)_{b} \end{align*}$$

to be the projection with respect to the above semiorthogonal decomposition.

5.1.5

Let $B=(d_i, w_i)_{i=1}^k$ be a partition of $(d, w)$ in $H_{d, w}$ . Let $\mu $ be a dominant cocharacter for the partition $(d_i)_{i=1}^k$ , and let $b:=\frac {n_{\mu }}{2}=\langle \mu , \mathfrak {g}^{\mu>0} \rangle $ ; see Equation (2.3) for the definition of $n_{\lambda }$ .

Lemma 5.1. There is a functor

(5.7) $$ \begin{align} \widetilde{\Delta}_B:=\left(q_{\mu}^{*}\right)^{-1}\beta_b\, p_{\mu}^{*}: \mathbb{M}(d)_w\to \mathbb{M}_B:=\boxtimes_{i=1}^k \mathbb{M}(d_i)_{w_i}. \end{align} $$

Proof. First, note that the image of $p_{\mu }^{*}\left (\mathbb {M}(d)_w\right )$ is in $D^b(\mathcal {X}(d)^{\mu \geqslant 0})_{\leqslant b}$ from the description of the category $\mathbb {M}(d)_w$ in Lemma 2.2. Thus, the image of $\widetilde {\Delta }_B$ is in $D^b(\mathcal {X}(d)^{\mu })_b$ . Also, note that the category $\mathbb {M}_B$ is a subcategory of $D^b(\mathcal {X}(d)^{\mu })_b$ because $B=(d_i, w_i)_{i=1}^k$ is in $H_{d,w}$ .

Let $\chi $ be a dominant weight of $T(d)$ such that $\chi +\rho \in \textbf {W}(d)_{w}$ . If $\chi +\rho $ is not on the face $F(\mu )$ of the polytope $\textbf {W}(d)$ , then

$$\begin{align*}\beta_b p_{\mu}^{*}\left(\mathcal{O}_{\mathcal{X}(d)}\otimes \Gamma_{GL(d)}(\chi)\right)=0. \end{align*}$$

If $\chi +\rho $ is on the face $F(\mu )$ , then by [Reference PădurariuPăda, Corollary 3.4] we can write

(5.8) $$ \begin{align} \chi+\rho-w\tau_d=\frac{1}{2}N^{\mu>0}+\sum_{i=1}^k\left(\psi_i+\rho_i\right), \end{align} $$

where $\psi _i \in M(d_i)$ and $\psi _i+\rho _i\in \textbf {W}(d_i)_0$ . In particular, we have that

$$\begin{align*}\chi=\sum_{i=1}^k \psi_i +\mathfrak{g}^{\mu>0}+w\tau_d.\end{align*}$$

Write $\chi =\sum _{i=1}^k \chi _i$ . We have

$$ \begin{align*} \langle 1_{d_i}, \chi_i \rangle= \frac{d_i w}{d}+\langle 1_{d_i}, \mathfrak{g}^{\mu>0}\rangle=v_i+\langle 1_{d_i}, \mathfrak{g}^{\mu>0}\rangle=w_i. \end{align*} $$

Further, we have that $\chi _i=\psi _i+w_i\tau _{d_i}$ , so $\chi _i+\rho _i\in \textbf {W}(d_i)_{w_i}$ . Therefore, we have

$$\begin{align*}\left(q_{\mu}^{*}\right)^{-1}\beta_b\, p_{\mu}^{*}\left(\mathcal{O}_{\mathcal{X}(d)}\otimes \Gamma_{GL(d)}(\chi)\right)=\boxtimes_{i=1}^k\left(\mathcal{O}_{\mathcal{X}(d_i)}\otimes \Gamma_{GL(d_i)}(\chi_i)\right)\in \mathbb{M}_B.\\[-37pt] \end{align*}$$

Let $\chi $ be a dominant weight with $\chi +\rho \in \textbf {W}(d)$ . Note that

(5.9) $$ \begin{align} \widetilde{\Delta}_B\left(\mathcal{O}_{\mathcal{X}(d)}\otimes \Gamma_{GL(d)}(\chi)\right)= \begin{cases} \mathcal{O}_{\mathcal{X}(d)^{\mu}}\otimes \Gamma_{GL(d)^{\mu}}(\chi),\text{ if }\chi\in F(\mu),\\ 0,\text{ otherwise}. \end{cases} \end{align} $$

The functor (5.7) induces a functor

(5.10) $$ \begin{align} \widetilde{\Delta}_B:=\left(q_{\mu}^{*}\right)^{-1}\beta_b\, p_{\mu}^{*}: \mathbb{S}^{\bullet}_{\ast}(d)_w\to \mathbb{S}^{\bullet}_{\ast, B}. \end{align} $$

Let $A=(d_i, w_i)_{i=1}^k$ and $C=(f_i, u_i)_{i=1}^{l}$ be partitions in $H_{d,w}$ such that C is a refinement of A; see Subsection 2.2.6. One can analogously define functors

$$ \begin{align*} \widetilde{\Delta}_{AC}\colon \mathbb{M}_A\to \mathbb{M}_C, \ \widetilde{\Delta}_{AC}\colon \mathbb{S}^{\bullet}_{\ast, A}\to \mathbb{S}^{\bullet}_{\ast, C} \end{align*} $$

for categories $\mathbb {S}^{\bullet }_{\ast }$ as in Subsection 2.6.2.

5.2 Compatibility between the product and the coproduct

In this section, we show that $\widetilde {m}$ and $\widetilde {\Delta }$ are compatible. Recall the forget-the-potential map (1.8):

$$\begin{align*}\Theta\colon K_T\left(\mathrm{MF}\left(\mathcal{X}(d), \mathop{\mathrm{Tr}}\nolimits W\right)\right)\to K_T\left(\mathrm{MF}(\mathcal{X}(d), 0)\right).\end{align*}$$

Recall that $K_T(\mathbb {S}_A)_{\mathbb {F}}\hookrightarrow K_T(\mathbb {M}_A)_{\mathbb {F}}$ ; see [Reference Pădurariu and TodaPTa, Theorem 4.12 and Equation (4.36)]. Let

$$\begin{align*}K_T(\mathbb{S}_A)':= K_T\left(\mathbb{S}_A\right)/ (\mathbb{K}\text{-torsion}) \stackrel{\cong}{\to} \text{image}\left(\Theta\colon K_T(\mathbb{S}_A)\to K_T(\mathbb{M}_A) \right).\end{align*}$$

Theorem 5.2. Consider a pair $(d, w)\in \mathbb {N}\times \mathbb {Z}$ . Let $\lambda $ and $\mu $ be dominant cocharacters with associated partitions $A=(d_i, w_i)_{i=1}^k$ and $B=(e_i, v_i)_{i=1}^s$ in $H_{d, w}$ . Let $S^B_A\subset S^{\mu }_{\lambda }$ be the set of partitions $C=(f_i, u_i)_{i=1}^l$ with $l=ks$ with $\overline {C}$ in $H_{d,w}$ and such that

$$ \begin{align*} f_{(i-1)s+1}+f_{(i-1)s+2}+\ldots+f_{is}&=d_i\text{ for }1\leqslant i\leqslant k,\\ f_j+f_{s+j}+\ldots+f_{(k-1)s+j}&=e_j\text{ for }1\leqslant j\leqslant s. \end{align*} $$

Then the following diagram commutes:

Theorem 5.2 is a T-equivariant version of [Reference PădurariuPăda, Theorem 5.2], and the same proof works to show this statement. However, we present an alternative proof which first proves a categorical statement about complexes in $D^b(\mathcal {X}(d)^{\mu })$ which is stronger than the results in loc. cit. and is of independent interest for computations in categorical Hall algebras.

Note that the compatibility of the product and coproduct for localized K-theory, either in the above setting or in the setting of Corollary 5.6, follows by a direct computation and Propositions 5.7 and 5.8.

Proposition 5.3. Let $A, B$ be as in Theorem 5.2. For $1\leqslant i\leqslant k$ , let $\chi _i$ be a dominant weight of $T(d_i)$ for $1\leqslant i\leqslant k$ such that $\chi _i+\rho _i\in \mathbf {W}(d_i)$ . Let $\chi :=\sum _{i=1}^k \chi _i$ . For any $C\in S^B_A$ , there are natural maps,

(5.11) $$ \begin{align} \widehat{m}_{CB} \widetilde{\Delta}_{AC}\left(\mathcal{O}_{\mathcal{X}(d)^{\lambda}}\otimes \Gamma_{GL(d)^{\lambda}}(\chi)\right)\to \widetilde{\Delta}_B \widetilde{m}_A\left(\mathcal{O}_{\mathcal{X}(d)^{\lambda}}\otimes \Gamma_{GL(d)^{\lambda}}(\chi)\right) \end{align} $$

such that there is an isomorphism

(5.12) $$ \begin{align} \bigoplus_{C\in S^B_A} \widehat{m}_{CB}\widetilde{\Delta}_{AC}\left( \mathcal{O}_{\mathcal{X}(d)^{\lambda}}\otimes \Gamma_{GL(d)^{\lambda}}(\chi)\right)\xrightarrow{\sim} \widetilde{\Delta}_B \widetilde{m}_A\left(\mathcal{O}_{\mathcal{X}(d)^{\lambda}}\otimes \Gamma_{GL(d)^{\lambda}}(\chi)\right). \end{align} $$

Proof of Theorem 5.2.

By Proposition 5.3, the following diagram commutes:

The maps $\widetilde {m}$ and $\widetilde {\Delta }$ are compatible with the forget-the-potential map (1.8) by [Reference PădurariuPăd22, Proposition 3.6] and [Reference PădurariuPăda, Proposition 5.1], respectively. The conclusion thus follows.