{"id":1355,"date":"2015-04-01T01:00:23","date_gmt":"2015-04-01T01:00:23","guid":{"rendered":"http:\/\/blogs.ams.org\/visualinsight\/?p=1355"},"modified":"2016-05-29T21:22:58","modified_gmt":"2016-05-29T21:22:58","slug":"branched-cover-from-4-4-32-schwarz-triangle","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/visualinsight\/2015\/04\/01\/branched-cover-from-4-4-32-schwarz-triangle\/","title":{"rendered":"Branched Cover from (4 4 3\/2) Schwarz Triangle"},"content":{"rendered":"<div align=\"center\">\n<div id=\"attachment_1356\" style=\"width: 406px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2015\/02\/genus_3_branched_cover.gif\"><img decoding=\"async\" aria-describedby=\"caption-attachment-1356\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2015\/02\/genus_3_branched_cover.gif\" alt=\"Branched Cover from (4 4 3\/2) Schwarz Triangle - Greg Egan\" width=\"500\" class=\"size-full wp-image-1356\" \/><\/a><p id=\"caption-attachment-1356\" class=\"wp-caption-text\">Branched Cover from \\((4 \\,4\\, \\frac{3}{2})\\) Schwarz Triangle &#8211; Greg Egan<\/p><\/div>\n<\/div>\n<p>A <b><a href=\"https:\/\/en.wikipedia.org\/wiki\/Schwarz_triangle\">Schwarz triangle<\/a><\/b> is a spherical triangle that can be used to generate a tiling of a branched covering of the sphere by repeatedly reflecting this triangle across its edges.  Sometimes we get an actual tiling of the sphere, but in general we get a <a href=\"https:\/\/en.wikipedia.org\/wiki\/Branched_covering\">branched covering<\/a>, because the same point can lie in the interior of several triangles, and there may be branch points at the corners of the triangles.<\/p>\n<p>A Schwarz triangle is specified by three rational numbers, written \\((p \\,q \\, r)\\), each representing the interior angle at one vertex of the triangle. The number \\(p\\) stands for the angle \\(\\pi\/p\\), and so on.<\/p>\n<p>This image by Greg Egan shows the tiling that arises from the  \\( (4\\, 4 \\,\\frac{3}{2}) \\) Schwartz triangle.  This is an isosceles spherical triangle with angles \\(\\pi\/4\\), \\(\\pi\/4\\) and \\(2\\pi\/3\\), or 45&deg;, 45&deg; and 120&deg;.  48 of these triangles tile a branched covering of the sphere by a 3-holed torus.  <\/p>\n<p>You can also get this branched covering by taking a polyhedron called the &#8216;small cubicuboctahedron&#8217; and projecting its surface to the surface of a sphere. <\/p>\n<div align=\"center\">\n<div id=\"attachment_1352\" style=\"width: 356px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2015\/02\/small_cubicuboctahedron.jpg\"><img decoding=\"async\" aria-describedby=\"caption-attachment-1352\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2015\/02\/small_cubicuboctahedron.jpg\" alt=\"Small Cubicuboctahedron - Robert Webb\" width=\"350\" class=\"size-full wp-image-1352\" srcset=\"https:\/\/blogs.ams.org\/visualinsight\/files\/2015\/02\/small_cubicuboctahedron.jpg 1000w, https:\/\/blogs.ams.org\/visualinsight\/files\/2015\/02\/small_cubicuboctahedron-150x150.jpg 150w, https:\/\/blogs.ams.org\/visualinsight\/files\/2015\/02\/small_cubicuboctahedron-300x300.jpg 300w, https:\/\/blogs.ams.org\/visualinsight\/files\/2015\/02\/small_cubicuboctahedron-50x50.jpg 50w\" sizes=\"(max-width: 1000px) 100vw, 1000px\" \/><\/a><p id=\"caption-attachment-1352\" class=\"wp-caption-text\">Small Cubicuboctahedron &#8211; Robert Webb<\/p><\/div>\n<\/div>\n<p>We discussed this polyhedron last time:<\/p>\n<p>&bull; <a href=\"http:\/\/blogs.ams.org\/visualinsight\/2015\/03\/15\/small-cubicuboctahedron\/\">Small cubicuboctahedron<\/a>.<\/p>\n<p>To see how the small cubicuboctahedron and the tiling by \\((4 \\, 4 \\, \\frac{3}{2} ) \\) Schwartz triangles are related, look at this movie created by Egan:<\/p>\n<div align=\"center\">\n<div style=\"width: 406px\" class=\"wp-caption alignnone\"><img decoding=\"async\" src=\"http:\/\/math.ucr.edu\/home\/baez\/mathematical\/small_cubicuboctahedron_from_genus_3_branched_cover.gif\" alt=\"Small Cubicuboctahedron from Genus 3 Branched Cover - Greg Egan\" \/><\/a><p class=\"wp-caption-text\">Small Cubicuboctahedron from Genus 3 Branched Cover &#8211; Greg Egan<\/p><\/div>\n<\/div>\n<\/div>\n<p>Here are some details on the tiling, written by Egan:<\/p>\n<blockquote><p>\nIf you divide each face of an octahedron (construed as a spherical triangle, not a flat one!) into three isosceles triangles, with edges of the octahedron as the base of each triangle and the centre of the face as the apex, those triangles have angles of \\(2 \\pi \/3\\) at the apex and \\(\\pi\/4\\) at the other two corners.<\/p>\n<p>These isosceles triangles cover two of the 48 fundamental domains of the 48-element cubic symmetry group, so the cover has density 2.  There is a branch point of order 2 at the centre of each face of an octahedron; although three triangles fit perfectly around each face, the rule is that you need an even number of reflections around any cycle, so there must be 6 triangles around each face-centre.  That gives a total of 20 vertices in the tiling:  8 from the octahedron face-centres, plus twice the number of octahedron vertices, 2 x 6 = 12, because there are two distinct sheets sitting over those points.  This gives us an Euler characteristic:<\/p>\n<p>$$  \\chi = 48 &#8211; (3\/2) \\times 48 + 20 = -4 $$<\/p>\n<p>which is \\((2-2g)\\) for \\(g=3\\).  So, this surface has genus 3.\n<\/p><\/blockquote>\n<p>We can tile the hyperbolic plane with isosceles triangles of this type, giving a covering space of the genus-3 surface:<\/p>\n<div align=\"center\">\n<div id=\"attachment_1376\" style=\"width: 356px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2015\/04\/hyperbolic_plane_tiled_by_4_4_1.5_schwarz_triangles.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1376\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2015\/04\/hyperbolic_plane_tiled_by_4_4_1.5_schwarz_triangles.png\" alt=\"Hyperbolic Plane Tiled by (4 4 3\/2) Schwarz Triangles - Greg Egan\" width=\"350\" height=\"350\" class=\"size-full wp-image-1376\" srcset=\"https:\/\/blogs.ams.org\/visualinsight\/files\/2015\/04\/hyperbolic_plane_tiled_by_4_4_1.5_schwarz_triangles.png 350w, https:\/\/blogs.ams.org\/visualinsight\/files\/2015\/04\/hyperbolic_plane_tiled_by_4_4_1.5_schwarz_triangles-150x150.png 150w, https:\/\/blogs.ams.org\/visualinsight\/files\/2015\/04\/hyperbolic_plane_tiled_by_4_4_1.5_schwarz_triangles-300x300.png 300w, https:\/\/blogs.ams.org\/visualinsight\/files\/2015\/04\/hyperbolic_plane_tiled_by_4_4_1.5_schwarz_triangles-50x50.png 50w\" sizes=\"auto, (max-width: 350px) 100vw, 350px\" \/><\/a><p id=\"caption-attachment-1376\" class=\"wp-caption-text\">Hyperbolic Plane Tiled by (4 4 3\/2) Schwarz Triangles &#8211; Greg Egan<br \/><\/p><\/div>\n<\/div>\n<p>The image of the small cubicuboctahedron was placed on <a href=\"http:\/\/commons.wikimedia.org\/wiki\/File:Small_cubicuboctahedron.png\">Wikimedia Commons<\/a> by Tom Ruen, and the copyright holder of this file allows anyone to use it for any purpose, provided that acknowledgement is given to Robert Webb&#8217;s Great Stella software as the creator of this image along with a <a href=\"http:\/\/www.software3d.com\/Stella.html\">link to the Stella website<\/a>.<\/p>\n<hr \/>\n<p><i>Visual Insight<\/i> is a place to share striking images that help explain advanced topics in mathematics. I\u2019m always looking for truly beautiful images, so if you know about one, please drop a comment <a href=\"http:\/\/blogs.ams.org\/visualinsight\/about-visual-insight\/\">here<\/a> and let me know!<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>A <b><a href=\"https:\/\/en.wikipedia.org\/wiki\/Schwarz_triangle\">Schwarz triangle<\/a><\/b> is a spherical triangle that can be used to generate a tiling of a branched covering of the sphere by repeatedly reflecting this triangle across its edges.  Sometimes we get an actual tiling of the sphere, but in general we get a <a href=\"https:\/\/en.wikipedia.org\/wiki\/Branched_covering\">branched covering<\/a>, because the same point can lie in the interior of several triangles, and there may be branch points at the corners of the triangles.<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/visualinsight\/2015\/04\/01\/branched-cover-from-4-4-32-schwarz-triangle\/><\/div>\n","protected":false},"author":66,"featured_media":1356,"comment_status":"open","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[15,11,2,7],"tags":[],"class_list":["post-1355","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-algebraic-geometry","category-complex-analysis","category-images-library","category-tilings"],"jetpack_featured_media_url":"https:\/\/blogs.ams.org\/visualinsight\/files\/2015\/02\/genus_3_branched_cover.gif","jetpack_shortlink":"https:\/\/wp.me\/p42Vmc-lR","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/1355","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/users\/66"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/comments?post=1355"}],"version-history":[{"count":24,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/1355\/revisions"}],"predecessor-version":[{"id":2627,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/1355\/revisions\/2627"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media\/1356"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media?parent=1355"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/categories?post=1355"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/tags?post=1355"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}