Skip to main content

All Questions

Filter by
Sorted by
Tagged with
11 votes
2 answers
684 views

Invariants of $\mathrm{GL}_n$ representations

$\DeclareMathOperator\GL{GL}$Let $V=\mathbb C^n$ be the natural representation of $\GL_n(\mathbb C)$ and let $W=\operatorname{Sym}^2(V)$ be the symmetric square representation. Let $W^k$ denote the ...
jack's user avatar
  • 673
11 votes
0 answers
451 views

Semistability of tensor products under automorphisms of tensored vector spaces

Let $A,B,C,D,E,F$ be vector spaces over a field. Let $x\in A \otimes B \otimes C$ and $y \in D \otimes E \otimes F$ be tensors that are semistable with respect to the natural actions of $\text{SL}(A) ...
Will Sawin's user avatar
  • 149k
10 votes
2 answers
994 views

Character variety of the free group

A classical result of Fricke--Klein--Vogt from the late 1800s implies that the character variety $\chi_\mathbb{C}$ associated to the free group $F_2$ and the algebraic group $\mathrm{SL}_2(\mathbb{C})$...
Dr. Evil's user avatar
  • 2,751
10 votes
0 answers
238 views

Progress since Luna's theorem on smooth invariants

In 1976, Luna proved the following important theorem of smooth invariant theory: Let $G$ be a real reductive Lie group and a representation of $G$ on a real finite dimensional vector space $V$. ...
Igor Khavkine's user avatar
9 votes
1 answer
346 views

Standard Monomial basis for other types

For the algebraic group $SL_n$ (type $A_{n-1}$) and for a dominant weight $\lambda$ the standard monomials are indexed by the semi-standard young tableaux of shape $\lambda$ and they form a basis for ...
Mark Shiffor's user avatar
9 votes
1 answer
294 views

A duality result for Coxeter groups

Short version: if $G$ is a Coxeter group and $H \subset G$ is a parabolic subgroup, both acting on a space $V$, is it true that the invariant-coinvariant algebra $(S(V)_G)^H$ has a natural bilinear ...
Pablo Zadunaisky's user avatar
9 votes
1 answer
300 views

Invariants and stablizers for the $PGL(V)$ action on $End(V\otimes V)$

Let $K$ be a field of characteristic zero, and $V$ a finite dimensional vector space over $K$. Consider the action of the algebraic group $G:=PGL(V)$ on the vector space $W:=End_K(V^{\otimes 2})$ by ...
Ehud Meir's user avatar
  • 5,039
5 votes
0 answers
351 views

What representation theoretic properties does the semi-invariant ring tell us?

I'm asking this question as a continuation of discussion and answer given by Hugh Thomas at the following post: Why do people study semi-invariant ring (in general)? I have been studying about semi-...
It'sMe's user avatar
  • 839
3 votes
1 answer
260 views

Invariants of general linear groups under torus action

Let $G=GL_n$ be the general linear group (let's say over an algebraically closed field of char $=0$). Let's denote as $T$ the torus of diagonal matrices: is there an explicit description of the ...
Tommaso Scognamiglio's user avatar
1 vote
1 answer
109 views

Orbit spaces of n-tuples of square matrices under simultaneous conjugation

Let $n, p, \geq 1$ be integers. Denote the set of ordered partitions of $p$ by $\Pi$: each $\pi \in \Pi$ is an ordered $k$-tuple $(p_1,p_2, \dotsc, p_k)$ where $p_1+\dotsb+p_k = p$. Write $\pi \leq \...
Jon Elmer's user avatar
  • 185
-1 votes
1 answer
230 views

proj of an Algebra [closed]

Let $\mathbb Z_2= \langle\sigma\rangle$ act on $\mathbb C^6$ by $(x_1,x_2,x_3,x_4,x_5,x_6)=-(x_6,x_5,x_3,x_4,x_2,x_1)$. Then what is $\operatorname{Proj}\left(\left(\frac{\mathbb C[x_1,x_2,x_3,x_4,x_5,...
Mark's user avatar
  • 95