Appearances of 'exotic' compact Lie Groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T04:30:06Z http://mathoverflow.net/feeds/question/65459 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/65459/appearances-of-exotic-compact-lie-groups Appearances of 'exotic' compact Lie Groups ARupinski 2011-05-19T19:06:40Z 2011-05-21T15:25:16Z <p>The structure theorem for compact Lie Groups states that all compact Lie groups are finite central quotients of a product of copies of $U(1)$ and simple compact Lie groups. And yet, as easy as arbitrary compact Lie groups are to describe, most Lie Groups one encounters are the various quotients of simple compact Lie groups and maybe some products of these groups (I will herein refer to such groups as standard Lie groups). The only compact examples which one encounters regularly that are not standard Lie groups are the unitary groups $U(n)$ (which are quotients of $U(1)\times SU(n)$) and $SO(4)$ (which is the diagonal $\mathbb{Z}/2\mathbb{Z}$ quotient of $Spin(4) \cong Spin(3)\times Spin(3)$).</p> <p>I am currently trying to further expand my knowledge and understanding of compact Lie groups, so I am wondering:</p> <blockquote> <blockquote> <p><b>Question: </b> Has anyone encountered examples of non-standard Lie groups (other than the $U(n)$'s and $SO(4)$) in their research, as the autormorphism group of some object they were studying, or in some other way? If so, would you give a bit of description of the setting you were working in as well as a description of the non-standard group which appeared?</p> </blockquote> </blockquote> <p>Although given a non-standard group, one can easily construct algebraic objects for which it is the automorphism group, I am more interested in instances of the reverse of this process wherein a non-standard group appears in the course of thinking about some other problem.</p> <p><b>Edit:</b> Since there still seems to be some misunderstanding of the intent of the question, to clarify the situation I am interested in, I am looking for groups of the form $G_1\times\ldots\times G_k/H$ where each $G_i$ is a compact simple Lie group, $k\geq 2$ and $H\subsetneq Z(G_1\times\ldots\times G_k)$ is not of the form $h_1\times \ldots \times h_k$ with $h_i\subseteq Z(G_i)$. So examples with multiple factors such as the the Structure Group of the Standard Model described by Theo are the sort of thing I'm looking for.</p> http://mathoverflow.net/questions/65459/appearances-of-exotic-compact-lie-groups/65471#65471 Answer by Jeffrey Adams for Appearances of 'exotic' compact Lie Groups Jeffrey Adams 2011-05-19T19:50:24Z 2011-05-19T19:50:24Z <p>My favorite example: the maximal compact subgroup of the split real form of $E_8$ is $K=Spin(16)/[x]$ where $x^2=1$, but K is not isomorphic to SO(16) - K does not have an irreducible 16-dimensional representation. The center of Spin(16) is a Klein 4-group, say {1,x,y,xy}; the outer (diagram) automorphism of $Spin(16)$ interchanges x,y. The element $xy$ is fixed by this automorphism, and Spin(16)/[xy]≃SO(16). </p> http://mathoverflow.net/questions/65459/appearances-of-exotic-compact-lie-groups/65497#65497 Answer by Theo Johnson-Freyd for Appearances of 'exotic' compact Lie Groups Theo Johnson-Freyd 2011-05-20T04:21:59Z 2011-05-20T04:21:59Z <p>The structure group for the <a href="http://en.wikipedia.org/wiki/Standard_Model" rel="nofollow">Standard Model of Particle Physics</a> is almost the already-horrid $$G = \operatorname{SO}(3,1) \ltimes \mathbb R^4 \times \operatorname{SU}(3) \times \operatorname{SU}(2) \times \operatorname{U}(1)$$ (The non-compact part at the beginning you might throw out for the purposes of this question, and anyway it's almost certainly "wrong". For one, the universe <em>does not</em> have $\operatorname{SO}(3,1) \ltimes \mathbb R^4$ symmetry, because of gravity. For two, when you turn on a cosmological constant, you get things like anti de Sitter space, with structure group that is roughly $\operatorname{SO}(3,2)$.)</p> <p>I say "almost", because in fact I have only described the Lie algebra of the symmetry group of standard particle physics. Some of this you already know. To account for spin, the non-compact part does not have $\operatorname{SO}(3,1)$ symmetry, but rather $\operatorname{Spin}(3,1)$. But in all of the real world, the fermion number operator (the non-identity element in the kernel of $\operatorname{Spin} \to \operatorname{SO}$) acts as $-1$ on all the adjoint-representations of the compact part. So actually, you should take the double cover of $G$, and mod out by a discrete group that encodes that, for example, there are no spin-$1$ particles that transform in as an $\operatorname{SU}(3)$ triplet. Also, you mod out by some finite groups to impose CPT theorem.</p> <p>There may be other extensions and modding outs you need to do to get the symmetry group on the nose --- but the point is that even the compact part (which you get by breaking the global symmetry) is not just a product of these groups, but a quotient thereof.</p> <p>Even more, there are four "accidental" Lie symmetries that follow from the standard model but aren't put in at the beginning. (CPT, on the other hand, was a discrete symmetry, and I've already sketched how to handle it, by taking a quotient.) These are "Baryon number", "Electron number", "Muon number", and "Tau number". They are "quantized", which is to say that each corresponds to an extra $\operatorname{U}(1)$ action. (This is a nice illustration of where the standard model is lying: in the standard model, neutrinos don't have mass, but in the real world, they do, and so among other things the three $\operatorname{U}(1)$ actions are actually all part of the same $\operatorname{SU}(3)$ action.)</p> <p>If you would like to work out precisely the structure group of the standard model, take the Lie algebra of the group above (or just the compact part), and within its category of finite-dimensional representations, build the minimal subcategory that is closed under direct sums and tensor products and contains the representations listed under <a href="http://en.wikipedia.org/wiki/Standard_Model#Field_content" rel="nofollow">Wikipedia: Standard Model: Field Content</a>. This is some Tannakian category, and you can run Tannaka-Krein reconstruction on it. You'll build some compact group, but it's not simply connected nor simple.</p> http://mathoverflow.net/questions/65459/appearances-of-exotic-compact-lie-groups/65531#65531 Answer by Robert Bryant for Appearances of 'exotic' compact Lie Groups Robert Bryant 2011-05-20T11:57:52Z 2011-05-20T15:02:55Z <p>There won't be any right' answer here because there are many different ways that one can come across groups in studying various algebra problems, but here are a few examples:</p> <p>Maybe the most famous exotic case is when you classify the definite inner product algebras over $\mathbb{R}$: Such an algebra $\mathbb{A}$ is an $\mathbb{R}$-algebra with unit $1$ endowed with a positive definite inner product $\cdot$ that satisfies the multiplicative identity $xy\cdot xy = (x\cdot x) (y\cdot y)$. It's a classical theorem (due to A. Hurwitz (1898)) that the $\mathbb{R}$-dimension of such an algebra is one of $1$, $2$, $4$, or $8$, and the corresponding algebras are $\mathbb{R}$, $\mathbb{C}$, $\mathbb{H}$ (i.e., Hamilton's quaternions), or $\mathbb{O}$ (i.e., the octonions of Graves and Cayley). The group of automorphisms of $\mathbb{O}$ is the exceptional group $G_2$ (compact, connected, of dimension $14$).</p> <p>$G_2$ and its noncompact dual, $G_2^\ast$ also arise as the stabilizer groups of generic' alternating $3$-forms in dimension $7$.</p> <p>Similarly, Spin(7) as a subgroup of $GL(8,\mathbb{R})$ turns up as a stabilizer when you go to classify the alternating $4$-forms in dimension $8$.</p> <p>The exceptional group $F_4$ arises as the autormorphisms of the `exceptional' Jordan algebra of dimension $27$. ('Exceptional' in this context means that it's the one irreducible example that doesn't fit into one of the standard series.)</p> <p>Depending on your tastes and background, there are many more examples of this nature that might appeal to you.</p> http://mathoverflow.net/questions/65459/appearances-of-exotic-compact-lie-groups/65619#65619 Answer by Jason DeVito for Appearances of 'exotic' compact Lie Groups Jason DeVito 2011-05-21T04:38:37Z 2011-05-21T04:38:37Z <p>Berger showed the homogeneous space $SU(5)/Sp(2)\cdot S^1$ has a metric of positive sectional curvature. Here, $Sp(2)\cdot S^1 = Sp(2)\times_{\mathbb{Z}/2\mathbb{Z}} S^1$. More generally, Bazaikin found an infinite family of free isometric actions of $Sp(2)\cdot S^1$ on $SU(5)$ (with appropriate left invariant metric), for which infinitely many of the quotients inherit a metric of positive sectional curvature.</p> <p>The fact that the group acting is $Sp(2)\cdot S^1$ and not $Sp(2)\times S^1$ caused a few headaches when it came time to compute the topology of these examples.</p> http://mathoverflow.net/questions/65459/appearances-of-exotic-compact-lie-groups/65651#65651 Answer by Alain Valette for Appearances of 'exotic' compact Lie Groups Alain Valette 2011-05-21T15:25:16Z 2011-05-21T15:25:16Z <p>You need the groups $Spin^c(n)=: (Spin(n)\times U(1))/C_2$ in order to define first $Spin^c$-structures on Riemannian manifolds, then Dirac operators. See the book: B. Lawson, L. Michelson: Spin geometry, Princeton University Press (1989).</p>