All Questions
Tagged with rt.representation-theory lie-groups
832 questions
7
votes
1
answer
429
views
K-type in discrete series representation
The following result seems well known.
Let $G$ be a reductive Lie group with a maximal compact subgroup $K$. If $\mu$ is an irreducible unitary representation of $K$, then there exist only finitely ...
7
votes
1
answer
185
views
How to translate multi-segments to Drinfeld polynomials?
Let $\hat{H}_m=\hat{H}_m(q)$ be the Iwahori-Hecke algebra of $GL_m$, see for example, Section 2. The simple $\hat{H}_m$-modules are parametrized by Zelevinsky's multi-segments, See Section 2.2 of the ...
7
votes
1
answer
615
views
Representation ring and induced representation
Let $i:H \to G$ be a homomorphism of compact Lie groups. The induced representation $\iota_*V := \mathrm{Map}^H(G,V)$ of an $H$-representation $V$ does not give an element of the representation ring $...
7
votes
0
answers
104
views
Langlands correspondence of coverings of $\mathrm{SL}_2(\mathbb R)$ and modular forms with fractional weights
$\DeclareMathOperator\SL{SL}$Let $G \to \SL_2(\mathbb R)$ be a finite covering of degree $d \geq 2$. Then $G$ is a connected Lie group with semisimple Lie algebra $\mathfrak{g}=\mathfrak{sl}_2$ and ...
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, ...
7
votes
0
answers
420
views
What is the relationship between Hecke algebras and the enveloping algebra of Lie groups?
Here is the story as I see it.
Let $G$ be an abelian locally compact group. Then the (spherical) Hecke algebra for $K=1$ is by definition the endomorphism algebra of $l^2(G)$ as a $G$-module, where ...
7
votes
0
answers
502
views
Relation between Lie group characters and spherical functions on symmetric spaces
Setup: Let $G/K$ be an irreducible compact Riemannian symmetric space, where $G$ is a simply connected compact real Lie group, and $K$ is the maximal compact connected subgroup of some noncompact real ...
7
votes
0
answers
295
views
Hilbert series for invariant ring
I would like to compute the Hilbert series of the ring of invariants of certain irreducible representations of some groups (namely $SO(5)$ to begin with).
To put it in some broader context, let $G$ ...
7
votes
0
answers
149
views
Eigenspaces and covering relations of twisted involutions
Let $\theta:G\to G$ be an involution of a complex connected reductive Lie group, preserving a maximal torus $T$ (which, for me, lies inside a $\theta$-invariant Borel $B$). Let $K = G^\theta$ be the ...
7
votes
0
answers
696
views
Tempered representations
Let $G$ be a semisimple Lie group. A unitary representation $U$ of $G$ is called tempered if its matrix coefficients lie in the space $L^{2+\epsilon}(G)$ for every $\epsilon>0$. We say that a ...
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 ...
7
votes
0
answers
217
views
Correspondence between Verma module morphisms and invariant differential operators - is it exact?
For a (complex, connected, simply connected, simple) Lie group $G$, a parabolic subgroup $P \subseteq G$, and a $\mathfrak g$-integral $\mathfrak p$-dominant weight $\lambda$, we can construct ...
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 ...
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,...
6
votes
3
answers
813
views
Reference request about the representations of the group $PSL_2(\mathbb{F}_q)$
Is there a review/exposition of the representation theory of $PSL_2(\mathbb{F}_q)$ ? Like an enumeration of its irreducible representations and their dimensions as a function of $q$?
6
votes
2
answers
794
views
Tensor algebra and universal enveloping algebra
Let $\mathfrak g$ be a Lie algebra which is not reductive. Let $T(\mathfrak g)$ and $U(\mathfrak g)$ be the tensor algebra and universal enveloping algebra of $\mathfrak g$ respectively. We have a ...
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.
...
6
votes
2
answers
685
views
When is the normalizer of the maximal torus maximal?
This is a cross post from MSE of
https://math.stackexchange.com/questions/4562196/normalizer-of-maximal-torus-is-maximal
Let $ T $ be a maximal torus in a compact connected simple Lie group $ K $. For ...
6
votes
3
answers
602
views
Can solvable connected Lie groups have maximal subgroups?
Cross-posted from MSE.
Many interesting manifolds can be expressed as $ G/H $ for $ G $ a connected Lie group and $ H $ a maximal closed subgroup. Examples include the projective spaces $ \mathbb{C}P^...
6
votes
1
answer
352
views
All surjections onto trivial irrep split equivalent to being reductive
$\DeclareMathOperator\Hom{Hom}$Let $ G $ be linear algebraic group over a field $ k $. Is it true that every short exact sequence of algebraic $ G $-representations
$$
0 \to W \to V \to k \to 0
$$
...
6
votes
2
answers
380
views
Rank one adjoint operators on a Lie algebra
Let $\mathfrak{g}$ be a (finite dimensional) semi-simple Lie algebra over a field $k$ and let $x \in \mathfrak{g}$. By definition, we have the equivalence:
$$ \mathrm{rk}(\mathrm{ad}_x) = 0 \iff x = 0,...
6
votes
1
answer
351
views
Necessary and sufficient conditions for Littlewood Richardson coefficients to be non zero
Is there any necessary and sufficient conditions for $V(\tau)$ to be an irreducible component of the tensor product of two irreducible representations $V(\lambda)$ and $V(\mu)$ of a simple lie algebra ...
6
votes
2
answers
1k
views
How many principal bundles are there over a given base?
I'm currently considering principal bundles and classifying spaces in the context of gauge theory and a crucial question came to my mind:
Is there a way to say how many (isomorphism classes of) ...
6
votes
1
answer
242
views
Imbedding of a representation of a compact subgroup
Let $G$ be a compact subgroup of $O(n)$. Let $\rho$ be a continuous finite dimensional representation of $G$.
Question Is it true that there exists a continuous finite dimensional representation $\...
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 ...
6
votes
1
answer
925
views
Does there exist finite dimensional irreducible representation of Euclidean or Poincare group in which translation and rotation both act nontrivially?
Does there exist any finite dimensional irreducible rep. of Euclidean or Poincare group in which translation and rotation both act nontrivially?
Let me firstly clarify my question. For example, we ...
6
votes
2
answers
369
views
Questions about $\mathbb{C}[G/U^-]$ and $\mathbb{C}[B]$
Let $G = GL_n$. By algebraic Peter-Weyl theorem, we have
$$
\mathbb{C}[G] = \bigoplus_{\lambda} V_{\lambda} \otimes V_{\lambda}^*,
$$
where $\lambda$'s are dominant weights. Let $U^-$ be the ...
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 ...
6
votes
3
answers
623
views
Generalization of a theorem of Burnside to non-compact groups
The following two theorems are often attributed to Burnside:
Theorem Let $G$ and $H$ be compact groups. Then the irreducible representations of $G\times H$ are precisely the representations $\pi\...
6
votes
1
answer
1k
views
Understanding the Weyl Character Formula
Let $G$ be a compact (connected) Lie group with a maximal torus $T$. For each (analytically) integral weight $\lambda$ the Weyl character formula
$$\Theta_{\lambda}(H)=\frac{\sum_{w\in W(G)}\epsilon(w)...
6
votes
3
answers
1k
views
Good book on representation theory of GL(n)
I am interested in a recommendation for a good book which discuses representation theory of GL(n)(say over field of complex numbers).
I know only a basic representation theory.
The question I am ...
6
votes
2
answers
237
views
What is the highest weight of the representation of special orthogonal group $SO(n)$ on the space of harmonic polynomials $\mathcal H_m(\mathbb R^n)$?
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\diag{diag}$
Let
$$
\mathcal{H}_m(\mathbb{R}^n)=\left\{P\in \mathbb{C}[x_1,\dotsc ,x_n]\left| \begin{align}
P\text{ is homogeneous of degree }m\text{ ...
6
votes
1
answer
567
views
Finite simple groups and $ \operatorname{SU}_n $
A follow-up question to Alternating subgroups of $\mathrm{SU}_n $.
$\DeclareMathOperator\PU{PU}\DeclareMathOperator\PSU{PSU}\DeclareMathOperator\PSL{PSL}$Let $ \PU_m $ be the projective unitary group, ...
6
votes
2
answers
311
views
Irreducibility of Gelfand-Serganova strata
To keep the notations simple I'll restrict my attention to the complete flag variety although the question should be equally valid for partial flag varieties. Consider $G=SL_n(\mathbb C)$ with Borel $...
6
votes
2
answers
517
views
The Analog of Borel Subgroup in a Compact Real Form
I recently learned that there is a one-to-one correspondence between isomorphism classes of complex reductive groups and isomorphism classes of compact connected real Lie groups given by taking a ...
6
votes
1
answer
273
views
Simultaneous triangularisation of an exterior power of a set of matrices
I'm working on some research problems relating to random matrix products, and this is taking me into areas of mathematics I've not previously studied: Lie groups, representation theory, and real ...
6
votes
2
answers
729
views
Relationship between the Lie functor applied to a Lie group action, and the fundamental vector field mapping?
Let $M$ be a smooth manifold, and $G$ a Lie group with Lie algebra $\mathfrak{g}$. The Lie algebra of the diffeomorphism group of $M$ is the Lie algebra of vector fields on $M$; that is $\text{Lie}(\...
6
votes
1
answer
836
views
Does an element in the center of universal enveloping algebra becomes a scalar in irreducible representations?
I'm asking a question about Lie group representation.
Let $G$ be a Lie group, not necessarily connected. Let $\Omega$ be an element in the center of the universal enveloping algebra $U(\mathfrak{g})$ ...
6
votes
1
answer
255
views
Questions about the $\mathbf{i}$-trails of Berenstein and Zelevinsky
The $\mathbf{i}$-trails of Berenstein and Zelevinsky was introduced on page 5 (Definition 2.1) in this paper. It is defined as follows. Let $\gamma, \delta \in \mathfrak{h}^*$. Let ${\bf i}=(i_1, \...
6
votes
1
answer
1k
views
Decomposition of semisimple Lie group into almost simple factors
Can anyone suggest a reference that defines or explains that a semisimple real Lie group can be decomposed into a product of almost simple factors? In some papers that I read recently people keep talk ...
6
votes
1
answer
221
views
Does every Lie algebra appear as centralizer of an element in a semisimple Lie algebra?
Given a finite dimensional, complex, semisimple (fcss) Lie algebra $\mathfrak{g}$ and an element $x\in\mathfrak{g}$, denote by $\mathfrak{g}^x$ the centralizer of $x$ in $\mathfrak{g}$ i.e. the set $\{...
6
votes
1
answer
216
views
Fixed space of maximal torus and Weyl group
Let $G$ be a compact connected Lie group and $T\subset G$ a maximal torus. Let $V$ be a representation of $G$ and $U=\{v\in V: tv=v\textrm{ for all }t\in T\}$. For any $g\in N(T)$ we have for all $t\...
6
votes
1
answer
399
views
Exceptional isomorphism with Spin(6,2)?
There are all sorts of curios in low-dimensional Lie groups and Lie algebras, many of them due to the presence of the quaternions. There is, I have recently learned, an isomorphism $SO(6,2) \simeq SO(...
6
votes
1
answer
596
views
Vector fields, diffeomorphism subgroups and lie group actions
Let $M$ be a compact smooth manifold. Since any vector field is complete we get a $1$-parameter subgroup for each vector field. Consider the following generalization:
Let $\{X_j\} \in Vect(M)$ be a ...
6
votes
1
answer
343
views
Does there exist a categorical treatment of root data(systems)?
What I am looking for is an abstract description of root data with their morphisms(!) plus a comparison with the categories of reductive groups over some field, Dynkin diagrams, Lie algebras, ...
6
votes
2
answers
921
views
Reference Request: Steinberg's 1975 paper "On a paper of Pittie"(retrieved)
I am currently work on a senior project trying to prove for semisimple Lie groups, $R(T)$ is a free module over $R(G)$ by computing an explicit basis for all the A,B,C,D cases. The canoical reference ...
6
votes
1
answer
173
views
Does the first fundamental representation of $\frak{sp}_n$ generates all the other fundamental representations
Let $\mathfrak{sp_n}$ be the symplectic Lie algebra, that is, the $C_n$ complex simple Lie algebra. Is it true that the first fundamental, which is to say the vector space, representation $V_1$ of $\...
6
votes
1
answer
309
views
Is there a representation of $\mathrm{SU}_8/\{\pm 1\}$ that doesn't lift to a spin group?
$\newcommand{\GL}{\mathrm{GL}}\newcommand{\SO}{\mathrm{SO}}\newcommand{\SU}{\mathrm{SU}}\newcommand{\Spin}{\mathrm{Spin}}\renewcommand{\O}{\mathrm
O}\newcommand{\R}{\mathbb
R}\newcommand\Z{\mathbb Z}$...
6
votes
1
answer
445
views
Is every finite subgroup the integer points of a linear algebraic group?
Cross Posting this from MSE since it's been there for almost a month and it got a couple upvotes but no answers. MSE link Is every finite subgroup the integer points of a linear algebraic group?
Let $ ...
6
votes
1
answer
242
views
Do weight vectors live between the highest and lowest weights?
For a simple complex Lie algebra $\frak{g}$, let $V$ be an irreducible $\frak{g}$-module. Is it true that the weights of the non-zero weight vectors in $V$ are less than the highest weight vector and ...