All Questions
Tagged with rt.representation-theory lie-groups
832 questions
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
14
votes
1
answer
503
views
Littlewood–Richardson rule and the Harish-Chandra-Itzykson-Zuber integral
The Littlewood–Richardson rule states that the product of two Schur polynomials can be written as a finite weighted sum of Schur polynomials. More precisely
$$
s_\lambda s_\mu = \sum_\nu c_{\lambda,\...
- 2,135
14
votes
1
answer
514
views
Generalizing the Fourier isomorphism between Sobolev spaces and weighted $L^2$ spaces to (locally) compact groups?
Motivating examples:
Let $V$ be a real vector space with Haar measure $dv$. The fourier transform induces the following topological isomorphism: $$H^s(V,dv) \cong L^2(V^*,(1+|v^*|^2)^sdv^*)$$
The ...
- 7,789
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 ...
- 4,081
13
votes
3
answers
1k
views
Why do we need a $G$-universe?
Let $G$ be a compact Lie group. Before defining $G$-prespectra, we have to define a $G$-universe $\mathcal U$.
Question: Why do we need a $G$-universe?
A $G$-universe is defined to be a countably ...
- 811
13
votes
3
answers
2k
views
on the center of a Lie group
I'm trying to set straight my various pieces of knowledge about the center of a compact Lie group, and I'm running in circles...
First some definitions:
• Let $G$ be compact, simple, and simply ...
- 43.2k
13
votes
2
answers
613
views
Langlands duality and multiplying cocharacters
Recall that there is a bijection between irreducible representations of a compact real Lie group $G$ and the cocharacters (homomorphisms $U(1) \to G$, modulo conjugation)
of the Langlands dual group $^...
- 12.8k
13
votes
2
answers
566
views
Can one describe the multiplication of two Bruhat cells?
For $G$ a simple linear algebraic group and $B$ a fixed Borel subgroup, we have the Bruhat decomposition $G = \coprod_{w \in W} B\dot{w}B$, where $W$ is the Weyl group and $\dot{w}$ is any ...
- 191
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
13
votes
0
answers
2k
views
Calculation-free proof of the Weyl Integral formula for U(n)
The Weyl integral formula states that if $f$ is a class function on $U(n),$ $T$ is the torus of diagonal matrices in $U(n)$, and $dU(n)$ and $dT$ are the standard Haar measures on $U(n)$ and $T,$ then:...
- 28.1k
13
votes
0
answers
563
views
Are the extra vertices in Nakajima's doubling of a quiver related to Langlands duality?
To define a Nakajima quiver variety associated to a quiver $Q = (Q_0,Q_1)$
(vertices and arrows), one first doubles it to $Q^\heartsuit$ by attaching
an extra vertex to every old vertex in $Q_0$. Then ...
- 27.8k
12
votes
5
answers
4k
views
Weight lattice and the fundamental group
Let $G$ be a compact connected Lie group and let $T$ be a maximal torus of $G$, with Lie algebras $\frak{g}$ and $\frak{t}$ respectively. Then, $\frak{t}$ can be considered as a Cartan subalgebra of $...
- 1,219
12
votes
4
answers
1k
views
Occurrence of the trivial representation in restrictions of Lie group representations
Suppose $G$ is a semisimple group, and $V_{\lambda}$ is an irreducible finite-dimensional representation of highest weight $\lambda$. Suppose $H \subset G$ is a semisimple subgroup. What is the ...
- 13.1k
12
votes
4
answers
2k
views
Which compact groups have finitely many irreducible representations of each dimension?
If my understanding is correct, this is true of sufficiently nice nonabelian Lie groups (see Ben Webster's answer below), and any finite group. On the other hand, this is false for any infinite ...
- 118k
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.
...
- 2,091
12
votes
2
answers
3k
views
Cohomology ring of a flag variety and representation theory
I'm interested in the cohomology ring $H^*(G/B)$ of a flag variety $G/B$, where $G$ is a complex semi-simple Lie group and $B$ the Borel subgroup. Borel (1953) showed that this ring is isomorphic to ...
12
votes
2
answers
887
views
Representation viewpoint on Chern–Weil (cohomology computations done with rep theory?)
$\DeclareMathOperator\Sym{Sym}$Let $G$ be a compact lie group. Chern–Weil theory tells us that there's a homomorphism:
$$H^{*}(BG;\mathbb{R}) \to (\Sym^{\bullet} \mathfrak{g^*})^G$$
which in our case ...
- 7,789
12
votes
1
answer
2k
views
unitary irreps of O(p,q)
I am interested in the irreducible unitary representations of the orthogonal groups $O(p,q)$. By $O(p,q)$ I mean the real Lie groups which preserve the quadratic form of signature $(p,q)$ in $\mathbb{...
- 295
12
votes
1
answer
392
views
Non-conjugate subgroups that are conjugate in complexification
In trying to come up with a counter-example in my line of research, I would like to find an example as follows:
$G$ is a semisimple Lie group with complexification $G^{\mathbb{C}}$. $H_1, H_2 \...
- 471
12
votes
2
answers
2k
views
A decomposition of the "spin representation" of SL(2)
Let us take an N-dimensional (N odd) irreducible representation V of SL(2,R).
It is known that (e.g., Lie groups and Lie algebras III by Vinberg and Onischik, 1994 p. 94) in V there is an invariant ...
- 1,765
12
votes
1
answer
655
views
Which Lie groups have finitely many conjugacy classes of subgroups of fixed isomorphism type?
Let $G$ be a real Lie group.
What conditions must $G$ satisfy so that the following is true:
For any finite group $\Gamma$ there exist finitely many conjugacy classes of subgroups of $G$ that are ...
- 577
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 ...
- 303
12
votes
3
answers
2k
views
What is a good introduction to branching rules in representation theory?
I'm looking for a book or introductory article, that explains branching rules in representation theory of real Lie groups.
When a Lie group has a set of irreducible representations, I'd like to know ...
- 5,565
12
votes
1
answer
418
views
When does a locally symmetric space have no odd degree Betti numbers?
Let $G$ be a semisimple real lie group, $K$ be a maximal compact subgroup of $G$, $\Gamma$ be a torsion-free cocompact discrete subgroup. The Betti number the locally symmetric space $X_{\Gamma}:=\...
- 6,622
12
votes
1
answer
564
views
Is there an analogue of spin/oscillator representation for the general linear Lie algebra?
(Work over complex numbers)
Let $V$ be an orthogonal space. Let $Pin(V)$ be the double cover of the orthogonal group $O(V)$. Then $Pin(V)$ has a basic spin representation which we can think of as the ...
- 10.7k
12
votes
0
answers
967
views
What is miraculous about the mirabolic subgroup?
I recently asked this question about Euler subgroups and generalizing the automorphic theory of $\mathrm{GL}_n$ to a more general setting. My question here is more specific.
As mentioned there, the ...
- 2,516
11
votes
3
answers
7k
views
How to show the matrix exponential is onto? And, how to create a powerseries for log that works outside B(I,1)
Hi,
I've been looking for a clear reference which shows that the matrix exponential is surjective from $M_{n}(C)$ to $Gl_{n}(C)$. Wikipedia claims this is true, but I haven't seen it proven... ...
- 113
11
votes
3
answers
2k
views
HIgher Homotopy Groups and Representation Theory
Let $G$ be a compact Lie group, and $g$ its associated Lie algebra.
In what ways do the higher homotopy groups $\pi_{n}(G)$ with $n>1$ appear in the representation theory of $G$?
As an example, ...
- 2,087
11
votes
2
answers
478
views
Can two rational rotations $F_2 = \langle A, B \rangle \to SO(3)$ efficiently approximate the $3 \times 3$ identity matrix?
Let $A,B$ be two rational rotations:
$$ A = \left[\begin{array}{rcc} \frac{3}{5} & \frac{4}{5} & 0 \\
-\frac{4}{5} & \frac{3}{5} & 0 \\
0 & 0 & 1 \end{array}\right]
\quad\...
- 22.8k
11
votes
3
answers
861
views
Nonnegativity of an integral over the unitary group
For an $n$-by-$n$ unitary matrix $U$ and a permutation $\sigma\in S_n$, let
$$w_\sigma=(-1)^\sigma\det(U^*)\prod_{i=1}^n U_{i,\sigma(i)}.$$
Is $\int_{U(n)}\mathrm{Re}(w_{\sigma_1})\mathrm{Re}(w_{\...
- 1,593
11
votes
2
answers
1k
views
Realizing a subgroup of a Lie group as a stabilizer subgroup
Let $G$ a compact semisimple Lie group, $H$ a subgroup of $G$. Is it always possible to find an irreducible representation $R$ of $G$ such that the stabilizer of an $x\in R$ is "locally isomorphic" to ...
- 679
11
votes
1
answer
331
views
A question on groups having a subgroup which fixes a vector in every irreducible representations
Given a finite group $G$, I am interested in finding a non-trivial proper subgroup $H$ of $G$ such that $\mathrm{Ind}_H^G\mathbf{1}$ contains all the irreducible representations of $G$, that is, ...
- 251
11
votes
1
answer
571
views
Diagram folding of simple Lie algebras
A non-simply laced simple root system can be constructed from the simply-laced root system by folding the Dynkin diagram and hence the corresponding non-simply-laced Lie algebra can be constructed by ...
- 673
11
votes
2
answers
881
views
From Weyl groups to Weyl groupoids?
I'm trying to find a framework where the choices in the classical construction of a root system of a semi-simple lie algebra are not needed.
Let $\mathfrak{g}$ be a semisimple lie algebra.
...
- 7,789
11
votes
1
answer
258
views
Algorithmic Borel finiteness for hyperbolic manifolds
It is a theorem of Borel that there is a finite number of arithmetic hyperbolic manifolds of volume bounded above by $V.$ Is there any algorithm (or hope of an algorithm) to actually construct all of ...
- 96.4k
11
votes
1
answer
589
views
A detail in the proof of Schur's lemma: the closures of the $\mathcal{Ker}$ and $\mathcal{Im}$ of the intertwiner
$\renewcommand\Im{\operatorname{\mathcal{Im}}}\newcommand\Ker{\operatorname{\mathcal{Ker}}}$I was sure that this is a trivial question and placed it on Math Stackexchange
https://math.stackexchange....
- 603
11
votes
1
answer
383
views
Is there a comprehensive survey of the discrete series representation of a real reductive group?
Vague form of the question: where can one find a comprehensive and possible modern account of the discrete series representations of a real reductive group?
Motivation:
I am a master's student trying ...
- 511
11
votes
1
answer
495
views
Is there a version of supersymmetry for homogeneous spaces?
The notion of "supersymmetry" that I am aware of proceeds as follows. One fixes a spacetime $\mathbb R^n$ and signature; I will write $\mathrm{SO}(n)$ for the corresponding group of orthogonal ...
- 54.6k
11
votes
2
answers
2k
views
Interpret Fourier transform as limit of Fourier series
Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n =\text{Hom}(\...
- 1,906
11
votes
0
answers
283
views
Why are there so few irreducible admissible representations of $\text{GL}(n,\mathbb{R})$ (up to infinitesimal equivalence)?
Studying Langlands's classification of irreducible admissible representations, I have been rather stunned by the following:
Theorem
Up to infinitesimal equivalence, all irreducible admissible ...
- 511
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
11
votes
0
answers
679
views
Definition of a uniformly bounded dual of a group
The unitary dual of a group $G$ is the set of equivalence classes of irreducible unitary representations of $G$ with the Fell topology. (This topology is defined using convergence of positive definite ...
user2412
10
votes
4
answers
2k
views
Quotient space of $\mathbb{C}^5$ under the action of $SL(2,\mathbb{C})$
One sees that given the $SL(2,\mathbb{C})$ action on $\mathbb{C}^5$, thought of as the space of polynomials of the form,
$$a_0 x^4 + 4a_1 x^3 y + 6a_2x^2y^2 + 4a_3xy^3 + a_4 y^4$$
the ring of ...
- 3,541
10
votes
1
answer
1k
views
Can a Lie group as an abstract group be given more than one topology making it a Lie group?
I am an optical engineer, so please forgive any ignorance my questions betoken. I am interested in whether one can tear down the manifold of a finite dimensional Lie group,
leaving an abstract group, ...
- 1,161
10
votes
2
answers
792
views
Is $PSL(n, Z)$ isomorphic to a subgroup of $GL(n,C)$ or even $GL(n+1,C)$?
Is $PSL(n, \mathbb Z)$ isomorphic to a subgroup of $GL(n,\mathbb C)$ or even $GL(n+1,\mathbb C)$?
- 303
10
votes
4
answers
1k
views
Algebraicity of holomorphic representations of a semisimple complex linear algebraic group
Let $G$ be a complex linear algebraic group, given to us as a closed subgroup of some $\mathrm{GL}(n,\mathbb{C})$. Suppose moreover that $G$ is semisimple. Then it's a fact that every finite-...
- 2,713
10
votes
1
answer
458
views
Why are root data a natural candidate for classifying connected reductive groups?
For the purpose of this question, you may assume that we are working over the complex numbers.
Given a connected reductive group $G$, one can choose a maximal torus $T$, and then let $T$ act on the ...
- 557
10
votes
1
answer
655
views
Embedding linear algebraic groups of a given dimension into a fixed $\mathrm{GL}_N$
Given $n$, can $n$-dimensional linear algebraic groups over $\mathbb{C}$ be embedded into $\mathrm{GL}(N,\mathbb{C})$ for a uniformly bounded $N$?
Thanks so much for your reply!
- 301
10
votes
3
answers
509
views
Construct discrete series of SL(2,R) as kernel of twisted Dirac operators
I’m studying the paper of (Baum-Connes-Higson, ex 4.25), and I would like to give an explicit computation for the Connes-Kasparov conjecture for SL(2,R).
The idea is that each non-trivial ...
- 288
10
votes
2
answers
669
views
SO(p,q) and Howe Duality
I recently learned of a relationship between the representations of the groups $SO(p,q)$ and $SL(2,\mathbb{R})$ which is part of an apparently much larger set of ideas known as Howe Duality. My ...
- 295