Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.

learn more… | top users | synonyms

18
votes
6answers
4k views

Classification of (compact) Lie groups

I would like to study/understand the (complete) classification of compact lie groups. I know there are a lot of books on this subject, but I'd like to hear what's the best route I can follow (in your ...
4
votes
1answer
217 views

The existence of a finite dimensional Lie algebra with a given symmetric invariant metric

The question is motivated by a more broad perspective in another MO post and here, but here we would like to understand a specific case (our question potentially connects to / is motivated b Quantum ...
4
votes
1answer
221 views

Finite dimensional Lie algebra with non-degenerate invariant bilinear forms $\Omega_{ab}$

Firstly, my apology to MO experts that I am in a more science/physics background (a PhD). So please feel free refine/modify/comment my language if I have different math accents than yours. From ...
3
votes
2answers
330 views

Complete classification of six dimensional non-semi simple Lie algebra

I would aim to know the complete classification of 6 dimensional non-semi simple Lie algebra (here the dimension stands for the generators; or the dimension $\leq 6$). In this paper, in page 7, it ...
2
votes
1answer
99 views

Hilbert's Finiteness Theorem for connected semisimple Lie groups in Weyl's “Classical Groups”

First of all, sorry for using this account. Somehow I can't login to my previous one anymore and am thus using the account associated to my MSE one. Also, I already asked the question on MSE, but ...
49
votes
7answers
5k views

Homotopy groups of Lie groups

Several times I've heard the claim that any Lie group $G$ has trivial second fundamental group $\pi_2(G)$, but I have never actually come across a proof of this fact. Is there a nice argument, ...
46
votes
10answers
11k views

why study Lie algebras?

I don't mean to be rude asking this question, I know that the theory of Lie groups and Lie algebras is a very deep one, very aesthetic and that has broad applications in various areas of mathematics ...
16
votes
17answers
8k views

Learning about Lie groups

Can someone suggest a good book for teaching myself about Lie groups? I study algebraic geometry and commutative algebra, and I like lots of examples. Thanks.
16
votes
2answers
2k views

Cohomology of Lie groups and Lie algebras

The length of this question has got a little bit out of hand. I apologize. Basically, this is a question about the relationship between the cohomology of Lie groups and Lie algebras, and maybe ...
10
votes
3answers
914 views

Representations of \pi_1, G-bundles, Classifying Spaces

This question is inspired by a statement of Atiyah's in "Geometry and Physics of Knots" on page 24 (chapter 3 - Non-abelian moduli spaces). Here he says that for a Riemann surface $\Sigma$ the first ...
22
votes
3answers
794 views

Rep Theory Consequences of Bott--Weil--Borel

I've been getting interested in the (Bott--)Borel--Weil theorem lately. As a (mainly) geometer it is very interesting to see representation appearing (from nowhere as far as I can see) in the theory ...
16
votes
3answers
1k views

Which groups have only real and quaternionic irreducible representations?

Consider a continuous irreducible representation of a compact Lie group on a finite-dimensional complex Hilbert space. There are three mutually exclusive options: 1) it's not isomorphic to its dual ...
17
votes
8answers
2k views

Is every finite-dimensional Lie algebra the Lie algebra of an algebraic group?

Harold Williams, Pablo Solis, and I were chatting and the following question came up. In Lie group land (where you're doing differential geometry), given a finite-dimensional Lie algebra g, you can ...
14
votes
4answers
970 views

Group Structure on CP^infinty

I was inspired by the following algebraic topology orals question: "Is $S^1$ the loop space of another space?" This is easy to see if you recognize that $S^1$ is a $K(\mathbb{Z},1)$, and the loop ...
8
votes
4answers
1k views

Exceptional isomorphisms of Lie groups

It is known that in low dimensions certain exceptional isomorphisms arise between Lie groups. I have read about some of them in some papers, but I have not been able to find a "systematic" treatment ...
12
votes
3answers
659 views

There is no lattice in PSL(2,R) which contains PSL(2,Z) properly?

How can I see that there is no lattice in $G=\mathrm{PSL}_2( \mathbb{R})$ which contains $\Gamma_1=\mathrm{PSL}_2( \mathbb{Z})$ properly, or equivalently, that $X_1 =\mathrm{PSL}_2(\mathbb{Z}) ...
8
votes
2answers
837 views

If compact connected Lie groups are homeomorphic as topological space, are they isomorphic as Lie groups?

Let $G_{1}$ and $G_{2}$ be compact connected Lie groups. If $G_{1}$ and $G_{2}$ are homeomorphic as topological spaces, are they isomorphic as Lie groups?
7
votes
3answers
972 views

Matrix expression for elements of $SO(3)$

Hi all. Is there any explicit matrix expression for a general element of the special orthogonal group $SO(3)$? I have been searching texts and net both, but could not find it. Kindly provide any ...
7
votes
3answers
2k views

Curvature of a Lie group

Since a lie group is a manifold with the structure of a continuous group, then each point of the manifold has some scalar curvature R. Is there a nice formula which relates the lie algebra of the ...
6
votes
6answers
1k views

cohomology of BG, G compact Lie group

It has been stated in several papers that $H^{odd}(BG,\mathbb{R})=0$ for compact Lie group $G$. However, I've still not found a proof of this. I believe that the proof is as follows: --> $G$ compact ...
16
votes
2answers
954 views

Why do flag manifolds, in the P(V_rho) embedding, look like products of P^1s?

Bert Kostant mentioned an odd fact to me some time ago. As usual (with such statements), fix a complex, connected, reductive) Lie group $G$, with maximal torus $T$, and Weyl vector $\rho$ equal to ...
12
votes
0answers
279 views

Nilpotent pro-$p$ groups

Is it true that every finitely generated (topologically) torsion free nilpotent pro-$p$ group is isomorphic to a subgroup of $U_d(\mathbb{Z}_p)$, the group of $d\times d$-upper triangular matrices ...
10
votes
4answers
834 views

Concrete examples of noncongruence, arithmetic subgroups of SL(2,R)

A subgroup of $SL_2(\mathbb{R})$ is called arithmetic if it is commensurable with $SL_2(\mathbb{Z})$. An arithmetic subgroup is called congruence if it contains a subgroup of type $\Gamma(N)$ for ...
10
votes
3answers
1k views

What is the outer automorphism group of SU(n)?

All the automorphisms of $SU(2)$ seem to be inner, which would mean that $\mathrm{Out}$ $SU(2)$ is trivial. Is that correct? Is this true in general $SU(n)$? I can't quite see -- any thoughts would be ...
8
votes
3answers
801 views

Definitions of Reductive and Semisimple Groups

I'm a graduate student. I've been reading Knapp's two books Representation Theory of Semisimple Groups and Lie Groups Beyond an Introduction. He seems to give wildly different definitions for the ...
8
votes
2answers
668 views

Cohomology of lattice subgroups

I am trying to find a reference for lower cohomology groups $H^i(G, \mathbb{Z}),$ for $i=1, 2, 3$ for lattices in higher rank (for example, $SL(n, \mathbb{Z}), Sp(2n, \mathbb{Z}),$ and possibly ...
7
votes
1answer
664 views

unitary irreps of O(p,q)

I am interested in the irreducible unitary representations of the orthogonal groups $O(p,q)$. By $O(p,q)$ I mean the real Lie groups which preserve the quadratic form of signature $(p,q)$ in ...
6
votes
2answers
506 views

Ricci curvature of the symplectic group

Is the Ricci curvature of the compact symplectic group $Sp(n)$ bounded below by $cn$ for some constant $c > 0$ independent of $n$? For $O(n)$ and $U(n)$ I know many references which state such a ...
7
votes
1answer
220 views

Are infinite dimensional Lie algebras related to unique Lie groups?

For every finite dimensional Lie algebra $g$, there is a unique simply-connected Lie group $G$ whose Lie algebra is $g$. Is this true in the infinite dimensional case?
5
votes
2answers
739 views

Calculate the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$

I would like to know what are the group cohomology classes $H^d[U(1)\rtimes Z_2, Z]$ and $H^d[U(1)\rtimes Z_2, Z_T]$, and/or how to calculate them. It can be shown that $H^d[U(1), Z]$ is $Z$ for ...
5
votes
1answer
589 views

Can we realize Weyl group as a subgroup?

Given a semisimple Lie group G, let T be a maximal torus, W be the Weyl group defined as the quotient N(T)/C(T), where N(T) denotes the normalizer of T and C(T) denotes the centralizer. Two ...
3
votes
2answers
376 views

How many principal bundles are there over a given base?

I'm currently considering principal bundles and classifying spaces in the context of gauge theory and a crucial question came to my mind: Is there a way to say how many (isomorphism classes of) ...
2
votes
1answer
156 views

A class of Lie groups with $f^{abc} \neq -f^{acb}$ (not fully anti-symmetrized) or $f^{abc} \neq f^{bca}$ (not-cyclic)

With the motivation to understand the Lie group structure constraint on a non-Abelian Chern-Simons theory, could some experts give a class of Lie groups with structure constants cannot fully ...
22
votes
2answers
723 views

In any Lie group with finitely many connected components, does there exist a finite subgroup which meets every component?

This question concerns a statement in a short paper by S. P. Wang titled “A note on free subgroups in linear groups" from 1981. The main result of this paper is the following theorem. Theorem (Wang, ...
15
votes
2answers
911 views

Where did Sophus Lie write the group commutator for two one parameter groups

If $X,Y$ are vector fields and $\def\Fl{\operatorname{Fl}}\Fl^X_t$ and $\Fl^Y_t$ their local flows, let $[\Fl^X_t,\Fl^Y_t]:= \Fl^Y_{-t}\Fl^X_{-t}\Fl^Y_t\Fl^X_t$ denote the group commutator of the ...
13
votes
1answer
785 views

What is the status of the Friedlander-Milnor conjecture today?

For the purposes of this question, the Friedlander-Milnor (FM) conjecture asserts an equality of the group homology for algebraic groups, and their discretizations in the following sense: Conjecture ...
7
votes
1answer
477 views

A question on eigenvalues

Let $A_{1}$, $A_{2}$, $A_{3}$, $A_{4}$, $A_{5}$ be linearly independent Hermitian matrices in the the space of $6$ by $6$ Hermitian matrices as a vector space over $\mathbb{R}$. Does there always ...
6
votes
4answers
1k views

Quotient space of $\mathbb{C}^5$ under the action of $SL(2,\mathbb{C})$

One sees that given the $SL(2,\mathbb{C})$ action on $\mathbb{C}^5$, thought of as the space of polynomials of the form, $$a_0 x^4 + 4a_1 x^3 y + 6a_2x^2y^2 + 4a_3xy^3 + a_4 y^4$$ the ring of ...
3
votes
3answers
1k views

On the Weyl character formula

So let $G$ be a compact real Lie group. Let $\rho:G\rightarrow GL_n(\mathbb{C})$ be an irreducible representation of $G$ and let $\chi_{\rho}$ be the character associated to $\rho$. Let ...
2
votes
1answer
298 views

The (-)-Connection on a Lie Group

Is the geodesic exponential map for a Lie group with the (-)-connection a diffeomorphism? This connection is one of two flat connections introduced by Cartan and Schouten on a Lie group and has ...
2
votes
2answers
825 views

Metric Connections on a Lie Group

A Lie group has three standard Cartan connections; the (-)-connection, the (0)-connection, and the (+)-connection. The (0)-connection is Levi-Civita with the associated metric the bi-invariant metric. ...
2
votes
1answer
220 views

Characterization of the weight orbit in the projective space via second order Casimir.

This is the spin-off of the question I previously asked. First, let me remind you some notation from that question: $G_0$ - compact, simply connected Lie group giving rise (by complexification) ...
15
votes
2answers
774 views

Borel set plus a closed set = Borel

Hi, Let $R$ be equipped with the usual Borel structure. Let $F$ be a Borel subset and $E$ be a closed subset of $R$. Then $F+E=(f+e: f\in F, e \in E \)$ is Borel? If yes, is it true for any locally ...
5
votes
1answer
220 views

Levi decomposition in disconnected linear algebraic group (characteristic 0)?

For algebraic groups or Lie groups, the subject of Levi decompositions tends to be surrounded by some mystery in the literature (and in an older question raised here). While I postpone further my ...
3
votes
3answers
494 views

Finite Order Automorphisms on Complex Simple Lie Algebras

Let $L$ be a finite dimensional complex simple Lie algebra, and let $F(L)$ be the set of all finite order automorphisms on $L$. Suppose that we declare $f,h \in F(L)$ to be equivalent if there exists ...
3
votes
3answers
329 views

Decomposition of Regular Representation of Non-compact Lie group

Let G be a non-compact Lie group, such as SL(n,R), GL(n,C). How does the regular representation $L^2(G)$ decompose? Is there an analogue of Peter-Weyl theorem?
3
votes
0answers
473 views

Has the Lie group preserving a probability distribution been used in Bayesian statistics?

For a (possibly signed) nondegenerate probability measure $\pi$ on $\{1,\dots,n\}$ define $$\langle \pi \rangle := \{R \in \operatorname{STO}(n): \pi R = \pi \}.$$ Here $\operatorname{STO}(n)$ denotes ...
0
votes
0answers
278 views

A Generalized De Rham cohomology

Edit According to the comment of Alex Degtyarev, I deleted the last part of the previous version. Let $E$ be a real vector space. The complex valued $k$- tensors on $E$ is denoted by ...
10
votes
3answers
404 views

orbits of automorphism group for indefinite lattices

I have a question about indefinite lattices. QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice, that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form, not necessarily ...
9
votes
0answers
430 views

Should the Dynkin diagrams of types $A_1$ and $B_2$ be labelled $C_1$ and $C_2$?

The labels $A$--$G$ attached to connected Dynkin diagrams are of course arbitrary, the result of historical accidents. In order to avoid repetitions, the four infinite families $A_\ell, B_\ell, ...