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
102
views
Multiplicities and double and triple tensor products of simple $\frak{g}$-modules
Given a complex simple Lie algebra $\frak{g}$ and a simple module $V_{\lambda}$ for some dominant weight $\lambda$. Consider the tensor product decomposition
$$
V_{\lambda} \otimes V_{\lambda} \simeq ...
- 415
16
votes
0
answers
188
views
Representation theory of Pin groups
I am (still) thinking about branching rules from $\mathfrak{so}(n+m)$ to $\mathfrak{so}(n) \oplus \mathfrak{so}(m)$, using Proctor's paper as the starting point.
Proctor describes this rule for $m = 2$...
- 1,574
3
votes
1
answer
100
views
Representation of Lie groups inducing a quasi-isometric embedding of their symmetric spaces
Let $G_{1}$ and $G_{2}$ be connected semisimple real Lie groups with no compact factors and finite center and let $K_{1}$ and $K_{2}$ denote some fixed choice of their maximal compact subgroups, ...
0
votes
0
answers
72
views
Question about action of exponential of Lie algebras (Faraut and Koranyi's book)
I'm trying to understand a statement on page 49 in the book "Analysis on Symmetric Cones" by Faraut and Koranyi.
The situation is as follows. Let $\Omega$ be a symmetric cone in $V$ and ...
- 633
2
votes
1
answer
144
views
Paper request: Graev's classification of SU(2,2) irreducible unitary representations
I am interested in Graev's paper in "M. L. Graev:Dokl. Akad. Nauk SSSR,98, 517 (1954); Amer. Math. Soc. Transl.,66, 1 (1968)." in which the irreducible unitary representations of SU(2,2) are ...
- 679
0
votes
0
answers
124
views
Do the following two notions of quantum groups sometimes coincide?
On the one hand there is the notion of quantum groups due to Drinfeld and Jimbo. In there notion a quantum group is defined as a deformation of the universal enveloping algebra of a semisimple Lie ...
- 163
11
votes
1
answer
383
views
Is there a comprehensive survey of the discrete series representation of a real reductive group?
Vague form of the question: where can one find a comprehensive and possible modern account of the discrete series representations of a real reductive group?
Motivation:
I am a master's student trying ...
- 511
3
votes
1
answer
472
views
Tips for how I can proceed with my Lie theoretical problem?
$\DeclareMathOperator\SL{SL}$I am looking at a map from a Lie group into a Lie algebra $\phi$:
$$\phi: \SL(n)\rightarrow \mathfrak{sl}_n$$
$$ P \rightarrow U_1^\dagger P U_1 + U_2^\dagger P U_2.$$
$P$ ...
3
votes
0
answers
75
views
Non-vanishing of a "push-forward" Fourier–Harish-Chandra transform on a compact set
Let $G \subset \operatorname{GL}_d(\mathbb{R})$ be a non-compact semi-simple Lie group and $K \subset G$ a maximal compact subgroup. Let $\mathfrak{g}$ (resp. $\mathfrak{k}$) be the Lie algebra of $G$ ...
- 81
3
votes
0
answers
134
views
When do quotients of $G$-vector bundles exist?
Let's work in the category of smooth (paracompact, Hausdorff) manifolds. Let $M$ be a manifold and $G$ a Lie group acting on $M$. Suppose $E$ is a $G$-vector bundle on $M$ (that is, $G$ acts on $E$ by ...
- 51
6
votes
1
answer
317
views
Which Lie groups are covers of matrix groups?
I would like to ask a variation on a question (not yet answered) I previously asked on math.SE, namely:
Which Lie groups are covers of matrix Lie groups? That is, which Lie groups $G$ admit discrete ...
- 3,115
1
vote
0
answers
72
views
Normalizer of connected subgroup contained in the Weyl group?
Let $ G $ be a simple Lie group. Let $ H $ be a connected subgroup of $ G $ such that $ N(H)/H $ is finite. In such a case, is $ N(H)/H $ always a subgroup of the Weyl group of $ G $?
For $ G=\...
- 4,081
2
votes
0
answers
159
views
Centre of centralisers in connected reductive groups
Let $G$ be a connected reductive group over an algebraically closed field. Let $T$ be a maximal torus and $x\in T$. Let $G_x$ denote the centraliser of $x$ in $G$.
Question: What is an explicit ...
- 2,751
4
votes
0
answers
87
views
Doubling constructions beyond classical groups: general principles?
The doubling method for constructing integral representations of L-functions has been successfully applied to classical groups, as demonstrated in this paper. However, extending this method to a wider ...
- 111
4
votes
0
answers
101
views
Embedding of a nilpotent algebraic group in upper triangular matrices
Suppose we have a polynomial group law on $G=\mathbb{R}^n$ which gives it a structure of a nilpotent algebraic group.
Is it true that there exists an embedding of $G$ into the group of upper-...
- 728
4
votes
1
answer
197
views
Lie algebra cohomology and Lie groups
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\U{U}\DeclareMathOperator\Sp{Sp}$Let $G$ be a complex Lie group and $\mathfrak{g}$ its Lie algebra (which is over $\mathbb{C}$). My first question is:
(...
- 985
6
votes
2
answers
237
views
What is the highest weight of the representation of special orthogonal group $SO(n)$ on the space of harmonic polynomials $\mathcal H_m(\mathbb R^n)$?
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\diag{diag}$
Let
$$
\mathcal{H}_m(\mathbb{R}^n)=\left\{P\in \mathbb{C}[x_1,\dotsc ,x_n]\left| \begin{align}
P\text{ is homogeneous of degree }m\text{ ...
- 605
2
votes
0
answers
80
views
Does restricting the eigenvalues of Hermitian matrices to the interval $[0,2\pi)$ make the exponential map to the unitary group bijective?
Let $U \in U(n)$ be a generic unitary matrix. Since the unitary group $U(n)$ is compact and connected, I know that the exponential map is surjective, i.e. that every $U \in U(n)$ has the form $U = e^{...
1
vote
1
answer
119
views
Proving that compact Hausdorff groups are cofiltered limits of compact Lie groups
What is the easiest way to show that a compact hausdorff topological group is a closed subgroup of a product of finite dimensional Lie groups?
Here are the relevant definitions:
Definition: (compact ...
user531936
5
votes
1
answer
209
views
Reconstructing a Lie group from its Maurer-Cartan form (role of completeness)
Theorem III.8.7 in Sharpe and Chern's "Differential Geometry: Cartan's Generalization of Klein's Erlangen Program" states:
If $M$ is a simply connected manifold, $\mathfrak{g}$ is a Lie ...
- 661
2
votes
0
answers
97
views
Centralizer bound for irreducible representations of $\operatorname{SU}_n(\mathbb{C})$
Let $G$ be a finite group, $χ$ be the character of an irreducible representation $V$ of $G$, and $g ∈ G$. Then a classical bound on the trace of $g$ is given by: $|χ(g)|² ≤ |C_G(g)|$, where $C_G(g)$ ...
- 2,907
4
votes
1
answer
186
views
Explicit formula for complex structure on flag manifold/isospectral matrices?
Consider the flag manifold $M = U(n, \mathbb{C})/T^n$, where $T^n$ is the maximal torus of unitary diagonal matrices. Fixing a diagonal matrix $D$ with distinct reals on its diagonal, we can identify ...
- 637
2
votes
0
answers
59
views
Measure rigidity for higher-rank subgroup actions on homogeneous space
Let $G$ be a semisimple Lie group, $\Gamma$ a lattice in $G$, and $H$ a higher-rank subgroup of $G$ (e.g., a non-split Cartan subgroup). Let $\mu$ be an $H$-invariant and ergodic probability measure ...
2
votes
1
answer
244
views
Decomposition of an $\text{SL}_n(\mathbb{C})$ representation
Let $W = V \oplus V^*$, where $V$ is the standard $\text{SL}_n(\mathbb{C})$ rep and $V^*$ is its dual. I'm ultimately trying to decompose the space $(W \otimes \bigwedge^2 W) / {\bigwedge^3 W}$.
This ...
- 181
5
votes
1
answer
303
views
Iwasawa decomposition of a non-compact semisimple Lie group?
A (non-compact) symmetric space is of the form $G/K$, where $G$ is a (non-compact) semisimple Lie group defined over $\mathbb{R}$, and $K$ is a maximal compact subgroup of $G$.
Let $M = G/K$ be a rank-...
- 650
3
votes
0
answers
50
views
Root systems of maximally noncomact Cartan subalgebras
Let $G$ be a real reductive Lie group, and $K$ a maximal compact subgroup in $G$. Write $\mathfrak{g}$ for the Lie algebra of $G$, and $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ for the Cartan ...
- 951
10
votes
0
answers
225
views
Third homology of simply connected Chevalley–Demazure group schemes
I’ve been studying the group of $\mathbb{Z}$-points of the simply connected Chevalley–Demazure group scheme of type $E_7$, denoted $G_{\text{sc}}(E_7,\mathbb{Z})$; see Vavilov and Plotkin - Chevalley ...
- 545
2
votes
1
answer
123
views
Stabilizer of a lattice $\Gamma \subset G$ in the group of automorphisms $\operatorname{Aut}(G)$ is always discrete?
$\DeclareMathOperator\Aut{Aut}$Let $G$ be a (simply) connected Lie group whose semisimple part has no compact factors, and let $\Gamma $ be a lattice (uniform?) in $G$.
Is it true that the stabilizer $...
- 309
1
vote
0
answers
35
views
Is it possible to manipulate heat kernel on H-type groups?
In Nathaniel Eldredge's work see here, he uses the explicit expression of the Heat Kernel on H-type groups (for example the Heisenberg group is an H-type group):
$$p_t(x,z)= (2\pi )^{-m} (4 \pi )^{-n}...
- 677
1
vote
1
answer
115
views
Block-diagonal embedding of $U(n)$ into $U(mn)$
What is known about the subgroup $U(n)\subset U(mn)$ for $m,n\in\mathbb{N}$ given by the diagonal embedding
$$ \alpha\mapsto \text{diag}(\alpha,\cdots, \alpha),$$
for $\alpha$ appearing $m$ times?
For ...
6
votes
1
answer
423
views
Is every complex linear algebraic group a differential Galois group?
Let $ G $ be a complex linear algebraic group. In other words, $ G $ is a subvariety of the space of $ n \times n $ complex matrices and $ G $ is a group under matrix multiplication.
Does there always ...
- 4,081
3
votes
1
answer
85
views
Isogeny of compact Lie group with central circle
Suppose $G$ is a connected, compact Lie group and $S^1 \subset G$ is a central subgroup. Can I write $G$ as a quotient of a product group $$G=(S^1 \times H)/Z$$
where the $S^1$ factor maps onto the ...
- 959
2
votes
0
answers
85
views
Coherent states on compact abelian state spaces and complexification
First, to establish notation, let $T^*(M)$ denote the cotangent bundle of a manifold $M$. Let $\widehat{(-)}:= \hom_{\sf LCAbGrp}(-,\mathbb{T}):{\sf LCAbGrp}^{\sf op}\simeq {\sf LCAbGrp}$ denote the ...
- 169
4
votes
0
answers
114
views
Mean-value type property for eigenfunctions of Casimir operator on $\operatorname{SL}(2,\mathbb{R})$
The purpose of this post is to ask for the community's opinion on a conjecture about a certain mean-value property for functions on $\operatorname{SL}(2,\mathbb{R})$. This conjecture appears at the ...
- 1,769
2
votes
0
answers
40
views
Reconstruction of a Poisson-Lie group structure from a Lie bialgebra $\mathfrak{g}$
Let $(\mathfrak{g}, [,], \delta)$ be a Lie bialgebra where $\delta$ is the cobracket. It is well-known that there exists a simply connected Poisson-Lie group $G$ such that $\mathfrak{g} = \mathrm{Lie}(...
- 255
2
votes
1
answer
122
views
Slowly increasing smooth mappings with values in a Lie group?
Let $G$ be $l$-dimensional compact Lie group and consider any smooth $F : \mathbb{R}^n \to G$.
Then, the first-order derivative of $F$ at each $x \in \mathbb{R}^n$ can be regarded as a linear mapping $...
- 3,477
5
votes
0
answers
203
views
Differential equation involving Casimir operator on $\operatorname{SL}(2,\mathbb{R})$
Throughout this post, we let $G$ denote the Lie group $\mathrm{SL}(2,\mathbb{R})$. For $t,\theta \in \mathbb{R}$ we define the following elements of $G$:
\begin{align*} A(t) &= \begin{bmatrix}e^t &...
- 1,769
1
vote
0
answers
146
views
Which elements lie in a Cartan subalgebra?
Let $\mathfrak{g}$ be a Lie subalgebra of the real upper triangular matrices (i.e. $\mathfrak{g}$ is a completely solvable real Lie algebra). $\mathfrak{g}$ has an exponential radical $\mathfrak{r}$, ...
3
votes
1
answer
197
views
Is the exponential map of a locally compact group a local homeomorphism?
We consider a locally compact abelian group $G$. We equip the real vector space $A(G)$ of continuous group homomorphisms $\mathbb{R}\to G$ with the topology of uniform convergence on compact subsets ...
- 3,031
2
votes
1
answer
88
views
Number of real forms of a (not semisimple, solvable) Lie algebra
Consider the Lie algebra $\mathfrak{r}_2=\mathfrak{aff}(\mathbb{C})$ of the group of affine maps of $\mathbb{C}$, and let $\mathfrak{g}=\mathfrak{r}_2 \oplus \mathfrak{r}_2$.
I am interested in ...
- 23
6
votes
1
answer
252
views
Poisson kernel for the orthogonal groups
For the complex ball $|z|^2\le 1$ in $\mathbb{C}^n$, there is a Poisson kernel proportional to $|x-z|^{-2n}$. This is generalized to the unitary group $U(N)$ so that in the complex matrix ball $Z^\...
- 1,549
12
votes
1
answer
379
views
Approximate classifying space by boundaryless manifolds?
As pointed out by Achim Krause, any finite CW complex is homotopy equivalent to a manifold with boundary (by embedding into $\mathbb R^n$
and thickening), and so every finite type CW complex can be ...
- 123
1
vote
1
answer
240
views
Is the irreducible $ \mathrm{SU}(3) $ subgroup of $ \mathrm{SU}(6) $ maximal?
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\O{O}\DeclareMathOperator\SU{SU}\DeclareMathOperator\U{U}\DeclareMathOperator\S{S}\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\PSL{PSL}\...
- 4,081
3
votes
1
answer
85
views
Restriction of scalar commutes with taking maximal subtorus for semisimple group G
I was wondering such a question: for a semisimple complex Lie group $G$, whether it is true that the maximal subtorus of $\mathrm{Res}_{\mathbb{C}/\mathbb{R}}(G)$ is $\mathrm{Res}_{\mathbb{C}/\mathbb{...
- 455
7
votes
1
answer
2k
views
If two Lie algebras are isomorphic, under which conditions will their Lie groups also be isomorphic?
Let $G$ and $G'$ be compact connected Lie groups (which are not necessarily simply connected) with Lie algebra $\mathfrak{g}$ and $\mathfrak{h}$. Suppose that the two Lie algebras are isomorphic, ...
- 97
1
vote
0
answers
78
views
The partial orders on the elements of a root system coming from the positive spans of the weights and the roots
Let $(\Delta,V)$ be a root system with a choice of positive roots $\Delta^+$. Denote the $\mathbb{N}_0$-span of the positive roots by $\mathcal{O}^+$, and the $\mathbb{N}_0$-span of the associated ...
3
votes
2
answers
336
views
A paper of Borel (in German) on compact homogeneous Kähler manifolds
I am trying to understand the statement of Satz 1 in Über kompakte homogene Kählersche Mannigfaltigkeiten by Borel. Here is the statement in German
Satz I: Jede zusammenhängende kompakte homogene ...
7
votes
0
answers
237
views
Relation beween Chern-Simons and WZW levels, and transgression
3d Chern-Simons gauge theories based on a Lie group $G$ are classified by an element $k_{CS}\in H^4(BG,\mathbb{Z})$, its level. Via the CS/WZW correspondence the theory is related with a 2d non-linear ...
- 813
1
vote
0
answers
108
views
Schur Weyl Duality for Maximal Torus
I wanted to know if there's some version of Schur Weyl Duality for the maximal torus $T \subset \operatorname{GL}(V)$? Is there also some combinatorial object which might be useful for the same?
11
votes
2
answers
1k
views
When does a group act effectively and holomorphically on some Riemann surface?
Given a Riemann surface $X$, we have some fairly standard methods for identifying which groups $G$ admit an effective and holomorphic action $G \times X \to X$. For instance, some fairly elementary ...
- 609