How do Lie groups classify geometry? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T11:35:18Z http://mathoverflow.net/feeds/question/42249 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/42249/how-do-lie-groups-classify-geometry How do Lie groups classify geometry? Colin Tan 2010-10-15T04:56:39Z 2010-10-15T15:46:19Z <p>I have often heard that Lie groups classify geometry. For example that $O(n)$ is about real manifolds, $U$ is about almost complex manifolds, $SO(n)$ about orientable real manifolds and so on.</p> <p>I have also heard that manifolds can be defined very generally by patching local pieces via a pseduogroup of morphisms. </p> <p>My questions are </p> <p>1) Does this pseduogroup relate to the Lie group?</p> <p>2) How do Lie groups classify geometry?</p> <p>3) Is there a geometry for every Lie group or only some of them? </p> <p>and maybe even</p> <p>4) Does this classification seem work for algebraic (i.e. non-differential) geometry?</p> <p>I am wondering whether this Erlangen program classification is actually formalized, or only serves as a slogan or principle.</p> http://mathoverflow.net/questions/42249/how-do-lie-groups-classify-geometry/42255#42255 Answer by Steve Huntsman for How do Lie groups classify geometry? Steve Huntsman 2010-10-15T05:37:39Z 2010-10-15T05:37:39Z <p>I will just quote from the Wikipedia article on <a href="http://en.wikipedia.org/wiki/Holonomy#Riemannian_holonomy" rel="nofollow">holonomy</a>:</p> <blockquote> <p>In 1952 Georges de Rham proved the de Rham decomposition theorem, a principle for splitting a Riemannian manifold into a Cartesian product of Riemannian manifolds by splitting the tangent bundle into irreducible spaces under the action of the local holonomy groups. Later, in 1953, M. Berger classified the possible irreducible holonomies.</p> </blockquote> http://mathoverflow.net/questions/42249/how-do-lie-groups-classify-geometry/42290#42290 Answer by Qfwfq for How do Lie groups classify geometry? Qfwfq 2010-10-15T14:18:04Z 2010-10-15T14:18:04Z <p><a href="http://books.google.com/books?id=Ytqs4xU5QKAC&amp;pg=PA173&amp;dq=cartan%27s+generalization+of+klein%27s+erlangen&amp;hl=it&amp;ei=aGK4TPfXLIPKswbmsfyqDQ&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=1&amp;ved=0CCYQ6AEwAA#v=onepage&amp;q&amp;f=false" rel="nofollow">R.W.Sharpe, Differential Geometry - Cartan's Generalization of Klein's Erlangen Program</a></p> http://mathoverflow.net/questions/42249/how-do-lie-groups-classify-geometry/42291#42291 Answer by Peter Arndt for How do Lie groups classify geometry? Peter Arndt 2010-10-15T14:25:19Z 2010-10-15T15:46:19Z <p>The examples you give of Lie groups associated to geometric objects are the structure groups of the tangent bundles of manifolds. The tangent bundle is locally trivial, so you have a covering of your manifold and isomorphisms *over the $U_i$* (i.e. commuting with the projections to the $U_i$) $\varphi_i:TM|_U \rightarrow \mathbb{R}^n \times U_i$. On the intersections this gives you isomorphisms *over $U_i \cap U_j$* $\varphi_i \circ \varphi_j^{-1}: \mathbb{R}^n \times U_i \cap U_j \leftarrow TM|_{U_i \cap U_j} \rightarrow\mathbb{R}^n \times U_i \cap U_j$, i.e. isomorphisms $g_{ij}: \mathbb{R}^n \rightarrow \mathbb{R}^n$. These can be seen as gluing data of your bundle. The "structure group" of your bundle tells you what gluing data you allow: You could require the $g_{ij}$ to be in $GL(n), O(n), SO(n), U(n), Sp(n)$ and so on. The smaller this group of gluing data is, the more special is your bundle, e.g. if you can glue your tangent bundle only using maps from $SO(n)$, then your manifold will be orientable. The buzz word to google for is "reduction of structure group".</p> <p>I am not sure what you have heard about pseudogroups but there is one consisting of the $\varphi_i$ - open patches homeomorphic to $\mathbb{R}^n$ are such that the tangent bundle is trivial over them, so if you know how to glue your manifold from such patches, you get the relation to the Lie group as above.</p> <p>Of course you can embed every Lie group into some $GL_n$ and require the $g_{ij}$ to lie in that subgroup, but that seems somewhat arbitrary. </p> <p>Finally some references on the Erlangen program are <a href="http://books.google.com/books?id=Ytqs4xU5QKAC&amp;printsec=frontcover&amp;dq=erlangen+program+sharpe&amp;source=bl&amp;ots=xpivQQBdqs&amp;sig=WA8S10KHqSb6b4J-b96WVTMLmGs&amp;hl=en&amp;ei=xWS4TMutD4OZOseRyIgN&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=4&amp;sqi=2&amp;ved=0CCMQ6AEwAw#v=onepage&amp;q&amp;f=false" rel="nofollow">Sharpe's book</a> and <a href="http://arxiv.org/abs/1006.2115" rel="nofollow">this</a>, where you can look for more ingredients of the big picture.</p>