Moduli spaces of decomposable morphisms of sheaves and quotients by non-reductive groups

[Variétés de modules de morphismes décomposables de faisceaux et quotients par des groupes non-réductifs]

Drézet, Jean-Marc¹ ; Trautmann, Günther² 

¹Institut de Mathématiques, UMR 7586 du CNRS, Aile 45-55, 5ème étage, 2 place Jussieu, 75251 Paris Cedex 05 (France)
²Universität Kaiserslautern, Fachbereich Mathematik, Erwin-Schrödinger Strasse, 67663 Kaiserslautern (Allemagne)

Annales de l'Institut Fourier, Tome 53 (2003) no. 1, pp. 107-192

Abstract (VO)

We extend the methods of geometric invariant theory to actions of non–reductive groups in the case of homomorphisms between decomposable sheaves whose automorphism groups are non–reductive. Given a linearization of the natural action of the group $\mathrm{Aut}\left(E\right)\times \mathrm{Aut}\left(F\right)$ on Hom(E,F), a homomorphism is called stable if its orbit with respect to the unipotent radical is contained in the stable locus with respect to the natural reductive subgroup of the automorphism group. We encounter effective numerical conditions for a linearization such that the corresponding open set of semi- stable homomorphisms admits a good and projective quotient in the sense of geometric invariant theory, and that this quotient is in addition a geometric quotient on the set of stable homomorphisms.

Résumé

Nous étendons les méthodes utilisées en géométrie invariante à l’étude de l’action de $G=\mathrm{Aut}\left(E\right)\times \mathrm{Aut}\left(F\right)$ sur $\mathrm{Hom}(E,F),E,F$ étant des faisceaux cohérents décomposables, dont les groupes d’automorphismes ne sont pas nécessairement réductifs. Étant donné une linéarisation de cette action, un homomorphisme est dit stable si son orbite relativement au radical unipotent de $G$ est contenue dans le lieu stable relativement à l’action du sous-groupe réductif naturel de $G$. Nous donnons des conditions numériques effectives portant sur la linéarisation pour que l’ouvert correspondant des points semi-stables admette un bon quotient au sens de la géométrie invariante, qui soit projectif, et pour que ce quotient restreint à l’ouvert des homomorphismes stables soit un quotient géométrique.

Détail

DOI : 10.5802/aif.1941

Classification : 14L30, 14D20
Keywords: algebraic quotients, good quotients, non-reductive groups, moduli spaces
Mots-clés : quotients algébriques, bons quotients, groupes non-réductifs, variétés de modules