How do Lie groups classify geometry? - MathOverflow

How do Lie groups classify geometry?

2010-10-15T04:56:39Z

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.

I have also heard that manifolds can be defined very generally by patching local pieces via a pseduogroup of morphisms.

My questions are

1) Does this pseduogroup relate to the Lie group?

2) How do Lie groups classify geometry?

3) Is there a geometry for every Lie group or only some of them?

and maybe even

4) Does this classification seem work for algebraic (i.e. non-differential) geometry?

I am wondering whether this Erlangen program classification is actually formalized, or only serves as a slogan or principle.

Answer by Steve Huntsman for How do Lie groups classify geometry?

2010-10-15T05:37:39Z

I will just quote from the Wikipedia article on holonomy:

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.

Answer by Qfwfq for How do Lie groups classify geometry?

2010-10-15T14:18:04Z

R.W.Sharpe, Differential Geometry - Cartan's Generalization of Klein's Erlangen Program

Answer by Peter Arndt for How do Lie groups classify geometry?

2010-10-15T14:25:19Z

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".

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.

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.

Finally some references on the Erlangen program are Sharpe's book and this, where you can look for more ingredients of the big picture.