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
3
votes
2
answers
264
views
Closed subgroups of $\operatorname{GL}_n(\mathbb C)$ with Lie algebra $\mathfrak{so}_n(\mathbb C)$
What is the classification of (Zariski) closed subgroups in $\operatorname{GL}_n(\mathbb C)$ (viewed as a linear algebraic group) with Lie algebra $\mathfrak{so}_n(\mathbb C)$?
Is it true that every ...
- 71
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
133
views
About the classification of simply connected homogeneous 3-manifolds
I've read somewhere (but cannot locate the source) that the following classification holds: simply connected homogeneous 3-manifolds are either isometric to $S^2 \times \mathbb{R}$ or to a metric Lie ...
- 1,763
2
votes
0
answers
78
views
Zero trace Sobolev space on Carnot group
Let $\mathbb{G}=(\mathbb{R}^{n},\circ)$ be a Lie group on $\mathbb{R}^n$ and $\mathfrak{g}$ be the corresponding Lie algebra of $\mathbb{G}$. Let $X_{1},\ldots,X_{m}$ be the left invariant vector ...
- 561
2
votes
0
answers
156
views
Symmetric spaces and spherical functions
Let $G$ be a connected compact Lie group, $\sigma$ an involutive automorphism and $K$ a subgroup such that $(G^\sigma)_0\subset K\subset G^\sigma$. Then $M=G/K$ is a Riemannian symmetric space.
...
- 31
4
votes
1
answer
524
views
What is the outer automorphism group of the Lie group $\text{SL}_2(\mathbb{R})$ as an abstract group?
I hope to ask what the outer automorphism group of the Lie group $\text{SL}_2(\mathbb{R})$ is, just as an abstract group. It seems like Dieudonné's paper On the automorphisms of the classical groups ...
- 175
5
votes
1
answer
185
views
Why is $\operatorname{U}(n,\mathbb{H})\subset \operatorname{SL}(n,\mathbb{H}) $?
This question is inspired by Maximal compact subgroup of $\mathrm{SL}(2,\mathbb{H})$. Consider the embedding $\operatorname{U}(n,\mathbb{H})\subset \operatorname{GL}(n,\mathbb{H}) $. Since $\...
- 38k
2
votes
0
answers
386
views
The Weyl dimension formula for fundamental weights
The Weyl dimension formula is an equation to calculate the dimension of a simple $\frak{g}$-module $V_{\lambda}$, of highest weight $\lambda$, for $\frak{g}$ a complex semisimple Lie algebra. ...
- 969
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
0
votes
0
answers
51
views
Left translations respect the Schouten bracket
Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$ and $r \in \bigwedge^2 \mathfrak{g}$. For $x \in G$ let $\lambda_x$ denote the left multiplication by $x$. Let $[\cdot, \cdot]$ ...
- 199
9
votes
3
answers
407
views
Mechanical systems with their configuration space being a Lie group
Cross-posted from Physics.SE
In Marsden, Ratiu - Introduction To Mechanics And Symmetry there is a certain focus on reducing cotangent bundles of Lie groups. More precisely, if $G$ is a Lie group, ...
- 299
3
votes
0
answers
212
views
Two equivalent definitions of semisimplicity of group representations, proof by Zorn's lemma, a “counterexample” from the Fourier transform theory
Consider a representation $A$ of a group $G$ in a complex vector space ${\mathbb{V}}$:
$$
A:~~G~\longrightarrow~\operatorname{GL}({\mathbb{V}})~~,
$$
and let ${\mathbb{V}}$ be decomposable into a ...
- 603
7
votes
3
answers
1k
views
Maps from 2-Torus to SO(3)
Could someone please point me to a reference for topologically nontrivial maps from 2-Torus to SO(3), and how they are classified? [I'm a physicist, so a simple explanation would be useful]
- 71
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
7
votes
2
answers
2k
views
Geodesics equation on Lie groups with left invariant metrics
First of all, I am so sorry if this question is not appropriate to be here. I tried to ask something similar on Math Stack Exchange but it didn't have much attention. Any comment and I delete the ...
- 1,774
2
votes
1
answer
365
views
Self-normalizing implies maximal for subgroup of compact Lie group
Consider the compact group $ G=\operatorname{SO}_3(\mathbb{R}) $. The closed subgroups of $ G $ (other than the trivial group 1 and the whole group $ G $) are exactly $ O_2$, $\operatorname{SO}_2 $ ...
- 4,081
2
votes
1
answer
484
views
Mapping torus of orientation reversing isometry of the sphere
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$
Let $ f_n $ be an orientation reversing isometry of the round ...
- 4,081
2
votes
0
answers
92
views
Positive radial function with compactly supported Fourier transform
Let $G$ be a non-compact semisimple Lie group with finite center (for example $SL_2(\mathbb{R})$). Choose a maximal compact subgroup $K$. A bi-$K$-invariant function is called radial. Let $A$ be a ...
- 429
1
vote
0
answers
64
views
Is the Lie bracket on $\mathfrak g^{\ast}$ induced from a cocommutator defined on $\mathfrak g\ $?
Let $G$ be a Poisson-Lie group. Let $\mathfrak g = \text {Lie} (G) = T_1 G$ be the corresponding Lie algebra. Then the Poisson structure on $G$ gives rise to a Lie bracket $[\cdot, \cdot]$ on $\...
- 199
9
votes
1
answer
361
views
Homotopy groups $\pi_{4n-1}(SO(4n))$
There is a very natural way to define generators of $\pi_{4n-1}(SO(4n))\cong \mathbb{Z}\oplus \mathbb{Z}$ in terms of quaternions when $n=1$ and octonions when $n=2$ (see for example Tamura, On ...
- 641
4
votes
1
answer
228
views
Does the "building of parabolics" of a semisimple group have a simplex corresponding to the entire group?
Let $G$ be a semisimple (not just reductive) group over a field $k$. I believe that the question I am asking is what was meant in the second paragraph of Tits building of a linear algebraic group.
I ...
- 12.9k
6
votes
0
answers
176
views
Functions of polynomial growth on linear algebraic groups
$\DeclareMathOperator\GL{GL}$Let $G$ be a complex linear algebraic group, i.e. a subgroup in $\GL_n({\mathbb C})$, defined by a system of polynomial equations
$$
p_i(x)=0
$$
(here $p_i$ are ...
- 7,426
4
votes
1
answer
230
views
Generalizing a result about hyperbolic 2-folds to hyperbolic 3-folds
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}$Let $ \Sigma_g $ be a compact orientable surface of genus $ g $. Let the subgroup $ \pi_1(\Sigma) $ of $ \SL_2(\...
- 4,081
8
votes
1
answer
221
views
Coordinates on $N_+ \backslash \overline{B_+ w B_+} / N_+$
Let $G = \text{GL}_n(\mathbb{C})$ and let $N_+$ be the subgroup of upper triangular matrices with $1$'s on the diagonal. Let $w$ be a permutation, let $B_+ w B_+$ be the Bruhat cell and let $\overline{...
- 156k
6
votes
1
answer
242
views
Do weight vectors live between the highest and lowest weights?
For a simple complex Lie algebra $\frak{g}$, let $V$ be an irreducible $\frak{g}$-module. Is it true that the weights of the non-zero weight vectors in $V$ are less than the highest weight vector and ...
- 435
2
votes
0
answers
71
views
Principal series representations for complex groups
Let $G$ be a complex semisimple group.
In Bernstein-Gelfand, "Tensor products of finite and infinite dimensional representations of semisimple Lie algebras" (http://www.numdam.org/article/...
- 21
6
votes
1
answer
390
views
Equivariant implicit function theorem
Let $f:\mathbb{R}\times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}$ be a smooth function and $G\subset \operatorname{SO}(n)$ be a $1$-dimensional compact Lie group (diffeomorphic to the circle). ...
- 63
4
votes
1
answer
436
views
Universal covering groups of simple linear algebraic group schemes
Let $R$ be a Dedekind domain with fraction field $K$, and let $G$ be a smooth affine group scheme over $S = \text{Spec }R$ whose geometric fibers are connected and simple linear algebraic groups (i.e.,...
- 7,527
3
votes
1
answer
188
views
Identifying the conformal equivalence class of a 2-torus subgroup of the cubical 3-torus
Let K, L, M be integers with gcd(K,L,M) = 1. They determine a connected Lie subgroup G = G(K,L,M) of the cubical 3-torus (ℝ/ℤ)3 via
G = {(x,y,z) ∊ (ℝ/ℤ)3 | Kx + Ly + Mz = 0}
(where 0 denotes the ...
- 2,858
3
votes
1
answer
470
views
Is the Moebius strip Riemannian homogeneous?
Let $ M $ be the Moebius band. In other words, the total space of the nontrivial line bundle over the circle. Can we equip $ M $ with a metric such the the isometry group acts transitively?
My ...
- 4,081
12
votes
1
answer
392
views
Non-conjugate subgroups that are conjugate in complexification
In trying to come up with a counter-example in my line of research, I would like to find an example as follows:
$G$ is a semisimple Lie group with complexification $G^{\mathbb{C}}$. $H_1, H_2 \...
- 471
3
votes
0
answers
160
views
Asymptotic for spectral gap for irreps
Let G be a compact connected Lie group (nonabelian) and $(A,B)$ be a fixed pair of topological generators. Let $T: G\rightarrow U(d)$ be an irrep of dimension $d>1$.
Then $|1+T(A)+T(B)|<3$, ...
- 728
39
votes
3
answers
4k
views
Can every Lie group be realized as the full isometry group of a Riemannian manifold?
Suppose a finite-dimensional Lie group $G$ is given. Does there exist a connected manifold $M$ and a Riemannian metric $g$, such that $G$ is the full isometry group of $(M,g)$?
For example if I try to ...
- 2,830
7
votes
2
answers
1k
views
What is the theorem of the highest weight used for?
$\DeclareMathOperator\End{End}$Over the past few months, I have taught myself the classification of reductive groups, and continued to non-abelian (as well as a small venture to non-compact) Harmonic ...
- 2,071
10
votes
1
answer
519
views
Diagonalizing quaternionic unitary matrices
The quaternionic unitary group $\mathrm{U}(n,\mathbb{H})$, also called the compact symplectic group $\mathrm{Sp}(n)$, consists of $n \times n$ quaternionic matrices $g$ such that $gg^\ast = 1$, where
$...
- 22.3k
0
votes
1
answer
115
views
Invariance of Minkowski sum of sets
Given an euclidean space $E$, two sets $A,B\subset E$ and the action on $E$ of two groups $G_A,G_B$ such that $G_A A=A$ and $G_B B=B$, it is possible to generate a group that leaves invariant $A\oplus ...
7
votes
3
answers
577
views
Ergodicity of the action of $\operatorname{SL}(n,\mathbb R)$ on $\operatorname{SL}(n,\mathbb R)/\operatorname{SL}(n,\mathbb Z)$
$\DeclareMathOperator\SL{SL}$Let $G\mathrel{:=}\SL(n,\mathbb R)$ and $\Gamma\mathrel{:=}\SL(n,\mathbb Z)$. Consider the action of $G$ on $(G/\Gamma,\mu)$ by left translation, where $\mu$ is the Borel ...
- 1,565
8
votes
1
answer
298
views
How special are homogeneous spaces?
Let $M$ be a smooth finite dimensional manifold, how restrictive is it to require $M$ to admit a smooth action by a finite dimensional Lie group $G$?
Related questions/approaches: Of course we need $\...
- 639
11
votes
1
answer
589
views
A detail in the proof of Schur's lemma: the closures of the $\mathcal{Ker}$ and $\mathcal{Im}$ of the intertwiner
$\renewcommand\Im{\operatorname{\mathcal{Im}}}\newcommand\Ker{\operatorname{\mathcal{Ker}}}$I was sure that this is a trivial question and placed it on Math Stackexchange
https://math.stackexchange....
- 603
1
vote
1
answer
207
views
Character formula for the fundamental representations of $\frak{sl}_n$
For the Lie algebra $\frak{sl}_{n+1}$ we denote its fundamental irreducible representations by $V(\pi_i)$, with $i=1, \dots, n$. Where can I find a table of the character formula (in other words a ...
- 327
8
votes
2
answers
619
views
Relationship between $q$-Weyl dimension formula and $q$-analog of weight multiplicity?
$\DeclareMathOperator\dim{dim}$For a dominant (integral) weight $\lambda$ and any (integral) weight $\mu$ of a simple Lie algebra $\mathfrak{g}$, Lusztig's $q$-analog of weight multiplicty $K_{\lambda,...
- 24.2k
0
votes
0
answers
132
views
Lie algebra action Whittaker model
Let $(\pi, H)$ be an irreducible unitary generic representation of $G=\operatorname{GL}(r,\mathbb{C})$ and let $H^{\infty}$ be its subspace of smooth vectors. Let $W :G\to\mathbb{C} $ be the Whittaker ...
- 145
9
votes
1
answer
398
views
Homotopically equivalent compact Lie groups are diffeomorphic
I have the following conjecture:
Two homotopically equivalent compact Lie groups will be diffeomorphic. It may be necessary to restrict ourselves to only semisimple Lie groups. For simply connected ...
6
votes
2
answers
311
views
Irreducibility of Gelfand-Serganova strata
To keep the notations simple I'll restrict my attention to the complete flag variety although the question should be equally valid for partial flag varieties. Consider $G=SL_n(\mathbb C)$ with Borel $...
- 3,513
4
votes
4
answers
474
views
Algebra of regular functions on the quadratic cone and SU(2) representations
I was reading the paper "Short Star-Products for Filtered Quantizations" by Pavel Etingof and Douglas Stryker (MSN), where in the introduction they claim that the algebra of regular functions on the ...
- 175
3
votes
0
answers
293
views
The geometry of the group of automorphisms of a manifold
Given a manifold $M$, the group $Aut(M)$ is made of diffeomorphisms $M\to M$. Since the complete vector fields on $M$ form an infinite dimensional Lie algebra, and each generates a 1 dimensional Lie ...
- 111
2
votes
1
answer
220
views
Set of $\mathrm{SU}(6)$ matrices which conjugate $\mathbb{1}_3 \otimes \sigma^3$ subalgebra element into $\mathfrak{su}(2)$
$\DeclareMathOperator\SU{SU}$Consider the Lie group $\SU(6)$, its Lie algebra $\mathfrak{su}(6)$ and the $\mathfrak{su}(2)$ subalgebra spanned by $\mathbb{1}_3 \otimes \sigma^i$, where $\sigma^i$ are ...
- 155
14
votes
1
answer
340
views
On the homological dimension of a Borel construction
Let $M$ b a closed connected smooth manifold with fundamental group $\Gamma$. Suppose $G$ is a simply-connected Lie group that acts smoothly on $M$. Then the Borel construction $$M//G = M \times_G EG$$...
- 11.9k
1
vote
0
answers
71
views
Is center of connected nilpotent Lie group lattice hereditary?
This might be a stupid question, but I couldn't find a reference/explanation.
Let $G$ be a connected nilpotent Lie group, and $\Gamma$ a lattice in it.
If $Z$ is the center of $G$, is it true that $\...
- 143