All Questions
298 questions
3
votes
1
answer
294
views
Lie group GL(4) representation decomposition
Let $V$ be the defining representation of $GL(4,\mathbb C)\to GL(V)$ with $V=\mathbb{C}^4$.
Let $Ext\;V$ be the exterior square of $V$ which is a 6-dim repsentation.
My question: How does $$V\otimes ...
- 79.9k
3
votes
1
answer
462
views
R-linear representations of sl(2,C)
Is there some good reference for the classification of finite-dimensional ${\mathbb R}$-linear (as opposed to ${\mathbb C}$-linear) representations of $\mathfrak{sl}_2{\mathbb C}$?
Equivalently, what ...
- 31.5k
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
...
CommunityBot
- 1
2
votes
0
answers
128
views
On Eigenvalues of the symmetric linear transformation related to a lie algebra's representation?
Let $\mathfrak{g}$ be a quadratic (finite dimensional) lie algebra and $\rho:\mathfrak{g}\rightarrow \mathfrak{gl}(W)$ be an anti-symmetric representation of $\mathfrak{g}$ on a finite dimensional ...
- 327
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
6
votes
1
answer
749
views
Origin of symbols used for half-sum of positive roots in Lie theory?
The Weyl character formula is a central result in the finite dimensional representation theory of semisimple Lie groups, algebraic groups, Lie algebras. Related questions on MO include these here ...
CommunityBot
- 1
4
votes
1
answer
381
views
The existence of a finite dimensional Lie algebra with a given symmetric invariant metric
The question is motivated by a more broad perspective in another MO post and here, but here we would like to understand a specific case (our question potentially connects to / is motivated b Quantum ...
CommunityBot
- 1
4
votes
2
answers
393
views
Moving Between Weight Spaces in Highest-Weight Representations
Let $G$ be a connected, simply-connected complex semisimple linear algebraic group with Lie algebra $\frak{g}$. Fix a maximal torus $T\subseteq G$ and let $\Delta\subseteq Hom(T,\mathbb{C}^*)$ be the ...
- 10.3k
4
votes
3
answers
1k
views
Finite Order Automorphisms on Complex Simple Lie Algebras
Let $L$ be a finite dimensional complex simple Lie algebra, and
let $F(L)$ be the set of all finite order automorphisms on $L$.
Suppose that we declare $f,h \in F(L)$ to be equivalent if there exists
...
- 7,800
3
votes
0
answers
235
views
The fundamental in the tensor square of a complex representation of $SO(N)$
I would like to figure out whether there is an irreducible complex (in the sense non-self-conjugate) representation of a group $SO(N)$, $N>2$, whose tensor square contains the fundamental ...
- 173
3
votes
1
answer
3k
views
Kirillov-Kostant-Souriau Theorem on $\mathfrak{g}\oplus \mathfrak{g^*} $
My question is about the extention of kirillov's symplectic structure on coadjoint orbits. The most remarkable feature
of the coadjoint representation is the fact that all coadjoint orbits possess a
...
- 108k
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 $...
- 26.3k
2
votes
0
answers
115
views
The condition of maximality in branching rules of $SO$ group representations
Let the highest weight of a $SO(2n+1)$ representation be given as $(m_1,m_2,...,m_n)$ ($m_1\geq m_2 \geq .. \geq m_n \geq 0$) and the highest weight of a $SO(2n)$ representation be $(s_1,s_2,...,s_n)$ ...
- 1,893
2
votes
1
answer
224
views
The orbit $(G\cdot X) \cap \mathfrak{t}$ for $X\in \mathfrak{t}$ singular
This question may be a simple problem for experts. Let $G$ be a connected compact Lie group and $T$ be its maximal torus. Let $\mathfrak{g}$ and $\mathfrak{t}$ be the corresponding Lie algebras. We ...
- 31.5k
4
votes
1
answer
713
views
Criterion for nilradical of a maximal parabolic subalgebra to be abelian?
This question has some overlap with previous ones but doesn't seem to have a well-documented answer. I recall some literature (mostly involving Lie groups and hermitian symmetric pairs, etc.) which ...
CommunityBot
- 1
11
votes
3
answers
2k
views
HIgher Homotopy Groups and Representation Theory
Let $G$ be a compact Lie group, and $g$ its associated Lie algebra.
In what ways do the higher homotopy groups $\pi_{n}(G)$ with $n>1$ appear in the representation theory of $G$?
As an example, ...
- 54.6k
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 ...
- 26.3k
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 ...
- 52.9k
3
votes
2
answers
236
views
Reconstructing a Lie group Banach representation from the Lie algebra rep. on analytic vectors
Dear all,
I have some difficulties with the following assertion in the book of Kirillov.
Let $G$ be a connected Lie group, and T a given (!) representation of G on a Banach space V.
Let $V^\omega$ ...
- 10.3k
4
votes
1
answer
966
views
SU(6) -> SU(3) branching rule
I read in at least one paper and in the wiki below
http://en.wikipedia.org/wiki/Quark_model
that the 56 symmetric irrep of SU(6) breaks down into 10^{3/2} + 8^{1/2}
irreps of SU(3)xSU(2). Here the ...
- 108k
2
votes
0
answers
562
views
Complex Finite Dimensional Representation of GL(N,C)
What are all the complex finite dimensional linear representation of $GL(N,\mathbb{C})$?
We already know all the complex finite dimensional linear representation of SU(N).
- 3,804
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$
...
- 47.3k
7
votes
2
answers
1k
views
Representation ring of SU(n)?
What's the structure of representation ring of SU(n)?
What are the representations of generators?
- 52.9k
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
4
votes
0
answers
174
views
Number of submodules in $\wedge^2 V$ and $S^2V$ isomorphic to $\mathfrak{g}$
Let $\mathfrak{g}$ be a simple complex Lie algebra. Let
$\mathfrak{g}\subset\mathfrak{so}(V)$ be an orthogonal
irreducible representation. It can be shown that the number of
$\mathfrak{g}$-...
- 59
7
votes
2
answers
418
views
About the map $S(\mathfrak{g}^ * )^G\rightarrow S(\mathfrak{h}^ * )^H$ for $H < G$
Let $G$ be a compact connected semisimple Lie group, $\mathfrak{g}$ be its complexified Lie algebra and $\mathfrak{g}^*$ its complex dual space. We can form the symmetric algebra $S(\mathfrak{g}^ * ) $...
- 2,624
2
votes
1
answer
256
views
The real group orbits on the flag variety always contains the holomorphic directions?
Let $G$ be a real semisimple Lie group and $\mathfrak{g}$ be its complexified Lie algebra. We have the flag variety $\mathcal{B}$ of $\mathfrak{g}$ which is the set of all Borel subalgebras of $\...
- 971
5
votes
3
answers
787
views
Nilpotent Lie Algebras
Let $\frak{g}$ be a finite-dimensional complex nilpotent Lie algebra. Given $\xi\in\frak{g}$, what is known about the intersection of $im(ad_{\xi})$ (the image of $ad_{\xi}:\frak{g}\rightarrow\frak{g}$...
- 11
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
5
votes
0
answers
281
views
Is the "Toeplitz algebra" the representation ring of a Hopf algebra related to SU(2)?
More precisely, does there exist a Hopf algebra $H$ whose category of (finite-dimensional, complex) representations is generated under direct sum and tensor product by two one-dimensional ...
- 118k
5
votes
1
answer
472
views
Finite dimensional homogeneous spaces of $Diff(S^1)$
This question is a refined version of Representations of infinite dimensional Lie algebras as vector fields on manifolds
I'm interested in the finite dimensional homogeneous spaces of $Diff(S^1)$. ...
CommunityBot
- 1
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 ...
- 41
2
votes
1
answer
359
views
Characterization of the weight orbit in the projective space via second order Casimir.
This is the spin-off of the question I previously asked.
First, let me remind you some notation from that question:
$G_0$ - compact, simply connected Lie group giving rise (by complexification) ...
CommunityBot
- 1
7
votes
1
answer
426
views
Lie algebra "generated" by matrix-valued curve?
Let $A(t)$ be a $n\times n$-matrix-valued continuous (plus possibly other niceness conditions; see below) curve, with the matrix entries being complex in general. If I am not mistaken, $A(t)$ ...
- 108k
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?
- 426
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 ...
- 266
2
votes
0
answers
224
views
$(\mathfrak{g},K)$-modules and parabolic category $\mathcal{O}$
I am trying to get acquainted with various infinite dimensional representations of Lie groups. So a general reference would be appreciated. Right now I am trying to figure out the following question.
...
- 8,597
33
votes
3
answers
6k
views
When is a finite dimensional real or complex Lie Group not a matrix group
I have a smattering of knowledge and disconnected facts about this question, so I would like to clarify the following discussion, and I also seek references and citations supporting this knowledge. ...
- 11.1k
3
votes
1
answer
121
views
Lower bound on the degree of a product of elements in a hyperalgebra/enveloping algebra
Background:
Fix a linear algebraic group $G$ over an algebraically closed field $k$ of arbitrary characteristic and let $B \subseteq G$ be a Borel subgroup with unipotent radical $N$. Let $\Delta^+$ ...
- 3,702
7
votes
0
answers
509
views
Small sum of group elements acting as rank 1 matrix.
I am interested in constructing small (as possible) group $G$ with large dimensional irreducible representation $\rho,V$ such that exist three elements of $g_1,g_2,g_3\in G$ such that for some $c_1,...
CommunityBot
- 1
3
votes
0
answers
359
views
Does Branching in the Weight Diagram affect an embedding?
All groups here are compact semisimple Lie groups. Out of laziness I will use $B_7$ to mean $Spin(15)$.
Suppose that one has a group $H$ and a subgroup $G$. The embedding determines the decomposition ...
- 5,191
8
votes
2
answers
1k
views
Killing form vs its counterpart in a given represenation
Let $\mathfrak{g}$ be a semi-simple Lie algebra and let $\phi:\mathfrak{g}\rightarrow\mathfrak{gl}(V)$ be its finite-dimensional complex irreducible representation. You can define two non-degenerate ...
- 12.3k
4
votes
2
answers
4k
views
Nilpotent Lie algebras and unipotent Lie groups
$\mathbf{n}$ is nilpotent Lie algebra with $N$ being the corresponding algebraic Lie group. Now one neat feature of this setting is that you can take the exponential map to be identity. In other words ...
CommunityBot
- 1
4
votes
1
answer
742
views
Restriction map for Lie algebra/Lie group cohomology associated to a complex semisimple Lie algebra and a semisimple Lie-subalgebra
Let $\mathfrak{g}$ be a finite-dimensional complex semisimple Lie algebra (or the corresponding Lie group). For definiteness, I'll take $\mathfrak{g}$ to be of type $A_n$, that is, $\mathfrak{g} = \...
- 20.7k
6
votes
1
answer
2k
views
How to calculate partition function of a QFT by summing over irreducible representations of the symmetry group?
By definition computing the partition function of a QFT amounts to doing a Feynman Path Integral exactly. At a schematic level I can see why this can become a question of summing/integrating over ...
- 4,577
5
votes
2
answers
3k
views
Infinite dimensional unitary representations of SU(2) for non-half-integer j?
The finite dimensional irreducible unitary representations of $SU(2)$ are labelled by $j$ which needs to be half-integer, the dimension of the representation is $2j+1$. This is well-known, all is good....
- 14.5k
3
votes
2
answers
1k
views
Representations of reductive Lie group
Let $G$ be a reductive algebraic group and $\varrho$ a representation of $G$ in $GL(n)$. Is it true that $\varrho$ is completely reducible? Moreover, how are related the representations of the Lie ...
CommunityBot
- 1
2
votes
1
answer
197
views
Polytopes related to the conjugation action of a Lie group on multiple copies of itself?
Let G be a finite dimensional real Lie group. As I understand it, the quotient space of G acting on itself by conjugation is a well studied polytope which can be identified with the fundamental alcove ...
- 44.7k