vertex quasiprimitivity in regular maps
play

Vertex-quasiprimitivity in regular maps Jozef Sir a n OU and - PowerPoint PPT Presentation

Apr 08, 2023 •311 likes •1.33k views

Vertex-quasiprimitivity in regular maps Jozef Sir a n OU and STU 27th May 2015 Jozef Sir a n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 1 / 15 The five Platonic maps M Jozef Sir a n OU

  1. Is this embedding of K 5 in a torus orientably-regular? �� �� � � �������� �������� �������� �������� ���� ���� �� �� � � ���� ���� �������� �������� �������� �������� � � �������� �������� �������� �������� ���� ���� � � �������� �������� �������� �������� ���� ���� � � ���� ���� �������� �������� �������� �������� �� �� �������� �������� �������� �������� �� �� ���� ���� � � � �� �� �� �� � �������� �������� �������� �������� �� �� �� �� ���� ���� � � ���� ���� �������� �������� �������� �������� ����������������� ����������������� ���� ���� �������� �������� ����������������� ����������������� � � �������� �������� ���� ���� ����������������� ����������������� � � ���� ���� �������� �������� ����������������� ����������������� � � ���� ���� �������� �������� �� �� ����������������� ����������������� �������� �������� �� �� � � ���� ���� ����������������� ����������������� � � ���� ���� �������� �������� ����������������� ����������������� ���� ���� �������� �������� � � ����������������� ����������������� �������� �������� ���� ���� � � ����� ����� ����������������� ����������������� �������� �������� � � ����������������� ����������������� ����� ����� �������� �������� � � � � ����������������� ����������������� ����� ����� �������� �������� � � �� �� � � ����� ����� ����������������� ����������������� �������� �������� � � ����������������� ����������������� ����� ����� �������� �������� � � ����������������� ����������������� ����� ����� �������� �������� ����� ����� � � ����������������� ����������������� �������� �������� �������� �������� � � ����������������� ����������������� ����� ����� �������� �������� � � �������� �������� ����� ����� �������� �������� � � �������� �������� ����� ����� �������� �������� � � �������� �������� ����� ����� �������� �������� �������� �������� ����� ����� �������� �������� � � �������� �������� ����� ����� �������� �������� �������� �������� � � ����� ����� �������� �������� �������� �������� ����� ����� �������� �������� �� �� �� �� �������� �������� ����� ����� �������� �������� �� �� �� �� Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 3 / 15

  2. Is this embedding of K 5 in a torus orientably-regular? �� �� � � �������� �������� �������� �������� ���� ���� �� �� � � ���� ���� �������� �������� �������� �������� � � �������� �������� �������� �������� ���� ���� � � �������� �������� �������� �������� ���� ���� � � ���� ���� �������� �������� �������� �������� �� �� �������� �������� �������� �������� �� �� ���� ���� � � � �� �� �� �� � �������� �������� �������� �������� �� �� �� �� ���� ���� � � ���� ���� �������� �������� �������� �������� ����������������� ����������������� ���� ���� �������� �������� ����������������� ����������������� � � �������� �������� ���� ���� ����������������� ����������������� � � ���� ���� �������� �������� ����������������� ����������������� � � ���� ���� �������� �������� �� �� ����������������� ����������������� �������� �������� �� �� � � ���� ���� ����������������� ����������������� � � ���� ���� �������� �������� ����������������� ����������������� ���� ���� �������� �������� � � ����������������� ����������������� �������� �������� ���� ���� � � ����� ����� ����������������� ����������������� �������� �������� � � ����������������� ����������������� ����� ����� �������� �������� � � � � ����������������� ����������������� ����� ����� �������� �������� � � �� �� � � ����� ����� ����������������� ����������������� �������� �������� � � ����������������� ����������������� ����� ����� �������� �������� � � ����������������� ����������������� ����� ����� �������� �������� ����� ����� � � ����������������� ����������������� �������� �������� �������� �������� � � ����������������� ����������������� ����� ����� �������� �������� � � �������� �������� ����� ����� �������� �������� � � �������� �������� ����� ����� �������� �������� � � �������� �������� ����� ����� �������� �������� �������� �������� ����� ����� �������� �������� � � �������� �������� ����� ����� �������� �������� �������� �������� � � ����� ����� �������� �������� �������� �������� ����� ����� �������� �������� �� �� �� �� �������� �������� ����� ����� �������� �������� �� �� �� �� • Presentation: Aut + ( M ) = � r , s ; r 4 = s 4 = ( rs ) 2 = ... = 1 � Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 3 / 15

  3. � � �� �� �� �� � � � � �� �� �� �� � � � � � � �� �� �� �� � � � �� �� �� �� � � � �� �� �� �� � � � � � � �� �� � � �� �� � � � � � � �� �� � � � � �� �� � � �� �� � � �� �� � � �� �� � � �� �� � � �� �� � � � � �� �� �� �� � � � � �� �� �� �� � � Is this embedding of K 5 regular? Chirality Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 4 / 15

  4. Is this embedding of K 5 regular? Chirality � � �� �� �� �� � � � � �� �� �� �� � � � � � � �� �� �� �� � � � �� �� �� �� � � � �� �� �� �� � � � � � � �� �� � � �� �� � � � � � � �� �� � � � � �� �� � � � � �� �� �� �� � � �� �� � � �� �� � � �� �� � � � � �� �� �� �� � � � � �� �� �� �� � � Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 4 / 15

  5. Regular and orientably-regular maps Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 5 / 15

  6. Regular and orientably-regular maps A map is regular if its automorphism group is regular on flags. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 5 / 15

  7. Regular and orientably-regular maps A map is regular if its automorphism group is regular on flags. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 5 / 15

  8. Regular and orientably-regular maps A map is regular if its automorphism group is regular on flags. Aut ( M ) = � x , y , z | x 2 = y 2 = z 2 = ( yz ) k = ( zx ) m = ( xy ) 2 = . . . = 1 � Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 5 / 15

  9. Regular and orientably-regular maps A map is regular if its automorphism group is regular on flags. Aut ( M ) = � x , y , z | x 2 = y 2 = z 2 = ( yz ) k = ( zx ) m = ( xy ) 2 = . . . = 1 � Orientable regularity - the orientation-preserving map automorphism group Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � is regular on arcs, or darts: Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 5 / 15

  10. Regular and orientably-regular maps A map is regular if its automorphism group is regular on flags. Aut ( M ) = � x , y , z | x 2 = y 2 = z 2 = ( yz ) k = ( zx ) m = ( xy ) 2 = . . . = 1 � Orientable regularity - the orientation-preserving map automorphism group Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � is regular on arcs, or darts: Conversely, such group presentations determine (orientably-) regular maps. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 5 / 15

  11. The famous Klein map of genus 3 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 6 / 15

  12. The famous Klein map of genus 3 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 6 / 15

  13. The Klein map of genus 3 – algebraically Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 7 / 15

  14. The Klein map of genus 3 – algebraically • Regular, of type { 7 , 3 } Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 7 / 15

  15. The Klein map of genus 3 – algebraically • Regular, of type { 7 , 3 } • Aut ( M ) = � x , y , z ; x 2 = y 2 = z 2 = ( yz ) 3 = ( zx ) 7 = ( xy ) 2 = . . . = 1 � Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 7 / 15

  16. The Klein map of genus 3 – algebraically • Regular, of type { 7 , 3 } • Aut ( M ) = � x , y , z ; x 2 = y 2 = z 2 = ( yz ) 3 = ( zx ) 7 = ( xy ) 2 = . . . = 1 � • 336 flags Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 7 / 15

  17. The Klein map of genus 3 – algebraically • Regular, of type { 7 , 3 } • Aut ( M ) = � x , y , z ; x 2 = y 2 = z 2 = ( yz ) 3 = ( zx ) 7 = ( xy ) 2 = . . . = 1 � • 336 flags • Aut ( M ) ≃ PGL (2 , 7) Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 7 / 15

  18. Example of a non-orientable regular map Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 8 / 15

  19. Example of a non-orientable regular map The Petersen Graph on the projective plane, with its dual – K 6 : Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 8 / 15

  20. Example of a non-orientable regular map The Petersen Graph on the projective plane, with its dual – K 6 : Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 8 / 15

  21. Example of a non-orientable regular map The Petersen Graph on the projective plane, with its dual – K 6 : • Regular, of type { 5 , 3 } Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 8 / 15

  22. Example of a non-orientable regular map The Petersen Graph on the projective plane, with its dual – K 6 : • Regular, of type { 5 , 3 } • Aut ( M ) = � x , y , z ; x 2 = y 2 = z 2 = ( yz ) 3 = ( zx ) 5 = ( xy ) 2 = . . . = 1 � Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 8 / 15

  23. Example of a non-orientable regular map The Petersen Graph on the projective plane, with its dual – K 6 : • Regular, of type { 5 , 3 } • Aut ( M ) = � x , y , z ; x 2 = y 2 = z 2 = ( yz ) 3 = ( zx ) 5 = ( xy ) 2 = . . . = 1 � • 60 flags Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 8 / 15

  24. Example of a non-orientable regular map The Petersen Graph on the projective plane, with its dual – K 6 : • Regular, of type { 5 , 3 } • Aut ( M ) = � x , y , z ; x 2 = y 2 = z 2 = ( yz ) 3 = ( zx ) 5 = ( xy ) 2 = . . . = 1 � • 60 flags • Aut ( M ) ≃ A 5 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 8 / 15

  25. Classification by automorphism groups Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  26. Classification by automorphism groups Available results: Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  27. Classification by automorphism groups Available results: • Abelian, dihedral: Folklore Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  28. Classification by automorphism groups Available results: • Abelian, dihedral: Folklore • Sylow-cyclic: Classification of groups - H¨ older 1895, Burnside 1905, cnik, ˇ Zassenhaus 1936; maps - Conder, Potoˇ S 2010 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  29. Classification by automorphism groups Available results: • Abelian, dihedral: Folklore • Sylow-cyclic: Classification of groups - H¨ older 1895, Burnside 1905, cnik, ˇ Zassenhaus 1936; maps - Conder, Potoˇ S 2010 • Almost Sylow-cyclic: Solvable groups - Zassenhaus 1936; unsolvable - cnik, ˇ Suzuki 1955, Wong 1966; maps - Conder, Potoˇ S 2010 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  30. Classification by automorphism groups Available results: • Abelian, dihedral: Folklore • Sylow-cyclic: Classification of groups - H¨ older 1895, Burnside 1905, cnik, ˇ Zassenhaus 1936; maps - Conder, Potoˇ S 2010 • Almost Sylow-cyclic: Solvable groups - Zassenhaus 1936; unsolvable - cnik, ˇ Suzuki 1955, Wong 1966; maps - Conder, Potoˇ S 2010 c, Nedela, ˇ • Nilpotent maps - class 2 Malniˇ Skoviera 2012 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  31. Classification by automorphism groups Available results: • Abelian, dihedral: Folklore • Sylow-cyclic: Classification of groups - H¨ older 1895, Burnside 1905, cnik, ˇ Zassenhaus 1936; maps - Conder, Potoˇ S 2010 • Almost Sylow-cyclic: Solvable groups - Zassenhaus 1936; unsolvable - cnik, ˇ Suzuki 1955, Wong 1966; maps - Conder, Potoˇ S 2010 c, Nedela, ˇ • Nilpotent maps - class 2 Malniˇ Skoviera 2012 • Nilpotent maps - class 3 Du, Nedela, ˇ Skoviera et al 201? Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  32. Classification by automorphism groups Available results: • Abelian, dihedral: Folklore • Sylow-cyclic: Classification of groups - H¨ older 1895, Burnside 1905, cnik, ˇ Zassenhaus 1936; maps - Conder, Potoˇ S 2010 • Almost Sylow-cyclic: Solvable groups - Zassenhaus 1936; unsolvable - cnik, ˇ Suzuki 1955, Wong 1966; maps - Conder, Potoˇ S 2010 c, Nedela, ˇ • Nilpotent maps - class 2 Malniˇ Skoviera 2012 • Nilpotent maps - class 3 Du, Nedela, ˇ Skoviera et al 201? cnik, ˇ • Maps on PSL , PGL (2 , q ) - Sah 1969, Conder, Potoˇ S 2010 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  33. Classification by automorphism groups Available results: • Abelian, dihedral: Folklore • Sylow-cyclic: Classification of groups - H¨ older 1895, Burnside 1905, cnik, ˇ Zassenhaus 1936; maps - Conder, Potoˇ S 2010 • Almost Sylow-cyclic: Solvable groups - Zassenhaus 1936; unsolvable - cnik, ˇ Suzuki 1955, Wong 1966; maps - Conder, Potoˇ S 2010 c, Nedela, ˇ • Nilpotent maps - class 2 Malniˇ Skoviera 2012 • Nilpotent maps - class 3 Du, Nedela, ˇ Skoviera et al 201? cnik, ˇ • Maps on PSL , PGL (2 , q ) - Sah 1969, Conder, Potoˇ S 2010 • Maps of type { 4 , 5 } on Suzuki groups - Jones, Silver 1993 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  34. Classification by automorphism groups Available results: • Abelian, dihedral: Folklore • Sylow-cyclic: Classification of groups - H¨ older 1895, Burnside 1905, cnik, ˇ Zassenhaus 1936; maps - Conder, Potoˇ S 2010 • Almost Sylow-cyclic: Solvable groups - Zassenhaus 1936; unsolvable - cnik, ˇ Suzuki 1955, Wong 1966; maps - Conder, Potoˇ S 2010 c, Nedela, ˇ • Nilpotent maps - class 2 Malniˇ Skoviera 2012 • Nilpotent maps - class 3 Du, Nedela, ˇ Skoviera et al 201? cnik, ˇ • Maps on PSL , PGL (2 , q ) - Sah 1969, Conder, Potoˇ S 2010 • Maps of type { 4 , 5 } on Suzuki groups - Jones, Silver 1993 • Maps of type { 3 , p } , p ≡ − 1 mod 12, on Ree groups - Jones 1994 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  35. Classification by automorphism groups Available results: • Abelian, dihedral: Folklore • Sylow-cyclic: Classification of groups - H¨ older 1895, Burnside 1905, cnik, ˇ Zassenhaus 1936; maps - Conder, Potoˇ S 2010 • Almost Sylow-cyclic: Solvable groups - Zassenhaus 1936; unsolvable - cnik, ˇ Suzuki 1955, Wong 1966; maps - Conder, Potoˇ S 2010 c, Nedela, ˇ • Nilpotent maps - class 2 Malniˇ Skoviera 2012 • Nilpotent maps - class 3 Du, Nedela, ˇ Skoviera et al 201? cnik, ˇ • Maps on PSL , PGL (2 , q ) - Sah 1969, Conder, Potoˇ S 2010 • Maps of type { 4 , 5 } on Suzuki groups - Jones, Silver 1993 • Maps of type { 3 , p } , p ≡ − 1 mod 12, on Ree groups - Jones 1994 Classification also considered by underlying graphs and supporting surfaces. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 9 / 15

  36. Large regular maps from small ones by lifting Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  37. Large regular maps from small ones by lifting M : orientably-regular, G = Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  38. Large regular maps from small ones by lifting M : orientably-regular, G = Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � Taking K ⊳ G we may form the orientably-regular quotient map M / K with G / K = Aut + ( M / K ) = � rK , sK | ( rK ) κ = ( sK ) µ = ( rsK ) 2 = . . . = 1 � Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  39. Large regular maps from small ones by lifting M : orientably-regular, G = Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � Taking K ⊳ G we may form the orientably-regular quotient map M / K with G / K = Aut + ( M / K ) = � rK , sK | ( rK ) κ = ( sK ) µ = ( rsK ) 2 = . . . = 1 � The projection G → G / K induces a branched covering M → M / K of maps (and supporting surfaces); Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  40. Large regular maps from small ones by lifting M : orientably-regular, G = Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � Taking K ⊳ G we may form the orientably-regular quotient map M / K with G / K = Aut + ( M / K ) = � rK , sK | ( rK ) κ = ( sK ) µ = ( rsK ) 2 = . . . = 1 � The projection G → G / K induces a branched covering M → M / K of maps (and supporting surfaces); smooth iff κ = k and µ = m . Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  41. Large regular maps from small ones by lifting M : orientably-regular, G = Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � Taking K ⊳ G we may form the orientably-regular quotient map M / K with G / K = Aut + ( M / K ) = � rK , sK | ( rK ) κ = ( sK ) µ = ( rsK ) 2 = . . . = 1 � The projection G → G / K induces a branched covering M → M / K of maps (and supporting surfaces); smooth iff κ = k and µ = m . Knowing M ′ = M / K and K , we may reverse the process and lift M ′ to M along K ; the lift may not be unique. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  42. Large regular maps from small ones by lifting M : orientably-regular, G = Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � Taking K ⊳ G we may form the orientably-regular quotient map M / K with G / K = Aut + ( M / K ) = � rK , sK | ( rK ) κ = ( sK ) µ = ( rsK ) 2 = . . . = 1 � The projection G → G / K induces a branched covering M → M / K of maps (and supporting surfaces); smooth iff κ = k and µ = m . Knowing M ′ = M / K and K , we may reverse the process and lift M ′ to M along K ; the lift may not be unique. Theory of covers and lifts: A. Malniˇ c; Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  43. Large regular maps from small ones by lifting M : orientably-regular, G = Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � Taking K ⊳ G we may form the orientably-regular quotient map M / K with G / K = Aut + ( M / K ) = � rK , sK | ( rK ) κ = ( sK ) µ = ( rsK ) 2 = . . . = 1 � The projection G → G / K induces a branched covering M → M / K of maps (and supporting surfaces); smooth iff κ = k and µ = m . Knowing M ′ = M / K and K , we may reverse the process and lift M ′ to M along K ; the lift may not be unique. Theory of covers and lifts: A. Malniˇ c; elementary Abelian case well understood: Malniˇ c, Maruˇ siˇ c, Potoˇ cnik 2004. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  44. Large regular maps from small ones by lifting M : orientably-regular, G = Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � Taking K ⊳ G we may form the orientably-regular quotient map M / K with G / K = Aut + ( M / K ) = � rK , sK | ( rK ) κ = ( sK ) µ = ( rsK ) 2 = . . . = 1 � The projection G → G / K induces a branched covering M → M / K of maps (and supporting surfaces); smooth iff κ = k and µ = m . Knowing M ′ = M / K and K , we may reverse the process and lift M ′ to M along K ; the lift may not be unique. Theory of covers and lifts: A. Malniˇ c; elementary Abelian case well understood: Malniˇ c, Maruˇ siˇ c, Potoˇ cnik 2004. Regular cyclic lifts of Platonic maps: Jones and Surowski 2000, generalised by Hu, Nedela and Wang 2014. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  45. Large regular maps from small ones by lifting M : orientably-regular, G = Aut + ( M ) = � r , s | r k = s m = ( rs ) 2 = . . . = 1 � Taking K ⊳ G we may form the orientably-regular quotient map M / K with G / K = Aut + ( M / K ) = � rK , sK | ( rK ) κ = ( sK ) µ = ( rsK ) 2 = . . . = 1 � The projection G → G / K induces a branched covering M → M / K of maps (and supporting surfaces); smooth iff κ = k and µ = m . Knowing M ′ = M / K and K , we may reverse the process and lift M ′ to M along K ; the lift may not be unique. Theory of covers and lifts: A. Malniˇ c; elementary Abelian case well understood: Malniˇ c, Maruˇ siˇ c, Potoˇ cnik 2004. Regular cyclic lifts of Platonic maps: Jones and Surowski 2000, generalised by Hu, Nedela and Wang 2014. Examples of lifts of embeddings of the θ -graph: Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 10 / 15

  46. Quasiprimitivity Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  47. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  48. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . This works fine if G has trivial core on Ω, Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  49. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . This works fine if G has trivial core on Ω, where, for G transitive on Ω (which is our case), core ( G ) = { h ∈ G ; h ( v ) = v for each v ∈ Ω } ( g ∈ G ) g − 1 Hg ; H = Stab G ( u ) for some u ∈ Ω. = � Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  50. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . This works fine if G has trivial core on Ω, where, for G transitive on Ω (which is our case), core ( G ) = { h ∈ G ; h ( v ) = v for each v ∈ Ω } ( g ∈ G ) g − 1 Hg ; H = Stab G ( u ) for some u ∈ Ω. = � This is always the case when the underlying graph of M is simple. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  51. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . This works fine if G has trivial core on Ω, where, for G transitive on Ω (which is our case), core ( G ) = { h ∈ G ; h ( v ) = v for each v ∈ Ω } ( g ∈ G ) g − 1 Hg ; H = Stab G ( u ) for some u ∈ Ω. = � This is always the case when the underlying graph of M is simple. From now on: G = Aut + ( M ) acts faithfully as a permutation group on Ω. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  52. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . This works fine if G has trivial core on Ω, where, for G transitive on Ω (which is our case), core ( G ) = { h ∈ G ; h ( v ) = v for each v ∈ Ω } ( g ∈ G ) g − 1 Hg ; H = Stab G ( u ) for some u ∈ Ω. = � This is always the case when the underlying graph of M is simple. From now on: G = Aut + ( M ) acts faithfully as a permutation group on Ω. If there is a K ⊳ G such that M / K has at least two vertices, try lifts. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  53. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . This works fine if G has trivial core on Ω, where, for G transitive on Ω (which is our case), core ( G ) = { h ∈ G ; h ( v ) = v for each v ∈ Ω } ( g ∈ G ) g − 1 Hg ; H = Stab G ( u ) for some u ∈ Ω. = � This is always the case when the underlying graph of M is simple. From now on: G = Aut + ( M ) acts faithfully as a permutation group on Ω. If there is a K ⊳ G such that M / K has at least two vertices, try lifts. But what if there is no such K ⊳ G ? Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  54. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . This works fine if G has trivial core on Ω, where, for G transitive on Ω (which is our case), core ( G ) = { h ∈ G ; h ( v ) = v for each v ∈ Ω } ( g ∈ G ) g − 1 Hg ; H = Stab G ( u ) for some u ∈ Ω. = � This is always the case when the underlying graph of M is simple. From now on: G = Aut + ( M ) acts faithfully as a permutation group on Ω. If there is a K ⊳ G such that M / K has at least two vertices, try lifts. But what if there is no such K ⊳ G ? Equivalently, what if every normal subgroup of our permutation group G is transitive on Ω ? Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  55. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . This works fine if G has trivial core on Ω, where, for G transitive on Ω (which is our case), core ( G ) = { h ∈ G ; h ( v ) = v for each v ∈ Ω } ( g ∈ G ) g − 1 Hg ; H = Stab G ( u ) for some u ∈ Ω. = � This is always the case when the underlying graph of M is simple. From now on: G = Aut + ( M ) acts faithfully as a permutation group on Ω. If there is a K ⊳ G such that M / K has at least two vertices, try lifts. But what if there is no such K ⊳ G ? Equivalently, what if every normal subgroup of our permutation group G is transitive on Ω ? Such permutation groups are known as quasiprimitive. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  56. Quasiprimitivity Take an orientably-regular map M ; view G = Aut + ( M ) as a permutation group on the set Ω of vertices of M . This works fine if G has trivial core on Ω, where, for G transitive on Ω (which is our case), core ( G ) = { h ∈ G ; h ( v ) = v for each v ∈ Ω } ( g ∈ G ) g − 1 Hg ; H = Stab G ( u ) for some u ∈ Ω. = � This is always the case when the underlying graph of M is simple. From now on: G = Aut + ( M ) acts faithfully as a permutation group on Ω. If there is a K ⊳ G such that M / K has at least two vertices, try lifts. But what if there is no such K ⊳ G ? Equivalently, what if every normal subgroup of our permutation group G is transitive on Ω ? Such permutation groups are known as quasiprimitive. The corresponding orientably-regular and regular maps may be thought of as ‘irreducible’. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 11 / 15

  57. The O’Nan-Scott-Praeger Theorem (1979,1993) Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  58. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  59. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: • HA : Ω = Z k p , G < AGL ( k , p ), Stab G ( u ) irreducible, N = Z k p Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  60. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: • HA : Ω = Z k p , G < AGL ( k , p ), Stab G ( u ) irreducible, N = Z k p • HS : Ω = T , k = 2, N = T . Inn ( T ) < G < T . Aut ( T ) Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  61. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: • HA : Ω = Z k p , G < AGL ( k , p ), Stab G ( u ) irreducible, N = Z k p • HS : Ω = T , k = 2, N = T . Inn ( T ) < G < T . Aut ( T ) • HC : Ω = T ℓ , k = 2 ℓ > 2, N = T ℓ . Inn ( T ℓ ) < G < T ℓ . Aut ( T ℓ ) Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  62. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: • HA : Ω = Z k p , G < AGL ( k , p ), Stab G ( u ) irreducible, N = Z k p • HS : Ω = T , k = 2, N = T . Inn ( T ) < G < T . Aut ( T ) • HC : Ω = T ℓ , k = 2 ℓ > 2, N = T ℓ . Inn ( T ℓ ) < G < T ℓ . Aut ( T ℓ ) • AS : k = 1, N = T < G < Aut ( T ), T transitive on some set Ω Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  63. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: • HA : Ω = Z k p , G < AGL ( k , p ), Stab G ( u ) irreducible, N = Z k p • HS : Ω = T , k = 2, N = T . Inn ( T ) < G < T . Aut ( T ) • HC : Ω = T ℓ , k = 2 ℓ > 2, N = T ℓ . Inn ( T ℓ ) < G < T ℓ . Aut ( T ℓ ) • AS : k = 1, N = T < G < Aut ( T ), T transitive on some set Ω • SD : Ω = N / H , H < dia N , N ⊳ G < N . Out ( T ) × S k < S Ω , k ≥ 2 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  64. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: • HA : Ω = Z k p , G < AGL ( k , p ), Stab G ( u ) irreducible, N = Z k p • HS : Ω = T , k = 2, N = T . Inn ( T ) < G < T . Aut ( T ) • HC : Ω = T ℓ , k = 2 ℓ > 2, N = T ℓ . Inn ( T ℓ ) < G < T ℓ . Aut ( T ℓ ) • AS : k = 1, N = T < G < Aut ( T ), T transitive on some set Ω • SD : Ω = N / H , H < dia N , N ⊳ G < N . Out ( T ) × S k < S Ω , k ≥ 2 • CD : Ω = N , G < H wr S k , H quasiprimitive on T of SD-type, k ≥ 4 Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  65. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: • HA : Ω = Z k p , G < AGL ( k , p ), Stab G ( u ) irreducible, N = Z k p • HS : Ω = T , k = 2, N = T . Inn ( T ) < G < T . Aut ( T ) • HC : Ω = T ℓ , k = 2 ℓ > 2, N = T ℓ . Inn ( T ℓ ) < G < T ℓ . Aut ( T ℓ ) • AS : k = 1, N = T < G < Aut ( T ), T transitive on some set Ω • SD : Ω = N / H , H < dia N , N ⊳ G < N . Out ( T ) × S k < S Ω , k ≥ 2 • CD : Ω = N , G < H wr S k , H quasiprimitive on T of SD-type, k ≥ 4 • TW : Ω = N , T non-Abelian, G is a ‘twisted wreath product’ Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  66. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: • HA : Ω = Z k p , G < AGL ( k , p ), Stab G ( u ) irreducible, N = Z k p • HS : Ω = T , k = 2, N = T . Inn ( T ) < G < T . Aut ( T ) • HC : Ω = T ℓ , k = 2 ℓ > 2, N = T ℓ . Inn ( T ℓ ) < G < T ℓ . Aut ( T ℓ ) • AS : k = 1, N = T < G < Aut ( T ), T transitive on some set Ω • SD : Ω = N / H , H < dia N , N ⊳ G < N . Out ( T ) × S k < S Ω , k ≥ 2 • CD : Ω = N , G < H wr S k , H quasiprimitive on T of SD-type, k ≥ 4 • TW : Ω = N , T non-Abelian, G is a ‘twisted wreath product’ • PA : Ω = N ⊳ G < H wr S k , T < H < Aut ( T ), ‘product action’ of G on Ω. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  67. The O’Nan-Scott-Praeger Theorem (1979,1993) Quasiprimitive permutation groups G on Ω (with all normal subgroups transitive) have N = soc ( G ) = T k for some simple group T , and: • HA : Ω = Z k p , G < AGL ( k , p ), Stab G ( u ) irreducible, N = Z k p • HS : Ω = T , k = 2, N = T . Inn ( T ) < G < T . Aut ( T ) • HC : Ω = T ℓ , k = 2 ℓ > 2, N = T ℓ . Inn ( T ℓ ) < G < T ℓ . Aut ( T ℓ ) • AS : k = 1, N = T < G < Aut ( T ), T transitive on some set Ω • SD : Ω = N / H , H < dia N , N ⊳ G < N . Out ( T ) × S k < S Ω , k ≥ 2 • CD : Ω = N , G < H wr S k , H quasiprimitive on T of SD-type, k ≥ 4 • TW : Ω = N , T non-Abelian, G is a ‘twisted wreath product’ • PA : Ω = N ⊳ G < H wr S k , T < H < Aut ( T ), ‘product action’ of G on Ω. Lemma [Li, ˇ S, Wang] If G is the automorphism group of a regular or an orientably-regular map, quasiprimitive on V , then G is HA, AS, TW or PA. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 12 / 15

  68. The ‘Holomorph-Abelian’ case: A sample result Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 13 / 15

  69. The ‘Holomorph-Abelian’ case: A sample result This is the only case in which we have a characterisation: Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 13 / 15

  70. The ‘Holomorph-Abelian’ case: A sample result This is the only case in which we have a characterisation: Theorem [Li, ˇ S, Wang, w. i. p.] Let N = Z d p for an odd prime p and let G = N ⋊ H, where H = � h � ≃ Z k is an irreducible subgroup of AGL ( d , p ) Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 13 / 15

  71. The ‘Holomorph-Abelian’ case: A sample result This is the only case in which we have a characterisation: Theorem [Li, ˇ S, Wang, w. i. p.] Let N = Z d p for an odd prime p and let G = N ⋊ H, where H = � h � ≃ Z k is an irreducible subgroup of AGL ( d , p ) (that is, k is an even primitive divisor of p d − 1 ) Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 13 / 15

  72. The ‘Holomorph-Abelian’ case: A sample result This is the only case in which we have a characterisation: Theorem [Li, ˇ S, Wang, w. i. p.] Let N = Z d p for an odd prime p and let G = N ⋊ H, where H = � h � ≃ Z k is an irreducible subgroup of AGL ( d , p ) (that is, k is an even primitive divisor of p d − 1 ) such that h k / 2 inverts N. Let 1 � = g ∈ N and let S = { g h i ; i ∈ Z k } , with natural cyclic ordering. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 13 / 15

  73. The ‘Holomorph-Abelian’ case: A sample result This is the only case in which we have a characterisation: Theorem [Li, ˇ S, Wang, w. i. p.] Let N = Z d p for an odd prime p and let G = N ⋊ H, where H = � h � ≃ Z k is an irreducible subgroup of AGL ( d , p ) (that is, k is an even primitive divisor of p d − 1 ) such that h k / 2 inverts N. Let 1 � = g ∈ N and let S = { g h i ; i ∈ Z k } , with natural cyclic ordering. Then, the Cayley graph Cay ( N , S ) embeds as an orientably-regular Cayley map; Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 13 / 15

  74. The ‘Holomorph-Abelian’ case: A sample result This is the only case in which we have a characterisation: Theorem [Li, ˇ S, Wang, w. i. p.] Let N = Z d p for an odd prime p and let G = N ⋊ H, where H = � h � ≃ Z k is an irreducible subgroup of AGL ( d , p ) (that is, k is an even primitive divisor of p d − 1 ) such that h k / 2 inverts N. Let 1 � = g ∈ N and let S = { g h i ; i ∈ Z k } , with natural cyclic ordering. Then, the Cayley graph Cay ( N , S ) embeds as an orientably-regular Cayley map; the map is regular if and only if d = 2 e and k divides p e + 1 . Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 13 / 15

  75. The ‘Holomorph-Abelian’ case: A sample result This is the only case in which we have a characterisation: Theorem [Li, ˇ S, Wang, w. i. p.] Let N = Z d p for an odd prime p and let G = N ⋊ H, where H = � h � ≃ Z k is an irreducible subgroup of AGL ( d , p ) (that is, k is an even primitive divisor of p d − 1 ) such that h k / 2 inverts N. Let 1 � = g ∈ N and let S = { g h i ; i ∈ Z k } , with natural cyclic ordering. Then, the Cayley graph Cay ( N , S ) embeds as an orientably-regular Cayley map; the map is regular if and only if d = 2 e and k divides p e + 1 . Moreover, all (orientably) regular maps with a vertex-quasiprimitive automorphism group of type HA for odd p arise this way. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 13 / 15

  76. The ‘Holomorph-Abelian’ case: A sample result This is the only case in which we have a characterisation: Theorem [Li, ˇ S, Wang, w. i. p.] Let N = Z d p for an odd prime p and let G = N ⋊ H, where H = � h � ≃ Z k is an irreducible subgroup of AGL ( d , p ) (that is, k is an even primitive divisor of p d − 1 ) such that h k / 2 inverts N. Let 1 � = g ∈ N and let S = { g h i ; i ∈ Z k } , with natural cyclic ordering. Then, the Cayley graph Cay ( N , S ) embeds as an orientably-regular Cayley map; the map is regular if and only if d = 2 e and k divides p e + 1 . Moreover, all (orientably) regular maps with a vertex-quasiprimitive automorphism group of type HA for odd p arise this way. Similar results for non-orientable regular maps; modifications for p = 2. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 13 / 15

  77. The ‘Twisted Wreath Product’ case Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  78. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  79. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Let ϕ : S �→ Aut ( T ) be such that core B ( ϕ − 1 ( Inn ( T )) = { 1 B } . Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  80. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Let ϕ : S �→ Aut ( T ) be such that core B ( ϕ − 1 ( Inn ( T )) = { 1 B } . Define A := { f : B �→ T : f ( bs ) = f ( b ) ϕ ( s ) for all b ∈ B , s ∈ S } . Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  81. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Let ϕ : S �→ Aut ( T ) be such that core B ( ϕ − 1 ( Inn ( T )) = { 1 B } . Define A := { f : B �→ T : f ( bs ) = f ( b ) ϕ ( s ) for all b ∈ B , s ∈ S } . Then A is a group under pointwise multiplication and A ∼ = T k . Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  82. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Let ϕ : S �→ Aut ( T ) be such that core B ( ϕ − 1 ( Inn ( T )) = { 1 B } . Define A := { f : B �→ T : f ( bs ) = f ( b ) ϕ ( s ) for all b ∈ B , s ∈ S } . Then A is a group under pointwise multiplication and A ∼ = T k . Further, let B act on A by ψ : f b ( x ) := f ( bx ) for all b , x ∈ B . Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  83. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Let ϕ : S �→ Aut ( T ) be such that core B ( ϕ − 1 ( Inn ( T )) = { 1 B } . Define A := { f : B �→ T : f ( bs ) = f ( b ) ϕ ( s ) for all b ∈ B , s ∈ S } . Then A is a group under pointwise multiplication and A ∼ = T k . Further, let B act on A by ψ : f b ( x ) := f ( bx ) for all b , x ∈ B . The twisted wreath product of T and B is T twr ϕ B := A ⋊ ψ B ; Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  84. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Let ϕ : S �→ Aut ( T ) be such that core B ( ϕ − 1 ( Inn ( T )) = { 1 B } . Define A := { f : B �→ T : f ( bs ) = f ( b ) ϕ ( s ) for all b ∈ B , s ∈ S } . Then A is a group under pointwise multiplication and A ∼ = T k . Further, let B act on A by ψ : f b ( x ) := f ( bx ) for all b , x ∈ B . The twisted wreath product of T and B is T twr ϕ B := A ⋊ ψ B ; it has a transitive action on Ω= A given by f ( g , b ) = gf b for f , g ∈ A and b ∈ B . Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  85. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Let ϕ : S �→ Aut ( T ) be such that core B ( ϕ − 1 ( Inn ( T )) = { 1 B } . Define A := { f : B �→ T : f ( bs ) = f ( b ) ϕ ( s ) for all b ∈ B , s ∈ S } . Then A is a group under pointwise multiplication and A ∼ = T k . Further, let B act on A by ψ : f b ( x ) := f ( bx ) for all b , x ∈ B . The twisted wreath product of T and B is T twr ϕ B := A ⋊ ψ B ; it has a transitive action on Ω= A given by f ( g , b ) = gf b for f , g ∈ A and b ∈ B . A sample of results: Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  86. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Let ϕ : S �→ Aut ( T ) be such that core B ( ϕ − 1 ( Inn ( T )) = { 1 B } . Define A := { f : B �→ T : f ( bs ) = f ( b ) ϕ ( s ) for all b ∈ B , s ∈ S } . Then A is a group under pointwise multiplication and A ∼ = T k . Further, let B act on A by ψ : f b ( x ) := f ( bx ) for all b , x ∈ B . The twisted wreath product of T and B is T twr ϕ B := A ⋊ ψ B ; it has a transitive action on Ω= A given by f ( g , b ) = gf b for f , g ∈ A and b ∈ B . A sample of results: • Every quasiprimitive regular map of type TW is orientable. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  87. The ‘Twisted Wreath Product’ case Let a group B have a transitive action on { 1 , . . . , k } , with S = Stab B (1). Let ϕ : S �→ Aut ( T ) be such that core B ( ϕ − 1 ( Inn ( T )) = { 1 B } . Define A := { f : B �→ T : f ( bs ) = f ( b ) ϕ ( s ) for all b ∈ B , s ∈ S } . Then A is a group under pointwise multiplication and A ∼ = T k . Further, let B act on A by ψ : f b ( x ) := f ( bx ) for all b , x ∈ B . The twisted wreath product of T and B is T twr ϕ B := A ⋊ ψ B ; it has a transitive action on Ω= A given by f ( g , b ) = gf b for f , g ∈ A and b ∈ B . A sample of results: • Every quasiprimitive regular map of type TW is orientable. • Infinite families of orientably-regular (chiral, if desired) map M with Aut + ( M ) ∼ = T twr ϕ B , where T = PSL (2 , p ), B = Z 2 k , ϕ ( z ) = z mod k . Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 14 / 15

  88. The ‘Product Action’ and ‘Almost Simple’ cases Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 15 / 15

  89. The ‘Product Action’ and ‘Almost Simple’ cases • The ‘Product Action’ type (description omitted) splits into the ‘Straight Diagonal’, ‘Twisted Diagonal’ and ‘Non-Diagonal’ subcases. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 15 / 15

  90. The ‘Product Action’ and ‘Almost Simple’ cases • The ‘Product Action’ type (description omitted) splits into the ‘Straight Diagonal’, ‘Twisted Diagonal’ and ‘Non-Diagonal’ subcases. We have infinite families of examples of (orientably-) regular maps in the first two categories (for chiral examples we need to invoke the family of Suzuki simple groups), and a proof that no example exists in the third category. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 15 / 15

  91. The ‘Product Action’ and ‘Almost Simple’ cases • The ‘Product Action’ type (description omitted) splits into the ‘Straight Diagonal’, ‘Twisted Diagonal’ and ‘Non-Diagonal’ subcases. We have infinite families of examples of (orientably-) regular maps in the first two categories (for chiral examples we need to invoke the family of Suzuki simple groups), and a proof that no example exists in the third category. • The ‘Almost Simple’ type: k =1, N = T < G < Aut ( T ), T transitive on Ω Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 15 / 15

  92. The ‘Product Action’ and ‘Almost Simple’ cases • The ‘Product Action’ type (description omitted) splits into the ‘Straight Diagonal’, ‘Twisted Diagonal’ and ‘Non-Diagonal’ subcases. We have infinite families of examples of (orientably-) regular maps in the first two categories (for chiral examples we need to invoke the family of Suzuki simple groups), and a proof that no example exists in the third category. • The ‘Almost Simple’ type: k =1, N = T < G < Aut ( T ), T transitive on Ω A consequence of a deep result of Malle, Saxl, and Weigel 1991: Every finite simple group is isomorphic to the automorphism group of an orientably regular map. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 15 / 15

  93. The ‘Product Action’ and ‘Almost Simple’ cases • The ‘Product Action’ type (description omitted) splits into the ‘Straight Diagonal’, ‘Twisted Diagonal’ and ‘Non-Diagonal’ subcases. We have infinite families of examples of (orientably-) regular maps in the first two categories (for chiral examples we need to invoke the family of Suzuki simple groups), and a proof that no example exists in the third category. • The ‘Almost Simple’ type: k =1, N = T < G < Aut ( T ), T transitive on Ω A consequence of a deep result of Malle, Saxl, and Weigel 1991: Every finite simple group is isomorphic to the automorphism group of an orientably regular map. With some exceptions, the map can be assumed to be trivalent; Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 15 / 15

  94. The ‘Product Action’ and ‘Almost Simple’ cases • The ‘Product Action’ type (description omitted) splits into the ‘Straight Diagonal’, ‘Twisted Diagonal’ and ‘Non-Diagonal’ subcases. We have infinite families of examples of (orientably-) regular maps in the first two categories (for chiral examples we need to invoke the family of Suzuki simple groups), and a proof that no example exists in the third category. • The ‘Almost Simple’ type: k =1, N = T < G < Aut ( T ), T transitive on Ω A consequence of a deep result of Malle, Saxl, and Weigel 1991: Every finite simple group is isomorphic to the automorphism group of an orientably regular map. With some exceptions, the map can be assumed to be trivalent; with a larger set of exceptions the result extends to regular maps. Jozef ˇ Sir´ aˇ n OU and STU Vertex-quasiprimitivity in regular maps 27th May 2015 15 / 15

Recommend

An enumerative relationship between maps and 4-regular maps Michael La Croix April 9, 2008 An

An enumerative relationship between maps and 4-regular maps Michael La Croix April 9, 2008 An

An enumerative relationship between maps and 4-regular maps Michael La Croix April 9, 2008 An enumerative relationship between maps and 4-regular maps Outline 1 Background Surfaces Maps Rooted Maps 2 Map Enumeration A Counting Problem A

1.28k views • 126 slides
Eulerian orientations and the six-vertex model on planar maps Andrew Elvey Price Joint work with

Eulerian orientations and the six-vertex model on planar maps Andrew Elvey Price Joint work with

Eulerian orientations and the six-vertex model on planar maps Andrew Elvey Price Joint work with Mireille Bousquet-Mlou and Paul Zinn-Justin Universit de Bordeaux, France 02/07/2019 Eulerian orientations and the six-vertex model on planar

406 views • 38 slides
() 1 / 17 Regular maps on a given surface a survey Jozef Sir a n Open University

() 1 / 17 Regular maps on a given surface a survey Jozef Sir a n Open University

() 1 / 17 Regular maps on a given surface a survey Jozef Sir a n Open University and Slovak University of Technology Joint work with M. Conder, R. Nedela and T. Tucker () 2 / 17 Introduction Introduction () 3 / 17

1.84k views • 141 slides
Graphs Vertex Cover Vertex Cover A vertex cover of a graph G=(V ,E) is a set C of vertices such

Graphs Vertex Cover Vertex Cover A vertex cover of a graph G=(V ,E) is a set C of vertices such

Graphs Vertex Cover Vertex Cover A vertex cover of a graph G=(V ,E) is a set C of vertices such that every edge is covered by (incident on) at least one vertex in C i.e., C V is a vertex cover if e E, e C Vertex Cover A

413 views • 8 slides
11.4 The Pricing Method: Vertex Cover Weighted Vertex Cover Weighted vertex cover. Given a

11.4 The Pricing Method: Vertex Cover Weighted Vertex Cover Weighted vertex cover. Given a

11.4 The Pricing Method: Vertex Cover Weighted Vertex Cover Weighted vertex cover. Given a graph G with vertex weights, find a vertex cover of minimum weight. 2 4 2 4 2 9 2 9 weight = 2 + 2 + 4 weight = 9 23 Weighted Vertex Cover

445 views • 16 slides
CSE 373: Topological Sort and Minimum Questions such that no vertex appears before another vertex

CSE 373: Topological Sort and Minimum Questions such that no vertex appears before another vertex

CSE 373: Topological Sort and Minimum Questions such that no vertex appears before another vertex that has an edge to it. Example applications: Spanning Trees In general: taking a dependency graph and coming up with order of execution. 3

54 views • 4 slides
Stochastic six vertex model Ivan Corwin (Columbia University) Stochastic six vertex 1 Page 1

Stochastic six vertex model Ivan Corwin (Columbia University) Stochastic six vertex 1 Page 1

Stochastic six vertex model Ivan Corwin (Columbia University) Stochastic six vertex 1 Page 1 Goals of first hour Physical goal: Uncover nonequilibrium Kardar-Parisi-Zhang (KPZ) universality class behavior in the equilibrium six vertex model

672 views • 40 slides
Polygon decomposition into monotone polygons Vertex types START vertex (2 edges on the right and

Polygon decomposition into monotone polygons Vertex types START vertex (2 edges on the right and

Polygon decomposition into monotone polygons Vertex types START vertex (2 edges on the right and &lt; ) END vertex (2 edges on the left and &lt; ) SPLIT vertex (2 edges on the right and &gt; ) MERGE vertex (2 edges on

332 views • 7 slides
CS371m - Mobile Computing Maps Using Google Maps This lecture focuses on using Google Maps

CS371m - Mobile Computing Maps Using Google Maps This lecture focuses on using Google Maps

CS371m - Mobile Computing Maps Using Google Maps This lecture focuses on using Google Maps inside an Android app Alternatives Exist: Open Street Maps http://www.openstreetmap.org/ If you simply want to display a &quot;standard

1.15k views • 79 slides
Jet Vertex Resolution Study What is the ZVertex Algorithm used to pick the Jet Vertex ?

Jet Vertex Resolution Study What is the ZVertex Algorithm used to pick the Jet Vertex ?

Jet Vertex Resolution Study What is the ZVertex Algorithm used to pick the Jet Vertex ? Pros and Cons with respect to Double Parton Analysis. Resolution of the COT Only,SVX Only and COT+SVX Tracks in the Jets Calculating the Jet

326 views • 4 slides
Regular maps with a given automorphism group, and on a given surface Jozef Sir a n

Regular maps with a given automorphism group, and on a given surface Jozef Sir a n

Regular maps with a given automorphism group, and on a given surface Jozef Sir a n Open University and Slovak University of Technology AGT 2016 Pilsen Jozef Sir a n Open University and Slovak University of Technology

1.29k views • 118 slides
E XAMPLE 1 Graph = 2 2 + 1 The vertex is (2, 1). Since the x- values for the

E XAMPLE 1 Graph = 2 2 + 1 The vertex is (2, 1). Since the x- values for the

D AY 127 G RAPHING Q UADRATICS G RAPHING P ARABOLAS IN V ERTEX F ORM Remember, when were graphing a parabola, we want to find the vertex first, and then find two other points on either side of the vertex to the graph so that we get the

450 views • 8 slides
Decay vertex ID using CNN for p K+ Aaron Higuera University of Houston CNN Tools on

Decay vertex ID using CNN for p K+ Aaron Higuera University of Houston CNN Tools on

Decay vertex ID using CNN for p K+ Aaron Higuera University of Houston CNN Tools on the Proton Decay Analysis e + Standard vertex reconstruction use p K+ pmtracks in order to reconstruct a + vertex K + Ideally we would

746 views • 15 slides
Regular a regular expression I Example 1.68 Consider the following DFA b a 1 2 a b a

Regular a regular expression I Example 1.68 Consider the following DFA b a 1 2 a b a

Regular a regular expression I Example 1.68 Consider the following DFA b a 1 2 a b a b 3 September 22, 2020 1 / 10 Regular a regular expression II It is not that easy to directly see what the regular expression is We need a

140 views • 10 slides
Vertex reconstruction Vertex reconstruction in large liquid scintillator detectors in large

Vertex reconstruction Vertex reconstruction in large liquid scintillator detectors in large

Vertex reconstruction Vertex reconstruction in large liquid scintillator detectors in large liquid scintillator detectors David Meyhfer March 20, 2017 Universitt Hamburg 1 / 17 Vertex reconstruction Why a vertex reconstruction? Novel

555 views • 34 slides
Vertex Resource Group Ltd. Investor Presentation May 2019 www.vertex.ca | TSXV:VTX Click to

Vertex Resource Group Ltd. Investor Presentation May 2019 www.vertex.ca | TSXV:VTX Click to

Vertex Resource Group Ltd. Investor Presentation May 2019 www.vertex.ca | TSXV:VTX Click to edit Master title style Disclaimer &amp; Notice to Reader This presentation is for discussion purposes only. The contents are not to be reproduced,

521 views • 22 slides
VERTEX RESOURCE GROUP LTD. INVESTOR PRESENTATION April 2018 www.vertex.ca TSXV : VTX

VERTEX RESOURCE GROUP LTD. INVESTOR PRESENTATION April 2018 www.vertex.ca TSXV : VTX

VERTEX RESOURCE GROUP LTD. INVESTOR PRESENTATION April 2018 www.vertex.ca TSXV : VTX Disclaimer and Notice to Reader This presentation is for discussion purposes only. The contents are not to be reproduced, summarized or distributed. These

259 views • 23 slides
VERTEX RESOURCE GROUP LTD. INVESTOR PRESENTATION August 2018 www.vertex.ca TSXV : VTX

VERTEX RESOURCE GROUP LTD. INVESTOR PRESENTATION August 2018 www.vertex.ca TSXV : VTX

VERTEX RESOURCE GROUP LTD. INVESTOR PRESENTATION August 2018 www.vertex.ca TSXV : VTX Disclaimer and Notice to Reader This presentation is for discussion purposes only. The contents are not to be reproduced, summarized or distributed. These

279 views • 23 slides
Proposal for a new recob::Vertex G. Cerati LArSoft Coordination Meeting Dec. 5, 2017

Proposal for a new recob::Vertex G. Cerati LArSoft Coordination Meeting Dec. 5, 2017

Proposal for a new recob::Vertex G. Cerati LArSoft Coordination Meeting Dec. 5, 2017 Introduction Current recob::Vertex not suitable to capture vertex fit information - just an array of doubles for the position, and an integer for an ID - no

782 views • 14 slides
Making maps pretty Andrea Aime Jim Groffen Making Maps Pretty Making Maps Pretty 1 1 Making

Making maps pretty Andrea Aime Jim Groffen Making Maps Pretty Making Maps Pretty 1 1 Making

Making maps pretty Andrea Aime Jim Groffen Making Maps Pretty Making Maps Pretty 1 1 Making maps pretty Introduction Making Maps Pretty Making Maps Pretty 2 2 Introducing carthography Depiciting shape and location, conveing

588 views • 48 slides
Vertex Resource Group Ltd. Investor Presentation January 2019 www.vertex.ca | TSXV:VTX Click to

Vertex Resource Group Ltd. Investor Presentation January 2019 www.vertex.ca | TSXV:VTX Click to

Vertex Resource Group Ltd. Investor Presentation January 2019 www.vertex.ca | TSXV:VTX Click to edit Master title style Disclaimer &amp; Notice to Reader This presentation is for discussion purposes only. The contents are not to be reproduced,

468 views • 20 slides
Vertex Resource Group Ltd. Investor Presentation March 2019 www.vertex.ca | TSXV:VTX Click to

Vertex Resource Group Ltd. Investor Presentation March 2019 www.vertex.ca | TSXV:VTX Click to

Vertex Resource Group Ltd. Investor Presentation March 2019 www.vertex.ca | TSXV:VTX Click to edit Master title style Disclaimer &amp; Notice to Reader This presentation is for discussion purposes only. The contents are not to be reproduced,

421 views • 22 slides
Vertex Resource Group Ltd. Investor Presentation August 2019 www.vertex.ca | TSXV:VTX Click to

Vertex Resource Group Ltd. Investor Presentation August 2019 www.vertex.ca | TSXV:VTX Click to

Vertex Resource Group Ltd. Investor Presentation August 2019 www.vertex.ca | TSXV:VTX Click to edit Master title style Disclaimer &amp; Notice to Reader This presentation is for discussion purposes only. The contents are not to be reproduced,

437 views • 22 slides
Closure under the Regular Operations Closure under the Regular Operations p.1/26

Closure under the Regular Operations Closure under the Regular Operations p.1/26

Closure under the Regular Operations Closure under the Regular Operations p.1/26 Application of NFA Now we use the NFA to show that the collection of regular languages is closed under regular operations union, concatenation, and star

1.15k views • 55 slides

More recommend