All Questions
Tagged with rt.representation-theory lie-groups
832 questions
2
votes
0
answers
66
views
Smooth representations of a direct product of groups
Let $G_1, G_2$ be Lie groups, and let $E_i$, $i=1,2$ be a smooth representation of $G_i$ in a locally convex complete Hausdorff TVS. Then $E_1\hat\otimes E_2$ is a smooth representation of $G_1\times ...
- 1,488
3
votes
0
answers
84
views
Bilinear maps on smooth vectors of unitary representations
Let $G$ be a connected semi-simple real Lie group with finite center. Let $R_i$ ($i=1,2,3$) be unitary irreducible representations of $G$. Let $R_i^\infty$ be the corresponding representations of $G$ ...
- 1,488
2
votes
1
answer
223
views
Smallest dimension for faithful orthogonal representation
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}$The compact simple Lie groups $\SO_8(\mathbb{R}) $ and $\SO_9(\mathbb{R}) $ both have rank 4. The group
$$
G=\SU_3 \times \SU_2 \times \...
- 4,081
7
votes
2
answers
774
views
Why is the generalized flag variety a “variety”?
In several places (for example, Chriss & Ginzburg’s book “Representation Theory and Complex Geometry”), the author says that the set $X$ of Borel subalgebras of a semi-simple Lie algebra $\...
- 159
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
2
votes
1
answer
229
views
Action of the negative Cartan-Weyl generators on a highest weight element
Let $\frak{g}$ be a complex simple Lie algebra of rank $l$. For $\frak{h}$ a choice of Cartan subalgebra, let $\alpha_1, \cdots, \alpha_r$ be the corresponding choice of simple roots, $X_{\alpha_i}, ...
- 123
3
votes
0
answers
101
views
Character formula for real representations
For an irreducible representation of a complex semisimple Lie algebra the Weyl character formula is well known. The real representations of a real semisimple Lie algebra are classified using their ...
- 103
1
vote
1
answer
244
views
Irreducible real representations of $\mathrm{SL}(2,\mathbb{R})$
I am looking for a classification of irreducible real representations of $\mathrm{SL}(2,\mathbb{R})$ of finite dimension (in the following by "representation" I mean a representation of ...
- 13
1
vote
1
answer
204
views
Injective group homomorphism on $\frac{Spin(4k+2)\times U(1)}{\mathbf{Z}/2}$ or $\frac{Spin(4k+2)\times U(1)}{\mathbf{Z}/4}\to U(2^{2k})$
$\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\SU{SU}\DeclareMathOperator\U{U}\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}$From Pierre Deligne's Notes on spinors, we can see that there ...
- 317
4
votes
0
answers
181
views
Specify the embedding of special unitary group in a Spin group via their representation map
How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations?
By ...
- 10.5k
5
votes
0
answers
135
views
Specify the embedding of Lie groups (via the representation map) precisely as the embedding of two differentiable manifolds
How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations?
By ...
- 10.5k
-1
votes
1
answer
555
views
Representation of Lie algebra $\operatorname{SE}(2)$
When I read the paper Universal approximations of invariant maps by neural networks of Dmitry Yarotsky, it happens on page 36 that he used some concepts about the representation of Lie algebra of the ...
- 129
12
votes
1
answer
655
views
Which Lie groups have finitely many conjugacy classes of subgroups of fixed isomorphism type?
Let $G$ be a real Lie group.
What conditions must $G$ satisfy so that the following is true:
For any finite group $\Gamma$ there exist finitely many conjugacy classes of subgroups of $G$ that are ...
- 577
9
votes
2
answers
1k
views
Meaning of the coadjoint representation and its orbits
Given a Lie group $G$ there is a natural representation of $G$ on the dual of its Lie algebra $\mathfrak{g}^*$ given by the coadjoint representation. This representation is obtained by differentiating ...
- 1,474
1
vote
0
answers
92
views
The $U({\frak g})v$-module generated by a single element of a $U({\frak g})v$-module
Let $\frak{g}$ be a finite dimensional complex semisimple Lie algebra and let $U(\frak{g})$ be its universal enveloping algebra. Take $V$ an infinite dimensional module over $U(\frak{g})$. Let $v \in ...
6
votes
2
answers
400
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
2
votes
0
answers
140
views
Integral functional on algebraic varieties
Suppose that $X$ is a smooth complex algebraic variety and $X_{\mathbb{R}}$ is a real form of $X$. If $X_{\mathbb{R}}$ is compact and oriented as a real manifold, then it will admit a natural ...
- 1,077
1
vote
0
answers
285
views
Coadjoint orbits
I've posted the following question some days ago in math.stackexchange https://math.stackexchange.com/questions/4155747/co-adjoint-orbit but I didn't get any answer!
While I was trying to teach my ...
- 139
2
votes
0
answers
112
views
Fundamental weights for $\mathrm{PGL}_n(\mathbb{C})$
I'm interested in the fundamental weights of non simply-connected simple Lie groups, and more specifically those of $\mathrm{PGL}_n(\mathbb{C})$.
Is there a general method to find all the generators? ...
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
0
answers
71
views
What subspace of $\operatorname{SU}(4)$ group keeps an element of the $\mathfrak{su}(2)$ subalgebra within $\mathfrak{su}(2)$ upon adjoint action?
Consider the Lie group $G_4=\operatorname{SU}(4)$ with (15) generators $T^a$. A basis for the latter is
$$\{\sigma^j \times 1_2, \quad \quad \sigma^i \times \sigma^j, \quad \quad 1_2 \times \sigma^j\},...
- 155
3
votes
3
answers
581
views
Reductive group with simply connected derived group has all root groups $\mathrm{SL}_2$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PGL{PGL}$Motivation: I am trying to understand why the Deligne-Langlands conjectures are only stated for $p$-adic reductive groups with connected ...
- 143
4
votes
2
answers
272
views
Schur positivity of a polynomial
Suppose a polynomial of the form
$$\prod_i^d \sum_j^p x_i^{f_j}$$
clearly symmetric, where $f_j\in \mathbb{N}$. There is a way to find the set of $f$ numbers such that this polynomial is Schur ...
3
votes
1
answer
503
views
Is the representation of finite simple groups fully understood?
Is the representation of finite simple groups fully understood? To clarify, I mean have all the simple representations (even finite dimensional) been classified in terms of some classifying set, such ...
- 203
7
votes
3
answers
599
views
Root system of fixed point Lie sub-algebra
It is known that a non-simply laced simple root system can be constructed from the simply-laced root system by folding the Dynkin diagram and hence the corresponding non-simply-laced Lie algebra can ...
- 103
4
votes
2
answers
120
views
When representations of reductive Lie group in a Banach space and in its Garding space have the same length?
Let $G$ be a real reductive Lie group (e.g. $G=\operatorname{GL}(n,\mathbb{R})$). Let $\rho$ be a continuous representation of $G$ in a Banach space $V$. Let $V^\infty\subset V$ be the subspace of ...
- 21.8k
3
votes
0
answers
546
views
Aut/Inn/Out Automorphism Groups of the unitary group $𝑈(𝑁)$
Given a group $G$, we denote the center Z$(G)$, we like to know the
automorphism group Aut($G$), the outer automorphism Out($G$) and the inner automorphism Inn($G$). They form short exact sequences:
$$...
- 10.5k
1
vote
1
answer
141
views
$G/T$ has finitely many $G^\theta$ orbits
Let $G$ be a compact connected Lie group and T be it's maximal torus. Let $\theta: G \rightarrow G$ be an involution on $G$ and let $G^\theta = \lbrace g \in G , \theta(g)=g \rbrace $.
I'm looking for ...
- 139
1
vote
0
answers
133
views
What is the analogue of Leibniz's rule for universal enveloping algebra?
Let $G$ be a reductive group over $\mathbb{R}$ and $\mathfrak{g}$ its complexitied Lie algebra.
Let $U(\mathfrak{g})$ be the universal enveloping algebra and $Z(\mathfrak{g})$ is the center of $U(\...
- 1,759
3
votes
0
answers
206
views
About the representation ring of a compact group
A question stuck in my mind when I was reading the paper "The representation ring of a compact Lie group" by Segal. He says on page one that I confine myself to the case of a compact Lie ...
- 1,367
5
votes
0
answers
92
views
Canonical parabolics vs Levi subgroups
Let $G$ be a reductive group over a field $k$ of characteristic zero. The Jacobson-Morozov theorem gives a method of embedding any unipotent element into an $\mathfrak{sl}_2$ triple, which in turn ...
- 3,799
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
2
votes
0
answers
50
views
Centralizers of completely reducible subgroups
Let $k$ be a field of characteristic $p \geq 0$. Let $G$ be a connected reductive group defined over $k$ with $p$ good for $G$.
In what follows, I will cite results from the following two papers: ...
- 453
4
votes
0
answers
366
views
Derivative of a representation
I'm learning about Maass--Shimura operators, and there's a term that I'm not sure how to generalize nicely.
Let $\mathfrak{h}$ be the upper half-plane with parameter $z= x + iy$, and write $s = \frac{...
- 949
2
votes
0
answers
77
views
Borel and Hirzebruch's notation relevant to characters of representations of Lie algebras
On page 467 of the paper A. Borel and F. Hirzebruch, Characteristic Classes and Homogeneous Spaces, I, the authors discussed a function from the universal covering of a maximal torus of a Lie group to ...
- 935
8
votes
2
answers
482
views
Parabolics and simple roots for a special unitary group: reference request
I am looking for a reference where the relative root system, the relative system of simple roots, and parabolic $\Bbb R$-subgroups for the real algebraic group ${\rm SU}(p,q)$ are explicitly computed.
...
- 14.1k
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
2
votes
0
answers
81
views
The centralizer and normalizer of products of (SU(n) $\times$ SU(p) $\times$ …) in U(m)
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\U{U}\DeclareMathOperator\Spin{Spin}
$Consider the special unitary group $\SU(n)$ and the unitary group $\U(m)$.
Below I specify a specfic way to embed $...
- 10.5k
2
votes
0
answers
111
views
The centralizer and normalizer of products of (Spin(n) $\times \dots$) in U(m)
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\U{U}\DeclareMathOperator\Spin{Spin}$
Consider the spin group $\Spin(n)$ and the unitary group $\U(16)$.
Below I specify a specfic way to embed $(\Spin(...
- 10.5k
3
votes
1
answer
355
views
The normalizer of SU(n) in U(m)?
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\U{U}\DeclareMathOperator\Spin{Spin}$Consider the special unitary group $\SU(5)$ and the unitary group $\U(16)$.
Below I specify a specfic way to embed $...
- 10.5k
2
votes
0
answers
83
views
A quasi-isometric embedding of a convex cocompact subgroup
I am currently reading a paper where they state the following claim:
"For a convex cocompact representation $\rho: \Gamma \to G$, the existence of a cocompact invariant convex set $\mathcal{C}$ ...
- 123
1
vote
1
answer
275
views
The normalizer of $\operatorname{Spin}(2N)$ in $\operatorname{U}(2^{N-1})$?
$\DeclareMathOperator\U{U}\DeclareMathOperator\Spin{Spin}$ I can show that
$$
\U(2^{N-1})\supset \Spin(2N)
$$
when $2N > 4$ or a positive integer $N > 2$, so $\Spin(2N)$ can be embedded in $\U(2^...
- 10.5k
1
vote
0
answers
143
views
Why is this operator independent of the choice of basis
I asked this question in MSE but I received no answer
https://math.stackexchange.com/questions/4009524/why-is-the-following-operator-independent-of-the-choice-of-basis/4013636#4013636
Let $G$ be a lie ...
- 139
8
votes
1
answer
374
views
Invariant ring of $\textrm{Sym}^2(\wedge^2\mathbb{R}^4)$ under $\textrm{SO}(4)$
Consider the representation of $\textrm{SO}(4)$ on $\textrm{Sym}^2(\wedge^2\mathbb{R}^4)$ induced by the standard representation of $\textrm{SO}(4)$ on $\mathbb{R}^4$. I am interested in the ring of ...
- 3,031
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
1
vote
0
answers
142
views
Principal orbit and the generic stabilizer of SO(2n)xSO(2n)
Let $SO(2n)$ denote the special orthogonal group of $2n\times 2n$ matrices over the complex numbers.
Consider the action of $SO(2n)\times SO(2n)$ on the set of $2n\times 2n$ matrices : $ADB^{T}$, ...
- 11
3
votes
1
answer
277
views
Peter–Weyl decomposition for compact Lie groups with isomorphic Lie algebras
Let $G$ and $H$ be two compact Lie groups with isomorphic Lie algebras $\frak{h} \simeq \frak{g}$, but which are non-isomorphic as topological spaces. From the isomorphism assumption it (should) ...
- 145
2
votes
0
answers
122
views
Vanishing of Clebsch–Gordan coefficients
We have
$$e^{i\lambda x}\cdot e^{i\mu x}=e^{i(\lambda+\mu) x}.\label{1}\tag{1}$$
More generally, consider the Clebsch–Gordan coefficients $c_{\lambda,\mu}^\nu$ defined by
$$\pi_\lambda\otimes\pi_\mu=\...
- 193
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
5
votes
1
answer
420
views
Analogue of the special orthogonal group for singular quadratic forms
The special orthogonal group $SO(n)$ is the subgroup of the special linear group $SL(n)$ of $n\times n$ matrices with determinant one that preserve a non-degenerate symmetric bilinear form. If such a ...
user82886