All Questions
Tagged with rt.representation-theory lie-groups
832 questions
5
votes
1
answer
653
views
What are the maximal closed subgroups of $ \operatorname{SU}_3 $?
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\SL{SL}$What are the maximal closed subgroups of $ \SU_3 $?
This question is inspired by Lie subgroups of SU(3). Interesting partial answers to that ...
- 4,081
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 &...
- 1,121
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(...
- 969
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$, ...
- 728
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})...
- 3,186
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 \...
- 121
9
votes
1
answer
277
views
Algorithmically handling the Spin groups in larg(ish) dimensions
Question: Is there a reasonably efficient algorithmic representation of $\mathit{Spin}_n$? By this I mean, a way to store its elements and operate on them (multiply, inverse, maybe compute ...
- 32.5k
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 \...
- 393
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 $\...
- 393
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,\...
- 1,121
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(\...
- 4,081
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,081
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, ...
- 2,549
14
votes
1
answer
360
views
Description of the generalized grassmannians and flag varieties (parabolic quotients) associated to the exceptional groups
If $G$ is a classical semisimple algebraic/Lie group over an algebraically closed field (maybe just say $\mathbb{C}$), viꝫ. $\mathit{SL}_n$, $\mathit{SO}_n$, $\mathit{Sp}_n$ (isogenies irrelevant here)...
- 32.5k
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 ...
- 541
1
vote
0
answers
125
views
A basic application of Mackey's theorem
Let $G=GL(2,\mathbb {F}_q)$ and $B=\left\{\begin{pmatrix}
* & * \\
0 & *
\end{pmatrix}\right\}$ the
Borel subgroup of upper triangular matrices. Let $\chi_1$ and $\chi_2$ be the characters ...
- 155
6
votes
1
answer
255
views
Which Lie groups are a central extension of an algebraic group?
Suppose $G$ is a connected real Lie group. The quotient $G/Z(G)$ is the image of the adjoint representation, so a linear group. Is it known for which groups this quotient is Lie isomorphic to an ...
- 161
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 $ ...
- 4,081
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
24
votes
2
answers
1k
views
Lie groups generated by finitely many Lie algebra elements
Let $G$ be a connected Lie group with Lie algebra $\mathfrak{g}$. A standard fact is that $G$ is generated by $\exp(\mathfrak{g})$, i.e. every $g \in G$ can be written as $g=\exp(x_1)\cdots\exp(x_n)$ ...
- 443
0
votes
0
answers
228
views
How do I detect whether a representation is (or is not) the adjoint representation?
Let $(\mathfrak{g},[\cdot,\cdot])$ be a Lie algebra. There is a God-given representation of $\mathfrak{g}$, namely, the adjoint representation $\operatorname{ad} : \mathfrak{g} \to \operatorname{Der}(\...
- 1,379
2
votes
0
answers
69
views
Abelian category for $(\mathfrak{g},T)$ modules with nontrival Grothendieck group
Let $G$ be a reductive Lie group over $\mathbb{C}$, and write $\mathfrak{g}$ for its Lie algebra. Let $T\subseteq B\subseteq G$ be a maximal torus and Borel subgroup, where $\operatorname{Lie}B=\...
- 1,077
1
vote
1
answer
207
views
Character formula for the fundamental representations of $\frak{sl}_n$
For the Lie algebra $\frak{sl}_{n+1}$ we denote its fundamental irreducible representations by $V(\pi_i)$, with $i=1, \dots, n$. Where can I find a table of the character formula (in other words a ...
- 327
2
votes
0
answers
107
views
The density of the image of a unitary irrep (a generalization of Burnside's theorem)
I asked the following question on MSE and never got an answer.
I am curious if there are any generalizations of Burnside's theorem (If $(\pi,V)$ is irreducible, then $\pi(G)$ spans $\operatorname{End}(...
- 161
24
votes
2
answers
2k
views
Is it possible to realize the Moebius strip as a linear group orbit?
On MSE this got 5 upvotes but no answers not even a comment so I figured it was time to cross-post it on MO:
Is the Moebius strip a linear group orbit? In other words:
Does there exists a Lie group $ ...
- 4,081
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, ...
- 4,081
8
votes
0
answers
267
views
A Lie-theoretic question regarding $B\ltimes \mathfrak{g}/\mathfrak{b}$
I am stuck on a seeming elementary Lie-theoretic question arising from a study of components of affine Springer fibers. Will be very grateful if somebody would like to share some insight, or ...
- 1,856
2
votes
0
answers
127
views
Is the image of the exponential map of a complex semisimple group Zariski open?
Let $G$ be a semisimple complex algebraic group. Is the image of the exponential map
$$\exp : \mathfrak{g} \to G$$
Zariski open in $G$?
- 443
0
votes
1
answer
169
views
Representations of simply connected Lie groups [closed]
Let $G$ be a simply connected Lie group. Is it true that any finite dimensional representation of its Lie algebra is the differential of a representation of $G$?
A reference would be helpful.
Sorry if ...
- 21.8k
3
votes
2
answers
649
views
Representations of $\mathrm{SO}_n$ versus representations of $\mathrm{Spin}_n$ [duplicate]
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\Spin{Spin}$Since $\Spin_n$ is a compact simply connected simple Lie group, its irreducible representations are equivalent to the irreducible ...
- 327
1
vote
0
answers
102
views
Bounding the dimensions of faithful representations of a quotient group
For $G$ a compact Lie group, let $\operatorname{mdfr}(G)$ be the minimum dimension of a faithful complex representation of $G$. Is there a bound on $\operatorname{mdfr}(N(H)/H)$ for $H$ a subgroup of ...
- 201
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,...
- 7,300
2
votes
0
answers
187
views
Counting fixed points on flag variety and Deligne-Lusztig functors
Let $G=GL_n(q)$ be the general linear group over $\mathbb{F}_q$ and $T$ be the torus of diagonal matrices. We also pick a Levi subgroup of the form $L=GL_{n_1}(q)\times GL_{n_2}(q) \times \cdots \...
- 1,061
5
votes
1
answer
356
views
Density of matrix coefficients of unitary representations of a locally compact group
Let $G$ be a locally compact group, $C_0(G)$ the $C^*$-algebra of continuous functions on $G$ that vanish at infinity, $C_b(G)$ the $C^*$-algebra of bounded continuous functions on $G$. We know that $...
- 1,586
6
votes
0
answers
201
views
Hall-Littlewood polynomials of non-dominant weights
$\DeclareMathOperator\SL{SL}$Let $\lambda = (\lambda_1,\ldots,\lambda_n)$ be a sequence of positive integers and let
$$
R_\lambda(x;t) = \sum_{w\in S_n} w\cdot \left( x_1^{\lambda_1}\ldots x_n^{\...
- 528
1
vote
1
answer
137
views
Does every locally compact, simply connected group admit enough finite dimensional representations?
Given a simply connected locally compact group $G$, is it true that $G$ admits enough finite dimensional representations (over any field and not necessarily continuous) to separate points in $G$, what ...
- 1,586
3
votes
0
answers
205
views
Status of RFD groups and $C^*$-algebras
Motivated by this question and its great answers, I become very curious to know what do we know about RFD (residually finite dimensional) groups and $C^*$-algebras, e.g. do we know how these ...
- 1,586
3
votes
1
answer
258
views
Symplectic orbits in projective Hilbert spaces are simply connected
Let $G$ be a connected Lie group and let $(\pi, \mathcal{H})$ be an irreducible unitary representation of $G$ on an infinite-dimensional Hilbert space $\mathcal{H}$. Denote by $\mathcal{H}^{\infty}$ ...
- 131
4
votes
2
answers
332
views
Does the maximal compact subgroup always act transitively on a compact homogeneous space?
Let $ G $ be a Lie group, $ H $ a closed subgroup, and $ G/H $ compact. Under what conditions do we have that
$$
G/H \cong K/(K\cap H)
$$
where $ K $ is a maximal compact subgroup of $ G $? Obviously ...
- 4,081
0
votes
1
answer
187
views
Matrix representations of Lie groups of type $B_n$
For the Lie algebra $\mathfrak{so}(2n+1, \mathbb{C})$, there is a matrix representation given by the following matrices:
\begin{align}
\left( \begin{matrix} 0 & x & y \\ -y^T & A & B \\...
- 6,201
2
votes
0
answers
76
views
Induced representations of Lie groups in case of compact quotient
Suppose you are given a split exact sequence of Lie groups
$$
1\to N\to G\to K\to 1,
$$
where $K$ is compact abelian. If $(\sigma,V_\sigma)$ is an irreducible unitary representation of $N$, is it true ...
user130903
3
votes
1
answer
483
views
Relationship between the representation theory of $\operatorname{Spin}(n)$ and $\operatorname{SO}(n)$
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\Spin{Spin}$What is the exact relationship between the finite dimensional representations of the group $\SO(n)$ and its covering group $\Spin(n)$? More ...
- 393
3
votes
1
answer
176
views
Example of a supersolvable Lie group/algebra whose nilradical does not have a complement
What is an example of a real solvable simply-connected Lie group $G$ whose nilradical does not have a complement (that is, $G$ is not a semidirect product of the nilradical and another subgroup)? Is ...
- 33
2
votes
1
answer
206
views
Extending representations of Lie subalgebras to the whole Lie algebra
Let $\frak{g}$ be a complex simple Lie algebra and let $\frak{k}$ be a non-zero semisimple Lie subalgebra of $\frak{g}$. Is it possible to realize every simple $\frak{k}$-module $W$ as a $\frak{k}$-...
- 435
2
votes
1
answer
191
views
Normalizer of SU$(2)$ in SU$(6)$
Consider the $\mathfrak{su}(2)$ subalgebra of $\mathfrak{su}(6)$ embedded as
$$\mathfrak{su(2)}=\text{Span}\{\mathbb{1}_3 \times \sigma^i\}, \quad i=1,2,3$$
with $\sigma^i$ the Pauli matrices and $\...
- 155
2
votes
1
answer
220
views
Set of $\mathrm{SU}(6)$ matrices which conjugate $\mathbb{1}_3 \otimes \sigma^3$ subalgebra element into $\mathfrak{su}(2)$
$\DeclareMathOperator\SU{SU}$Consider the Lie group $\SU(6)$, its Lie algebra $\mathfrak{su}(6)$ and the $\mathfrak{su}(2)$ subalgebra spanned by $\mathbb{1}_3 \otimes \sigma^i$, where $\sigma^i$ are ...
- 155
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 ...
- 435
2
votes
1
answer
114
views
Set of $U(6)$ elements which leave a Lie-algebra element invariant under conjugation
Consider the specific element of the corresponding Lie algebra $\mathbb{1}_3 \times \sigma^3$, where $\mathbb{1}_3$ is the unit matrix in 3 dimensions, $\sigma^3$ is the 3rd Pauli matrix and $\times$ ...
- 155
9
votes
2
answers
522
views
Is the group of integer points of a simple real linear algebraic group a maximal closed subgroup?
Let $ G $ be a simple linear algebraic group. Let $ G_\mathbb{R} $ be the real points of $ G $. Let $ G_\mathbb{Z} $ be the integer points of $ G $. Is $ G_\mathbb{Z} $ a maximal closed subgroup? In ...
- 4,081
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{...
- 4,081