Discrete group actions on orientable surfaces
|
|
- Myra Williams
- 5 years ago
- Views:
Transcription
1 Discrete group actions on orientable surfaces Ján Karabáš and Roman Nedela Matej Bel University Mathematical Institute, Slovak Academy of Sciences Banská Bystrica, Slovakia Geometry Days, Novosibirsk, August 2013
2 Maps Map is a drawing of a finite connected graph on a surface without edge-crossings. More formally: (topological) Map is a cell-decomposition of a surface. Surfaces: closed, connected, orientable. Combinatorial map: M = (D; R, L), D - finite set, R, L Sym(D), R, L is transitive on D, L 2 = id. Underlying graph: V orbits of R, E orbits of L, faces orbits RL on D. Incidency by intersections. (Orientation-preserving) automorphism: ϕ C Sym(D) ( R, L ) = Aut + (M). Reflections: S = {ϱ : ϱ Sym(D), R ϱ = R 1 }; Automorphism group of a map M: Aut(M) = Aut + (M), S, [Aut(M) : Aut + (M)] 2; An automorphism of a map on a surface S extends to a self-homeomorphism of S. Group actions... (J. Karabáš, UMB) 2 / 20
3 Highly symmetrical maps (a) (33 ) (f) (3.6.6) (b) (43 ) (g) ( ) (h) (3.8.8) (m) ( ) (c) (34 ) (i) (4.6.6) (e) (35 ) (j) ( ) (k) (4.6.10) (n) ( ) (o) (5.6.6) (p) ( ) (q) (4.6.10) (s) (4.4.5) Group actions... (J. Karabáš, UMB) (d) (53 ) (l) (34.5)± (r) (34.5)± (t) ( ) 3 / 20
4 Example: A toroidal map of local type ( ) A map defined from the universal cover, the parameters determining the fundamental region are a = 2, b = 0 Group actions... (J. Karabáš, UMB) 4 / 20
5 Example: The same map defined as a lift of its quotient Aut + (M) = x, y x 3 = y 2 = (xy) 6 = 1, (x 1 yxy) 2 (xy 1 xy) 0 = 1 Group actions... (J. Karabáš, UMB) 5 / 20
6 Maps and group actions 1 Map Action of a discrete group on an underlying surface of the map. 2 Every finite group of automorphisms of a surface S is a group of automorphisms of a (Cayley) vertex-transitive map on S; 3 Every finite group appears as a discrete group of automorphisms of S (compact, closed); 4 Not all actions of finite groups can be seen; 5 Cyclic point stabilisers orientable surfaces; 6 Dihedral point stabilisers non-orientable surfaces; Group actions... (J. Karabáš, UMB) 6 / 20
7 Main problem Problem Given genus g classify maps with high degree of symmetry (few orbits of Aut + (M) or of Aut(M) on vertices, edges, faces, darts, flags,... ). Subproblem A. Classify Archimedean maps of given genus. Subproblem B. Classify non-degenerate (polytopal, polyhedral) edge-transitive maps of given genus Remark 1. Each highly symmetrical map defines a discrete group of automorphisms, Remark 2. A discrete group determines a map completely!!! Remark 3. Turn attention to the classification of discrete groups, an advantage: much more applications Group actions... (J. Karabáš, UMB) 7 / 20
8 Group/covering duality and universal covers Smooth coverings - classical topic in homotopy theory; Regular branched coverings between orientable surfaces, Riemann-Hurwitz equation an action of a discrete group G is orientation preserving, 2 2g = G ( 2 2γ r i=1 ( 1 1 m i ) ) ; i : m i 2 Z; m i G ; Fundamental group π 1 (S): elements (eq. classes of) closed curves is S, contractible (closed) curves are identities, operation composition of curves; Subgroup/covering correspondence: a covering determines a subgroup of π 1 (S), a subgroup G π 1 (S) determines a regular covering S S with CT p = G; Universal cover over S: a simply connected surface S (1 π 1 (S)) covering all the covers of S; Fundamental group of a surface of genus g: g π 1 (S g) = a 1, b 1,..., a g, b g [a i, b i ]. i=1 Group actions... (J. Karabáš, UMB) 8 / 20
9 Uniformization Koebe Theorem ( S, π 1 (O)) U K (S g, G) (O(γ; {m 1,..., m r}), I) G A discrete group G is an epimorphic image G = π 1 (O)/K for a quotient orbifold S g/g = O(γ; {m 1, m 2,..., m r}). Fuchsian group F = π 1 (O) x 1,..., x r, a 1, b 1,..., a γ, b γ x m 1 1 = x m 2 2 =... = x mr r = 1, is the orbifold fundamental group π 1 (O). γ r [a i, b i ] x j = 1. i=1 j=1 Group actions... (J. Karabáš, UMB) 9 / 20
10 Canonical presentation of orbifold fundamental group 1 canonical quotient map M is a bouquet of r loops on the surface of genus γ, 2 every loop is the boundary of a face containing exactly one branch-point with respective branch-index m i, 3 outer face of the map is an (r + 2γ)-gon; contains no branch-point. O(0; {2, 2, 3, 3}) O(1; {3, 3}) x, y, z, w x 2 = y 2 = z 3 = w 3 = xyzw = 1 x, y, a, b x 3 = y 3 = [a, b]xy = 1 Group actions... (J. Karabáš, UMB) 10 / 20
11 Classification: The procedure Requirements: g > 1 - genus of a surface Output: list of all actions of finite groups acting on S g. (1) solve Riemann-Hurwitz equation numerically; (2) construct Fuchsian groups F(γ, {m 1,..., m r}) given by solutions of (1); low-index subgroups approach (3 ) search for all low-index normal subgroups of index G ; (4 ) for every K F test whether ε : F F/K is order-preserving on elliptic generators of F; STOP. or examining epimorphisms F G (3 ) given F and G construct all epimorphisms F G; (4 ) test whether contructed epimorphisms are order-preserving on elliptic generators of F; (5 ) choose epimorphisms which will represent actions i.e. one epimorphism for a particular K F, s.t. G = F/K; STOP. Group actions... (J. Karabáš, UMB) 11 / 20
12 Equivalence of actions If F is a Fuchsian group, epimorphisms ϕ: F G and ψ : F G give equivalent actions, provided that for α Aut(G) and the generators x i, a j, b j of F we have α(ϕ(x i )) = ψ(x i ), α(ϕ(a j )) = ψ(a j ), α(ϕ(b j )) = ψ(b j ), i {1,..., r}, j {0,..., γ}, j {0,..., γ}. Example Symetric group S 3 possesses two non-equivalent actions on genus 2 surface, described by Cayley vectors (x, x, y 1, y, ) (xy, x, y 1, y 1 ) where S 3 = x, y x 2, y 3, (y 1 x) 2 and orbifold has signature (0; {2, 2, 3, 3}). Group actions... (J. Karabáš, UMB) 12 / 20
13 Riemann-Hurwitz equation: Numeric solutions Rieman-Hurwitz equation ( 2 2g = G 2 2γ Criteria for a solution: 1 γ g, 2 r 2g + 2, r ) (1 ) 1mi 3 for any i, m i is a non-trivial divisor of G, 4 G 84(g 1). We obtain a set of pairs (signature of an orbifold, order of respective group) G, (γ; {m 1,..., m r}). i=1 Not every signature is g-admissible: RH numerically holds, but no action of G does exist. (0; {2, 3, 7}) is not 2-admissible no group of order 84 acts on S 2 ; (0; {2, 4, 5}) is not 3-admissible no group of order 20 acts on S 3, etc... Group actions... (J. Karabáš, UMB) 13 / 20
14 Genus 2 actions: Arithmetics vs. group theory G Orbifold Action G Orbifold Action 1 (2; {}) 1 12 (0; {2, 2, 2, 3}) D 12 2 (1; {2, 2}) C 2 12 (0; {3, 4, 4}) C 3 : C 4 2 (0; {2, 2, 2, 2, 2, 2}) C 2 12 (0; {3, 3, 6}) 3 (1; {3}) 12 (0; {2, 6, 6}) C 6 C 2 3 (0; {3, 3, 3, 3}) C 3 12 (0; {2, 4, 12}) 4 (1; {2}) 15 (0; {3, 3, 5}) 4 (0; {2, 2, 2, 2, 2}) C 2 C 2 16 (0; {2, 4, 8}) QD 16 4 (0; {2, 2, 4, 4}) C 4 18 (0; {2, 3, 18}) 5 (0; {5, 5, 5}) C 5 20 (0; {2, 5, 5}) 6 (0; {2, 2, 3, 3}) C 6, S 3 24 (0; {3, 3, 3}) SL(2, 3) 6 (0; {2, 2, 2, 6}) 24 (0; {2, 4, 6}) (C 6 C 2 ) : C 2 6 (0; {3, 6, 6}) C 6 24 (0; {2, 3, 12}) 8 (0; {2, 2, 2, 4}) D 8 30 (0; {2, 3, 10}) 8 (0; {4, 4, 4}) Q 8 36 (0; {2, 3, 9}) 8 (0; {2, 8, 8}) C 8 40 (0; {2, 4, 5}) 9 (0; {3, 3, 9}) 48 (0; {2, 3, 8}) GL(2, 3) 10 (0; {2, 5, 10}) C (0; {2, 3, 7}) Group actions... (J. Karabáš, UMB) 14 / 20
15 Main result Previous results Broughton 89 classification for genera 2 and 3 Bogopolski 91 classification for genus 4 Kuribayashi and Kimura 90 s classification for genus 5 State-of-art Abstract structure of groups and g-admissible orbifold types were dermined up to genus 21 (JK), for large groups much further (see Conder s web page, G 4(g 1)) (almost) All actions determined by g-admissible groups are known for 2 g 21 (JK); At present we have completed the list of actions up to genus 11, see Small 11-admissible troublemakers with more than kernels: C 2 C 2 of types (2; {2 6 }), (1; {2 10 }) or (0; {2 14 }), S 3 of type (0; {2 8, 3 2 }), and several other abelian and dihedral groups with certain types. Group actions... (J. Karabáš, UMB) 15 / 20
16 Samples Discrete groups with actions on S 0 G Epi O Sign. G Epi O Sign. I 1 (0; ) A 4 24 (0; {2, 3, 3}) C m ϕ(m) (0; {m, m}) S 4 24 (0; {2, 3, 4}) D 2m mϕ(m) (0; {2, 2, m}) A (0; {2, 3, 5}) By RH bound, for g > 1 there are finitely many g-admissible orbifolds. see for 2 g 21 Discrete groups acting on S 2 G Epi O #act. Sign. G Epi O #act Sign. I 1 1 (2; ) Q (0; {4, 4, 4}) C (1; {2, 2}) D (0; {2 3, 4}) C (0; {2 6 }) C (0; {2, 5, 10}) C (0; {3 4 }) C 2 C (0; {2, 6, 6}) C (0; {2 2, 4 2 }) C 3 : C (0; {3, 4, 4}) C (0; {2 5 }) D (0; {2 3, 3}) C (0; {5, 5, 5}) C 8 : C (0; {2, 4, 8}) C (0; {3, 6, 6}) (C 2 C 6 ) : C (0; {2, 4, 6}) C (0; {2 2, 3 2 }) SL 2 (3) 24 1 (0; {3, 3, 4}) S (0; {2 2, 3 2 }) GL 2 (3) 48 1 (0; {2, 3, 8}) C (0; {2, 8, 8}) Group actions... (J. Karabáš, UMB) 16 / 20
17 Maximal actions Accola & MacLachlan - the maximal order of a discrete group acting on S g is 8(g + 1). Hurwitz action of genus g - action of a group of order 84(g 1) with orbifold type (0; {2, 3, 7}) - attained for g = 3, 7, 14, 17, 118, 129, 146, Conder, and others Local maximum for a genus g - actions of group of order > 8(g + 1) with orbifold type (0; {k, m, n}) - a typical situation. From Accola & MacLachlan - the respective orbifold type of a maximal action is either (0; {k, m, n}), or (0; {2, 2, 2, 3})! Problem Does there exist an orientable surface S g such that the respective maximal action is of orbifold type (0; {2, 2, 2, 3})? YES: g = 126, G = 1500 is the first case - Conder Open Problem Does the series of surfaces S g, such that maximal action on S g is of type (0; {2, 2, 2, 3}) exist? Compute its members. Is the series infinite? Group actions... (J. Karabáš, UMB) 17 / 20
18 Equivalence of actions (again) Having ϕ: F G and ψ : F G and α Aut(G), two actions are equivalent if α(ϕ(x i )) = ψ(x i ), α(ϕ(a j )) = ψ(a j ), α(ϕ(b j )) = ψ(b j ), i {1,..., r}, j {0,..., γ}, j {0,..., γ}. Actions are equivariant (Malnič, Nedela, and Škoviera) - equivalent actions define the same maps by voltage assignments. Other possibilities: Take α Inn(G), preserving the prescribed order of generators; Take α A Aut(G), preserving the prescribed order of generators; Define equivalence α ϕ = ψ, i.e. α({ϕ(x i ), ϕ(a j ), ϕ(b j )}) = {ψ(x i ), ψ(a j ), ψ(b j )}, i = 0,..., r, j = 1,..., γ;??? Open Problem Find (convenient) group-theoretic expressions of common equivalences known to topologists. Group actions... (J. Karabáš, UMB) 18 / 20
19 Classification of discrete group actions on arbitrary surfaces? Klein equation relating a surface with its quotients r ) µ(s) = G α γ + k 2 + (1 1mi i=1 k h i i=1 j=1 ) (1 1nij gives the signature (γ; ±; [m 1,..., m r]; {(n 1,1,..., n 1,h1 ),..., (n k,1,..., n k,h k )}). Further direct attack is (surely) intractable. Backdoor attack (Gromadzki, JK, and Kozłowska-Walania) 1 Take an orientable action of G and the its (+)signature σ = (γ, {m 1,..., m r}); 2 Fuchsian group F σ is an index 2 subgroup of several NEC groups Λ i ; 3 We have an algorithm giving all possible signatures (and presentations of Λ i ); 4 Koebe Theorem gives Λ i /K = C 2.G, where K Λ i, torsion free; 5 Parameters of a surface where C 2.G is acting are given by µ(s) = αg + k 2; DONE. Backdoor attack does not give complete census it is done by algebraic genus. We are able to check previous results and go much further... Group actions... (J. Karabáš, UMB) 19 / 20
20 Done. Thank you. Group actions... (J. Karabáš, UMB) 20 / 20
Regular embeddings of graphs into surfaces
Banská Bystrica Wien, November 28 November 2, 28 Maps and graph embeddings Maps Map is a 2-cell decomposition of a surface Category OrMaps Maps on orientable surfaces together with orientation-preserving
More informationDiangle groups. by Gunther Cornelissen
Kinosaki talk, X 2000 Diangle groups by Gunther Cornelissen This is a report on joint work with Fumiharu Kato and Aristides Kontogeorgis which is to appear in Math. Ann., DOI 10.1007/s002080000183. Diangle
More informationHolomorphic maps between Riemann surfaces of small genera
Holomorphic maps between Riemann surfaces of small genera Ilya Mednykh Sobolev Institute of Mathematics Novosibirsk State University Russia Branched Coverings, Degenerations, and Related Topis 2010 Hiroshima,
More informationOne-dimensional families of Riemann surfaces with 4g+4 autom
One-dimensional families of Riemann surfaces of genus g with 4g+4 automorphisms joint work with A. Costa Automorphisms of Riemann Surfaces and Related Topics AMS Spring Western Sectional Meeting Portland,
More informationThe genera, reflexibility and simplicity of regular maps
The genera, reflexibility and simplicity of regular maps Marston D.E. Conder Department of Mathematics, University of Auckland, Private Bag 92019, Auckland, New Zealand m.conder@auckland.ac.nz Jozef Širáň
More informationOn p-hyperelliptic Involutions of Riemann Surfaces
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 46 (2005), No. 2, 581-586. On p-hyperelliptic Involutions of Riemann Surfaces Ewa Tyszkowska Institute of Mathematics, University
More informationThe Genus Level of a Group
The Genus Level of a Group Matthew Arbo, University of Oregon Krystin Benkowski, Marquette University Ben Coate, College of Idaho Hans Nordstrom, University of Portland Chris Peterson, Ponoma College Aaron
More informationNatural bridge, Yoho national park
Natural bridge, Yoho national park Skew morphisms of cyclic groups and complete regular dessins Roman Nedela Y.Q.Feng, Kan Hu, M.Škoviera and Naer Wang Math. Inst. Slovak Academy, Banska Bystrica University
More informationRegular Hamiltonian embeddings of the complete bipartite graph K n,n in an orientable surface
Regular Hamiltonian embeddings of the complete bipartite graph K n,n in an orientable surface M. J. Grannell, T. S. Griggs Department of Pure Mathematics The Open University Walton Hall Milton Keynes MK7
More informationAPPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 18, 1993, 307 3 APPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES E. Bujalance, A.F. Costa, and D. Singerman Universidad
More informationEnumeration of unrooted maps of a given genus
Journal of Combinatorial Theory, Series B 96 006 706 79 www.elsevier.com/locate/jctb Enumeration of unrooted maps of a given genus Alexander Mednykh a, Roman Nedela b,c a Sobolev Institute of Mathematics,
More informationThe symmetric genus spectrum of finite groups
Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 4 (2011) 271 289 The symmetric genus spectrum of finite groups Marston
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationGEOMETRIC UNIFORMIZATION IN GENUS 2
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 20, 1995, 401 418 GEOMETRIC UNIFORMIZATION IN GENUS 2 T. Kuusalo and M. Näätänen University of Jyväskylä, Department of Mathematics
More informationX G X by the rule x x g
18. Maps between Riemann surfaces: II Note that there is one further way we can reverse all of this. Suppose that X instead of Y is a Riemann surface. Can we put a Riemann surface structure on Y such that
More informationClassification of regular maps of negative prime Euler characteristic
Classification of regular maps of negative prime Euler characteristic Antonio Breda d Azevedo Departamento de Matematica Universidade de Aveiro Aveiro, Portugal Roman Nedela Institute of Mathematics Slovak
More informationThe Classification of Automorphism Groups of Rational Elliptic Surfaces With Section
University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations Spring 5-16-011 The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section Tolga Karayayla tkarayay@math.upenn.edu
More informationCensus of Quadrangle Groups Inclusions
Census of Quadrangle Groups Inclusions António Breda d Azevedo, Domenico A. Catalano, Ján Karabáš and Roman Nedela Abstract In a classical result of 1972 Singerman classifies the inclusions between triangle
More informationA more detailed classification of symmetric cubic graphs
A more detailed classification of symmetric cubic graphs Marston Conder 1 Roman Nedela 2 Department of Mathematics University of Auckland Private Bag 92019 Auckland New Zealand Email: m.conder@auckland.ac.nz
More informationSymmetries of quasiplatonic Riemann surfaces arxiv: v1 [math.cv] 11 Jan 2014
Symmetries of quasiplatonic Riemann surfaces arxiv:1401.575v1 [math.cv] 11 Jan 014 Gareth A. Jones and David Singerman School of Mathematics University of Southampton Southampton SO17 1BJ, U.K. Paul D.
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
More informationThe Structure of Automorphism Groups of Cayley Graphs and Maps
Journal of Algebraic Combinatorics 12 (2000), 73 84 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. The Structure of Automorphism Groups of Cayley Graphs and Maps ROBERT JAJCAY jajcay@laurel.indstate.edu
More informationX 0 is of the form Ɣ\B 2 and the map B 2 X 0
Introduction Historical precedent for the results in this book can be found in the theory of Riemann surfaces. Every compact Riemann surface of genus g 2has representations both as a plane algebraic curve,
More informationAN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying
AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE 1. RATIONAL POINTS ON CIRCLE We start by asking us: How many integers x, y, z) can satisfy x 2 + y 2 = z 2? Can we describe all of them? First we can divide
More informationRegular embeddings of K n,n where n is a power of 2. I: Metacyclic case
Regular embeddings of K n,n where n is a power of 2. I: Metacyclic case Shao-Fei Du Department of Mathematics, Capital Normal University Beijing 100037, People s Republic of China Gareth Jones School of
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
More informationTopological and H q Equivalence of Prime Cyclic p-gonal Actions on Riemann Surfaces
Topological and H q Equivalence of Prime Cyclic p-gonal Actions on Riemann Surfaces Preliminary Report S. Allen Broughton - Rose-Hulman Institute of Technology 14 Apr 2018 Sections Sections Overview of
More informationEnumeration of Skew-morphisms of Cyclic Groups of Small Orders and Their Corresponding Cayley Maps
Λ45ffiΛ1 μ χ fi ' Vol.45, No.1 2016 1% ADVANCES IN MATHEMATICS (CHINA) Jan., 2016 doi: 10.11845/sxjz.2014107b Enumeration of Skew-morphisms of Cyclic Groups of Small Orders and Their Corresponding Cayley
More informationOn isolated strata of pentagonal Riemann surfaces in the branch locus of moduli spaces
On isolated strata of pentagonal Riemann surfaces in the branch locus of moduli spaces Gabriel Bartolini, Antonio F. Costa and Milagros Izquierdo Linköping University Post Print N.B.: When citing this
More informationOn the fixed-point set of automorphisms of non-orientable surfaces without boundary
ISSN 1464-8997 (on line) 1464-8989 (printed) 295 Geometry & Topology Monographs Volume 1: The Epstein birthday schrift Pages 295 301 On the fixed-point set of automorphisms of non-orientable surfaces without
More informationMAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.
MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems. Problem 1 Find all homomorphisms a) Z 6 Z 6 ; b) Z 6 Z 18 ; c) Z 18 Z 6 ; d) Z 12 Z 15 ; e) Z 6 Z 25 Proof. a)ψ(1)
More informationMathematica Slovaca. Dragan Marušič; Tomaž Pisanski The remarkable generalized Petersen graph G(8, 3) Terms of use:
Mathematica Slovaca Dragan Marušič; Tomaž Pisanski The remarkable generalized Petersen graph G(8, 3) Mathematica Slovaca, Vol. 50 (2000), No. 2, 117--121 Persistent URL: http://dml.cz/dmlcz/133137 Terms
More informationSeeing Surface Symmetries in 3-Space
Seeing Surface Symmetries in 3-Space T. W. Tucker Colgate University October 24, 2009 The group of genus two: sculpture by DeWitt Godfrey and Duane Martinez, as conceived by Tomo Pisanski The group of
More informationRegular Cyclic Coverings of the Platonic Maps* GARETH A. JONES and DAVID B. SUROWSKI**
Regular Cyclic Coverings of the Platonic Maps* GARETH A. JONES and DAVID B. SUROWSKI** We use homological methods to describe the regular maps and hypermaps which are cyclic coverings of the Platonic maps,
More informationCyclic Projective Planes and Wada Dessins
Documenta Math. 39 Cyclic Projective Planes and Wada Dessins Manfred Streit and Jürgen Wolfart Received: November 21, 2000 Revised: April 26, 2001 Communicated by Günter M. Ziegler Abstract. Bipartite
More informationPermutation groups/1. 1 Automorphism groups, permutation groups, abstract
Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.
More informationGeometric Topology. Harvard University Fall 2003 Math 99r Course Notes
Geometric Topology Harvard University Fall 2003 Math 99r Course Notes Contents 1 Introduction: Knots and Reidemeister moves........... 1 2 1-Dimensional Topology....................... 1 3 2-Dimensional
More informationImplications of hyperbolic geometry to operator K-theory of arithmetic groups
Implications of hyperbolic geometry to operator K-theory of arithmetic groups Weizmann Institute of Science - Department of Mathematics LMS EPSRC Durham Symposium Geometry and Arithmetic of Lattices, July
More informationMetabelian Galois Representations
Metabelian Galois Representations Edray Herber Goins AMS 2018 Spring Western Sectional Meeting Special Session on Automorphisms of Riemann Surfaces and Related Topics Portland State University Department
More informationSupplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.
Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is
More informationHURWITZ EQUIVALENCE OF BRAID MONODROMIES AND EXTREMAL ELLIPTIC SURFACES. Alex Degtyarev
HURWITZ EQUIVALENCE OF BRAID MONODROMIES AND EXTREMAL ELLIPTIC SURFACES Alex Degtyarev Abstract. We discuss the equivalence between the categories of certain ribbon graphs and subgroups of the modular
More informationMAPPING CLASS ACTIONS ON MODULI SPACES. Int. J. Pure Appl. Math 9 (2003),
MAPPING CLASS ACTIONS ON MODULI SPACES RICHARD J. BROWN Abstract. It is known that the mapping class group of a compact surface S, MCG(S), acts ergodically with respect to symplectic measure on each symplectic
More informationarxiv: v1 [math.at] 4 Dec 2007
arxiv:071.063v1 [math.at] 4 Dec 007 Topologically Unique Maximal Elementary Abelian Group Actions on Compact Oriented Surfaces S. Allen Broughton, Rose-Hulman Institute of Technology Aaron Wootton, University
More informationMATH 436 Notes: Cyclic groups and Invariant Subgroups.
MATH 436 Notes: Cyclic groups and Invariant Subgroups. Jonathan Pakianathan September 30, 2003 1 Cyclic Groups Now that we have enough basic tools, let us go back and study the structure of cyclic groups.
More informationOn Beauville surfaces
On Beauville surfaces Yolanda Fuertes, Gabino González-Diez and Andrei Jaikin-Zapirain Abstract We prove that if a finite group G acts freely on a product of two curves C 1 C 2 so that the quotient S =
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationHyperbolic geometry of Riemann surfaces
3 Hyperbolic geometry of Riemann surfaces By Theorem 1.8.8, all hyperbolic Riemann surfaces inherit the geometry of the hyperbolic plane. How this geometry interacts with the topology of a Riemann surface
More informationCLASSIFICATION OF CUBIC EDGE-TRANSITIVE GRAPHS OF ORDER 14p 2
Hacettepe Journal of Mathematics and Statistics Volume 41(2) (2012), 277 282 CLASSIFICATION OF CUBIC EDGE-TRANSITIVE GRAPHS OF ORDER 14p 2 Mehdi Alaeiyan and Mohsen Lashani Received 11:12:2010 : Accepted
More informationENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.
ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.
More informationCoxeter Groups and Artin Groups
Chapter 1 Coxeter Groups and Artin Groups 1.1 Artin Groups Let M be a Coxeter matrix with index set S. defined by M is given by the presentation: A M := s S sts }{{ } = tst }{{ } m s,t factors m s,t The
More informationAutomorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G.
Automorphism Groups 9-9-2012 Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G. Example. The identity map id : G G is an automorphism. Example.
More informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationarxiv: v1 [math.cv] 19 Nov 2018
AUTOMORPHISM GROUPS OF DESSINS D ENFANTS arxiv:1811.07849v1 [math.cv] 19 Nov 2018 Abstract. Recently, Gareth Jones observed that every finite group G can be realized as the group of automorphisms of some
More informationGRAPH-THEORETIC HURWITZ GROUPS
GRAPH-THEORETIC HURWITZ GROUPS SCOTT CORRY Abstract. This paper studies the analogue of Hurwitz groups and surfaces in the context of harmonic group actions on finite graphs. Our main result states that
More informationRegular dessins with abelian automorphism groups
Jürgen Wolfart and Benjamin Mühlbauer 1 Institut für Mathematik der Goethe Universität, D 60629 Frankfurt a.m., Germany wolfart@math.uni-frankfurt.de Regular dessins with abelian automorphism groups Dedicated
More informationAlgebraic Topology M3P solutions 2
Algebraic Topology M3P1 015 solutions AC Imperial College London a.corti@imperial.ac.uk 3 rd February 015 A small disclaimer This document is a bit sketchy and it leaves some to be desired in several other
More informationLecture II: Curve Complexes, Tensor Categories, Fundamental Groupoids
Lecture II: Curve Complexes, Tensor Categories, Fundamental Groupoids 20 Goal The aim of this talk is to relate the concepts of: divisor at infinity on the moduli space of curves fundamental group(oid)
More informationMapping Class Groups MSRI, Fall 2007 Day 8, October 25
Mapping Class Groups MSRI, Fall 2007 Day 8, October 25 November 26, 2007 Reducible mapping classes Review terminology: An essential curve γ on S is a simple closed curve γ such that: no component of S
More informationOn the Moduli Space of Klein Four Covers of the Projective Line
On the Moduli Space of Klein Four Covers of the Projective Line D. Glass, R. Pries a Darren Glass Department of Mathematics Columbia University New York, NY 10027 glass@math.columbia.edu Rachel Pries Department
More informationA FUCHSIAN GROUP PROOF OF THE HYPERELLIPTICITY OF RIEMANN SURFACES OF GENUS 2
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 69 74 A FUCHSIAN GROUP PROOF OF THE HYPERELLIPTICITY OF RIEMANN SURFACES OF GENUS 2 Yolanda Fuertes and Gabino González-Diez Universidad
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationCombinatorial Methods in Study of Structure of Inverse Semigroups
Combinatorial Methods in Study of Structure of Inverse Semigroups Tatiana Jajcayová Comenius University Bratislava, Slovakia Graphs, Semigroups, and Semigroup Acts 2017, Berlin October 12, 2017 Presentations
More informationOn certain Regular Maps with Automorphism group PSL(2, p) Martin Downs
BULLETIN OF THE GREEK MATHEMATICAL SOCIETY Volume 53, 2007 (59 67) On certain Regular Maps with Automorphism group PSL(2, p) Martin Downs Received 18/04/2007 Accepted 03/10/2007 Abstract Let p be any prime
More informationUniformization in several complex variables.
Uniformization in several complex variables. Grenoble. April, 16, 2009. Transmitted to IMPA (Rio de Janeiro). Philippe Eyssidieux. Institut Fourier, Université Joseph Fourier (Grenoble 1). 1 The uniformization
More informationCommensurability between once-punctured torus groups and once-punctured Klein bottle groups
Hiroshima Math. J. 00 (0000), 1 34 Commensurability between once-punctured torus groups and once-punctured Klein bottle groups Mikio Furokawa (Received Xxx 00, 0000) Abstract. The once-punctured torus
More informationCubic Cayley Graphs and Snarks
Cubic Cayley Graphs and Snarks Klavdija Kutnar University of Primorska Nashville, 2012 Snarks A snark is a connected, bridgeless cubic graph with chromatic index equal to 4. non-snark = bridgeless cubic
More informationTHE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS
THE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS BRIAN OSSERMAN Abstract. The study of branched covers of the Riemann sphere has connections to many fields. We recall the classical
More informationON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES
ON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES S.K. ROUSHON Abstract. We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions
More informationNotation. For any Lie group G, we set G 0 to be the connected component of the identity.
Notation. For any Lie group G, we set G 0 to be the connected component of the identity. Problem 1 Prove that GL(n, R) is homotopic to O(n, R). (Hint: Gram-Schmidt Orthogonalization.) Here is a sequence
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationPERIOD MATRICES OF ACCOLA MACLACHLAN AND KULKARNI SURFACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 25, 2000, 6 77 PERIOD MATRICES OF ACCOLA MACLACHLAN AND KULKARNI SURFACES E. Bujalance, A.F. Costa, J.M. Gamboa, and G. Riera Universidad Nacional
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
More informationAN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS
AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References
More informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
More informationTopological and Hq Equivalence of Prime Cyclic p- gonal Actions on Riemann Surfaces
Rose-Hulman Institute of Technology Rose-Hulman Scholar Mathematical Sciences Technical Reports (MSTR) Mathematics 7-25-2016 Topological and Hq Equivalence of Prime Cyclic p- gonal Actions on Riemann Surfaces
More information(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G.
(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G. (2) Determine all groups of order 21 up to isomorphism. (3) Let P be s Sylow
More informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationPermutation Groups and Transformation Semigroups Lecture 4: Idempotent generation
Permutation Groups and Transformation Semigroups Lecture 4: Idempotent generation Peter J. Cameron University of St Andrews Shanghai Jiao Tong University November 2017 Idempotent generation We are interested
More informationHurwitz equivalence of braid monodromies and extremal elliptic surfaces
Proc. London Math. Soc. (3) 103 (2011) 1083 1120 C 2011 London Mathematical Society doi:10.1112/plms/pdr013 Hurwitz equivalence of braid monodromies and extremal elliptic surfaces Alex Degtyarev Abstract
More informationAn introduction to orbifolds
An introduction to orbifolds Joan Porti UAB Subdivide and Tile: Triangulating spaces for understanding the world Lorentz Center November 009 An introduction to orbifolds p.1/0 Motivation Γ < Isom(R n )
More informationLifting Tropical Curves and Linear Systems on Graphs
Lifting Tropical Curves and Linear Systems on Graphs Eric Katz (Texas/MSRI) November 7, 2010 Eric Katz (Texas/MSRI) Lifting Tropical Curves November 7, 2010 1 / 31 Tropicalization Let K = C{{t}} = C((t)),
More informationAction of mapping class group on extended Bers slice
Action of mapping class group on extended Bers slice (Kentaro Ito) 1 Introduction Let S be an oriented closed surface of genus g 2. Put V (S) = Hom(π 1 (S), PSL 2 (C))/PSL 2 (C). Let X be an element of
More informationBraid groups, their applications and connections
Braid groups, their applications and connections Fred Cohen University of Rochester KITP Knotted Fields July 1, 2012 Introduction: Artin s braid groups are at the confluence of several basic mathematical
More informationTheorems and Definitions in Group Theory
Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3
More informationALGEBRAIC GEOMETRY AND RIEMANN SURFACES
ALGEBRAIC GEOMETRY AND RIEMANN SURFACES DANIEL YING Abstract. In this thesis we will give a present survey of the various methods used in dealing with Riemann surfaces. Riemann surfaces are central in
More informationCritical Groups of Graphs with Dihedral Symmetry
Critical Groups of Graphs with Dihedral Symmetry Will Dana, David Jekel August 13, 2017 1 Introduction We will consider the critical group of a graph Γ with an action by the dihedral group D n. After defining
More informationDEHN FILLINGS AND ELEMENTARY SPLITTINGS
DEHN FILLINGS AND ELEMENTARY SPLITTINGS DANIEL GROVES AND JASON FOX MANNING Abstract. We consider conditions on relatively hyperbolic groups about the non-existence of certain kinds of splittings, and
More informationSELF-EQUIVALENCES OF DIHEDRAL SPHERES
SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationMaps, Hypermaps and Related Topics
Maps, Hypermaps and Related Topics Roman Nedela Matej Bel University Banska Bystrica, Slovakia and Mathematical Institute Slovak Academy of Sciences Banska Bystrica, Slovakia nedela@savbb.sk This work
More informationSome generalizations of one-relator groups
Some generalizations of one-relator groups Yago Antoĺın University of Southampton Webinar, November 20th 2012 The main topic of this talk is Magnus induction technique. This is one of the most important
More informationMath 103 HW 9 Solutions to Selected Problems
Math 103 HW 9 Solutions to Selected Problems 4. Show that U(8) is not isomorphic to U(10). Solution: Unfortunately, the two groups have the same order: the elements are U(n) are just the coprime elements
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationFields and model-theoretic classification, 2
Fields and model-theoretic classification, 2 Artem Chernikov UCLA Model Theory conference Stellenbosch, South Africa, Jan 11 2017 NIP Definition Let T be a complete first-order theory in a language L.
More informationTriangle groups and Jacobians of CM type
Triangle groups and Jacobians of CM type Jürgen Wolfart Dédié à la mémoire de Claude Itzykson In the last years, two new tools have been developed for an approach to the question whether a given nonsingular
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationModuli space of curves and tautological relations
MSc Mathematical Physics Master Thesis Moduli space of curves and tautological relations Author: Farrokh Labib Supervisor: prof. dr. Sergey Shadrin Examination date: July, 017 Korteweg-de Vries Institute
More information