Strange duality on rational surfaces. II: Higher-rank cases

Abstract: We study Le Potier's strange duality conjecture on a rational surface. We focus on the strange duality map

S D_{c_{n}^{r}, L}

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

L

and Euler characteristic 0. We show there is an exact sequence relating the map

S D_{c_{r}^{r}, L}

to

S D_{c_{r}^{r - 1}, L}

and

S D_{c_{r}^{r}, L o t i m e s K_{X}}

for all

r g e q 1

under some conditions on

X

and

L

which applies to a large number of cases on

p^{2}

or Hirzebruch surfaces . Also on

m a t h b b P^{2}

we show that for any

r > 0

,

S D_{c_{r}^{r}, d H}

is an isomorphism for

d = 1, 2

, injective for

d = 3

and moreover

S D_{c_{3}^{3}, r H}

and

S D_{c_{3}^{2}, r H}

are injective. At the end we prove that the map

S D_{c_{n}^{2}, L}

(

n g e q 2

) is an isomorphism for

X = m a t h b b P^{2}

or Fano rational ruled surfaces and

g_{L} = 3

, and hence so is

S D_{c_{3}^{3}, L}

as a corollary of our main result.

Recommendations

Cited in

(9)

This page was built for publication: Strange duality on rational surfaces. II: Higher-rank cases