3
votes
1answer
91 views

Are SL(n) Invariants of this wedge product isomorphic to a symmetric product?

In the course of investigating a conjecture about a "strange duality" for sections of line bundles on various models of moduli of sheaves on $\mathbb P^2$, another student and I reduced one special ...
2
votes
0answers
77 views

The transfer map $H_*(BSO(3))\rightarrow H_*(BO(2))$: reference request

All cohomology and homology will be $Z/2$ coefficient. The restriction map $H^*(BSO(3))\rightarrow H^*(BO(2))$ is well-known to be the inclusion of the Dickson invariant $Z/2[w_2,w_3]$ into the ...
4
votes
1answer
206 views

The existence of a finite dimensional Lie algebra with a given symmetric invariant metric

The question is motivated by a more broad perspective in another MO post and here, but here we would like to understand a specific case (our question potentially connects to / is motivated b Quantum ...
4
votes
1answer
190 views

Finite dimensional Lie algebra with non-degenerate invariant bilinear forms $\Omega_{ab}$

Firstly, my apology to MO experts that I am in a more science/physics background (a PhD). So please feel free refine/modify/comment my language if I have different math accents than yours. From ...
7
votes
1answer
160 views

Chevalley restriction theorem for exterior algebras

Suppose $G$ is semisimple Lie group, $\mathfrak{g}$ is its Lie algebra, $\mathfrak{h}$ is a Cartan subalgebra of $\mathfrak{g}$, and $W$ is the correspondent Weyl group. Chevalley restriction theorem ...
9
votes
2answers
276 views

Extension of the Weyl dimension formula

Let $G$ be a compact semisimple group and let $\Gamma$ be a finite subgroup of $G$. I am interested, for $(\pi,V)\in \widehat G$ (irred rep of $G$), in a formula for $\mathrm{dim} V^\Gamma$, the ...
2
votes
1answer
204 views

Invariants of a set of real unit vectors in 3d space, under SO(3)

I have a set of $n$ real unit vectors, in 3-dimensional space. (It is a follow up of Sets of vectors related by a rotation.) Is there a construction providing a complete set of independent*) ...
6
votes
2answers
238 views

About the map $S(\mathfrak{g}^ * )^G\rightarrow S(\mathfrak{h}^ * )^H$ for $H < G$

Let $G$ be a compact connected semisimple Lie group, $\mathfrak{g}$ be its complexified Lie algebra and $\mathfrak{g}^*$ its complex dual space. We can form the symmetric algebra $S(\mathfrak{g}^ * ) ...
5
votes
1answer
308 views

Invariants of co-diagonalizability in real symmetric matrices

This question has been mentionned to me by U. Frisch. He wanders whether it has ever been considered by algebraists. In the vector space ${\bf Sym}_n({\mathbb R})$, two elements commutte to each ...
6
votes
1answer
230 views

Orbits for homogenous complex polynomials under unitary rotation of variables

Let's have two complex homogeneous polynomials of degree $k$: $f(z_1,\cdots,z_n)$ and $g(z_1,\cdots,z_n)$. We consider rotations of variables in the form of $\vec{z}' = U \vec{z}$, where $U\in SU(n)$. ...
2
votes
1answer
216 views

Characterization of the weight orbit in the projective space via second order Casimir.

This is the spin-off of the question I previously asked. First, let me remind you some notation from that question: $G_0$ - compact, simply connected Lie group giving rise (by complexification) ...
6
votes
4answers
1k 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 ...
8
votes
4answers
1k views

“Why” is every polynomial representation of SL(2) selfdual?

Given a field $K$ of characteristic $0$. It seems to me that every finite-dimensional polynomial representation of $\mathrm{SL}_2\left(K\right)$ is self-dual (i. e., isomorphic to its dual). In fact, ...
9
votes
6answers
1k views

Polynomial invariants of the exceptional Weyl groups

Let $\mathfrak{g}$ be a simple complex Lie algebra, and let $\mathfrak{h} \subset \mathfrak{g}$ be a fixed Cartan subalgebra. Let $W$ be the Weyl group associated to $\mathfrak{g}$. Let ...