Sections du fibré déterminant sur l'espace de modules des faisceaux semi-stables de rang 2 sur le plan projectif
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 2 . Si on considère deux classes orthogonales c,u dans l’algèbre de Grothendieck K( 2 ) telles que c est de rang strictement positif et u est de rang zéro, on note M c et M u les espaces de modules de faisceaux semi-stables de classe c, respectivement u, sur 2 . Il existe sur M c (resp. M u ) un fibré déterminant 𝒟 u (resp. 𝒟 c ) et le produit tensoriel externe 𝒟 u ×𝒟 c sur l’espace produit M c ×M u a une section canonique σ c,u qui fournit une application linéaire D c,u :H 0 (M u ,𝒟 c ) * H 0 (M c ,𝒟 u ). Si M c n’est pas vide, la conjecture affirme que 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 (c)19, et u est de degré d(u)=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 M n =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 2 . If we consider two orthogonal classes c,u in the Grothendieck algebra K( 2 ) such that c is of positive rank and u of rank zero, we call M c and M u the moduli spaces of semi-stable sheaves of class c, respectively u on 2 . There exists on M c (resp. M u ) a determinant bundle 𝒟 u (resp. 𝒟 c ) and the product fibre bundle 𝒟 u ×𝒟 c on the product space M c ×M u has a canonical section σ c,u which provides a linear application D c,u :H 0 (M u ,𝒟 c ) * H 0 (M c ,𝒟 u ). If M c is not empty, 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 (c)19, and u is of degree d(u)=1 and zero Euler-Poincaré characteristic. We compute in this case the dimension of the space of global sections of the determinant bundle on M n =M c .

@article{AIF_2000__50_5_1323_0,
     author = {Danila, Gentiana},
     title = {Sections du fibr\'e d\'eterminant sur l'espace de modules des faisceaux semi-stables de rang 2 sur le plan projectif},
     journal = {Annales de l'Institut Fourier},
     pages = {1323--1374},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {50},
     number = {5},
     year = {2000},
     doi = {10.5802/aif.1795},
     mrnumber = {2001k:14028},
     zbl = {0952.14010},
     language = {fr},
     url = {http://archive.numdam.org/articles/10.5802/aif.1795/}
}
TY  - JOUR
AU  - Danila, Gentiana
TI  - Sections du fibré déterminant sur l'espace de modules des faisceaux semi-stables de rang 2 sur le plan projectif
JO  - Annales de l'Institut Fourier
PY  - 2000
SP  - 1323
EP  - 1374
VL  - 50
IS  - 5
PB  - Association des Annales de l’institut Fourier
UR  - http://archive.numdam.org/articles/10.5802/aif.1795/
DO  - 10.5802/aif.1795
LA  - fr
ID  - AIF_2000__50_5_1323_0
ER  - 
%0 Journal Article
%A Danila, Gentiana
%T Sections du fibré déterminant sur l'espace de modules des faisceaux semi-stables de rang 2 sur le plan projectif
%J Annales de l'Institut Fourier
%D 2000
%P 1323-1374
%V 50
%N 5
%I Association des Annales de l’institut Fourier
%U http://archive.numdam.org/articles/10.5802/aif.1795/
%R 10.5802/aif.1795
%G fr
%F AIF_2000__50_5_1323_0
Danila, Gentiana. Sections du fibré déterminant sur l'espace de modules des faisceaux semi-stables de rang 2 sur le plan projectif. Annales de l'Institut Fourier, Tome 50 (2000) no. 5, pp. 1323-1374. doi : 10.5802/aif.1795. http://archive.numdam.org/articles/10.5802/aif.1795/

[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. | 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

Cité par Sources :