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
6
votes
0
answers
90
views
Generic representations of $\mathrm{GL}_n(\mathbb{R})$
Let $F$ be a local field of characteristic $0$, $G=\mathrm{GL}_n(F)$.
When $F$ is $p$-adic, Bernstein and Zelevinsky classified the irreducible generic representations. The statement is:
Let $\delta_{...
- 709
7
votes
0
answers
105
views
Langlands correspondence of coverings of $\mathrm{SL}_2(\mathbb R)$ and modular forms with fractional weights
$\DeclareMathOperator\SL{SL}$Let $G \to \SL_2(\mathbb R)$ be a finite covering of degree $d \geq 2$. Then $G$ is a connected Lie group with semisimple Lie algebra $\mathfrak{g}=\mathfrak{sl}_2$ and ...
- 6,622
-1
votes
0
answers
115
views
Stability of flow map
$\DeclareMathOperator\Diff{Diff}$Setting:
Let $(M,g)$ be a compact and connected $C^{\infty}$-Riemannian manifold. Let $d_g$ denote the induced shorted path metric and equip $C^{\infty}(M)$ with the ...
- 5,405
3
votes
1
answer
304
views
$\bigwedge^2(\bigwedge^k\mathbb{C}^n)$ and $\operatorname{Sym}^2(\bigwedge^k\mathbb{C}^n)$ as $\operatorname{GL}(n,\mathbb{C})$-modules
Consider the natural representations of $\operatorname{GL}(n,\mathbb{C})$ in the spaces
$\bigwedge^2(\bigwedge^k\mathbb{C}^n)$ and $\operatorname{Sym}^2(\bigwedge^k\mathbb{C}^n)$.
Is it known how to ...
- 21.8k
6
votes
1
answer
160
views
Centralizers in semisimple Lie group
For a semisimple complex Lie algebra $\mathfrak{g}$ and a regular element $X\in \mathfrak g$ the centralizer of $X$ in $\mathfrak g$ is a Cartan subalgebra (see Knapp, 'Lie Groups beyond an ...
- 63
5
votes
1
answer
231
views
Explicit Jacquet-Langlands correspondence for real reductive groups
Let $G$ be a connected reductive group over $\mathbb R$. Let $G'$ over $\mathbb R$ be an inner form of $G$ with ${}^LG={}^LG'$. By local Langlands correspondence over $\mathbb R$, if a $L$-packet of $...
- 6,622
3
votes
1
answer
102
views
Which compact Lie groups have an upper bound on the dimension of irreducible continuous representations?
To fix notation, if $G$ is a compact Lie group, $Rep(G)$ denotes the set of continuous irreducible unitary representations of G, and $\widehat{G}$ denotes the quotient $Rep(G)/\sim$, which identifies ...
7
votes
1
answer
177
views
Ergodicity of action of finite index subgroups in the boundary
Let $\Gamma < \operatorname{PSL}_2(\mathbb{R})= \text{Isom}^+(\mathbb{H^2})$ be a discrete subgroup. Suppose $\Gamma$ acts ergodically on the boundary of the hyperbolic plane $\partial{\mathbb{H}^2}...
- 1,101
2
votes
0
answers
46
views
Are maps between cohomology of homogeneous vector bundles morphisms of representations?
Let $X = G/P$ a rational homogeneous variety, e.g. a grassmannian. Consider a short exact sequence $$ 0 \longrightarrow E_1 \longrightarrow E_2 \longrightarrow E_3 \longrightarrow 0$$
where $E_i$ are ...
- 41
3
votes
1
answer
110
views
Lie subalgebra annihilated by all derivations
Let $k$ be a field and $\mathfrak{g}$ a Lie algebra over $k$. Put $K(\mathfrak{g}) = \bigcap_{f\in\mathrm{Der}(\mathfrak{g})} \mathrm{Ker}(f)$, which is a Lie subalgebra of $\mathfrak{g}$.
Question. ...
- 985
3
votes
0
answers
170
views
Cellular structure of $F_4$
Is there the cellular structure of the Exceptional Lie group $F_4$?
Is there a reference to it?
Thanks
2
votes
3
answers
181
views
Stabilizers of the action of Levi on abelianization of nilpotent radical
$\DeclareMathOperator\Lie{Lie}$Let $G$ be a simple connected reductive group over $\mathbb C$. Consider a parabolic subgroup $P=MU$ of $G$, where $M$ is a Levi of $P$ and $U$ is the unipotent radical ...
- 6,622
1
vote
0
answers
71
views
Component groups of stabilizers for linear representations
Let $G$ be a connected simple reductive group over $\mathbb C$. Let $V$ be a finite-dimensional complex representation of $G$.
Given a vector $v \in V$, it is natural to consider its stabilizer group $...
- 6,622
4
votes
1
answer
441
views
Large(ish) finite non-abelian subgroups of $\operatorname{GL}_n \mathbb C$ for $n>70$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\PSL{PSL}\DeclareMathOperator\SU{SU}\newcommand{\C}{\mathbb{C}}$My question is about large order finite non-abelian subgroups of $\GL_n\C$ without an ...
- 1,150
4
votes
0
answers
236
views
Jacobian of exponential map
I am playing around with the coarea formula and came across the problem of finding the Jacobian of the exponential map.
Let $G$ be a compact, semisimple Lie group with associated Lie algebra $\...
- 133
3
votes
1
answer
111
views
Generalization of a result of Kostant related to Gauss decomposition and Toda lattices
I found myself needing a generalization of a result of Kostant in his famous paper
B. Kostant, The solution to a generalized Toda lattice and representation theory, Adv. in Math, Volume 34, 1979, ...
- 173
15
votes
6
answers
671
views
Why, conceptually, does the torus normalizer in $G_2$ split?
Background: Let $G$ be a complex reductive group, $T$ a maximal torus, $N$ the normalizer of $T$ in $G$, and $W = N/T$ the Weyl group. All in all, we have a group extension
$$ 1 \to T \to N \to W \to ...
- 815
9
votes
2
answers
865
views
Multiplication in Peter-Weyl theorem
$\DeclareMathOperator\SL{SL}$It is known that the coordinate algebra $\mathcal O(\SL_n(\mathbb C))$ decomposes as direct sum of $V \otimes V^*$ for $V$ finite-dimensional irreducible representations ...
- 2,964
12
votes
3
answers
795
views
The orders of the exceptional Weyl groups
Who first calculated the orders of the Weyl groups $E_6$, $E_7$, $E_8$, $F_4$, and $G_2$? How were these orders calculated?
- 415
3
votes
1
answer
182
views
In dimension $n=5$, does a subgroup of $O(n)$ satisfying these properties exist?
I asked a question where @YCor provided a construction that seems to enable a group construction satisfying some properties when $n\ne 5$. However, in the case $n=5$, I am starting to think no such ...
- 185
6
votes
2
answers
501
views
Group of diffeomorphisms and its tangent space i.e. its Lie algebra
So I feel like there are many questions and also many sources on what I am asking, but I still don't understand what I think is a very basic thing in my head:
It is known, that for a Lie group $G$ (...
- 63
6
votes
0
answers
349
views
Quantum Hilbert's fifth problem
Hilbert's fifth problem inquires whether every locally Euclidean group is necessarily a Lie group. Von Neumann demonstrated that this is indeed true for the compact case.
The definition of a quantum ...
11
votes
1
answer
331
views
A question on groups having a subgroup which fixes a vector in every irreducible representations
Given a finite group $G$, I am interested in finding a non-trivial proper subgroup $H$ of $G$ such that $\mathrm{Ind}_H^G\mathbf{1}$ contains all the irreducible representations of $G$, that is, ...
- 251
11
votes
0
answers
283
views
Why are there so few irreducible admissible representations of $\text{GL}(n,\mathbb{R})$ (up to infinitesimal equivalence)?
Studying Langlands's classification of irreducible admissible representations, I have been rather stunned by the following:
Theorem
Up to infinitesimal equivalence, all irreducible admissible ...
- 511
11
votes
0
answers
183
views
Are algebras with rational structures dense in varieties of real Lie nilpotent algebras?
One says that a real nilpotent Lie algebra has $\mathbb Q$-structure if it has a basis with rational structure constants. It is well known that there are nilpotent Lie algebras without $\mathbb Q$-...
- 723
6
votes
2
answers
794
views
Tensor algebra and universal enveloping algebra
Let $\mathfrak g$ be a Lie algebra which is not reductive. Let $T(\mathfrak g)$ and $U(\mathfrak g)$ be the tensor algebra and universal enveloping algebra of $\mathfrak g$ respectively. We have a ...
- 673
2
votes
0
answers
73
views
On a possible generalization of heat kernel semigroups on Lie groups
Let $G$ be a compact matrix Lie group with Haar measure $\mu$. Then the heat kernel $\rho: G\times (0,\infty) \rightarrow \mathbb{R}$ satisfies
(1) $\rho(g_1g_2,t)=\rho(g_2g_1,t)$ for all positive $t$,...
- 505
5
votes
2
answers
443
views
Series of discrete groups with a Lie group limit
The groups ${\mathbb Z}_N$ may be viewed as a series, $N=1,2,3,\ldots$, which in the limit $N\to\infty$ approaches $U(1)$. I realize this is a bit hand waving but I'm pretty sure it can be made ...
- 1,150
3
votes
1
answer
160
views
Embedding flag manifolds of real semisimple lie group
I want to know given a connected (maybe we can assume it to be simply connected or linear) real semisimple lie group $G$ and one of its maximal parabolic group $P$, how can we embed the flag variety $...
- 175
3
votes
1
answer
231
views
Does a representation of the universal cover of a Lie group induce a projective representation of the group itself?
Suppose that $G$ is a connected Lie group, $\tilde{G}$ its universal cover, $p:\tilde{G}\to G$ the covering map. Does a representation $\rho$ of $\tilde{G}$ on a finite-dimensional vector space $V$ ...
- 3,115
9
votes
3
answers
790
views
A manifold whose tangent space is a sum of line bundles and higher rank vector bundles
I am looking for an example of the following situation. Let $M$ be a connected (if possible compact) manifold such that its tangent bundle $T(M)$ admits a vector bundle decomposition
$$
T(M) = A \...
0
votes
0
answers
98
views
An application of the Gleason-Montgomery-Zippin Theorem
In the book How groups grow by Avinoam Mann, the author cites the following theorem attributed to Gleason-Montgomery-Zippin.
Theorem 6.4 (Gleason–Montgomery–Zippin: solution of Hilbert’s Fifth ...
- 1
4
votes
0
answers
183
views
Does a dual basis for $U_h(\mathfrak{sl}_2(\mathbb{C}))$ exist?
Let $\mathcal{F}_h(\operatorname{SL}_2(\mathbb{C}))$ be the $\mathbb{C}[[h]]$-algebra generated by $a, b, c, d$ subject to the following relations:
\begin{align*}
& ac = e^{-h}ca, \quad bd = e^{-h}...
- 255
1
vote
0
answers
18
views
Behavior of the number of components of disconnected reductive groups when intersecting a Levi subgroup
Let $G$ be a connected reductive group over $\mathbb{C}$. Let $P=MN$ be a parabolic subgroup of $G$ with its Levi decomposition ($N$ the unipotent radical, $M$ a Levi).
Let $H\subset M$ be a finite ...
- 709
4
votes
1
answer
101
views
K-types of a representation of the minimal Gelfand-Kirillov dimension
Let $G$ be a noncompact real simple Lie group not of Hermitian type, and $\mathfrak{g}_0$ its Lie algebra. Fix a maximal compact subgroup $K$ in $G$ with its Lie algebra $\mathfrak{k}_0$. Write $\...
- 951
3
votes
1
answer
129
views
Questions about the quotient of extended Weyl group and the isomorphism of extended Weyl group
When I am reading a paper An Algebraic Characterization of the Affine Canonical Basis by Beck, Chari, and Pressley, and I have some questions about some notations.
In the paper, we assume that $\...
- 137
2
votes
1
answer
315
views
A reductive group is the complexification of a compact subgroup even if not connected?
The definition of a linear algebraic complex reductive group is sometimes using the connectedness hypothesis for the complex algebraic group sometimes not.
Here I use the following definition : a ...
- 1,128
4
votes
1
answer
254
views
Isometry group of a left-invariant Riemannian metric on $\mathrm{SU}(2)$
Recall that
\begin{equation}
\mathbb{S}^3=\operatorname{SU}(2)=\left\{
\begin{pmatrix}
z&w\\
-\bar{w}&\bar{z}
\end{pmatrix}
,|z|^2+|w|^2=1
\right\}
\end{...
- 1,441
3
votes
1
answer
162
views
Compact symmetric spaces and sub-root systems
Given two semisimple complex Lie algebras $\frak{g}$ and $\frak{n}$ such that the root system of $\frak{n}$ arises as a sub-root system of the root system of $\frak{g}$, does this then imply that $\...
2
votes
1
answer
121
views
Semi-direct decomposition of a solvable Lie group
(This is a cross-post from this MSE question)
I am searching for a reference or proof to the following fact (asserted at the top of page 2 here).
Let $G$ be a connected, solvable Lie group. Then $G = ...
- 185
1
vote
0
answers
46
views
The difference between two description of affine Weyl groups
I have a question about the difference between two description of affine Weyl groups.
Let me write two descriptions of affine Weyl groups:
Let $\mathfrak{g}=\mathfrak{g}(A)$ be affine Lie algebras ...
- 137
1
vote
0
answers
52
views
How large can the normalizer of $\mathrm{Ad}(G)$ in $\mathrm{GL}(\mathfrak{g})$ be?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Ad{Ad}$Let $G$ be a real Lie group with Lie algebra $\mathfrak g$ (say reductive/semisimple if it makes the question easier).
I am interested in ...
- 1,942
7
votes
1
answer
259
views
A name for the Weyl group of $\frak{so_{2n}}$
For the $A$-series the Weyl group is the symmetric group $S_n$. For the $B$ and $C$ series the Weyl group is the hyperoctahedral group $\mathbb Z_2 \wr S_n$.
A) Does the $D$-series Weyl group $S_n \...
- 415
5
votes
0
answers
122
views
Algebraic groups and formal group laws in characteristic p
In characteristic zero, there is a well-known equivalence between Lie groups, formal group laws and Lie algebras.
Let $p$ be a prime. The equivalence between Lie groups and Lie algebras has an ...
- 413
20
votes
3
answers
2k
views
Where do root systems arise in mathematics?
One often hears that root systems are ubiquitous in mathematics and physics. The most obvious occurrence of root systems is in the classification of complex simple Lie algebras. Where else do they ...
2
votes
2
answers
87
views
Computation of ideal of functions, given by explicit quadratic equations, vanishing on $G/P$ for the exceptional Lie group $G_2.$
In Section 10.6.6 of Procesi's "Lie Groups" he writes that a theorem due to Kostant tells us that for an algebraic group $G$ and a parabolic subgroup group $P,$ the ideal of functions ...
- 201
4
votes
0
answers
98
views
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
The assumption that $ N_G(H)/H $ is finite cannot be weakened ...
- 4,081
4
votes
1
answer
523
views
Is automorphism on a compact group necessarily homeomorphism? How about N-dimensional torus？ [closed]
Is automorphism on a compact group necessarily homeomorphism? I don't think so，but I think it is possible on the N-dimensional torus.
- 83
1
vote
1
answer
78
views
Shape of convex invariant sets in symmetric spaces
Let $G$ be a semisimple Lie group of rank one and let $\Gamma$ be a convex-cocompact, Zariski dense subgroup.
Let $X=G/K$ denote the symmetric space and $\partial X$ its visibility boundary.
Let $\...
- 460
5
votes
1
answer
226
views
Nontrivial extension of the action of complex hyperbolic group $H$ on $\mathbb{C}$
Inspired by this question about conjugation of reql analytic maps to a holomorphic function and with a group action view point we ask the following question.
The complex Lie group $H=\...
- 356