All Questions
21 questions
3
votes
1
answer
111
views
Generalization of a result of Kostant related to Gauss decomposition and Toda lattices
I found myself needing a generalization of a result of Kostant in his famous paper
B. Kostant, The solution to a generalized Toda lattice and representation theory, Adv. in Math, Volume 34, 1979, ...
1
vote
0
answers
71
views
What subspace of $\operatorname{SU}(4)$ group keeps an element of the $\mathfrak{su}(2)$ subalgebra within $\mathfrak{su}(2)$ upon adjoint action?
Consider the Lie group $G_4=\operatorname{SU}(4)$ with (15) generators $T^a$. A basis for the latter is
$$\{\sigma^j \times 1_2, \quad \quad \sigma^i \times \sigma^j, \quad \quad 1_2 \times \sigma^j\},...
1
vote
0
answers
143
views
Why is this operator independent of the choice of basis
I asked this question in MSE but I received no answer
https://math.stackexchange.com/questions/4009524/why-is-the-following-operator-independent-of-the-choice-of-basis/4013636#4013636
Let $G$ be a lie ...
4
votes
1
answer
511
views
Invariants of symmetric forms with respect to the symplectic group
Take a 6-dimensional vector space $V$ (for simplicity, over $\mathbb{C}$) and play the following game (for example, by employing the online Lie program): consider the 21-dimensional space $S^2V^*$ of ...
4
votes
1
answer
317
views
Orbits of tensor product $\operatorname{St}_2\otimes\operatorname{Sym}^2(\mathbb C ^3)$
Let $G_1=\operatorname{GL}_2(\mathbb C)$ act on $V_1=\mathbb C^2$ via the standard multiplication. Denote this representation by $\operatorname{St}_2$. Let $G_2=\operatorname{SL}_3(\mathbb C^3)$ act ...
5
votes
0
answers
372
views
Gelfand pairs in $SO(p,q)$
I am considering the groups $SO(p,q)$ over the reals. And inside it some parabolic subgroup, $P$. It can be the minimal parabolic but that is not the issue.
It is well known that $P$ has a Levi ...
4
votes
0
answers
114
views
Representation theoretic characterisation of symmetric spaces
Let $G$ be a simple compact Lie group and $H$ a closed subgroup.
Let $\mathfrak{h}\subset \mathfrak{g}$ denote the corresponding Lie algebras. Let $\mathfrak{m}$ be an orthogonal complement to $\...
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_{\...
6
votes
1
answer
321
views
Branching from $E(6)$ to $SO(10) \times U(1)$
In $E(6)$ inspired models of supersymmetry, the inclusion of Lie subgroups
$$
SO(10) \times U(1) \hookrightarrow E_6
$$
is important object of interest. See here for my motivating example.
In ...
1
vote
0
answers
103
views
Which operators constructed from 10d gamma matrices commute with $SO(1,2)\times SO(3)\times SO(3)$?
In the paper Supersymmetric Boundary Conditions in N=4 Super Yang-Mills Theory by Gaiotto and Witten, an in-depth analysis of boundary conditions in N=4 Super Yang-Mills in four dimensions in ...
1
vote
1
answer
92
views
Collection of matrices in $SU_{\mathbb{C}}(n)$ with given family of eigenvectors
For a given fixed matrix $M\in SU_{\mathbb{C}}(n)$, how to find all $N\in SO_{\mathbb{C}}(n)$ such that $N^{-1}MN$ is a diagonal matrix?
If we consider a fixed set of $n$ complex vectors $\Gamma:=\{...
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 ...
3
votes
0
answers
236
views
Deligne-Simpson problem for classical groups
Additive Deligne-Simpson problem was partially prooved by Kostov. Also there is Crawley-Boevey's approach to the question. The problem is about existence of a solution of the equation
$$
A_1 +...+A_n =...
2
votes
0
answers
135
views
Set of Special Unitary Matrices that are dense in SU(4) and obey certain relations
I'm trying to find a finite set of 4x4 Unitary matricies $\{U_1,U_2,\ldots U_N\}$ such that the matrices are dense in SU(4), and obey the relations:
$[U_i, U_j] = 0$ for $|i-j|>1$
$U_iU_{i+1}U_i=...
0
votes
0
answers
53
views
Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action
I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...
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.
...
1
vote
1
answer
308
views
Suppose that $G$ is a subgroup of $GL_n(\mathbb C)$ with finite exponent. Then is $G$ a finite group? [closed]
As title. the exponent of $G$ is the least number $n$ (if exists) such that $g^n=e$ holds for all $g\in G$ or $+\infty$.
5
votes
3
answers
1k
views
classifying space and cohomology of integer general linear group
I have obtained that the classifying space
$$
BGL(\mathbb{R}^n)=BO(\mathbb{R}^n)=G_n(\mathbb{R}^\infty)
$$
is the Grassmannian.
I have also obtained that the mod 2 cohomology is the polynomial ...
5
votes
0
answers
428
views
Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book
This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course.
Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
0
votes
1
answer
274
views
when $g^*$ is invariant under $Ad(G)$?
Let $G$ be a Lie Group and $\mathfrak{g}$ be its lie algebra.
Let $\mathfrak{g}$ is semisimple or reductive lie algebra, then prove that $\mathfrak{g}^*$ (dual of $\mathfrak{g}$)is invariant under $...
6
votes
0
answers
465
views
Spaces of matrices with same eigenvalue/Great circles in O(n)-orbits
Let $Sym^2(V)$ be the set of symmetric matrices of a real $n$-dimensional vector space $V$. Given an element $\underline{\lambda}=[\lambda_1,\ldots \lambda_n]\in \mathbb{RP}^n$, where $\lambda_1\leq\...