Groupe de Picard des variétés de modules de faisceaux semi-stables sur ${\mathbb{P}}_2\left(ℂ\right)$

Drezet, Jean-Marc

Annales de l'Institut Fourier, Tome 38 (1988) no. 3, pp. 105-168.

Le sujet de cet article est le groupe de Picard de la variété de modules $M(r,c_1,c_2)$ des faisceaux algébriques semi-stables de rang $r$ et de classes de Chern $c_1,c_2$ sur ${\mathbf{P}}_2\left(\mathbf{C}\right)$. Le premier résultat est que $M(r,c_1,c_2)$ est localement factorielle, ce qui permet d’identifier Pic$\left(M\right(r,c_1,c_2\left)\right)$ et le groupe des classes d’équivalence linéaire des diviseurs de Weil de $M(r,c_1,c_2))$. Il existe une unique application $\delta :\mathbf{Q}\to \mathbf{Q}$ telle que dim$\left(M\right(r,c_1,c_2\left)\right)>0$ si et seulement si $(c_2-(r-1)c_1^2/2r)/r>\delta (c_1/r)$. Si on a égalité, Pic$\left(M\right(r,c_1,c_2\left)\right)$ est isomorphe à $\mathbf{Z}$, et si l’inégalité est stricte, Pic$\left(M\right(r,c_1,c_2\left)\right)$ est isomorphe à ${\mathbf{Z}}^2$. On donne ensuite une description de Pic$\left(M\right(r,c_1,c_2\left)\right)$ faisant intervenir un sous-groupe du groupe de Grothendieck $K\left({\mathbf{P}}_2\right)$ de ${\mathbf{P}}_2$. On peut enfin calculer le fibré canonique ${\omega }_M$ de $M(c_1,c_2)$.

The subject of this paper is the Picard group of the moduli variety $M(r,c_1,c_2)$ of semi-stable algebraic sheaves on ${\mathbf{P}}_2\left(\mathbf{C}\right)$, of $rankr$ and Chern classes $c_1,c_2$. The first result is that if $M(r,c_1,c_2)$ is locally factorial, so Pic$\left(M\right(r,c_1,c_2\left)\right)$ is isomorphic to the group of linear equivalence classes of Weil divisors of $M(r,c_1,c_2)$. There is a unique map $\delta :\mathbf{Q}\to \mathbf{Q}$ such that $dim\left(M\right(r,c_1,c_2\left)\right)>0$ if and only if $(c_2-(r-1)c_1^2/2r)/r\ge \delta (c_1/r)$. Then if one has equality, $\mathrm{Pic}\left(M\right(r,c_1,c_2\left)\right)$ is isomorphic to $\mathbf{Z}$, and if the inequality is strict, $Pic\left(M\right(r,c_1,c_2\left)\right)$ is isomorphic to ${\mathbf{Z}}^2$. A description of $\mathrm{Pic}\left(M\right(r,c_1,c_2\left)\right)$ is given, using a subgroup of the Grothendieck group $K\left({\mathbf{P}}_2\right)$ of ${\mathbf{P}}_2$. It is then possible to compute the canonical bundle ${\omega }_M$ of $M(r,c_1,c_2)$.

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

[2] A.A. Beilinson, Coherent sheaves on Pn and problems of linear algebra, Funkt. Anal. i Ego Pril., vol. 12, No 3 (1978), 68-69. | Zbl

[3] A. Borel, J.P. Serre, Le théorème de Riemann-Roch, Bull. Soc. Math. de France, 86 (1858), 97-136. | Numdam | Zbl

[4] E. Brieskorn, Uber holomorphe Pn-Bündel über P1, Math, Ann., 157 (1967), 343-357. | MR | Zbl

[5] J. Brun, A. Hirschowitz, Droites de saut des fibrés de rang élevé sur P2, Math, Zeits., 181 (1982), 171-178. | MR | Zbl

[6] J.M. Drezet, Fibrés exceptionnels et variétés de modules de faisceaux semi-stables sur P2 (C), Preprint, 1985.

[7] J.M. Drezet, J. Le Potier, Fibrés stables et fibrés exceptionnels sur P2, Ann. Scient. Ec. Norm. Sup., 18 (1985), 193-244. | Numdam | MR | Zbl

[8] G. Ellingsrud, Sur l'irréductibilité du module des fibrés stables sur P2, Math. Zeits., 182 (1983), 189-192. | MR | Zbl

[9] G. Ellingsrud, S.A. Strømme, The Picard group of the moduli for stable rank 2 vector bundles on P2 with odd Chern class, Preprint, Oslo, 1979.

[10] W. Fulton, Intersection theory, Springer Verlag, 1984. | MR | Zbl

[11] D. Gieseker, On the moduli of vector bundles on an algebraic surface, Ann. of Math., 106 (1977), 45-60. | MR | Zbl

[12] A. Grothendieck, Sur la classification des fibrés holomorphes sur la sphère de Riemann, Amer. J. of Math., 79 (1957), 121-138. | MR | Zbl

[13] R. Hartshorne, Algebraic geometry, Grad. Texts in Math., 52, Springer-Verlag, 1977. | MR | Zbl

[14] A. Hirschowitz, Rank techniques and jump stratifications. Actes du congrès “Vector Bundles on Algebraic Varieties” Bombay, 1984. | Zbl

[15] G. Horrocks, Vector bundles on the punctured spectrum of a local ring, Proc. London Math. Soc., 14 (1964), 689-713. | MR | Zbl

[16] K. Hulek, On the classification of stable rank-r vector bundles over the projective plane. In : Vector bundles and differential equations (A. Hirschowitz ed.). Proceedings (Nice 1979), Progress in Math., 7, Birkhäuser, 1980. | Zbl

[17] J. Le Potier, Sur le groupe de Picard de l'espace de modules de fibrés stables sur P2, Ann. Scient. Ec. Norm. Sup., 14 (1981), 141-155. | Numdam | MR | Zbl

[18] J. Le Potier, Fibrés stables de rang 2 sur P2(C), Math. Ann., 241 (1979), 217-256. | MR | Zbl

[19] M. Maruyama, Moduli of stable sheaves II, J. Math. Kyoto Univ., 18 (1978), 557-614. | MR | Zbl

[20] H. Matsumura, Commutative algebra, W.A. Benjamin Co., New York, 1980. | MR | Zbl

[21] D. Mumford, J. Fogarty, Geometric Invariant Theory, Erg. der Math. und ihre Grenzg., 34, Springer-Verlag, 1982. | MR | Zbl

[22] P.E. Newstead, Introduction to moduli problems and orbit spaces, Tata Inst., Lect. Notes, 51, Springer-Verlag, 1978. | MR | Zbl

[23] P.E. Newstead, Rationality of moduli spaces of vector bundles, Math. Ann., 215 (1975), 251-268. | MR | Zbl

[24] C.S. Seshadri, Mumford's conjecture for GL(2) and applications, Alg. Geom., Bombay Coll., (1968-1969), 347-371. | MR | Zbl

[25] S.A. Strømme, Ample divisors on fine moduli spaces on the projective plane, Math. Zeits., 187 (1984), 405-423. | MR | Zbl