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

learn more… | top users | synonyms

71
votes
7answers
8k 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, ...
20
votes
17answers
12k 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.
22
votes
6answers
6k 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 ...
43
votes
7answers
7k views

What is the symbol of a differential operator?

I find Wikipedia's discussion of symbols of differential operators a bit impenetrable, and Google doesn't seem to turn up useful links, so I'm hoping someone can point me to a more pedantic ...
33
votes
7answers
4k views

Why the Killing form?

I'm teaching a short summer course on algebraic groups and it's time to talk about the Killing form on the Lie algebra. The students are all undergrads of varying levels of inexperience, and I try to ...
9
votes
3answers
2k 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 ...
5
votes
1answer
493 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 ...
17
votes
1answer
2k 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 ...
17
votes
2answers
1k 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 ...
4
votes
1answer
269 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 ...
10
votes
3answers
464 views

Nearby homomorphisms from compact Lie groups are conjugate

I'm looking for a proof (that I can understand) of the following fact: If $K$ and $G$ are Lie groups, and $K$ is compact, then nearby homomorphisms $K\to G$ are conjugate. That is, if ...
8
votes
3answers
733 views

subgroup of SU(N) with maximal manifold dimension

Given the group SU(N) of NxN unitary matrices, does there exist a subgroup S with a manifold dimension larger than the SU(N-1) manifold dimension and smaller than the SU(N) one? S should not ...
7
votes
1answer
881 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 ...
8
votes
1answer
264 views

$Spin(7)$ as stabilizer of a $4$-form

According to Bryant's work on special holonomy groups, $G_2\subset SO(7)$ may be defined as the group preserving the following 3-form: ...
3
votes
2answers
563 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
3answers
537 views

Classification of $SU(2)$ principal fibre bundles over four-dimensional manifolds

I would like to find a pedagogical reference where the classification, up to isomorphism, of principal $SU(2)$ bundles over a four-dimensional compact, oriented manifold is explained. In particular I ...
4
votes
3answers
264 views

Generalization of a theorem of Burnside to non-compact groups

The following two theorems are often attributed to Burnside: Theorem Let $G$ and $H$ be compact groups. Then the irreducible representations of $G\times H$ are precisely the representations ...
3
votes
0answers
633 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 ...
5
votes
1answer
555 views

Grothendieck's paper on principal bundles, reduction to a torus step

In Grothendieck's paper "Sur la Classification des Fibres Holomorphes sur la Sphere de Riemann", there is a step I don't understand in section 4, where he proves reduction to a torus. He states (lemma ...
4
votes
1answer
239 views

About the conjugation of semi-simple subgroups

Let $G$ be a semi-simple algebraic group over $\mathbb{Q}$, I would like to find an integer $d>0$ only depending on $G$ with the following property. For any two semi-simple $\mathbb{Q}$-subgroups ...
2
votes
1answer
141 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 ...
72
votes
13answers
18k 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 ...
83
votes
3answers
6k views

Has the Lie group E8 really been detected experimentally?

A few months ago there were several math talks about how the Lie group E8 had been detected in some physics experiment. I recently looked up the original paper where this was announced, "Quantum ...
19
votes
1answer
2k views

Isometry group of a homogeneous space

Background Let $(M,g)$ be a finite-dimensional riemannian (or more generally pseudoriemannian) manifold. Suppose that I know that a certain Lie group $G$ acts transitively and isometrically on $M$ ...
31
votes
3answers
1k views

What is the classifying space of “G-bundles with connections”

Let $G$ be a (maybe Lie) group, and $M$ a space (perhaps a manifold). Then a principal $G$-bundle over $M$ is a bundle $P \to M$ on which $G$ acts (by fiber-preserving maps), so that each fiber is a ...
11
votes
6answers
2k 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 ...
26
votes
8answers
3k 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 ...
24
votes
2answers
3k 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 ...
16
votes
3answers
2k views

When is a finite dimensional real or complex Lie Group not a matrix group

I have a smattering of knowledge and disconnected facts about this question, so I would like to clarify the following discussion, and I also seek references and citations supporting this knowledge. ...
11
votes
3answers
1k 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 ...
24
votes
5answers
2k views

Is there a Morse theory proof of the Bruhat decomposition?

Let $G$ be a complex connected Lie group, $B$ a Borel subgroup and $W$ the Weyl group. The Bruhat decomposition allows us to write $G$ as a union $\bigcup_{w \in W} BwB$ of cells given by double ...
22
votes
3answers
1k 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 ...
14
votes
4answers
1k 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 ...
10
votes
4answers
2k 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 ...
19
votes
1answer
740 views

Geodesics in finite groups

It seems that I can generalize a result from compact, connected Lie groups to finite groups, but in order to do so, I need to have some kind of geodesics on finite groups. Below is a proposition for ...
16
votes
3answers
2k 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 ...
10
votes
6answers
2k views

Polynomial invariants of the exceptional Weyl groups

Let $\mathfrak{g}$ be a simple complex Lie algebra, and let $\mathfrak{h} \subset \mathfrak{g}$ be a fixed Cartan subalgebra. Let $W$ be the Weyl group associated to $\mathfrak{g}$. Let ...
8
votes
2answers
518 views

Interpret Fourier transform as limit of Fourier series

Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n ...
13
votes
0answers
355 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 ...
12
votes
5answers
863 views

About the intrinsic definition of the Weyl group of complex semisimple Lie algebras

It may be a easy question for experts. The definition of the Weyl group of a complex semisimple Lie algebra $\mathfrak{g}$ is well-known: We first $\textbf{choose}$ a Cartan subalgebra ...
10
votes
3answers
3k 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 ...
18
votes
1answer
823 views

Word maps on compact Lie groups

Let $w=w(a,b)$ be a non-trivial word in the free group $F_2 = \langle a,b \rangle$ and $w_G \colon G \times G \to G$ be the induced word map for some compact Lie group $G$. Murray Gerstenhaber and ...
14
votes
3answers
724 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}) ...
12
votes
3answers
2k 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 ...
10
votes
2answers
959 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?
10
votes
2answers
1k views

Christoffel symbols on a Lie group in Riemann normal coordinates

Consider a coordinate patch around the identity element in a Lie group given by the exponential mapping (Riemann normal coordinates). We have a Levi-Civita connection corresponding to the ...
10
votes
4answers
1k 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 ...
7
votes
1answer
769 views

Differences in philosophy between Lie Groups and Differential Galois Theory

As far as I have heard,Sophus Lie's aim was to construct an analogue of galois theory for differential galois theory. I am familiar with lie group but not with differential galois theory. What is the ...
7
votes
3answers
2k 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 ...
5
votes
1answer
953 views

A request for suggestions of advanced topics in representation theory

Please Note: The main points of the question below are in bold in order to minimize the time required to read the question. Let me begin by stating that I understand representation theory is a vast ...