All Questions
Tagged with rt.representation-theory lie-groups
832 questions
2
votes
0
answers
156
views
Symmetric spaces and spherical functions
Let $G$ be a connected compact Lie group, $\sigma$ an involutive automorphism and $K$ a subgroup such that $(G^\sigma)_0\subset K\subset G^\sigma$. Then $M=G/K$ is a Riemannian symmetric space.
...
1
vote
0
answers
243
views
Relation between projective representation and the representation of the universal cover of a Lie Group
I am reading this paper, in what says exactly:
"Weare dealing with a ray representation os the conformal group AND THEREFORE with a representation of the universal covering group of the conformal ...
5
votes
3
answers
2k
views
Complete classification of six dimensional non-semi simple Lie algebra
I would aim to know the complete classification of 6 dimensional non-semi simple Lie algebra (here the dimension stands for the generators; or the dimension $\leq 6$).
In this paper, in page 7, it ...
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 \...
5
votes
1
answer
258
views
References on standard monomial theory
I am interested in learning about standard monomial theory and Seshadri's program. I find the topic interesting, but I could not yet find a resource which kind of "dumbs it down" enough (a ...
12
votes
4
answers
1k
views
Real and quaternionic representations according to weights
According to this question, it is easy to know whether a (complex, finite-dimensional) representation is self-dual or not: just check if the weight distribution in space is symmetric about the origin.
...
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^...
2
votes
0
answers
71
views
Principal series representations for complex groups
Let $G$ be a complex semisimple group.
In Bernstein-Gelfand, "Tensor products of finite and infinite dimensional representations of semisimple Lie algebras" (http://www.numdam.org/article/...
19
votes
2
answers
3k
views
Does every irreducible representation of a compact group occur in tensor products of a faithful representation and its dual?
(Previously posted on math.SE with no answers.)
Let $G$ be a compact Lie group and $V$ a faithful (complex, continuous, finite-dimensional) representation of it. Is it true that every (complex, ...
5
votes
1
answer
508
views
Finite maximal closed subgroups of Lie groups
Cross-posted from MSE
https://math.stackexchange.com/questions/4272017/finite-maximal-closed-subgroups-of-lie-groups
$\newcommand{\G}{\mathcal{G}} \newcommand{\K}{\mathcal{K}} \DeclareMathOperator\SU{...
5
votes
1
answer
310
views
Non-standard partial orders on root systems
Let $\frak{g}$ be a semisimple complex Lie algebra and let $\Delta$ be its associated root system with $\{\alpha_1, \dotsc, \alpha_l\}$ a choice of positive roots. As we all know - $\Delta$ admits a ...
4
votes
1
answer
348
views
Verma modules and Borel–Weil
Let $\mathfrak{g}$ be a semisimple Lie algebra and fix a root system. Let $\mathfrak{b}:=\mathfrak{h}\oplus\bigoplus_{\alpha\in R^+}\mathfrak{g}_\alpha$. The complex irreducible representation of $\...
10
votes
0
answers
291
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, ...
2
votes
2
answers
353
views
Particular reduced expression of the longest element of Weyl group
Let $I$ be the Dynkin diagram vertex set and $K$ be a proper nonempty subset of it. Let $w_0^K$ be the longest word of the Dynkin subdiagram $K$, which might be a disjoint union of connected Dynkin ...
2
votes
1
answer
219
views
Are finite-dimensional real representations of semisimple real Lie algebras completely reducible?
Suppose $\mathfrak{g}$ is a real form of a semisimple Lie algebra $\mathfrak{g}_\mathbb{C} = \mathfrak{g} \otimes_\mathbb{R} \mathbb{C}$. Then we have the following:
There is an equivalence of ...
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, ...
0
votes
0
answers
96
views
Integral of elements of random unitaries
It is known how to calculate the integral of elements of $N\times N$ Haar random unitaries using the Weingarten function:
$$\int \prod_{k=1}^n U_{i_kj_k} U_{m_kr_k}^* \mathrm d U = \sum_{\sigma,\tau} \...
6
votes
0
answers
200
views
Why should Serre's conjecture on congruence subgroup property hold?
There seem to be several related properties of an algebraic group, exhibiting the dichotomy between rank 1 and rank $\ge2$.
Whether a lattice in the group satisfies the congruence subgroup property,
...
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}}...
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}$...
4
votes
1
answer
133
views
Universal character ring for classical groups
The universal character ring for the general linear group is well understood but I want to ask about the universal character ring for the symplectic and orthogonal groups. For the general linear group,...
1
vote
1
answer
409
views
Exterior square of $\operatorname{Sp}(4,\mathbb{C})$ is isomorphic to $\operatorname{SO}(5,\mathbb{C})$
I am studying exceptional isomorphisms recently, which arise due to the coincidence in Dynkin diagram.
I saw two forms of expressing the exceptional isomorphisms, one is isomorphisms between the spin ...
2
votes
1
answer
325
views
Orbit space of $\mathrm{SO}(3)$ irreducible representations
$\DeclareMathOperator\SO{SO}$Consider the $7$-dimensional $\mathbb R^7$ real irreducible orthogonal representation of $\SO(3)$. I am seeking a description of the orbit space (when the action is ...
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,...
3
votes
0
answers
212
views
Two equivalent definitions of semisimplicity of group representations, proof by Zorn's lemma, a “counterexample” from the Fourier transform theory
Consider a representation $A$ of a group $G$ in a complex vector space ${\mathbb{V}}$:
$$
A:~~G~\longrightarrow~\operatorname{GL}({\mathbb{V}})~~,
$$
and let ${\mathbb{V}}$ be decomposable into a ...
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 ...
2
votes
1
answer
160
views
Is the restriction of the Cartan 3-form on conjugacy classes exact?
Let $G$ be a complex semisimple group and $\mathcal{O} \subset G$ a conjugacy class, i.e. $\mathcal{O} = \{gag^{-1} : g \in G\}$ for some $a \in G$. Let $\Omega$ be the Cartan 3-form on $G$ defined by
...
2
votes
1
answer
551
views
Canonical representation of $\operatorname{SL}(2,\mathbb{R})$ on $L^2(\mathbb{R}^2)$
As a unimodular subgroup of the group of automorphisms of $\mathbb{R}^2$, $\operatorname{SL}(2,\mathbb{R})$ can be represented as a subgroup of $\mathcal{U}(L^2(\mathbb{R}^2))$ (the group of unitary ...
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)$ ...
17
votes
2
answers
2k
views
Is every Lie subgroup of GL(V) isomorphic to a (maybe another) closed subgroup of GL(V)?
I am gathering material for an exposition and I note that some texts (e.g. Ise and Takeuchi, "Lie Groups I & II", Stillwell, "Naive Lie Theory", Hall, "Lie Groups, Lie Algebras, and ...
3
votes
1
answer
195
views
A representation of $\frak{sl}_n$ as partial derivatives on polynomials
As is known to all, the Lie algebra $\frak{sl}_2$ admits a very nice representation on
$$
\mathbb{K}[X,Y]
$$
the polynomials in two variables, given by
$$
E \mapsto X\frac{\partial }{\partial Y}, ~~ F ...
4
votes
1
answer
230
views
Are isotypic components of $S(\mathfrak{g})$ finite-dimensional?
Let $\mathfrak{g}$ be a complex simple Lie algebra. Let $S(\mathfrak{g})$ be the algebra of polynomial functions on $\mathfrak{g}$, viewed as a $\mathfrak{g}$-representation. Are the isotypic ...
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?
2
votes
0
answers
82
views
Question on a remark in Speh's paper
I am reading Birgit Speh's paper entitled "Unitary representations of Gl(n,R) with nontrivial (g,K)-cohomology" in Invent. Math. 71 (1983), no. 3, 443–465. In Remark 1.2.2.(b), it says that &...
3
votes
0
answers
160
views
Asymptotic for spectral gap for irreps
Let G be a compact connected Lie group (nonabelian) and $(A,B)$ be a fixed pair of topological generators. Let $T: G\rightarrow U(d)$ be an irrep of dimension $d>1$.
Then $|1+T(A)+T(B)|<3$, ...
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(...
2
votes
0
answers
47
views
Character of the Young product of representations of a Lie group
For a compact (reductive/semisimple) Lie group $G$ with a maximal torus $T$, which I will identify with a subgroup of ${\mathbb{C}^*}^n$ (for simplicity let's just say that $G\leqslant GL(n,\mathbb{C})...
20
votes
3
answers
840
views
Is there an analogue of the hive model for Littlewood-Richardson coefficients of types $B$, $C$ and $D$?
If $V_\lambda$, $V_\mu$ and $V_\nu$ are irreducible representations of $\operatorname{GL}_n$, the Littlewood-Richardson coefficient $c_{\lambda\mu}^\nu$ denotes the multiplicity of $V_\nu$ in the ...
2
votes
0
answers
141
views
Partial sum of Weingarten functions over symmetric group
I have a question about partial sums of Weingarten functions. The Weingarten functions are defined as
$$
E_U[U_{i_1,j_1}\dotsm U_{i_k,j_k}U^*_{i'_1,j'_1}\dotsm U^*_{i'_k,j'_k}]=\sum_{\alpha,\beta \in \...
3
votes
2
answers
761
views
Representations of SU(2) and tensors on SU(2)
I have only recently started exploring this region of homogeneous spaces and its geometry and the question is born from that and given the beginner state of my exploration the questions might sound ...
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 ...
2
votes
1
answer
90
views
Non-isomorphic direct products of a solvable and a semisimple Lie algebra
Given a solvable Lie algebra $\frak{a}$ and a semisimple Lie algebra $\frak{g}$ we can take their semidirect product $\frak{a} \rtimes \frak{g}$, with respect to a Lie algebra map $\frak{g} \to \...
2
votes
0
answers
135
views
Fusion rules for the Lie algebra $\frak{so}_{2n+1}$
For the Lie algebra $\mathfrak{so}_{2n+1}$ where can I find a description of the fusion rules of it fundamental representations? In more detail: For $\pi_i$ and $\pi_j$ two fundamental weights of $\...
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,\...
4
votes
1
answer
236
views
Aschbacher classes for compact simple group
Posted this to MSE several weeks ago and it got 3 upvotes but no answers or even comments so I'm cross-posting to MO
Aschbacher's theorem says that every maximal subgroup of a finite simple classical ...
4
votes
0
answers
108
views
Minimal dimension for $ \mathrm{PSU}_n $ as a matrix group
$\DeclareMathOperator\PSU{PSU}\DeclareMathOperator\SU{SU}\DeclareMathOperator\U{U}\DeclareMathOperator\GL{GL}\DeclareMathOperator\SO{SO}$
Here's the new question:
$ \SU_2 $ is a subgroup of $ \GL_2(\...
2
votes
3
answers
367
views
Invariant subbundles of tangent bundle of flag variety
Suppose that $G$ is a complex semisimple Lie group, $P$ a parabolic subgroup of $G$. What are all of the $P$-invariant subspaces of $\mathfrak{g}/\mathfrak{p}$? In various low dimensional examples, I ...
13
votes
1
answer
398
views
Mathematical explanation of orbital shell sizes: why is it sufficient to consider single-electron wave functions?
Motivation
The question "Is there a good mathematical explanation for why orbital lengths in the periodic table are perfect squares doubled?" asks for an explanation of the sequence 2, 8, 8, ...
52
votes
2
answers
5k
views
Is there a good mathematical explanation for why orbital lengths in the periodic table are perfect squares doubled?
$\DeclareMathOperator\SO{SO}\newcommand{\R}{\mathbb{R}}\newcommand{\S}{\mathbb{S}}$The periodic table of elements has row lengths $2, 8, 8, 18, 18, 32, \ldots $, i.e., perfect squares doubled. The ...
5
votes
2
answers
849
views
Stabilizers for nilpotent adjoint orbits of semisimple groups
Let $G$ be a connected, simply-connected, complex, semisimple Lie group with Lie algebra $\frak{g}$. Suppose that $X\in\frak{g}$ is a nilpotent element (i.e. that $ad_X:\frak{g}\rightarrow\frak{g}$ is ...