All Questions
Tagged with rt.representation-theory lie-groups
832 questions
2
votes
1
answer
165
views
Trivial representation of a maximal torus
Let G be a connected compact Lie group and $T\subset G$ a maximal torus. For an irreducible representation $V_\lambda$ of $G$, the multiplicity of the trivial representation of $T$ in $V_\lambda$ is ...
- 4,612
12
votes
2
answers
634
views
Coordinate ring of universal centralizer (BFM space)
In the paper titled Equivariant (K-)homology of affine Grassmannian and Toda lattice, the authors, Roman Bezrukavnikov, Michael Finkelberg, and Ivan Mirković, derived the coordinate ring of each ...
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 $\...
- 32.5k
4
votes
0
answers
143
views
Representation theory of spinors - Understanding how $\mathrm{SO}_3$ acts in particle physics
$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}\DeclareMathOperator\SO{SO}\DeclareMathOperator\O{O}$I have started to study particle physics, beginning with wikipedia and I am now reading David ...
- 141
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 $\{...
- 188
9
votes
0
answers
366
views
Mappings of the sphere (to itself) defined by homogeneous polynomials
Preamble
$\DeclareMathOperator\SO{SO}$Let $\mathbb{S}^m\subset \mathbb{R}^{m+1}$ be the standard unit sphere. An observation of Do Carmo and Wallach states that
If $G$ is a subgroup of $\SO(m+1)$ ...
- 12.9k
5
votes
0
answers
86
views
Spherical functions in the space of functions on real Grassmannians
Let $G=O(n)$ be the orthogonal group. Let $K=S(O(k)\times O(n-k))$ be the subgroup of $O(n)$.
Then the pair $(G,K)$ is symmetric, and the homomogeneous space $G/K$ is the Grassmannian of $k$-...
- 12.9k
0
votes
0
answers
74
views
A question on projective unitary representation of a Lie group
$\DeclareMathOperator\GL{GL}$Let $\mathcal{H}$ be a Hilbert space and $\GL(\mathcal{H})$ denote the group of invertible linear transformations of $\mathcal{H}$. Assume that $G=\{ f:\mathbb{P}\mathcal{...
- 63.9k
14
votes
0
answers
527
views
Is the monster group maximal in SO(196883)?
$\DeclareMathOperator\SO{SO}$The smallest degree of a nontrivial complex representation of the monster group $ M $ is $ 196883 $. This irrep has Schur indicator $ 1 $, so the image must lie in the ...
- 12.9k
0
votes
0
answers
255
views
Any "inherent" definition of $\mathrm{SU}(2)$ independent of any matrix representation?
$\DeclareMathOperator\SU{SU}\SU(2)$ is explained in detail here.
However, if I know right, this definition itself is known the "fundamental representation".
I wonder if there is any "...
- 4,219
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
$$
...
- 4,081
1
vote
0
answers
70
views
What is the form of the incomplete Eisenstein series on PGL_2(C)?
Let $F$ be an imaginary quadratic number field. Let $G = \mathrm{PGL}_2(\mathbb{C}) $ and $\varGamma = \mathrm{PSL}_2(\mathcal{O}_F)$. We have the Iwasawa decomposition $G = NAK$ where $K = \mathrm{...
- 185
9
votes
1
answer
414
views
Relationship between Harish-Chandra Schwartz space and more generic Schwartz spaces
If $G$ is a connected semisimple Lie group with finite center, Harish-Chandra defined a Schwartz space of rapidly decreasing functions on $G$ as the space of $\mathrm{C}^\infty$ functions defined by ...
CommunityBot
- 1
1
vote
0
answers
113
views
A combinatoric identity for characters of reductive groups
Let $G$ be a reductive group over an algebraic closed field (of char 0 if necessary). Let $T\subset G$ be a maximal torus and $S=\mathrm{Sym}^*(X(T))$ be the symmetric algebra of characters of $T$. ...
- 6,367
2
votes
0
answers
125
views
The double quotient of SU(N) by its diagonal maximal torus
$\DeclareMathOperator\SU{SU}$The special unitary group $\SU(N)$ contains $T^{N-1}$ as a maximal torus, which we take to be the diagonal subgroup of $\SU(N)$. Can we describe the double quotient space
$...
4
votes
1
answer
160
views
Symmetric tensor of highest weight modules for $\mathrm{SU}(2)$
Let $V_i$ be the $(i+1)$-dimensional representation of the special unitary group $\mathrm{SU}(2)$ with the highest weight $i$. Is there any uniform way to compute the irreducible decomposition for the ...
- 8,597
0
votes
0
answers
128
views
How to build a representation of the diffeomorphism group of $U(n)$?
Given that $U(n)$ is a smooth manifold I would like to know if there is a way of building a representation of $\text{Diff}(U(n))$ once you pick a particular (finite dimensional) representation of $U(n)...
2
votes
0
answers
110
views
On the character of a representation of $\mathrm{GL}(n,\mathbb{R})$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Ad{Ad}$Let $G=\GL(n,\mathbb{R})$. Given a continuous admissible irreducible representation of $G$ in a Frechet (or a Banach) space. Then its character ...
- 21.8k
9
votes
1
answer
335
views
Triple product formula on $K = \mathrm{SU}(2)$
Let $K = \mathrm{SU}(2) = \{ k[\alpha ,\beta] \mid \alpha ,\beta \in \mathbb{C}, |\alpha |^2 + |\beta |^2 = 1 \} $ with
$$ k [ \alpha , \beta ] =
\begin{pmatrix}
\alpha & \beta \\
- \...
CommunityBot
- 1
23
votes
2
answers
611
views
Does the 3875-dimensional rep of $E_8$ have a solution to $x\star x=0$?
Consider the compact Lie group $E_8$. Its second-smallest fundamental representation is $3875$-dimensional and admits a symmetric invariant form, and so is real: $E_8 \curvearrowright \mathbb{R}^{3875}...
7
votes
2
answers
314
views
Holomorphic discrete series vs. discrete series
(I apologize in advance if this question is too naive for experts.) Let $G$ be a real semisimple Lie group. I know that holomorphic discrete series representations are only a part of all the discrete ...
- 761
7
votes
1
answer
323
views
Are there natural isomorphisms $S^{(2,1)}(k^{m+1})\cong k^2\otimes W$?
In this popular 2019 MO question, user მამუკა ჯიბლაძე asked:
The spaces $\operatorname{S}^2(k^n)$ and $\Lambda^2(k^{n+1})$ from the title have equal dimensions. Is there a natural isomorphism between ...
- 11.2k
0
votes
1
answer
205
views
What's an example of an $n$-step nilpotent Lie algebra whose centre is not $g^{(n)}$?
Let $\mathfrak g$ be a Lie algebra. $\mathfrak g^{(1)}=\mathfrak g$ and $\mathfrak g^{(n+1)}=[\mathfrak g,\mathfrak g^{(n)}]=\mathbb R$-span$\{[X,Y]:X\in\mathfrak g,Y\in\mathfrak g^{(n)}\}$. The ...
- 12.9k
-3
votes
1
answer
374
views
On Haar measure and Spherical measure [closed]
Let $d$-dimensional complex sphere be
$$\{(c_1,\cdots,c_{d})\sum_{i=1}^{d} |c_i|^2=1.\}$$
We can define the Haar measure on this sphere by regarding the unitary group $U(d)$.
We can regard the $d$-...
- 1,503
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, ...
- 12.9k
8
votes
1
answer
534
views
Representation theory of $\mathrm{GL}_n(\mathbb{Z})$
I want to understand the (complex) representation theory of $\mathrm{GL}_n(\mathbb{Z})$, the general linear group of the integers. I have gone through several representation theory texts but all of ...
- 63.9k
2
votes
1
answer
107
views
Finite dimensional irreducible representations of $\frak{sl}_m$ with non-trivial zero weight spaces
For the special linear algebra $\frak{sl}_{m}$ which finite dimensional irreducible representations $V_{\mu}$ have non-trivial zero weight spaces?
For $\frak{sl}_2$ this is clear: $V_{2k\pi}$ for $\pi$...
- 24.2k
4
votes
1
answer
633
views
Homomorphisms from binary polyhedral group to compact Lie groups
Are homomorphisms from binary polyhedral groups to (simple and simply connected) compact Lie groups classified?
For cyclic groups, the result is well known (see e.g. Kac's "Infinite dimensional Lie ...
- 1,336
3
votes
2
answers
976
views
The adjoint representation of a Lie group
Let $G$ be a Lie group and $\text{Ad}(G)$ denote its adjoint representation i.e. the adjoint action of the group $G$ on its Lie algebra $\mathfrak{g}$. The adjoint representation is a real $G$-...
- 131
9
votes
2
answers
1k
views
Meaning of the coadjoint representation and its orbits
Given a Lie group $G$ there is a natural representation of $G$ on the dual of its Lie algebra $\mathfrak{g}^*$ given by the coadjoint representation. This representation is obtained by differentiating ...
- 221
3
votes
0
answers
67
views
The basic representation of $LU(1)$
Let $H = L^2(U(1),\mathbb{C})$. The "basic" irreducible projective level 1 representation $\mathcal{H}$ of the loop group $LU(1)$ has underlying Hilbert space isomorphic to $\smash{\hat{\...
- 12.9k
2
votes
1
answer
159
views
Adjoint action on orthogonal complement
Consider a compact Lie algebra $\mathfrak{g} \subset \mathfrak{u}(n)$ and its associated connected, compact Lie group $G$. Let $\mathfrak{g}^{\perp}$ denote $\mathfrak{g}$'s orthogonal complement (as ...
CommunityBot
- 1
8
votes
2
answers
2k
views
Lie algebras to classify Lie groups
What does the classification of Complex Semi-simple Lie algebras buy us in terms of classifying Lie groups? Certainly it classifies complex semi-simple lie groups but can we get any better? I know we ...
- 5,654
3
votes
0
answers
124
views
Branching problem of representation of Lie groups and orbit method
Branching problem asks how a restriction of an irreducible representation of $G$ to a subgroup $H$ decomposes. In case of (real) Lie groups, after labeling irreducible representations via highest ...
- 2,215
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 ...
- 1,574
0
votes
1
answer
210
views
Centers of universal enveloping algebra of complex Lie algebras
Let $\mathfrak{g}$ and $\mathfrak{g'}$ be complex Lie algebras such that $\mathfrak{g}$ is a subalgebra of $\mathfrak{g'}$. Let $Z(\mathfrak{g})$ and $Z(\mathfrak{g'})$ be the centers of the universal ...
- 5,878
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 $...
- 1,046
7
votes
1
answer
381
views
Homology of symplectic groups in the unstable range
Let $Sp(2n,{\mathbb R})$ be the symplectic group and $H_3(Sp(2n,{\mathbb R});{\mathbb Z})$ its 3rd group homology (i.e., for the group with the discrete topology).
It is known that $$H_3(Sp(2n,{\...
- 17.4k
9
votes
2
answers
870
views
$C^\infty$-vectors in general representations of Lie groups on locally convex spaces
This question is related to
this one. Let $G$ be a real Lie group (I should emphasize I only care about ordinary Lie groups, not Lie groups modeled on locally convex spaces or anything like that). In ...
- 35.5k
6
votes
0
answers
149
views
Algorithmic representation of the Spin (and Pin) group [duplicate]
Performing algorithmic computations in $\mathit{SO}_n(\mathbb{R})$ or $\mathit{O}_n(\mathbb{R})$ is easy: its elements are represented by $n\times n$ orthogonal matrices of reals so, assuming we have ...
- 32.5k
4
votes
1
answer
2k
views
Reference request - localisation de g-modules
Does anyone have a link to a copy of Beilinson-Bernstein's "Localisation de g-modules", in which they prove the Beilinson-Bernstein theorem? I can't find it anywhere.
- 2,992
1
vote
0
answers
70
views
Minimal $K$-orbit on $\mathfrak{g}$
Let $\mathfrak{g}_0$ be a noncompact simple Lie algebra with Cartan decomposition $\mathfrak{g}_0=\mathfrak{k}_0+\mathfrak{p}_0$. Write $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ for the ...
- 8,597
0
votes
1
answer
243
views
Adjoint action on the universal enveloping algebra and the PBW theorem
Let $\frak{g}$ be a semisimple Lie algebra and $U(\frak{g})$ its universal enveloping algebra. The adjoint action of $\frak{g}$ on itself extends to an action of $\frak{g}$ on $U(\frak{g})$. How does ...
- 3,545
6
votes
1
answer
393
views
An alternative form of the Kazhdan-Lusztig conjecture
Fix a complex semisimple Lie algebra $\mathfrak{g}$. Denote by $W$ the corresponding Weyl group, with length function $\ell$ and Bruhat order $\leq$. Let $\lambda$ be an integral anti-dominant weight. ...
- 3,054
3
votes
0
answers
85
views
Explicit computation of the transfer in the representation ring for unitary groups
For a compact Lie group $G$ we let $R(G)$ be the ring of finite dimensional complex $G$-representations studied by Segal in http://www.numdam.org/item/PMIHES_1968__34__113_0.pdf.
This comes with extra ...
- 73
1
vote
0
answers
46
views
Weight of adjoint action on a lower central series extension
Let $\mathcal{U}$ be a unipotent Lie $\mathbb{Q}_p$-group scheme, whose associated gradeds from the lower central series filtration are $\mathcal{U}_0 = \mathcal{U}^{\text{ab}}$, $\mathcal{U}_1 = [\...
- 2,907
2
votes
0
answers
65
views
Are the integer points of a simple linear algebraic group 2-generated?
Set Up:
Let $ K $ be a totally real number field. Let $ \mathcal{O}_K $ be the ring of integers of $ K $. Let $ G $ be a simple linear algebraic group. Suppose that $ G(\mathbb{R}) $ is a compact Lie ...
- 4,081
2
votes
0
answers
99
views
Properties of smooth vectors for Banach representations of Lie groups
I think the following should be known. However, I was not able to find an answer.
Suppose $ V $ is an infinite dimensional Banach space representation of a Lie group $ G $. In case the answer depends ...
- 183
1
vote
1
answer
359
views
Uniqueness of spinor representation
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\SO{SO}\DeclareMathOperator\GL{GL}$I asked a similar question on math stack exchange here, but I wonder if it may be better received here.
Let $n$ be ...
- 3,054
5
votes
0
answers
156
views
When is a unitary group over a ring of integers dense?
Let $ SU_n(O_d) $ denote an integral unitary group of $ n \times n $ matrices over a totally real number field $ K_d:=\mathbb{Q}(\cos(\frac{2\pi }{d})) $ where $ O_d $ is the ring of integers of $ K_d ...
