All Questions
78 questions with no upvoted or accepted answers
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
11
votes
0
answers
432
views
Connection between Gelfand-Tsetlin basis and SSYT basis in Schur module
Consider an $n$-dimensional complex vector space $V$ with a chosen basis $e_1,\ldots,e_n$. This basis defines a Cartan decompostion of $GL(V)\cong GL_n$ and for an (integral dominant) highest weight $\...
- 3,513
10
votes
0
answers
292
views
Each simple real Lie algebra as a representation of its maximal compact subalgebra
I am interested in a detailed description of the Cartan decomposition of each type of simple, real, finite-dimensional Lie algebra. (This is essentially a question about the classification of simple, ...
- 56.6k
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\}$$
...
- 1,383
9
votes
0
answers
470
views
Branching rules for compact Lie groups
Let $G$ be a compact connected Lie group, and let $H\subset G$ be a closed subgroup. For an irreducible representation $\pi:G\to\mathrm{End}_\mathbb{C}(V)$ of $G$ ($\dim\pi<\infty$) I want to know ...
- 1,959
8
votes
0
answers
382
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 ...
- 2,751
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} \...
- 1,586
7
votes
0
answers
1k
views
What's the point of geometric representation theory?
Please forgive the provocative title, what I mean is the following:
One can find representations of Lie algebras in geometric settings, the most famous being the Bott–Borel–Weil theory. However, ...
- 157
7
votes
0
answers
166
views
"Non standard" formulas for eigenspaces in $V_\rho$
In the context of the Simple Lie Algebras Representations, let $\rho$ be half-the-sum of the positive roots and let $V_\rho$ be the irreducible representation of highest weight $\rho$.
Let$\mu$ be a ...
- 233
7
votes
0
answers
167
views
How to characterize the class of $(\mathfrak{g},K)$-modules with a fixed lowest K-type in the framework of D-modules?
Let $G$ be a real semisimple Lie group, $K$ be a maximal compact subgroup. Let $\mathfrak{g}_0$ and $\mathfrak{k}_0$ be their real Lie algebras respectively. Let $\mathfrak{g}$ and $\mathfrak{k}$ be ...
- 9,019
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,...
- 2,179
6
votes
0
answers
139
views
Why are all representations of split groups of real type?
(I am using a throwaway account because I plan on possibly pointing to this answer in a referee report I am writing, and using my main account would be a bit too obvious.)
Let $\mathfrak{g}$ be a ...
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*}
...
- 83
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 ...
- 489
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
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+...
- 1,574
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 ...
- 574
5
votes
0
answers
126
views
Modular $S$-matrix for an extended affine Lie algebra
This is a refinement of this old question of mine. In order to find an answer, I've been working my way through q-alg/9511026, which contains all the information I need.
In this paper, the authors ...
5
votes
0
answers
167
views
Plancherel formula for $L^2(G/N)$
Let $G$ be a connected real semisimple or reductive Lie group. Let $TA$ be a Cartan subgroup, where $T$ is compact and $A$ is split. Let $MA$ be the centralizer of $A$ in $G$, and let $N$ be the ...
- 51
5
votes
0
answers
428
views
Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book
This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course.
Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
- 181
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
4
votes
0
answers
120
views
Why are all "non-swinging" representations self-dual?
Let $\mathfrak{g}$ be a semisimple (say complex) Lie algebra, and $V$ an irreducible finite-dimensional representation of $\mathfrak{g}$. Denote by $w_0$ the longest element of the Weyl group, i.e. ...
- 1,574
4
votes
0
answers
111
views
How many diagrams interlace a given Young diagram?
For a fixed partition $\lambda=(\lambda_1\geq\dots\geq \lambda_n)$ we say $\mu=(\mu_1\geq \dots \geq \mu_{n-1})$ $\textit{interlaces}$ $\lambda$ iff
$$\lambda_1\geq \mu_1\geq \dots \geq \mu_{n-1}\geq \...
4
votes
0
answers
128
views
Real Representation ring of $U(n)$ and the adjoint representation
I have two questions:
It is well known that the complex representation ring $R(U(n))=\mathbb{Z}[\lambda_1,\cdots,\lambda_n,\lambda_n^{-1}]$, where $\lambda_1$ is the natural representation of $U(n)$ ...
user340793
4
votes
0
answers
147
views
Is the homogeneous coordinate ring of a flag variety a UFD?
I was wondering if $G$ is a semisimple complex algebraic group, then is the homogeneous coordinate ring of a flag variety a UFD or not?
- 201
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
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 $...
- 574
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 ...
- 41
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 ...
- 951
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
3
votes
0
answers
195
views
A property of an irreducible root system
Let $\Phi$ be an irreducible root system. Let $\alpha_k$ be a simple root. I recently observed that the number of positive roots which are bigger than $\alpha_k$ and of height $m$ is same as the ...
- 673
3
votes
0
answers
200
views
Theorem of highest weight of semisimple Lie algebras: what fails precisely for reductive case
Let $\mathfrak{g}$ a complex semisimple Lie algebra. It is well known that by the theorem of the highest weight, all finite-dimensional complex irreps of $\mathfrak{g}$ are (up to iso) classified by ...
- 6,028
3
votes
0
answers
139
views
Root space inner products and the partial order on roots
For a root system $R$ and a choice of positive roots $R^+$ it is a standard fact (see, e.g., Bourbaki, "Lie Groups and Lie Algebras," Theorem 1 of Section 1.3 of Chapter VI) that
if $(\...
3
votes
0
answers
167
views
The subalgebras of $\mathfrak{su}(2^n)$
$\DeclareMathOperator\su{\mathfrak{su}}$I want to find out all the subalgebras of $\su(N)$, in particular, $N=2^n$, which is the Lie algebra of $n$-qubits.
I don't know whether this is a hard question ...
- 89
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
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)$. ...
- 3,031
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 ...
- 951
3
votes
0
answers
111
views
Simple $\mathfrak{g}$-modules preserved by twisting
Let $G$ be a semi-simple lie group (simply connected for simplicity), $\mathfrak{g}$ its lie algebra. Write $\overline{G}=Inn(\mathfrak{g})$ for the adjoint form of $G$ which we identify here with ...
- 1,077
3
votes
0
answers
116
views
Extension of representations of certain compact Lie groups
Let $G$ be a real, connected, non-compact, semisimple Lie group with finite center and real rank $1$. Let $G=KAN$ be an Iwasawa decomposition, then $K\subset G$ is a maximal compact subgroup, and $\...
- 1,942
3
votes
0
answers
130
views
About the purpose of introducing '"groups of Heisenberg type"
I would like to know, can we say that the "groups of Heisenberg type" where introduced by A. Kaplan in "Kaplan, A. (1980). Fundamental solutions for a class of hypoelliptic PDE generated by ...
- 650
3
votes
0
answers
274
views
Invariant functions on the dual Lie algebra
Let $G$ be a real Lie group and $\mathfrak{g}$ the corresponding Lie algebra. Let $\mathfrak{g}^*$ be the dual of the Lie algebra. Then we have the coadjoint action of $G$ on $\mathfrak{g}^*$.
...
- 95
3
votes
0
answers
126
views
Irreducible representations in BGG category $\mathcal{O}$ over (finitely) direct sum of general linear Lie superalgebra
Let $\mathfrak{g} = \oplus_i^k\mathfrak{gl}(m_i|n_i)$ be a direct sum of general linear Lie superalgebras $\mathfrak{gl}(m_i|n_i)$'s with the Cartan subalgebra $\mathfrak{h} = \oplus_i^k \mathfrak{h}...
- 159
3
votes
0
answers
236
views
Deligne-Simpson problem for classical groups
Additive Deligne-Simpson problem was partially prooved by Kostov. Also there is Crawley-Boevey's approach to the question. The problem is about existence of a solution of the equation
$$
A_1 +...+A_n =...
- 181
3
votes
0
answers
170
views
The special embedding $\mathfrak{so}(7)\subset\mathfrak{so}(8)$
It is commonly known that we have a chain of embeddings
$$SU(4)\subset Spin(7)\subset SO(8)$$
(there is more than one possible $Spin(7)$, just take one).
Which is the explicit analog for the Lie ...
- 2,091
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
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
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$. ...
- 951
2
votes
0
answers
67
views
A branching law involving 2-power exterior representations
Let $K=SU(n)$.
We take a maximal torus $T$ in $K$ and fixed a simple root system with fundamental weights $\eta_1,\dots,\eta_{n-1}$.
For $\mu$ a dominant weight of $K$, we denote by $(\tau_\mu,V_\mu)$ ...
- 2,446
2
votes
0
answers
180
views
Howe duality vs first fundamental theorem in invariant theory
I'm working on Howe duality, and R. Howe proved that the Howe duality of $\mathrm{GL}_n$ is equivalent to the first fundamental theorem (FFT) in invariant theory. So, Howe duality gives a ...
2
votes
0
answers
159
views
The Cartan is a complex vector space but the root system is real?
Let $\frak{g}$ be a complex semisimple Lie algebra with some choice of Cartan subalgebra $\frak{h}$. The dual space $\frak{h}^* = \mathrm{Hom}_{\mathbb{C}}(\frak{h},\mathbb{C})$ is a complex vector ...
- 1,144