Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
3,059 questions
1
vote
1
answer
383
views
$ S_4 $ subgroups and $ \operatorname{SO}_3(\mathbb{R}) $
$\DeclareMathOperator\SO{SO}$I posted this on MSE 10 days ago and it got 3 upvotes but no answers or comments, so I'm cross-posting to MO.
Background: The group of rotations $ \SO_3(\mathbb{R}) $ has ...
- 4,081
5
votes
1
answer
508
views
Finite maximal closed subgroups of Lie groups
Cross-posted from MSE
https://math.stackexchange.com/questions/4272017/finite-maximal-closed-subgroups-of-lie-groups
$\newcommand{\G}{\mathcal{G}} \newcommand{\K}{\mathcal{K}} \DeclareMathOperator\SU{...
- 4,081
4
votes
0
answers
161
views
Differential invariants and Lie symmetries
I have the following question:
Does differential invariants have the same Lie symmetries?
I want to know about the relation of differential invariants of an action and their symmetry properties. ...
- 49
0
votes
1
answer
134
views
Sub-coroot lattices
[This is a sequel to the previous question sub-coroot systems, that has been answered! :-) ]
Let $T$ be a maximal torus of a compact Lie group $K$,
and let $\Lambda \subset {\mathfrak t}$ be the ...
- 167
4
votes
1
answer
237
views
Aschbacher classes for compact simple group
Posted this to MSE several weeks ago and it got 3 upvotes but no answers or even comments so I'm cross-posting to MO
Aschbacher's theorem says that every maximal subgroup of a finite simple classical ...
- 4,081
5
votes
0
answers
255
views
Reference on "infinite dimensional Lie algebras" from a mathematical physics point of view
It happens that I stumbled on a class of infinite dimensional Lie algebras that are not Kac-Moody algebras and for which I was not really prepared for. I know some general results on infinite ...
- 295
9
votes
1
answer
444
views
Compact flat orientable 3 manifolds and mapping tori
There are 10 compact flat 3 manifolds up to diffeomorphism, 6 orientable and 4 non orientable. I am looking to better understand how to construct the orientable ones.
The six orientable ones are ...
- 4,081
4
votes
2
answers
419
views
Three dimensional real Lie groups with cocompact discrete subgroups
I would like to know what are all the real three dimensional Lie groups (simply connected) that can act transitively and locally freely on a compact three dimensional manifold?
This is equivalent to ...
- 41
2
votes
1
answer
137
views
What does the boundary of convex hulls look like in matrix Lie groups?
Let $G$ be a compact matrix Lie group under the Killing form metric $\langle \xi, \eta \rangle_g = -\frac{1}{2}\text{tr}((g^{-1}\xi)^T(g^{-1}\eta))$ for $g \in G$ and $\xi,\eta \in T_gG$. Let $C \...
- 518
8
votes
2
answers
1k
views
Action of symmetric matrices under $\mathrm{O}(n)$
$\DeclareMathOperator\Sym{Sym}\DeclareMathOperator\O{O}\DeclareMathOperator\GL{GL}$Let $k$ be an algebraically closed field of characteristic 0 (it can even be $\mathbb{C}$ if you like), and let $n\in\...
- 1,077
0
votes
0
answers
73
views
Problem in understanding the proof of cocycle condition for cocommutator
Let $G$ be a Poisson–Lie group with Poisson bivector field $\pi$. Let $\pi^{R} \colon G \longrightarrow \bigwedge^2 \mathfrak{g}$ be defined by $$\pi^R (x) = (d_x R_{x^{-1}} \otimes d_x R_{x^{-1}}) \...
- 199
5
votes
1
answer
356
views
Density of matrix coefficients of unitary representations of a locally compact group
Let $G$ be a locally compact group, $C_0(G)$ the $C^*$-algebra of continuous functions on $G$ that vanish at infinity, $C_b(G)$ the $C^*$-algebra of bounded continuous functions on $G$. We know that $...
- 1,586
3
votes
0
answers
94
views
The tangent bundle of $G \times_H M$
Let $G$ be a Lie group with a closed subgroup $H$, and let $M$ be a smooth $H$-manifold. I am searching for a reference where it is proved that the tangent bundle of $G \times_H M$ is isomorphic to ...
- 198
3
votes
1
answer
80
views
Non-invariant forms on loop Lie algebra of semisimple Lie group
Let us consider a Lie group $G$ with Lie algebra $\mathfrak{g}$ and let $L\mathfrak{g} = C^\infty(S^1, \mathfrak{g})$ the Lie algebra of the loop group $LG$.
My question is about continuous Lie ...
- 9,853
1
vote
1
answer
330
views
On Euler angles decomposition of $\mathrm{SU}(N)$
$\DeclareMathOperator\SU{SU}$I am looking for a (generalized) Euler angles decomposition for $\SU(N)\ (N>1)$ in the following fashion:
$$
\SU(N)\ni m = a\, u \, b
$$
where $a,b$ are independent ...
- 41
6
votes
2
answers
401
views
Relations between $3j$-symbols and intertwiners
I am trying to understand the relation between Wigner's $3j$-symbols (or Clebsch-Gordan coefficients) and matrix coefficients of intertwiners. I am new to this topic and need some help to understand ...
- 1,429
9
votes
0
answers
99
views
Derived subgroups of 2-adic congruence subgroups of $\mathrm{SL}_2$
$\DeclareMathOperator\SL{SL}$Let $p$ be a prime, and let $\Gamma_r$ denote the kernel of the map $\SL_2(\mathbb{Z}_p)\rightarrow \SL_2(\mathbb{Z}_p/p^r\mathbb{Z}_p)$.
Explicit formulas with formal ...
- 7,527
1
vote
1
answer
158
views
Question about the inverse operator on PSL(2,R) with respect to Liouville measure
In GTM 259 chapter 9 and Katok Hasselbaltt Introduction to Modern Theory of Dynamical System chapter 5 (using the Iwasawa KAN decomposition)
we see the Unit Tangent bundle of Hyperbolic half plane is ...
- 39
12
votes
2
answers
494
views
A specific coset decomposition of $\mathrm{GL}_n(\mathbb{C})$
Disclaimer: I am a theoretical chemist (not a mathematician). I have tried asking this question at Math SE with no luck (https://math.stackexchange.com/questions/4080696/a-specific-coset-decomposition-...
- 121
2
votes
1
answer
219
views
Are finite-dimensional real representations of semisimple real Lie algebras completely reducible?
Suppose $\mathfrak{g}$ is a real form of a semisimple Lie algebra $\mathfrak{g}_\mathbb{C} = \mathfrak{g} \otimes_\mathbb{R} \mathbb{C}$. Then we have the following:
There is an equivalence of ...
- 618
0
votes
0
answers
172
views
Fourier transform and rotations in 3d
Let $f\in \mathcal{S}(\mathbb{R}^3)$ be a Schwartz function invariant under rotations in $\mathbb{R}^3$ and let $\hat f\in \mathcal{S}(\mathbb{R}^3)$ be its Fourier transform, i.e. $\hat f(p)=\int_{\...
- 552
18
votes
4
answers
621
views
What are immediate applications of the classification of connected reductive groups?
After years of putting it off, I finally sat down, read, and understood the classification of connected reductive groups via root data.
That's a non-trivial theory! I'm hoping that now that I am done ...
- 557
3
votes
0
answers
50
views
Are there invariants of configurations of points in space obtainable via the moduli space of solutions of the Berry-Robbins problem?
Let $C_n(\mathbb{R}^3)$ denote the configuration space of $n$ distinct points in Euclidean $3$-space and let $U(n)/T^n$ denote the flag manifold associated to the unitary group $U(n)$, i.e. the ...
- 5,215
1
vote
0
answers
201
views
On the center of the universal enveloping algebra of a Lie algebra
Consider a finite-dimensional Lie algebra over C. Sometimes (e.g. for any semisimple Lie algebra) the center of its universal enveloping algebra is isomorphic to a freely generated polynomial ring.
...
- 11
3
votes
1
answer
337
views
Path lifting property for $\pi:M\rightarrow M/G$ for $G$ compact Lie acting smoothly and freely
Let $M$ be a smooth manifold and let $G$ be a compact Lie group acting smoothly and freely over $M$. Let $\pi:M\rightarrow M/G$ be the canonical projection, and endow $M/G$ with the unique ...
- 516
4
votes
0
answers
111
views
How many diagrams interlace a given Young diagram?
For a fixed partition $\lambda=(\lambda_1\geq\dots\geq \lambda_n)$ we say $\mu=(\mu_1\geq \dots \geq \mu_{n-1})$ $\textit{interlaces}$ $\lambda$ iff
$$\lambda_1\geq \mu_1\geq \dots \geq \mu_{n-1}\geq \...
3
votes
0
answers
142
views
Conjugacy classes of Cartan subspaces in parahermitian symmetric spaces
Are there any good tables of the numbers of conjugacy classes of Cartan subspaces in pseudo-Riemannian symmetric spaces? Or a good method to count them? In particular, I am interested in the ...
- 954
11
votes
2
answers
935
views
Non-isomorphic complex Lie groups with the same exceptional Lie algebra for $\mathfrak{g_2,f_4,e_6,e_7,e_8}$?
An exceptional complex Lie algebra is a simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five such Lie algebras: $\mathfrak{g}_{2}$, ${\mathfrak {f}}_{4}...
- 2,147
6
votes
0
answers
200
views
Why should Serre's conjecture on congruence subgroup property hold?
There seem to be several related properties of an algebraic group, exhibiting the dichotomy between rank 1 and rank $\ge2$.
Whether a lattice in the group satisfies the congruence subgroup property,
...
- 1,024
8
votes
1
answer
599
views
Exact condition for smooth homogeneous to imply Riemannian homogeneous for compact manifolds
Let $ (M,g) $ be a homogeneous Riemannian manifold. That is, the isometry group $ Iso(M,g) $ acts transitively on $ M $. Let $ \pi_1(M) $ be the fundamental group of $ M $. Then $ \pi_1(M) $ has ...
- 4,081
65
votes
6
answers
9k
views
Origin of terms "flag", "flag manifold", "flag variety"?
These terms have become common in Lie theory and related algebraic geometry and combinatorics, as seen in many questions posted on MO, but it's unclear to me where they first came into use. Probably ...
- 52.9k
18
votes
1
answer
2k
views
The group of isometries of a manifold is a Lie group, isn't it?
Let $M$ be a connected finite dimensional topological manifold and $g$ be any metric on it that induces the topology of $M$ ($g$ is not a Riemannian metric). How to prove that the group of isometries ...
- 14.3k
5
votes
0
answers
345
views
CW-structure on flag manifolds
I want to apologize in advance if my question is too elementary as I am not an expert in Lie theory. I have posted it before on stackexchange without receiving an answer.
Let $G$ be a compact Lie ...
- 12.1k
3
votes
0
answers
139
views
Root space inner products and the partial order on roots
For a root system $R$ and a choice of positive roots $R^+$ it is a standard fact (see, e.g., Bourbaki, "Lie Groups and Lie Algebras," Theorem 1 of Section 1.3 of Chapter VI) that
if $(\...
1
vote
2
answers
238
views
Dimensions of $\frak{sl}_n$-representations
The dimension of any irreducible $\frak{sl}_n$-representation $V$ is clearly equal to the dimension of its dual representation $V^*$. Does the dimension of an irreducible $\frak{sl}_n$-representation ...
- 1,144
0
votes
0
answers
70
views
Why is $\Pi_r^L$ a non-degenerate Poisson structure on $G\ $?
Let $r \in \bigwedge^2 \mathfrak {g}$ be a skew-symmetric solution of the CYBE (classical Yang-Baxter equation) so that it gives rise to a non-degenrate triangular structure on $\mathfrak {g}$ i.e. $r$...
- 199
1
vote
0
answers
244
views
Relation between projective representation and the representation of the universal cover of a Lie Group
I am reading this paper, in what says exactly:
"Weare dealing with a ray representation os the conformal group AND THEREFORE with a representation of the universal covering group of the conformal ...
- 424
6
votes
2
answers
448
views
Homogeneous symplectic manifolds
I have often heard/read a statement (see, e.g., this MathOverflow question) equivalent to the following:
Let $G$ be a connected Lie group and $(M,\omega)$ a connected and simply-connected symplectic ...
- 33.3k
7
votes
1
answer
368
views
Does complexified isometry group act transitively on tangent bundle of compact Riemannian manifold?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$Let $ g $ be the round metric on the sphere $ S^n $. Since $ S^...
- 4,081
3
votes
1
answer
425
views
3 dimensional solvmanifolds and Thurston geometries
Does every three dimensional compact solvmanifold admit either Euclidean, nil, or sol geometry?
definitions/motivation/background:
A solvmanifold is a manifold $ M $ admitting a transitive action by a ...
- 4,081
4
votes
2
answers
332
views
Does the maximal compact subgroup always act transitively on a compact homogeneous space?
Let $ G $ be a Lie group, $ H $ a closed subgroup, and $ G/H $ compact. Under what conditions do we have that
$$
G/H \cong K/(K\cap H)
$$
where $ K $ is a maximal compact subgroup of $ G $? Obviously ...
- 4,081
8
votes
2
answers
636
views
Bilinear forms in compact/semisimple Lie group theory
If you look up the list of compact or semisimple Lie groups, you will see that three out of four infinite families (B, C and D) are defined in terms of a bilinear form on a vector space, either ...
- 481
6
votes
1
answer
235
views
Hausdorff distance in compact Lie groups
Let $G$ be a compact Lie group with a compatible biinvariant metric $d$. The hyperspace $K(G)$ of nonempty compact subsets of $G$ is a compact metric space with the Hausdorff metric, and it is easy to ...
- 157
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 ...
- 24.1k
6
votes
2
answers
379
views
About Lie group $G$ has this escape property？
Every Lie group $G$ has the following escape property: For every $x \ne e$ in a sufficiently small neighborhood $U$ of the identity $e$ in $G$, there is a integer $n$ such that $x^n$ is not in $U$.
...
- 71
6
votes
1
answer
255
views
A weight generalization of root systems?
For any simple complex Lie algebra $\frak{g}$, with a given choice of Cartan subalgebra $\frak{h}$, we have an associated root system $R \subseteq \frak{h}^*$. The properties of $R$ can be formalized ...
- 123
3
votes
1
answer
221
views
Cartan subspace of graded Lie algebras
Suppose $\mathfrak{g}$ is a complex reductive Lie algebra and $\theta$ is an automorphism of order $2$. Let $\mathfrak{g} = \mathfrak{g_0} \oplus \mathfrak{g}_1$ be the corresponding $\mathbb Z_2$-...
- 673
9
votes
2
answers
413
views
Is $\operatorname{Spin}(8)$ a direct product of $\operatorname{Spin}(7)$ and $S^7$?
Is $\textrm{Spin}(8)$ a direct product of $\textrm{Spin}(7)$ and $S^7$?
I met this statement in the literature, but without a reference. If it is true, where is it explicitly written?
- 183
5
votes
2
answers
376
views
What is meant by this notation of the real forms of $E_6$?
There are five real forms of the exceptional Lie group, $E_6$. Four of them are notated as in the following:
The split form as EI or $E_{6(6)}$
The quasi-split form as EII or $E_{6(2)}$
EIII or $E_{...
- 2,369
1
vote
0
answers
154
views
Definition of arithmetic subgroups of Lie groups
In Maclachlan-Reid we can read
Let $G$ be a connected semisimple Lie group with trivial centre and no compact factor. Let $\Gamma\subset G$ be a discrete subgroup of finite covolume. Then $\Gamma$ is ...
- 563