All Questions
298 questions
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
1
vote
2
answers
2k
views
Why the Gell-Mann matrices in the SU(3)-model need to be trace orthogonal ?
Thank you Cristi Stoica for your answer to the previous post of this question. Your hint is to the point I think. We should look at the requirements to construct the corresponding root system.
My ...
- 41
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
1
vote
1
answer
791
views
On the centre of the universal enveloping algebra
I posted the following question on MSE but I was advised to ask the question here.
Let $\mathfrak{g}$ be a lie algebra. Consider the anti-automomorphism
$$\phi: \mathfrak{g} \rightarrow \mathfrak{g}...
- 125
1
vote
1
answer
161
views
A question about G-Manifolds
I am looking for a clear reason for following fact:Is there any reference ?
Why a $G$-invariant differential form $\omega$ on a homogeneous $G$-manifold $M=G/H$ is uniquely determined by its value at ...
user21574
1
vote
2
answers
487
views
Symmetric and Exterior products of sl(n,C)-module
Let M be the $sl(n,C)$-representation of the inclusion $sl(n,C)\hookrightarrow gl(n,C)$.
Let q be a symbol.
$f(q)=1-M q + \wedge^2Mq^2-...+(-1)^n\wedge^nMq^n$
$g(q)=\sum_{i=0}^\infty Sym^iM \; q^i$
...
- 585
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
1
vote
1
answer
189
views
Dominant weights appear in Discrete Series
If $\lambda$ is a Harish-Chandra paramater. Let $\pi_\lambda$ it's associated discrete series, it's known by the minimal K-type thm that every K-type of $\pi_\lambda\mid_K$ has highest weight of the ...
- 11
1
vote
1
answer
189
views
Tensoring irreducible representations corresponding to root lattice elements
Let $\frak{g}$ be a complex semisimple Lie algebra with root lattice $Q$ and positive weight space $P^+$. Let $\lambda, \mu \in Q \cap P^+$, with corresponding respective fin-dim irreducible ...
- 327
1
vote
1
answer
133
views
Irreducible non-Abelian subgroup of $\mathrm{U}_n(\mathbb{C})$, containing diagonal matrices
Consider an irreducible non-Abelian subgroup $\mathrm{H}$ of group of unitary matrices $\mathrm{U}_n(\mathbb{C})$, that contains the subgroup of diagonal matrices. Does there exist any result ...
- 85
1
vote
1
answer
159
views
Abstracting the properties of the category $\frak{g}$-modules
Given a semisimple Lie algebra $\frak{g}$ over $\mathbb{C}$, and a finite dimensional irreducible representation $V$, with dual representation $V^*$, we know that the decomposition of $V \otimes V^*$ ...
- 993
1
vote
1
answer
93
views
How to show that the structure constant on $\mathcal{G}^*$ is $C_{c}^{ab} = f_{cd}^b r^{ad} + f_{cd}^a r^{db}$?
Let $(\mathcal{G}, \mathcal{G}^*, \delta)$ be a Lie bialgebra. Suppose that the structure constant on $\mathcal{G}^*$ and $\mathcal{G}$ are
\begin{align}
& [t^a, t^b]_* = C_c^{ab} t_c, \\
& [...
- 6,201
1
vote
1
answer
162
views
How to compute the index of a given weight?
I am learning the Borel–Weil–Bott theorem in rational homogeneous varieties. Working on them, I need to know two questions:
How to judge if a weight is singular?
How to compute the index of a given ...
- 279
1
vote
1
answer
147
views
Non-graded representations over Lie superalgebra $\mathfrak{gl}(m,n)$
I have the following questions:
Let $m,n$ be positive integers. Consider representations over the general linear Lie super-algebra $\mathfrak{gl}(m,n)$. Namely, modules over the associative algebra $U(...
- 55
1
vote
1
answer
178
views
Reducible reductive Lie subalgebras of so(p,q)
Is it true that $S(O(p) \times O(q))$ is the only proper subgroup of $SO(p,q)$ of full rank acting on the natural representation $\mathbb{R}^{p+q}$ of $SO(p,q)$ that stabilizes a $p$-dimensional ...
- 601
1
vote
1
answer
326
views
A Criterion for Reductivity of Lie Subgroups
Let $G$ be a connected, simply-connected, complex, semisimple Lie group. Suppose that $H$ is a Zariski-closed subgroup of $G$ with reductive Lie algebra $\frak{h}$. Under what conditions may one ...
- 4,920
1
vote
1
answer
114
views
Source for highest weight vectors for $\text{SL}_n(\mathbb{C})$ representations
I have a list of a lot of irreducible $\text{SL}_n(\mathbb{C})$ representations and need to know what all of their highest weight vectors are. For example, using the notation from Fulton and Harris, I ...
- 181
1
vote
1
answer
128
views
Diagonalisation of invariant hermitian forms and irreducible representations of tori actions
here is my question:
Suppose that the torus $T^n = (S^1)^n$ acts on $\mathbb{C}^n$ by linear transformations $$(e^{i \theta_1},...,e^{i \theta_n}).(z_1,...,z_n) = (e^{i \theta_1}.z_1,...,e^{i \...
- 1,227
1
vote
1
answer
232
views
Large spin expansion of affine $\mathfrak{su}(2)_k$ characters
There is a problem I am trying to solve for some time now which in a few words boils down to computing the coset characters for
$$
\frac{\mathfrak{su}(2)_k\oplus\mathfrak{su}(2)_\ell}{\mathfrak{su}(2)...
- 71
1
vote
1
answer
264
views
labeling state vectors in representation space of a simple lie algebra
Given a simple lie algebra (over ${\mathbb C}$ or ${\mathbb R}$). What is the number
of operators such that their eigenvalues sufficiently label all state vectors in the algebra's representation space....
- 85
1
vote
1
answer
609
views
Para-Complexification of Lie Groups
Let $G$ be a real Lie group. Then the complexification $G_\mathbb{C}$ of $G$ is the unique complex Lie group equipped with a map $φ:G\to G_\mathbb{C}$ such that any map $G\to H$ where $H$ is a
...
user21574
1
vote
1
answer
222
views
Degree bounds when restricting an irrep of a compact Lie group to a torus
I am not sure of the right terminology, but here goes. Let $G$ be a compact, connected, simply connected, non-abelian Lie group.
For any choice of one-dimensional torus $S\subset G$, and any finite-...
- 25.8k
1
vote
0
answers
70
views
Minimal $K$-orbit on $\mathfrak{g}$
Let $\mathfrak{g}_0$ be a noncompact simple Lie algebra with Cartan decomposition $\mathfrak{g}_0=\mathfrak{k}_0+\mathfrak{p}_0$. Write $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ for the ...
- 951
1
vote
0
answers
105
views
Weyl group action on the Lie algebra [duplicate]
Let $W$ be the Weyl group of a complex semisimple Lie algebra $\frak{g}$. Certainly $W$ acts on the root system $R$ of $\frak{g}$ but can it be made to act on $\frak{g}$ or on the universal enveloping ...
1
vote
0
answers
138
views
When is the zero weight space of an irreducible $\frak{sl}_{n+1}$-module non-trivial?
Take the complex semisimple Lie algebra $\frak{sl}_{n+1}$, with space of dominant integral weights $P(\frak{sl}_{n+1})$. For $V(\lambda)$ the irreducible representation corresponding to $\lambda \in P(...
- 969
1
vote
0
answers
133
views
Irreducible unitary representations of $\mathrm{SL}(n,\mathbb R)$ from those of $\mathrm{GL}(n,\mathbb R)$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$In the case of a non-Archimedean local field $\mathbb F$, one may reduce the representation theory of $\SL(n,\mathbb F)$ to that of $\GL(n,\...
- 1,121
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 ...
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
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
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
1
vote
0
answers
84
views
Integrable modules and comodules
Let $G$ be a semisimple Lie group and $\mathfrak{g}$ its Lie algebra. Do we have the following result: $V$ is an integrable $U(\mathfrak{g})$-module if and only if $V$ is a $\mathbb{C}[G]$-comodule? ...
- 6,201
1
vote
0
answers
85
views
Analytic vectors of elliptic elements of the enveloping algebra in a strongly continuous representation of a Lie group
Let $G$ be a semi-simple real Lie group, and $\rho$ a strongly continuous unitary representation of $G$ in a Hilbert space $H$. Let $\mathfrak{g}$ be its Lie algebra and $d\rho$ be the infinitesimal ...
- 1,582
1
vote
0
answers
218
views
Weyl Character formula applied to Sp$(4,\mathbb{C})\cap$ U$(4)$.
I have a few questions on an application of the Weyl character formula.
To start with we work with the $\mathbb{Q}$ version of Hamilton's quaternions and consider the maximal order $\mathfrak{O} = \...
- 562
0
votes
2
answers
1k
views
Representation Theory of $U(N)$
(1) Is it true that the category of representations of $U(n)$ is equivalent to the category of representations of $SU(N) \times U(1)$? If so, how is it proved, or what is a good reference. (I guess ...
- 401
0
votes
1
answer
210
views
Centers of universal enveloping algebra of complex Lie algebras
Let $\mathfrak{g}$ and $\mathfrak{g'}$ be complex Lie algebras such that $\mathfrak{g}$ is a subalgebra of $\mathfrak{g'}$. Let $Z(\mathfrak{g})$ and $Z(\mathfrak{g'})$ be the centers of the universal ...
- 833
0
votes
1
answer
243
views
Adjoint action on the universal enveloping algebra and the PBW theorem
Let $\frak{g}$ be a semisimple Lie algebra and $U(\frak{g})$ its universal enveloping algebra. The adjoint action of $\frak{g}$ on itself extends to an action of $\frak{g}$ on $U(\frak{g})$. How does ...
- 157
0
votes
1
answer
205
views
What's an example of an $n$-step nilpotent Lie algebra whose centre is not $g^{(n)}$?
Let $\mathfrak g$ be a Lie algebra. $\mathfrak g^{(1)}=\mathfrak g$ and $\mathfrak g^{(n+1)}=[\mathfrak g,\mathfrak g^{(n)}]=\mathbb R$-span$\{[X,Y]:X\in\mathfrak g,Y\in\mathfrak g^{(n)}\}$. The ...
- 275
0
votes
1
answer
169
views
Representations of simply connected Lie groups [closed]
Let $G$ be a simply connected Lie group. Is it true that any finite dimensional representation of its Lie algebra is the differential of a representation of $G$?
A reference would be helpful.
Sorry if ...
- 21.8k
0
votes
1
answer
130
views
Non-trivial weight spaces of finite-dimensional irreducible $\frak{g}$-modules
Let $\lambda \in \mathcal{P}^+$ be a dominant weight for $\frak{sl}(n,\mathbb{C})$. When does it hold that the zero weight space, of the associated finite-dimensional $L(\lambda)$, is non-trivial?
...
- 327
0
votes
1
answer
274
views
when $g^*$ is invariant under $Ad(G)$?
Let $G$ be a Lie Group and $\mathfrak{g}$ be its lie algebra.
Let $\mathfrak{g}$ is semisimple or reductive lie algebra, then prove that $\mathfrak{g}^*$ (dual of $\mathfrak{g}$)is invariant under $...
user21574
0
votes
1
answer
187
views
Matrix representations of Lie groups of type $B_n$
For the Lie algebra $\mathfrak{so}(2n+1, \mathbb{C})$, there is a matrix representation given by the following matrices:
\begin{align}
\left( \begin{matrix} 0 & x & y \\ -y^T & A & B \\...
- 6,201
0
votes
1
answer
3k
views
Why the Gell-Mann matrices in the SU(3)-model need to be trace orthogonal?
Why the Gell-Mann matrices in the SU(3)-model need to be trace orthogonal?
- 41
0
votes
0
answers
255
views
Any "inherent" definition of $\mathrm{SU}(2)$ independent of any matrix representation?
$\DeclareMathOperator\SU{SU}\SU(2)$ is explained in detail here.
However, if I know right, this definition itself is known the "fundamental representation".
I wonder if there is any "...
- 3,477
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
0
votes
0
answers
228
views
How do I detect whether a representation is (or is not) the adjoint representation?
Let $(\mathfrak{g},[\cdot,\cdot])$ be a Lie algebra. There is a God-given representation of $\mathfrak{g}$, namely, the adjoint representation $\operatorname{ad} : \mathfrak{g} \to \operatorname{Der}(\...
- 1,379
0
votes
0
answers
53
views
Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action
I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...
- 2,099
0
votes
0
answers
155
views
complex reductive Lie groups which are not defined over the real numbers
Hello
Someone knows something about the complex reductive Lie groups (the complexification of a compact Lie group) which are not defined over the real numbers. I would like to know, if is it possible,...
- 1
-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