Strange duality on P^2 via quiver representations

From MaRDI portal
Publication:2217533



Abstract: We study Le Potier's strange duality conjecture on mathbbP2. We focus on the strange duality map SDcnr,d which involves the moduli space of rank r sheaves with trivial first Chern class and second Chern class n, and the moduli space of 1-dimensional sheaves with determinant mathcalOmathbbP2(d) and Euler characteristic 0. By using tools in quiver representation theory, we show that SDcnr,d is an isomorphisms for r=n or r=n−1 or dleq3, and in general SDcnr,d is injective for any ngeqr>0 and d>0.


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}



Cites work









This page was built for publication: Strange duality on \(\mathbb{P}^2\) via quiver representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217533)