2019/11/25 by Drew Johnson, Johnson, Drew
Computer Science · Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Polynomial and algebraic computation #math.AG
paper · pdf · doi:10.48550/arxiv.1911.10962
24 pages
arxiv created 2019/11/25 · arxiv updated 2019/11/26
We examine a sequence of examples of pairs of moduli spaces of sheaves on \mathbb P2 where Le Potier's strange duality is expected to hold. One of the moduli spaces in these pairs is the Hilbert scheme of two points. We compute the sections of the relevant theta bundle as a representation of SL(X), where \mathbb P2=\mathbb P(X). For the higher rank space, we construct a moduli space using the resolution of exceptional bundles from Coskun, Huizenga, and Woolf. We compute a subspace of the sections of the theta bundle which is dual to the sections on the Hilbert scheme. In the second part, we use a result from Goller and Lin to rigorously apply the "finte Quot scheme method", introduced in Marian and Oprea, and Bertram, Goller, and Johnson. This requires us to prove that the kernels in appearing in the Quot scheme have the appropriate resolution by exceptional bundles.