Sections du fibré déterminant sur l'espace de modules des faisceaux semi-stables de rang 2 sur le plan projectif

Danila, Gentiana

Annales de l'Institut Fourier, Tome 50 (2000) no. 5, pp. 1323-1374.

La conjecture de “dualité étrange” de Le Potier donne un isomorphisme entre l’espace des sections du fibré déterminant sur deux espaces de modules différents de faisceaux semi-stables sur le plan projectif ${\mathbb{P}}_2$. Si on considère deux classes orthogonales $c,u$ dans l’algèbre de Grothendieck $\mathrm{K}\left({\mathbb{P}}_2\right)$ telles que $c$ est de rang strictement positif et $u$ est de rang zéro, on note ${\mathrm{M}}_c$ et ${\mathrm{M}}_u$ les espaces de modules de faisceaux semi-stables de classe $c$, respectivement $u$, sur ${\mathbb{P}}_2$. Il existe sur ${\mathrm{M}}_c$ (resp. ${\mathrm{M}}_u$) un fibré déterminant ${𝒟}_u$ (resp. ${𝒟}_c$) et le produit tensoriel externe ${𝒟}_u\times {𝒟}_c$ sur l’espace produit ${\mathrm{M}}_c\times {\mathrm{M}}_u$ a une section canonique ${\sigma }_{c,u}$ qui fournit une application linéaire ${\mathrm{D}}_{c,u}:{\mathrm{H}}^0({\mathrm{M}}_u,{𝒟}_c{)}^{*}\to {\mathrm{H}}^0({\mathrm{M}}_c,{𝒟}_u)$. Si ${\mathrm{M}}_c$ n’est pas vide, la conjecture affirme que ${\mathrm{D}}_{c,u}$ est un isomorphisme. Nous prouvons la conjecture dans le cas particulier où $c$ est de rang $2$, avec première classe de Chern nulle et deuxième classe de Chern $c_2\left(c\right)\le 19$, et $u$ est de degré $d\left(u\right)=1$ et de caractéristique d’Euler-Poincaré nulle. Nous calculons dans ce cas la dimension de l’espace des sections globales du fibré déterminant sur ${\mathrm{M}}_n={\mathrm{M}}_c$.

Le Potier’s “Strange Duality” conjecture gives an isomorphism between the space of sections of the determinant bundle on two different moduli spaces of semi-stable sheaves on the projective plane ${\mathbb{P}}_2$. If we consider two orthogonal classes $c,u$ in the Grothendieck algebra $\mathrm{K}\left({\mathbb{P}}_2\right)$ such that $c$ is of positive rank and $u$ of rank zero, we call ${\mathrm{M}}_c$ and ${\mathrm{M}}_u$ the moduli spaces of semi-stable sheaves of class $c$, respectively $u$ on ${\mathbb{P}}_2$. There exists on ${\mathrm{M}}_c$ (resp. ${\mathrm{M}}_u$) a determinant bundle ${𝒟}_u$ (resp. ${𝒟}_c$) and the product fibre bundle ${𝒟}_u\times {𝒟}_c$ on the product space ${\mathrm{M}}_c\times {\mathrm{M}}_u$ has a canonical section ${\sigma }_{c,u}$ which provides a linear application ${\mathrm{D}}_{c,u}:{\mathrm{H}}^0({\mathrm{M}}_u,{𝒟}_c{)}^{*}\to {\mathrm{H}}^0({\mathrm{M}}_c,{𝒟}_u)$. If ${\mathrm{M}}_c$ is not empty, ${\mathrm{D}}_{c,u}$ is conjectured to be an isomorphism. We prove the conjecture in the particular case where $c$ is of rank $2$, zero first Chern class and second Chern class $c_2\left(c\right)\le 19$, and $u$ is of degree $d\left(u\right)=1$ and zero Euler-Poincaré characteristic. We compute in this case the dimension of the space of global sections of the determinant bundle on ${\mathrm{M}}_n={\mathrm{M}}_c$.

[Bar1] W. Barth, Some properties of rank-2 bundles on ℙn, Math. Annalen, 226 (1976), 125-150. | MR | Zbl

[Bar2] W. Barth, Moduli of vector bundles on projective plane, Inventiones Math., 42 (1977), 63-91. | MR | Zbl

[Bott] R. Bott, Homogeneous vector bundles, Ann. of Math., (2) 66 (1957), 203-248. | MR | Zbl

[Bour] N. Bourbaki, Éléments de mathématiques, fascicule VII, livre II, Algèbre, chapitre 3, Algèbre multilinéaire, Hermann (1958).

[Bout] J. F. Boutot, Singularités rationnelles et quotients par les groupes réductifs, Invent. Math., 88 (1987), 65-68. | MR | Zbl

[CKM] H. Clemens, J. Kollàr and S. Mori, Higher Dimensional Complex Geometry, Astérisque, 166 (1988), page 52, thm.8.3. | Numdam | Zbl

[D1] G. Danila, Sur la cohomologie du fibré tautologique sur le schéma de Hilbert Hilbm(ℙ2), Prépublication de l'Institut de Mathématiques de Jussieu (avril 1999), e.print alg-geom math/9904004, à paraître dans Journal of Algebraic Geometry. | Zbl

[D2] G. Danila, Formule de Verlinde et dualité étrange sur le plan projectif, Thèse de l'Université Paris 7, novembre 1999.

[Dema] J.-P. Demailly, Vanishing theorems for tensor power of an ample vector bundle Invent. Math., 91, n° 1 (1988), 203-220. | MR | Zbl

[ES] G. Ellingsrud and S. A. Strømme, On the homology of the Hilbert scheme of points in the plane, Invent. Math., 87 (1987), 343-352. | MR | Zbl

[FH] W. Fulton and J. Harris, Representation Theory, Springer-Verlag, 1996. | Zbl

[Grot] A. Grothendieck, Local cohomology, Lecture Notes Series, 41 (1967). | Zbl

[Hart] R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics 52, Springer-Verlag, 1977. | MR | Zbl

[He] Min He, Espaces de modules de systèmes cohérents, Int. J. of Maths., Vol 9, 5 (1998), 545-598. | MR | Zbl

[LeP1] J. Le Potier, Fibré déterminant et courbes de saut sur les surfaces algébriques, Complex projective Geometry, London Mathematical Society, Lecture Notes Series, 179 (1992), 213-240. | MR | Zbl

[LeP2] J. Le Potier, Faisceaux semi-stables et systèmes cohérents, Proceedings de la Conference de Durham (juillet 1993), Cambridge University Press, 1995, 179-239. | MR | Zbl

[LeP3] J. Le Potier, Dualité étrange sur le plan projectif, Exposé donné à Luminy en décembre 1996.

[LiE] M. A. A. Van Leeuwen, A. M. Cohen and B. Lisser, Lie, A Package for Lie Group Computations, Manual, included in the LiE software distribution, Computer Algebra Nederland, Amsterdam, 1992.

[SGA] A. Grothendieck, P. Berthelot et L. Illusie, Séminaire de Géométrie Algébrique 6, Lecture Notes Series, 225 (1971). | Zbl