Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 \...
user18063's user avatar
  • 471
3 votes
1 answer
279 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) ...
Piet Bongers's user avatar
5 votes
1 answer
283 views

Finite order automorpisms of affine Kac-Moody Lie algebras

It is known that for a finite order automorphism $\phi$ of a complex semisimple Lie algebra $L$, the fixed point subalgebra $L^{\phi}$ is a reductive Lie algebra and the centralizer of a Cartan ...
jack lingre's user avatar
6 votes
0 answers
190 views

Eigenvalues of spherical function on $\mathrm{SL}(2,\mathbb{R})$

Lie algebraically, the eigenvalue of the spherical function \begin{align*} \phi_{\lambda}(g)=\int_{K} e^{(i \lambda+\rho)(A(k g))} \mathrm{d} k \quad (g \in G,\,\lambda\in\mathfrak{a}^*) \end{align*} ...
user48713's user avatar
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 ...
Mini's user avatar
  • 85
4 votes
2 answers
369 views

Confusion over spin representation and coordinate ring of orthogonal Grassmannian

This is a copy from MSE where the question did not attract much attention. I'm working over $\mathbb{C}$ here. Let $G=\mathrm{SO}(2n+1)$ be the odd orthogonal group, and $P$ be the maximal parabolic ...
Sam Hopkins's user avatar
  • 24.2k
4 votes
1 answer
235 views

A transversal for the $\operatorname{Ad}(K)$ action on a sphere in $\mathfrak{p}$

This exercise level question has been unanswered on MSE for a few years. I hope you can answer it either there or here. $G$ is a semisimple Lie group with a choice of Cartan decomposition on its Lie ...
Calamardo's user avatar
  • 675
4 votes
4 answers
474 views

Algebra of regular functions on the quadratic cone and SU(2) representations

I was reading the paper "Short Star-Products for Filtered Quantizations" by Pavel Etingof and Douglas Stryker (MSN), where in the introduction they claim that the algebra of regular functions on the ...
Simone Castellan's user avatar
5 votes
0 answers
152 views

Explicit branching rules from $G(n+m)$ to $G(n) \times G(m)$ (where $G = \operatorname{SL}$, $\operatorname{SO}$ or $\operatorname{Sp}$)

Is there in the literature any explicit combinatorial description of the branching rules from $\operatorname{SL}(n+m)$ to $\operatorname{SL}(n) \times \operatorname{SL}(m)$, from $\operatorname{SO}(n+...
Ilia Smilga's user avatar
  • 1,574
2 votes
1 answer
196 views

Weight space dimension of the fundamental representation $\pi_n$ for type $C_n$

Will the fundamental representation $\pi_n$ of type $C_n$, for $n > 3$, have weight spaces of dimension greater than $1$? Is there some online resource where weight space multiplicities can be ...
Fofi Konstantopoulou's user avatar
5 votes
1 answer
372 views

Table of products for Lie algebra inner product of roots and weights

For a simple Lie algebra $\frak{g}$, it is usual to scale the inner product so that the shortest simple root has length $2$. With this conventions, where can I find a table (online) of the following ...
Max Schattman's user avatar
8 votes
2 answers
619 views

Relationship between $q$-Weyl dimension formula and $q$-analog of weight multiplicity?

$\DeclareMathOperator\dim{dim}$For a dominant (integral) weight $\lambda$ and any (integral) weight $\mu$ of a simple Lie algebra $\mathfrak{g}$, Lusztig's $q$-analog of weight multiplicty $K_{\lambda,...
Sam Hopkins's user avatar
  • 24.2k
4 votes
0 answers
73 views

a property of the characters for center of universal enveloping algebra

Let $\mathfrak g$ be a complex simple Lie algebra. We fix Cartan subalgebra $\mathfrak h$ and a system of positive roots $\Psi$ for the root system of the pair $(\mathfrak g, \mathfrak h).$ For each $...
jorge vargas's user avatar
3 votes
1 answer
209 views

The limit of a deformation of the ring structure on $\mathbb{C}[G]$

Let $G$ be a complex semisimple Lie group. Let $\Lambda^+$ denote its dominant Weyl chamber (by fixing a Cartan and Borel) and $V_{\lambda}$ the irreducible representation of $G$ with highest weight $\...
ChiHong Chow's user avatar
2 votes
1 answer
174 views

The sum of the weights of an irreducible simple Lie algebra module

Let $\frak{g}$ be a simple Lie algebra (over $\mathbb{R}$ or $\mathbb{C}$) and $V_{\lambda_i}$ a fundamental representation. What happens if I take the sum, in the dual of the/a Cartan subalgebra $\...
Pierre Dubois's user avatar
2 votes
2 answers
237 views

Tensoring $\frak{g}$-modules by fundamental representations

Given a fundamental representation $V(\nu_k)$ of a semisimple Lie algebra $\frak{g}$, and a general irreducible finite-dimensional representation $V$, is it ever possible that the tensor product $V \...
Rodrigo Alfonso de la Paz's user avatar
6 votes
2 answers
358 views

Duals of the spinor representations of $\frak{so}_{2n}$

For the $D_n$-series simple Lie algebra $\frak{so}_{2n}$ a curious phenomenon occurs for the fundamental representations corresponding to the spinor nodes of the Dynkin diagram, which is to say the ...
Rodrigo Alfonso de la Paz's user avatar
3 votes
1 answer
242 views

Notions of integrability for affine Lie algebras and positive energy representations

Let $\mathfrak{g}$ be a simple (complex) Lie algebra. Given an invariant bilinear form $\kappa : \mathfrak{g} \otimes \mathfrak{g} \to \mathbb{C}$, we can form the central extension $\hat{\mathfrak{g}}...
Exit path's user avatar
  • 3,019
5 votes
3 answers
305 views

Tensoring irreducible $B$-series representations/ Type B Littlewood-Richardson

When tensoring finite dimensional representations of the Lie algebra ${\frak sl}_n$, we have an explicit algorithm given in terms of Young diagrams. See Section 4 of this paper. Do there exist ...
Pierre Dubois's user avatar
4 votes
0 answers
300 views

Number of connected components of the centre of a Levi subgroup

Let $G$ be a connected complex semisimple algebraic group and $T\subset B\subset G$ a choice of maximal torus and Borel subgroup. Let $\Phi$ be the root system and $\Pi\subset\Phi$ the set of simple ...
user145924's user avatar
2 votes
1 answer
261 views

Semisimple Lie algebra modules with $1$-dimensional weight spaces

Given a semisimple complex Lie algebra $\frak{g}$ of rank $r$, with Chevally generators $E_i,F_i,K_i$. Let $V$ be a finite dimensional representation of $\mathfrak{g}$ such that each weight space of $...
Pierre Dubois's user avatar
3 votes
0 answers
123 views

Decomposition of Schur modules over the orthogonal group

Let $V=\mathbb{R}^n$ and $O(n)$ the orthogonal group acting with its standard action on $V$. Now for any partition $\lambda$ we have the Schur module $S_\lambda V$ which is a representation of $O(n)$. ...
Hans's user avatar
  • 3,031
6 votes
0 answers
273 views

Branching rules for E6 into SU(3)^3

I am very confused about what are the branching rules for representations of $E6$ into a $SU(3)\times SU(3)\times SU(3)$ subgroup. At least in the physics literature, there seems to be a serious ...
Federico Carta's user avatar
4 votes
1 answer
302 views

On maximal closed connected subgroups of a compact connected semisimple Lie group?

Let $G$ be a compact connected semisimple Lie group and let $\mathfrak g$ denote its Lie algebra. Is the following result true? Does it follows directly from Dynkin's classification of maximal Lie ...
emiliocba's user avatar
  • 2,446
3 votes
1 answer
129 views

Exhaustion of restrictions of holomorphic / antiholomorphic representations

Let $G$ be a simple Lie group of Hermitian type, and $G'$ be a reductive subgroup of $G$. Suppose that $G'$ is also of Hermitian type and contains the center of the maximal compact subgroup of $G$. ...
Hebe's user avatar
  • 951
6 votes
2 answers
1k views

Non-faithful irreducible representations of simple Lie groups

For a complex simple Lie algebra $\frak{g}$, which of its finite dimensional irreducible representations give non-faithful representations of the corresponding simply-connected compact Lie group. ...
Nadia SUSY's user avatar
2 votes
1 answer
144 views

Characterisation of even nilpotent elements in $\mathfrak{sl}_n$

Is there a ''nice'' classification of even nilpotent elements in $\mathfrak{sl}_n,$ using the correspondence between nilpotent elements and partitions of n? By an even element, I mean an element $e$, ...
Filip's user avatar
  • 1,677
3 votes
1 answer
246 views

Distinguished dominant integral weight related to a branching problem

Let $G$ be a simple compact connected Lie group and let $K$ be a connected closed subgroup of $G$. Let $\widehat G$ and $\widehat K$ denote the corresponding unitary duals, that is, the (equivalence ...
emiliocba's user avatar
  • 2,446
2 votes
1 answer
640 views

Simple modules for direct sum of simple Lie algebras

I think that the following statement is true, but I do not know how to prove it. Let $\mathfrak{g}_1$ and $\mathfrak{g}_2$ be two real simple Lie algebras. If $M$ is a (infinite dimensional) complex ...
Hebe's user avatar
  • 951
5 votes
1 answer
256 views

Definition of a Dirac operator

So it seems that a Dirac operator acting on spinors on $\psi=\psi(\mathfrak{su}(2),\mathbb{C}^2)$ can be written in this case simply as: $D=\sum_{i,j} E_{ij}\otimes e_{ji}$, where $E_{ij}$ are ...
CristinaSardon's user avatar
4 votes
1 answer
202 views

Branching to Levi subgroups in SAGE and the circle action

In the SAGE computer package, there useful exist tools for branching representations of a simple Lie group to a Levi subgroup: http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/...
Nadia SUSY's user avatar
4 votes
2 answers
422 views

GAP versus SageMath for branching to Lie subgroups

Which computer package is better, GAP or SageMath, for decomposing an irreducible representation of a (simple) Lie group $G$ into representations of a Lie subgroup. I am most interested when ...
Nadia SUSY's user avatar
8 votes
2 answers
2k views

Does $SU(N)$ have pseudo-real representation?

For $N\ge 2$, does $SU(N)$ have a non-real pseudo-real irreducible representation? (The adjoint representation of $SU(N)$ is real). A (complex, finite-dimensional) representation $R:SU(N)\to GL_n(\...
Learner's user avatar
  • 169
9 votes
3 answers
576 views

Reference Request: Structure constants for G2

Let $G$ be a split semisimple real Lie group in characteristic zero, and let $B=TU$ be a Borel subgroup with unipotent radical $U$ and Levi $T$. Fix an ordering on the roots $\Phi^+$ of $T$ in $U$, ...
D_S's user avatar
  • 6,180
2 votes
1 answer
93 views

Show that if $\Theta$ is an infinitesimal weight of a real $T$-module $W$ ($T$ is a torus) then $-\Theta$ is also a weight

Show that if $\Theta$ is an infinitesimal weight of a real $T$-module $W$ ($T$ is a torus) then $-\Theta$ is also a weight. It is an exercise of Bröcker's book on Representations of Compact Lie ...
Gomes93's user avatar
  • 169
9 votes
0 answers
161 views

Can semisimple orbits be written $\exp(\mathfrak{g})\cdot x$?

Let $\mathfrak{g}$ be a complex semisimple Lie algebra and let $G$ be its adjoint group. If $x\in\mathfrak{g}^{rs}$ is a regular semisimple element, is its orbit $$G\cdot x=\{\mathrm{Ad}_gx:g\in G\}$$ ...
Simon Parker's user avatar
  • 1,383
8 votes
2 answers
436 views

Infinite Krull-Schmidt categories?

In a Krull--Schmidt category, if $$ X_{1}\oplus X_{2}\oplus \cdots \oplus X_{r}\cong Y_{1}\oplus Y_{2}\oplus \cdots \oplus Y_{s}, $$ where the $X_{i}$ and $Y_j$ are all indecomposable, then $r = s$, ...
Pierre Dubois's user avatar
8 votes
0 answers
381 views

Significance of half sum of non-simple positive roots

In representation theory, there are plenty of places that a $\rho$-shift makes an appearance, where $\rho$ is the half sum of positive roots. See, for instance, this post for some discussions of the ...
Dr. Evil's user avatar
  • 2,751
9 votes
1 answer
543 views

Polynomial invariants for simple algebraic groups

Let $G$ be a simple complex algebraic group. Let $V$ be a finite-dimensional algebraic representation of $G$. Thus, we can write $V=V_1\oplus \cdots \oplus V_n$ where $V_i$'s are irreducible ...
Dr. Evil's user avatar
  • 2,751
2 votes
0 answers
59 views

Finite-dimensional graded Lie algebras with $2$ generators

Does anyone know of a classification of those (complex) Lie algebras which are: generated by two elements $\mathbb{Z}$-graded Lie algebras finite dimensional
Pierre Dubois's user avatar
8 votes
0 answers
411 views

Which representations of the Lie algebra of a Lie group come from representations of the group itself?

I think this is very classic mathematics, but I can't find a complete answer in the literature. Let $G$ be a Lie group, $\mathfrak{g}$ the Lie algebra of $\mathfrak{g}$. Suppose $\rho : \mathfrak{g} \...
Rick Sternbach's user avatar
9 votes
2 answers
2k views

Fundamental representations and weight space dimension

For the Lie algebra $\frak{sl}_n$, its fundamental representations can be realised as the exterior powers of the first fundamental representation. From this we can see that their weight spaces are all ...
Pierre Dubois's user avatar
5 votes
0 answers
137 views

Differential operators on $G/K$

Let $G$ be a connected Lie group and $K$ a compact subgroug of $G$. The question is about the algebra of the differential operators $Diff(G/K)$ on $G/K.$ Let $U(\mathfrak g)$ denote the universal ...
jorge vargas's user avatar
4 votes
1 answer
288 views

The embedding of $\mathfrak{g}_2$ into $\mathfrak{b}_3$ ($\mathfrak{so}_7$) on Chevalley generators

Let $\mathfrak{g}_2$ / $\mathfrak{b}_3$ be the simple complex Lie algebra of type $\mathsf{G}_2$ / $\mathsf{B}_3$ (the latter is also known as $\mathfrak{so}_7$). How is the embedding $\mathfrak{g}...
Christoph Mark's user avatar
3 votes
0 answers
106 views

Induced $(\mathfrak{g},K)$-modules

Let $G$ be a noncompact simple Lie group, and $G'$ a noncompact reductive subgroup of $G$. Fix a maximal compact subgroup $K$ of $G$ such that the intersection $K'=K\cap G'$ is a maximal compact ...
Hebe's user avatar
  • 951
3 votes
1 answer
211 views

Coinduced modules in the BGG category $\mathcal O$ over complex semisimple Lie algebras

For a given finite-dimensional complex semisimple Lie algebera $\mathfrak g$, we fix Cartan $\mathfrak h$ and Borel subalgebras $\mathfrak b$, then we have the BGG category $\mathcal O$. As usual, we ...
GuNa's user avatar
  • 55
6 votes
1 answer
169 views

Existence of a real eigenvalue is a necessary condition for the density of all the orbits of a Lie subgroup of $GL(\mathbb{R},d)$

Good morning, I would like to pose the following (maybe naive) question. Let $\mathfrak{a}\subset \mathfrak{gl}(\mathbb{R},d)$ be any lie subalgebra, and $A$ be the connected, simply connected ...
user avatar
4 votes
2 answers
350 views

Generating Irreducible representations of a simple lie algebra with Schur functors

Let $\mathfrak{g}$ be a simple lie algebra over $\mathbb{C}$. Let $Rep(\mathfrak{g})$ denote the category of finite dimensional $\mathfrak{g}$-modules. For every $V \in Rep(\mathfrak{g})$ define $...
Saal Hardali's user avatar
  • 7,789
5 votes
3 answers
849 views

Weyl's Branching Rule for $SU(N)$-Setting

On the Wikipedia page for restricted representations https://en.wikipedia.org/wiki/Restricted_representation there is presented a number of explicit "branching rules". In particular, there is the ...
Nadia SUSY's user avatar
4 votes
0 answers
91 views

Good range and fair range

Let $G$ be a noncompact simple Lie group with complexified Lie algebra $\mathfrak{g}$. Fix a Cartan involution $\theta$, which defines a maximal compact subgroup $K$ of $G$. Take a $\theta$-stable ...
Hebe's user avatar
  • 951