Skip to main content

All Questions

12 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
16 votes
0 answers
755 views

Is there a "natural" proof of the equality $4^2=2^4$?

This question, or rather any answer that it might receive, would probably belong to the realm of Awfully sophisticated proof for simple facts. Still, I claim that I have quite serious motivation for ...
მამუკა ჯიბლაძე's user avatar
5 votes
0 answers
231 views

Avoiding Cartan subalgebra in a Lie algebra

Let $G$ be a simple complex algebraic group acting on its Lie algebra $\mathfrak{g}$ via the adjoint representation. What is the largest integer $d$ such that every subspace $U \subseteq \mathfrak{g}$ ...
darko's user avatar
  • 309
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 ...
yang's user avatar
  • 181
4 votes
0 answers
104 views

Relationship between characteristic polynomials of a matrix and its adjoint representation

Let $A \in \mathrm{M}_n(F)$ be a matrix over a field $F$. Consider its adjoint representation $\mathrm{ad}_A \in \mathrm{End}(\mathrm{M}_n(F))$, defined by $$ \mathrm{ad}_A(X) = [A, X] = AX - XA. $$ I ...
darko's user avatar
  • 309
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 =...
quantum's user avatar
  • 181
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=...
Ryan's user avatar
  • 71
1 vote
0 answers
58 views

Linear algebraic group, absolute root system, computing roots

Let $G(F)$ be a reductive linear algebraic group, where $F$ is a local field. Let $T(F)$ be a maximal anisotropic torus of $G$ that splits over a quadratic extension of $F$. Is there an efficient ...
user536406's user avatar
1 vote
0 answers
139 views

Integral convex polytopes formed from the weight diagrams of representations of $\mathfrak {sl}_4$($\mathbb{C}$)

I'm a student studying undergraduate abstract algebra and doing a summer research project in the mathematics department at my school. I'm barely familiar with the rudiments of representation theory; I ...
Caleb Williams's user avatar
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\},...
Rudyard's user avatar
  • 155
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 ...
Mira's user avatar
  • 139
1 vote
0 answers
84 views

Extra-Lorentzian Kac-Moody algebras

My question is about Kac-Moody (KM) algebras of finite rank with symmetrized Cartan matrices $B = C A$ ($A$ is Cartan matrix) of signatures $(-,-,+,...,+)$, $(-,-,-,+,...,+)$, etc. i.e. with $2$,...
Vladimir's user avatar
  • 371
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 ...
Benjamin's user avatar
  • 2,099