Strange duality on \(\mathbb{P}^2\) via quiver representations (Q2217533)

Given a smooth complex projective variety \(X\), together with its Grothendieck group \(K(X)\) of coherent sheaves. Given two classes \(u,c\in K(X)\) that is orthogonal with respect to the quadratic form \(\chi(u\otimes c)=\sum_{i\geq0}(-1)^i\chi(\mathrm{Tor}^i(\mathcal{F},\mathcal{G}))\), where \(\mathcal{F}\in u, \mathcal{G}\in c\). Fix an ample line bundle \(H\) on \(X\), denoted by \(M_X^H(u)\) and \(M_X^H(c)\) the moduli spaces of \(H\)-semistable sheaves of classes \(u\) and \(c\), respectively, assume there are well-defined determined line bundles \(\lambda_u(c)\) and \(\lambda_c(u)\) over \(M_X^H(u)\) and \(M_X^H(c)\), respectively. Then there exists a map called ``strange duality'' \[ SD_{c,u}: H^0(M_X^H(c),\lambda_c(u))^\vee\to H^0(M_X^H(u),\lambda_u(c)). \] Le Potier's strange duality conjecture states that \(SD_{c,u}\) is an isomorphism. In this paper, the author studies the strange duality conjecture for the case \(X=\mathbb{P}^2, c=c_n^r\) and \(u=u_d\), where \(c_n^r\) is the class of sheaves of rank \(r\) with \(c_1=0\) and \(c_2=n\), \(u_d\) is the class of sheaves of dimension 1 with determinant \(\mathcal{O}_{\mathbb{P}^2}(d)\) and trivial Euler characteristic. Via the techniques of quiver representation theory, the author confirms the strange duality conjecture in the following sense: \begin{enumerate} \item \(SD_{c_n^r,u_d}\) is an isomorphism when \((n=r,r>0,d>0)\) and \((n=r+1,r>0,d>0)\); \item \(SD_{c_n^r,u_d}\) is an isomorphism when \((n\geq r,r>0,d=1)\), \((n\geq r,r>0,d=2)\) and \((n\geq r,r>0,d=3)\); \item \(SD_{c_n^r,u_d}\) is an injection when \((n\geq r+2,r>0,d>0)\). \end{enumerate}