An interesting question to ask is: where can points on the line go as the group bobbles it around? To simplify, how about where does a particular point, say zero, go? Where it ends up depends on the particular symmetry we apply, but considering all possibilities we see that zero can really go anywhere on the line. How? Well, if we want to take 0 to some value We’ve seen that we can think of the members (elements) of our group as constituting two copies of the line. On the first line, each point is a translation. On the second line, each point is a reflection (which can actually be realized as a translation and a reflection through 0). The fact that we have two ways to take 0 to, say, So here’s a key idea: probably you would agree that the line is a natural enough geometric object. We need lines to get notions of distance and angle going in geometry! On the other hand, this group which is two copies of the line seems a bit funny and abstract. But it is still intimately attached to the line by keeping track of its symmetries. So what if there was a way to have both? That is, to have just the line in hand as an object but manifest in a way that also keeps track of the symmetry. This is what homogeneous space<\/em>s <\/em>are for.<\/p>\n\n\n\n To explain how we get a homogeneous space here, I need to try to explain something in group theory called the orbit-stabilizer theorem. <\/em>Now, I don’t really know how to do this without either bringing in a little notation or being extremely verbose (and likely confusing). But there is power in notation so let’s try that. We’ve observed that all reflections can be considered as reflections through zero together with a translation. Lets call the reflection through zero “flip,” and label translations by the value that is added to every point, Notice that the reflection through zero (0, flip) “fixes” zero, that is leaves it put, and other than the identity<\/em>, which can be thought of as (0, no flip), it is the only element that does this. In group theory terms, these two elements form a subgroup<\/em> which consists of the elements that fix 0. The orbit-stabilizer theorem says that if we clump these two elements together and think of them as a single object, and then do the same for all of the pairs ( This “clumping” of objects according to a subgroup is called taking a quotient<\/em> in group theory, and a homogeneous space is really just a quotient. It’s useful because now the coordinates on the line now come from the coordinates on the group, which facilitates studying how the symmetries act, especially in more complicated examples. A lot of my work is studying how these quotient spaces break up and fit together in pieces when you restrict your symmetry set. We’ll try to come back to this in the next post.<\/p>\n\n\n\n <\/p>\n","protected":false},"excerpt":{"rendered":" It might seem like were pretty far in the weeds by now but there’s a point to make here which is essential to my work. And we may as well introduce some of that noxious stuff — mathematical jargon. The collection of symmetries we’ve been talking about that can act in sequence or be doneRead more<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[19],"tags":[29,28],"class_list":["post-256","post","type-post","status-publish","format-standard","hentry","category-fun","tag-expository","tag-symmetry"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/posts\/256","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/comments?post=256"}],"version-history":[{"count":5,"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/posts\/256\/revisions"}],"predecessor-version":[{"id":266,"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/posts\/256\/revisions\/266"}],"wp:attachment":[{"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/media?parent=256"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/categories?post=256"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/automathon.org\/index.php\/wp-json\/wp\/v2\/tags?post=256"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}![\"x\"](\"https:\/\/automathon.org\/wp-content\/ql-cache\/quicklatex.com-f056e708e0f774e70255555c8537a50e_l3.png\" "\\"Rendered")
we actually have two options: either apply the translation that adds to every point, or apply the reflection through the value ![\"\frac{x}{2}\"](\"https:\/\/automathon.org\/wp-content\/ql-cache\/quicklatex.com-41a1ba5f82eb5510a05fe843c4853614_l3.png\" "\\"Rendered")
. Since the point 0 can go anywhere, we say that its orbit<\/em> under the group is the whole line.<\/p>\n\n\n\n![\"\pi\"](\"https:\/\/automathon.org\/wp-content\/ql-cache\/quicklatex.com-1e39afbe50db59f3d13394212d06d323_l3.png\" "\\"Rendered")
mirrors the fact that the group looks like two copies of the line. <\/p>\n\n\n\n. Then every element of our group is a pair of the form (, flip) or (, no flip) according to whether it is a reflection or a translation. <\/p>\n\n\n\n, flip) and (, no flip), then the resulting collection will be the same as the orbit of the point 0. But this is the just the line again! This should make some sense; in our group, we had two copies of the line and all we’ve done is glued those copies together at points that line up. <\/p>\n\n\n\n![\"\"](\"https:\/\/mathlab.io\/wp-content\/uploads\/2021\/01\/flips-1-1024x361.png\")
<\/figure>\n\n\n\n