Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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, ...
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
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
510 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 ...
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\...
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 ...
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 $...