Nous nous intéressons à la question de l’existence de familles de Hurwitz au-dessus d’un espace de modules de revêtements de la droite. On sait que de telles familles existent dans le cas où les revêtements n’ont pas d’automorphismes. Dans le cas général, il y a une obstruction cohomologique, de nature non-abélienne. Nous donnons une double description de cette obstruction : la première en termes de gerbe, l’outil le mieux adapté à des situations cohomologiques non-abéliennes et la deuxièmes en termes de 2-cocycles abéliens, grâce à des techniques de réduction mises en place par les deux premiers auteurs (Ann. Sci. École Norm. Sup., 30 (1997), 303-338). Nous obtenons ensuite plusieurs applications concrètes.
We address the question of existence of Hurwitz families above a given moduli space of covers of the line. Such families are known to exist in the case the covers have no automorphisms. In general there is a cohomological obstruction, of non-abelian nature. We describe the obstruction in two different ways. In terms of gerbes, the most appropriate tool for non-abelian cohomological situations; and in terms of usual abelian 2-cocyles thanks to some reduction techniques elaborated by the two first authors (Ann. Sci. École Norm. Sup., 30 (1997), 303-338). We then obtain several concrete applications.
@article{AIF_2000__50_1_113_0, author = {D\`ebes, Pierre and Douai, Jean-Claude and Emsalem, Michel}, title = {Familles de Hurwitz et cohomologie non ab\'elienne}, journal = {Annales de l'Institut Fourier}, volume = {50}, year = {2000}, pages = {113-149}, doi = {10.5802/aif.1749}, mrnumber = {2002e:14018}, zbl = {0971.18011}, language = {fr}, url = {http://dml.mathdoc.fr/item/AIF_2000__50_1_113_0} }
Dèbes, Pierre; Douai, Jean-Claude; Emsalem, Michel. Familles de Hurwitz et cohomologie non abélienne. Annales de l'Institut Fourier, Tome 50 (2000) pp. 113-149. doi : 10.5802/aif.1749. http://gdmltest.u-ga.fr/item/AIF_2000__50_1_113_0/
[BiFr] Moduli spaces of covers and the Hurwitz monodromy group, J. reine angew. Math., 335 (1982), 87-121. | MR 84h:14034a | Zbl 0484.14002
, ,[Bir] Braids, links, and mapping class groups, Annals of Math. Studies, Princeton University Press, 82 (1975). | MR 51 #11477 | Zbl 0305.57013
,[Ch] Sur le corps de définition des revêtements, manuscrit (1996).
,[CoHa] Hurwitz families and arithmetic Galois groups, Duke Math. J., 52 (1985), 821-839. | MR 87g:14012 | Zbl 0601.14023
, ,[Cu] Groups with (B,N)-pairs, Seminar of Algebraic groups and Related Finite Groups, Lecture Note 131 (1970).
,[De] Arithmétique et espaces de modules de revêtements, in Number Theory in Progress, Proceedings of the Number Theory conference in Zakopane, K. Gyory, H. Iwaniec and J. Urbanowicz ed., Walter de Gruyter, 1999, 75-102. | MR 2000c:14029 | Zbl 0941.14007
,[DeDo1] Algebraic covers : field of moduli versus field of definition, Annales Sci. École Normale Supérieure, 30 (1997), 303-338. | Numdam | MR 98k:11081 | Zbl 0906.12001
, ,[DeDo2] Gerbes and Covers, Comm. in Algebra, 27/2 (1999), 577-594. | MR 2000a:14017 | Zbl 0917.18008
, ,[DeFr] Arithmetic variation of fibers in algebraic families of curves. Part 1 : Criteria for existence of rational points, J. reine angew. Math., 409 (1990), 106-137. | MR 91h:14020 | Zbl 0699.14033
, ,[Do] 2-Cohomologie galoisienne des groupes semi-simples, thèse, Université de Lille (1976).
,[Em] Familles algébriques de revêtements de P1, Bull. Soc. Math. France, 123 (1995), 47-85. | Numdam | Zbl 0888.11024
,[Fr] Fields of definition of function fields and Hurwitz families, Groups as Galois groups, Comm. in Alg., 1 (1977), 17-82. | MR 56 #12006 | Zbl 0478.12006
,[FrVo] The inverse Galois problem and rational points on moduli spaces, Math. Ann., 290 (1991), 771-800. | MR 93a:12004 | Zbl 0763.12004
, ,[Fu] Hurwitz schemes and irreducibility of moduli of algebraic curves, Ann. Math., series 2, 90 (1969), 543-573. | MR 41 #5375 | Zbl 0194.21901
,[Gi] Cohomologie non abélienne, Grundlehren Math. Wiss. 179, Springer-Verlag (1971). | MR 49 #8992 | Zbl 0226.14011
,[Gr1] Technique de descente et théorèmes d'existence en géométrie algébrique. 1. Descente par morphisme fidèlement plats, Séminaire Bourbaki, déc. 1959, 190. | Numdam | Zbl 0229.14007
,[Gr2] Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux, SGA 2, Advanced Studies in Pure Math., Masson et North Holland (1968). | MR 57 #16294 | Zbl 0197.47202
,[Mi] Étale Cohomology, Princeton University Press, 1980. | MR 81j:14002 | Zbl 0433.14012
,[SGA1] Revêtements étales et groupe fondamental, Séminaire de Géométrie algébrique 1960/1961, Lecture Notes in Math., 224 (1971). | Zbl 0234.14002
et al.,[Sp] Non abelian H2 in Galois cohomology, in Algebraic Groups and Discontinuous Subgroups, Proc. Symp. Pure Math., Amer. Math. Soc., 9 (1966), 164-182. | Zbl 0193.48902
,[We] Construction of Hurwitz spaces, Thesis (1998). | Zbl 0925.14002
,