This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: INTEGRAL MODELS FOR MODULI SPACES OF GTORSORS MARTIN OLSSON 1. Introduction The work in this paper is a generalizations to higher dimensions of a particular application of the AbramovichVistoli theory of twisted stable maps [AV] (and its tame version of AbramovichOlssonVistoli [AVO2]). Let us begin by reviewing how the AbramovichVistoli theory gives compactifications of moduli spaces for curves with (possibly nonabelian) level structure. 1.1. Let C/S be a smooth proper curve of genus g over a scheme S , and let P be a finite set of prime numbers which includes all residue characteristics of S . For any section s : S C we then obtain, as in [DM, 5.5], a proobject 1 ( X/S,s ) in the category of locally constant sheaves of finite groups on S whose fiber over a geometric t S is equal to the maximal prime to P quotient of 1 ( C t ,s t ). Now let G be a finite group of order not in P . Let H om ext ( 1 ( X/S,s ) ,G ) denote the sheaf of homomorphisms 1 ( X/S,s ) G modulo the action of 1 ( X/S,s ) given by conjugation. Then the sheaf H om ext ( 1 ( X/S,s ) ,G ) is a locally constant sheaf on S which is canonically independent of the section s . It follows that for any smooth proper curve C/S of genus g there is a canonically defined sheaf H om ext ( 1 ( X/S ) ,G ) even when C/S does not admit a section. Following [DM, 5.6], we define a Teichmuller structure of level G on C/S to be a section of H om ext ( 1 ( X/S ) ,G ), which etale locally on S can be represented by a surjective homomorphism 1 ( X/S,s ) G for a suitable section s . As in [DM, 5.8] we define G M g to be the stack over Z [1 /  G  ] which to any Z [1 /  G  ]scheme S associates the groupoid of pairs ( C/S, ), where C/S is a smooth proper genus g curve and is a Teichmuller structure of level G . 1.2. The space G M g is connected with the AbramovichVistoli theory as follows. Let C/S be a curve as above, and fix a section s : S C . Let G K g denote the stack over Z [1 /  G  ] which to any Z [1 /  G  ]scheme S associates the groupoid of principal Gbundles P C , such that for every geometric point t S the fiber P t C t is connected. The choice of the section s enables us to describe the stack G K g as follows. For any object P C of G K g , the pullback s * P is a Gtorsor with action of 1 ( X/S,s ) on S . Etale locally on S we can choose a trivialization s : S s * P of the Gtorsor s * P , and such a trivialization defines a homomorphism 1 ( X/S,s ) G. The assumption on the connectedness of the geometric fibers P t implies that this map is surjective. It follows that the conjugacy class of the homomorphism 1 ( X/S,s ) G is independent of the choice of s and also independent of the section s . In this way we obtain 1 2 MARTIN OLSSON a morphism (1.2.1) G K g G M g ....
View Full
Document
 Spring '08
 Grunbaum,F
 Math

Click to edit the document details