Introduction Surface actions and mapping class group Moduli space Elementary abelian actions Elementary Abelian Group Actions on Surfaces and the Geometry of Moduli Space S. Allen Broughton - Rose-Hulman Institute of Technology Aaron Wootton - University of Portland IU Geometry Seminar Nov 8, 2007 References Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Overview parts of the talk There are three main parts of the talk group actions and the mapping class group - background, mostly topology, some geometry Moduli spaces, Teichmüller space and the mapping class group - background, some geometry in this part classification of elementary abelian actions - new results, all algebra Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Motivation motivation - automorphisms of surfaces The study of automorphisms of surfaces is over 100 years old but still fertile territory. Steady advances from original ad-hoc methods to Fuchsian group methods, moduli spaces and Teichmüller spaces. Recent advances in computer algebra systems (GAP or Magma) make discovery/classification of doable and of interest. Many old questions are now accessible. For example T. Breuer has a classification up to homology equivalence for genus up to 48. Elementary abelian actions are a tractable first step towards classification. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Motivation motivation - moduli space The moduli space is easily defined but its geometric structure -specifically it singularity structure - is unknown except for low genus. The classification of groups of automorphisms of surface and more specifically the classification of conjugacy classes of finite subgroups of the mapping class is directly relevant to this question. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Motivation motivation - cohomology The finite elementary abelian subgroups of infinite discrete groups play a strong role in the cohomology of infinite discrete groups over finite fields. So the analysis of finite elementary abelian actions of surfaces play a role in the study of cohomology of mapping class groups. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Group actions on surfaces topological action and equivalence Definition Let G be a finite group. The group G acts (orientation preserving) on a closed, orientable surface S of genus σ ≥ 2 if there is an injection : G ,→ Homeo+ (S) into the group of orientation preserving homeomorphisms. Two actions 1 , 2 are topologically equivalent if there is a homeomorphism h of S and an automorphism ω of G such that 2 (ω(g)) = h ◦ 1 (g) ◦ h−1 , g ∈ G. i.e., 1 (G) and 2 (G) are conjugate in Homeo+ (S). Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Group actions on surfaces conformal action and equivalence Definition Let G be a finite group and S a closed, orientable surface S with a complex analytic structure. Then the group G acts conformally on S if there is an injection : G ,→ Aut(S) into the group of conformal automorphisms of S. Two actions 1 , 2 are conformally equivalent if there is a conformal automorphism h of S and an automorphism ω of G such that 2 (ω(g)) = h ◦ 1 (g) ◦ h−1 . i.e., 1 (G) and 2 (G) are conjugate in Aut(S). Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Group actions on surfaces remarks and examples In the definition of topological actions we can replace Homeo+ (S) by Diff+ (S). In the definition of conformal actions we can replace “complex analytic structure” by “metric of constant curvature” and “automorphism” by “isometry”. Suppose that S has genus σ ≥ 2 and that has a conformal structure. Then any group of automorphisms of S is finite. (Old theorem, consider action on Weierstrass points). If finite G acts on a surface S, then S may be given a conformal structure so that G is a group of automorphism. Nielsen Realization problem. Proven by S. Kerckhoff. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Mapping class group (MCG) definition of MCG Definition Let S be an orientable closed surface of genus σ. The mapping class group Mσ is the group of homotopy classes of orientation preserving homeomorphisms of S. Equivalently let Homeo+ 0 (S) be the identity component subgroup of Homeo+ (S), then Mσ = Homeo+ (S)/Homeo+ 0 (S) Introduction Surface actions and mapping class group Moduli space Elementary abelian actions Mapping class group (MCG) remarks and examples Lots is known on mapping class groups - see Birman’s book. generators and relations cohomology various subgroups actions on various spaces M1 = PSL(2, Z) Mσ for σ ≥ 2 is harder to describe explicitly. References Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Mapping class group (MCG) finite subgroups of MCG Proposition Let finite G act on a surface S of genus σ ≥ 2. Then the map : G ,→ Homeo+ (S) → Mσ is injective. Topological equivalence classes of finite group actions are in 1-1 correspondence to conjugacy classes of finite subgroups of the mapping class group. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions Mapping class group (MCG) finite subgroups of MCG Genus 2 and 3 have been completely done by hand. There are 20 classes of so for genus 2. There are 53 classes of so for genus 3. References Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Mapping class group (MCG) homology equivalence -1 Consider the map ρ : Mσ → GL2σ (C) coming from the homology representation. The restriction to a finite subgroup ρ : G → Mσ → GL2σ (C) is still injective. There are non-conjugate subgroups of Mσ with conjugate images in GL2σ (C). Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Mapping class group (MCG) homology equivalence - 2 Two group actions 1 , 2 are homology equivalent if there is an automorphism ω of G and a matrix M in GL2σ (C) such that ρ(2 (ω(g))) = Mρ(1 (g))M −1 , g ∈ G. Breuer uses this weaker equivalence in his classification. Example: There are three non-conjugate subgroups of M14 isomorphic to PSL(2, 13), with conjugate images in GL26 (C). The homology representations are equivalent over C. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Construction of actions uniformization of actions Denote the hyperbolic plane (upper half complex plane) by H. Its automorphism group Aut(H) equals PSL2 (R) acting by fractional linear transformations. A Fuchsian group is a discrete subgroup of Aut(H) = PSL2 (R). Proposition Let G act conformally on S. Then, there are Fuchsian groups Π ⊆ Γ such that Π ' π1 (S), S ' H/Π, and G ' Γ/Π and G acts on S via the natural action of Γ/Π on S ' H/Π. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Construction of actions Fuchsian group generators S → S/G = T derived from H/Π → H/Γ is a branched covering, branched over t points with local branching orders m1 , . . . , mt . Let τ = genus of T and call S = (τ ; m1 , . . . , mt ) the branching data of the G-action or the signature of Γ. The uniformizing Fuchsian group Γ has a generating set of the following form. generators : {αi , βi , γj , 1 ≤ i ≤ τ, 1 ≤ j ≤ t} τ t Y Y relations : [αi , βi ] γj = γ1m1 = · · · = γtmt = 1 i=1 j=1 Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Construction of actions generating vectors - 1 An action gives a sequence, called a surface-kernel epimorphism, η Π ,→ Γ G Set ai = η(αi ), bi = η(βi ), cj = η(γj ) and call the (2τ + t)-tuple (a1 , . . . aτ , b1 , . . . bτ , c1 , . . . ct ) a “(G, S)-vector”. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions Construction of actions generating vectors - 2 The constructed vector satisfies G = ha1 , . . . aτ , b1 , . . . bτ , c1 , . . . ct i t τ Y Y [ai , bi ] cj = 1, i=1 j=1 o(cj ) = mj . Any vector satisfying the above is called a generating (G, S)-vector for G acting on S. We also have the Riemann Hurwitz equation which is a constraint between σ and (G, S). t X 1 (2σ − 2) = (2τ − 2 + t) − |G| mj j=1 References Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Construction of actions generating vectors - 3 Let S = (τ ; m1 , . . . , mt ) and let X ◦ (G, S) be the set of generating (G, S)-vectors of G. X ◦ (G, S) is in 1-1 correspondence to Epi ◦ (Γ, G) which is η the set of epimorphisms Π ,→ Γ G with torsion free kernel. Aut(G) × Aut(Γ) acts on Epi ◦ (Γ, G) and hence X ◦ (G, S) by η −→ ω ◦ η ◦ ξ −1 where (ω, ξ) ∈ Aut(G) × Aut(Γ). Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Construction of actions reduction to algebra theorem Proposition The topological equivalence classes of S-actions of G on a surface S are in 1-1 correspondence with the Aut(G) × Aut(Γ) orbits on X ◦ (G, S). The genus of S must satisfy the Riemann-Hurwitz equation. Remark The calculation of Aut(G)-action is pretty straight forward The calculation of Aut(Γ)-action can be ghastly, but it is not too bad in the abelian case. See Broughton-Wootton paper for formulas. The formulas for the Aut(Γ)-action can be derived from looking at Dehn twists and spin maps on T = S/G that preserve branching order. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions Moduli space moduli and rigidity Moduli Spaces Surfaces are the only examples of non-rigid compact hyperbolic manifolds. (Mostow Rigidity Theorem). Homeomorphic surfaces are not necessarily isometric. Use the moduli space to measure variation of isometry class. References Introduction Surface actions and mapping class group Moduli space Elementary abelian actions Moduli space definition of moduli space Definition The moduli space Mσ is the set of conformal equivalence classes (isometry classes) of closed, orientable surfaces of genus σ. References Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Moduli space structure of moduli space Proposition The moduli space Mσ has the structure of a quasiprojective variety. Namely there are closed sets X , Y , defined by the vanishing of polynomials, in a very large projective space PN (C), such that Mσ = X − Y . Remark The moduli space has a decent compactification by adding surfaces with mild singularities. The moduli space has a enormous number of singularities and singular subvarieties. Gaining some understanding of this structure is the point of this study. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Teichmüller space definition of Teichmüller space Here is a reasonable definition of Teichmüller space Tσ . Let Π ' π1 (S) be the Fuchsian group defined earlier. Definition e σ = {r : Π → PSL2 (R) | r (Π) is discrete, r is injective} T e σ /PSL2 (R) Tσ = T . Using the canonical generating set for Π we can show that e σ is a subset in (PSL2 (R))2σ and so Tσ is a manifold of T finite dimension. There is a map Tσ → Mσ given by r → class of H/r (Π). Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Teichmüller space complex structure of Teichmüller space Proposition Tσ is a complex analytic manifold, isomorphic to an open region in C3σ−3 and homeomorphic to R6σ−6 . Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References MCG action, branch loci, and equisymmetric strata action and quotient by the MCG Each element h of the MCG defines an automorphism h∗ of Π which is unique up to an inner automorphism. e σ and hence Tσ by r → r ◦ h−1 In turn h∗ acts on T ∗ Each automorphism of Π is induced by an element of the MCG. Thus Mσ ' Out(Π) acts on Tσ . The action of Mσ on Tσ is a discontinuous action, and Tσ /Mσ = Mσ Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References MCG action, branch loci, and equisymmetric strata branch loci A subgroup of Mσ fixes a point in Tσ if and only if the subgroup is finite. For a finite subgroup the fixed point subset is called the branch locus. The branch locus is isomorphic to a Teichmüller space of complex dimension 3τ − 3 + t. We call 3τ − 3 + t the Teichmüller dimension of G. The hyperelliptic locus is the fixed point subset (and its image in Mσ ) corresponding to the conjugacy class of a hyperelliptic involution. This branch locus has codimension σ−2 Except along the hyperelliptic locus for genus 2 and 3, Mσ is singular along the image of any branch locus. The singularity structure of Mσ is captured by the conjugacy classes of the mapping class group, though the correspondence is not 1-1. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References MCG action, branch loci, and equisymmetric strata branch loci and equisymmetric strata Pick a surface S and let G be a finite subgroup of the MCG determined by the automorphism group of S. Let TG be the corresponding branch locus. Cut out from TG all TH for subgroups H strictly containing G resulting in T◦G . The image M◦G of T◦G in Mσ is the set of all surfaces whose automorphism group is conjugate to G in the MCG. Call each such object T◦G an equisymmetric stratum. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions MCG action, branch loci, and equisymmetric strata decomposition of moduli space Proposition Moduli space is a disjoint union Mσ = [ M◦G G of equisymmetric strata over conjugacy classes of "finitely maximal" subgroups. The strata are all smooth, irreducible and hence connected - subvarieties of moduli space. A finite subgroup (actually its covering Fuchsian group Γ) is "finitely maximal" if and only if it is not contained in any larger finite group with the same Teichmĺler dimension. References Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Simplifications in the elementary abelian case elementary abelian actions - simplifications - 1 Elementary abelian actions Suppose p is a prime and G is an elementary abelian group of rank v . G is a vector space of dimension v over Fp If S = (τ ; −) then the action is called unramified. If S = (0; pt ) (sphere with t branch points of order p then the action is called purely ramified. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Simplifications in the elementary abelian case elementary abelian actions - simplifications - 2 If the action is unramified then the Aut(Γ) action is the Sp(2τ, Fp ) action coming from the homology representation of MCG(S/G) = Out(Γ). If the action is purely ramified then the Aut(Γ) action is the symmetric group permuting the branch points and hence permuting the elements cj . To see the last bullet, observe that (c1 , . . . , cj , cj+1 , . . . , ct ) → (c1 , . . . , cj cj+1 cj−1 , cj , . . . , ct ) is always a permissable transformation if the orders are the same. The transformation is obtained by spinning one branch point about the other. For abelian groups the conjugates go away and we get a transposition. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Simplifications in the elementary abelian case elementary abelian actions - simplifications - 3 The following simplifies matters Proposition Every elementary abelian action is a direct sum of an unramified action and a purely ramified action Apply transformations of the following form to a generating vector (a1 , . . . aτ , b1 , . . . bτ , c1 , . . . ct ) ai → ai cjk , bi 0 → bi 0 cjk0 0 until the modified vector satisfies G = ha1 , . . . aτ , b1 , . . . bτ i M hc1 , . . . ct i Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Classification unramified Proposition Every unramified action of G = Cpv is equivalent to one constructed from a generating vector of the following type. Select two integers d, e, 0 ≤ d ≤ e ≤ τ , and set ai = x, 1 ≤ i ≤ e, and bi = x, 1 ≤ i ≤ d, all other generators are trivial, and x is a generator of Cp , the cyclic group of order p. The rank of G will be v = 2d + e and the genus of S is given by the Riemann-Hurwitz formula. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Classification purely ramified This case is much more complex since the “action image" of Aut(G) × Aut(Γ) on X ◦ (G, S) is much smaller than in the ramified case, and consequently there are many orbits. A methodology was developed that allows complete classification, provided one can do the calculations. Methods make use of the following techniques. Use the vector space structure of G. Analysis of representation theory of Aut(G) × Aut(Γ) on the ambient vector space in which X ◦ (G, S) resides. This boils down to an analysis of the representation theory (sometimes modular) of the subgroups of the symmetric group. Repeated use of Möbius inversion, inclusion-exclusion and other combinatorial counting techniques. Show table. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Example hyper-Fermat curves - 1 The Fermat curve z1p + z2p = 1 has a G = Cp × Cp action by multiplying componentwise by p’th roots of unity. The projective completion, Fp , of this complex curve is a smooth, connected surface and G has branching data (0; p, p, p) For appropriate coefficients the complex curve defined by a1 z1p + a2 z2p + a3 z3p = 1 b1 z1p + b2 z2p + b3 z3p = 1 has a smooth, connected projective completion with a G = Cp × Cp × Cp action. G has branching data (0; p, p, p, p) Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References Example hyper-Fermat curves -2 The construction can be repeated for all branching data (0; pt ) for t > 2. The group is Cpt−1 and the genus is given by t−2 t(p − 1) − 2p σ =1+p 2 Moreover, the complex dimension of this stratum in the moduli space is t − 3 and all surfaces in the stratum can be constructed as above. Introduction Surface actions and mapping class group Moduli space Elementary abelian actions References References J. Birman, Braids, Links and Mapping Class Groups, Annals of Math. Studies, No. 82, Princeton U. Press (1974). T. Breuer. Characters and Automorphism Groups of Compact Riemann Surfaces, Cambridge University Press (2001). S.A. Broughton. The equisymmetric stratification of the moduli space and the Krull dimension of the mapping class group, Topology and its Applications, 37 (1990), 101-113. S. A. Broughton, A. Wootton, Finite Abelian Subgroups of the Mapping Class Group, preprint available at http://arxiv.org/abs/math.AT/0611650