Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
359 questions
149
votes
7
answers
23k
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, ...
- 4,014
48
votes
7
answers
15k
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 ...
12
votes
1
answer
978
views
How are Sheffer polynomials related to Lie theory?
Sheffer polynomials $\{P_n(x)\}$ have generating function $P(x,t) = \sum_{n=0}^{\infty}P_n(x)t^n=A(t)e^{xu(t)}$.
This form reminds me of the Lie group–Lie algebra correspondence. Is there any ...
78
votes
7
answers
8k
views
Example of a manifold which is not a homogeneous space of any Lie group
Every manifold that I ever met in a differential geometry class was a homogeneous space: spheres, tori, Grassmannians, flag manifolds, Stiefel manifolds, etc. What is an example of a connected smooth ...
- 8,559
12
votes
1
answer
2k
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 $\mathbb{...
- 295
30
votes
2
answers
3k
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, ...
- 2,374
22
votes
1
answer
3k
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 ...
- 2,709
17
votes
1
answer
502
views
Irreducibility of root-height generating polynomial
The height $ht(\alpha)$ of a positive root $\alpha$ in a (finite, crystallographic) root system $\Phi$ is $\sum_{i=1}^n c_i$ where $\alpha = \sum_{i=1}^n c_i \alpha_i$ is its decomposition as a sum of ...
- 2,753
14
votes
2
answers
2k
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?
- 491
10
votes
3
answers
5k
views
Left invariant metric on ${\rm SL}_n(\mathbb{R})$
I am looking for a left invariant metric on $SL_n(\mathbb{R})$. If this is not possible, it would be acceptable to have a metric on $SL_n(\mathbb{R})/SO_n(\mathbb{R})$ or something like that. Is there ...
- 109
5
votes
2
answers
504
views
A finiteness property for semi-simple algebraic groups
Let $G$ be a semi-simple algebraic group over a field $K$, I am considering a question about whether there exists a finite set of semi-simple $K$-subgroups, say $H_1,...,H_r$, such that for any semi-...
- 199
77
votes
7
answers
21k
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 discussion....
- 54.6k
53
votes
5
answers
8k
views
Beautiful descriptions of exceptional groups
I'm curious about the beautiful descriptions of exceptional simple complex Lie groups and algebras (and maybe their compact forms). By beautiful I mean: simple (not complicated - it means that we need ...
- 1,422
52
votes
2
answers
5k
views
Is there a good mathematical explanation for why orbital lengths in the periodic table are perfect squares doubled?
$\DeclareMathOperator\SO{SO}\newcommand{\R}{\mathbb{R}}\newcommand{\S}{\mathbb{S}}$The periodic table of elements has row lengths $2, 8, 8, 18, 18, 32, \ldots $, i.e., perfect squares doubled. The ...
- 541
23
votes
1
answer
3k
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 ...
- 231
22
votes
1
answer
2k
views
Modern reference for maximal connected subgroups of compact Lie groups
What's the nicest place to see a list of the maximal connected subgroups of compact Lie groups? Is there anything on-line?
I looked at Tits' Bourbaki talk on Dynkin's and others' work, but he admits ...
- 27.8k
22
votes
1
answer
1k
views
Weyl group actions on 0-weight spaces
For a complex simple Lie group G with a maximal torus T, we can take a highest-weight representation V of G and look at the 0-weight space, i.e. the subspace of V of elements invariant under T. This ...
- 301
19
votes
2
answers
1k
views
Exotic smooth structures on Lie groups?
If a topological group $G$ is also a topological manifold, it is well-known (Hilbert's 5th Probelm) that there is a unique analytic structure making it a Lie group.
However, for a compact Lie group $...
- 783
19
votes
3
answers
5k
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 ...
- 657
13
votes
3
answers
950
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 $\mathrm{Hom}(...
- 27.2k
13
votes
4
answers
5k
views
Fundamental group of Lie groups
Let $T$ be a torus $V/\Gamma$, $\gamma$ a loop on $T$ based at the origin. Then it is easy to see that $$2 \gamma = \gamma \ast \gamma \in \pi_1(T).$$
Here $2 \gamma$ is obtained by rescaling $\gamma$...
- 14.7k
12
votes
2
answers
2k
views
A decomposition of the "spin representation" of SL(2)
Let us take an N-dimensional (N odd) irreducible representation V of SL(2,R).
It is known that (e.g., Lie groups and Lie algebras III by Vinberg and Onischik, 1994 p. 94) in V there is an invariant ...
- 1,765
10
votes
4
answers
2k
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,541
7
votes
0
answers
601
views
A few questions about $E_6$ and its symmetric spaces
Preface
The purpose of my question - on high level - is to understand exceptional symmetric spaces. My latest idea is to embed them into Lie group. There is quite nice embedding of 32-dimensional $E_{...
user21230
6
votes
0
answers
272
views
Exceptional symmetric spaces embedded in exceptional Lie group
In Yokota (1959) and Atsuyama (1977) papers one can find embedding of projective space $\mathbb OP^2$ into Lie group $F_4$. Lately I come to following idea to have embedding of all four projective ...
user21230
4
votes
1
answer
614
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 $...
- 199
3
votes
1
answer
637
views
Faithful finite-dimensional unitary representations
Is there any characterization of the non-compact connected Lie groups that possess faithful finite-dimensional unitary representations?
106
votes
3
answers
10k
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 ...
- 20.7k
60
votes
8
answers
13k
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 ...
- 7,273
42
votes
9
answers
6k
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 ...
38
votes
18
answers
24k
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.
33
votes
3
answers
6k
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. ...
- 1,161
28
votes
4
answers
5k
views
Triality of Spin(8)
Among simple Lie groups, $Spin(8)$ is the most symmetrical one in the sense that $Out(Spin(8))$ is the largest possible group. A description of this outer automorphism groups is as follows. $Spin(8)$ ...
- 281
24
votes
3
answers
2k
views
Real Lie groups versus real linear algebraic groups: differences in connexity and fundamental group
There are many introductory texts on real Lie groups, and many on linear algebraic groups in general, but fewer on the specific case of linear algebraic groups over the reals, and even fewer that try ...
- 32.5k
23
votes
3
answers
2k
views
How bad can $\pi_1$ of a linear group orbit be?
Let $G$ be a simply connected Lie group and $\mathcal O= G(v)=G/G_v$ a $G$-orbit in some finite-dimensional $G$-module $V$. By the homotopy exact sequence, its fundamental group $\Gamma$ is the ...
- 31.5k
23
votes
6
answers
5k
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 ...
- 1,709
22
votes
6
answers
3k
views
Automorphism group of real orthogonal Lie groups
I would like to understand what is the "outer-automorphism group" $Out$ of $SO(p,q)$ and $O(p,q)$, where $p+q >0$ and $pq \neq 0$. My working definition of $Out$ is as follows:
Let us denote by $...
- 2,816
22
votes
1
answer
1k
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 ...
- 25.5k
20
votes
3
answers
9k
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 [Edit: provided we fix a metric, for example an invariant or bi-invariant one] has some scalar ...
- 251
20
votes
3
answers
840
views
Is there an analogue of the hive model for Littlewood-Richardson coefficients of types $B$, $C$ and $D$?
If $V_\lambda$, $V_\mu$ and $V_\nu$ are irreducible representations of $\operatorname{GL}_n$, the Littlewood-Richardson coefficient $c_{\lambda\mu}^\nu$ denotes the multiplicity of $V_\nu$ in the ...
- 313
20
votes
2
answers
1k
views
The first unstable homotopy group of $Sp(n)$
Thanks to the fibrations
\begin{align*}
SO(n) \to SO(n+1) &\to S^n\\
SU(n) \to SU(n+1) &\to S^{2n+1}\\
Sp(n) \to Sp(n+1) &\to S^{4n+3}
\end{align*}
we know that
\begin{align*}
\pi_i(SO(...
- 19.3k
20
votes
2
answers
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 ...
- 27.8k
19
votes
2
answers
3k
views
Does every irreducible representation of a compact group occur in tensor products of a faithful representation and its dual?
(Previously posted on math.SE with no answers.)
Let $G$ be a compact Lie group and $V$ a faithful (complex, continuous, finite-dimensional) representation of it. Is it true that every (complex, ...
- 118k
19
votes
5
answers
2k
views
Is there a formula for the Frobenius-Schur indicator of a rep of a Lie group?
Let $G$ be a simple algebraic group group over $\mathbb C$.
Let $V$ be a self-dual representation of $G$.
Let $\lambda$ be the highest weight of $V$.
Write $\lambda$ as a sum of fundamental weights: $...
- 43.2k
18
votes
3
answers
3k
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 (...
- 22.3k
17
votes
1
answer
3k
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 ...
- 2,106
17
votes
2
answers
1k
views
In a compact lie group, can two closed connected subgroups generate a non-closed subgroup?
Let $H$,$K$ be closed connected subgroups of a compact Lie group $G$. Let $L:=\langle H,K \rangle$ be the subgroup they generate, ie, the smallest subgroup of $G$ containing them both. Must $L$ be ...
- 853
15
votes
1
answer
2k
views
Are maximal compact subgroups of connected groups connected?
Assume $G$ is a connected locally compact group and $M$ is a maximal compact subgroup of $G$. Is $M$ connected too?
user23860
15
votes
3
answers
5k
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 ...
- 151
15
votes
8
answers
8k
views
Lie Groups and Manifolds
I'm trying to get a better handle on the relation between Lie groups and the Manifolds they correspond to. Firstly, is the relationship injective? that is, does each Lie group correspond to a unique ...
- 445