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

Gentiana Danila

Annales de l'institut Fourier (2000)

  • Volume: 50, Issue: 5, page 1323-1374
  • ISSN: 0373-0956

Abstract

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

How to cite

top

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 50.5 (2000): 1323-1374. <http://eudml.org/doc/75459>.

@article{Danila2000,
abstract = {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 $\{\Bbb P\}_2$. Si on considère deux classes orthogonales $c,u$ dans l’algèbre de Grothendieck $\{\rm K\}(\{\Bbb P\}_2)$ telles que $c$ est de rang strictement positif et $u$ est de rang zéro, on note $\{\rm M\}_c$ et $\{\rm M\}_u$ les espaces de modules de faisceaux semi-stables de classe $c$, respectivement $u$, sur $\{\Bbb P\}_2$. Il existe sur $\{\rm M\}_c$ (resp. $\{\rm M\}_u$) un fibré déterminant $\{\cal D\}_u$ (resp. $\{\cal D\}_c$) et le produit tensoriel externe $\{\cal D\}_u\times \{\cal D\}_c$ sur l’espace produit $\{\rm M\}_c\times \{\rm M\}_u$ a une section canonique $\sigma _\{c,u\}$ qui fournit une application linéaire $\{\rm D\}_\{c,u\}:\{\rm H\}^0(\{\rm M\}_u,\{\cal D\}_c)^*\rightarrow \{\rm H\}^0(\{\rm M\}_c,\{\cal D\}_u)$. Si $\{\rm M\}_c$ n’est pas vide, la conjecture affirme que $\{\rm 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)\le 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 $\{\rm M\}_n=\{\rm M\}_c$.},
author = {Danila, Gentiana},
journal = {Annales de l'institut Fourier},
keywords = {moduli spaces; determinant bundle; strange duality},
language = {fre},
number = {5},
pages = {1323-1374},
publisher = {Association des Annales de l'Institut Fourier},
title = {Sections du fibré déterminant sur l'espace de modules des faisceaux semi-stables de rang 2 sur le plan projectif},
url = {http://eudml.org/doc/75459},
volume = {50},
year = {2000},
}

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
PB - Association des Annales de l'Institut Fourier
VL - 50
IS - 5
SP - 1323
EP - 1374
AB - 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 ${\Bbb P}_2$. Si on considère deux classes orthogonales $c,u$ dans l’algèbre de Grothendieck ${\rm K}({\Bbb P}_2)$ telles que $c$ est de rang strictement positif et $u$ est de rang zéro, on note ${\rm M}_c$ et ${\rm M}_u$ les espaces de modules de faisceaux semi-stables de classe $c$, respectivement $u$, sur ${\Bbb P}_2$. Il existe sur ${\rm M}_c$ (resp. ${\rm M}_u$) un fibré déterminant ${\cal D}_u$ (resp. ${\cal D}_c$) et le produit tensoriel externe ${\cal D}_u\times {\cal D}_c$ sur l’espace produit ${\rm M}_c\times {\rm M}_u$ a une section canonique $\sigma _{c,u}$ qui fournit une application linéaire ${\rm D}_{c,u}:{\rm H}^0({\rm M}_u,{\cal D}_c)^*\rightarrow {\rm H}^0({\rm M}_c,{\cal D}_u)$. Si ${\rm M}_c$ n’est pas vide, la conjecture affirme que ${\rm 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)\le 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 ${\rm M}_n={\rm M}_c$.
LA - fre
KW - moduli spaces; determinant bundle; strange duality
UR - http://eudml.org/doc/75459
ER -

References

top
  1. [Bar1] W. BARTH, Some properties of rank-2 bundles on ℙn, Math. Annalen, 226 (1976), 125-150. MR55 #2905
  2. [Bar2] W. BARTH, Moduli of vector bundles on projective plane, Inventiones Math., 42 (1977), 63-91. Zbl0386.14005MR57 #324
  3. [Bott] R. BOTT, Homogeneous vector bundles, Ann. of Math., (2) 66 (1957), 203-248. Zbl0094.35701MR19,681d
  4. [Bour] N. BOURBAKI, Éléments de mathématiques, fascicule VII, livre II, Algèbre, chapitre 3, Algèbre multilinéaire, Hermann (1958). 
  5. [Bout] J. F. BOUTOT, Singularités rationnelles et quotients par les groupes réductifs, Invent. Math., 88 (1987), 65-68. Zbl0619.14029MR88a:14005
  6. [CKM] H. CLEMENS, J. KOLLÀR and S. MORI, Higher Dimensional Complex Geometry, Astérisque, 166 (1988), page 52, thm.8.3. Zbl0689.14016
  7. [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. Zbl0988.14011
  8. [D2] G. DANILA, Formule de Verlinde et dualité étrange sur le plan projectif, Thèse de l'Université Paris 7, novembre 1999. 
  9. [Dema] J.-P. DEMAILLY, Vanishing theorems for tensor power of an ample vector bundle Invent. Math., 91, n° 1 (1988), 203-220. Zbl0647.14005MR89d:32066
  10. [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. Zbl0625.14002MR88c:14008
  11. [FH] W. FULTON and J. HARRIS, Representation Theory, Springer-Verlag, 1996. Zbl0744.22001
  12. [Grot] A. GROTHENDIECK, Local cohomology, Lecture Notes Series, 41 (1967). Zbl0185.49202
  13. [Hart] R. HARTSHORNE, Algebraic Geometry, Graduate Texts in Mathematics 52, Springer-Verlag, 1977. Zbl0367.14001MR57 #3116
  14. [He] MIN HE, Espaces de modules de systèmes cohérents, Int. J. of Maths., Vol 9, 5 (1998), 545-598. Zbl0936.14008MR99i:14016
  15. [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. Zbl0788.14045MR94e:14058
  16. [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. Zbl0847.14005MR96h:14010
  17. [LeP3] J. LE POTIER, Dualité étrange sur le plan projectif, Exposé donné à Luminy en décembre 1996. 
  18. [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. 
  19. [SGA] A. GROTHENDIECK, P. BERTHELOT et L. ILLUSIE, Séminaire de Géométrie Algébrique 6, Lecture Notes Series, 225 (1971). Zbl0218.14001

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.