4
votes
1answer
211 views

Calculation with weights of $E_6$

Question: Consider the complex simple Lie group $E_6$. Let $\lambda_1$ and $\lambda_6$ be the fundamental weights defining the $27$-dimensional representation $V$ and $V^*$, resp. Consider the complex ...
3
votes
0answers
120 views

Invariants of the symmetric group

Let $V_\lambda$ be an irreducible representation of the symmetric group $S_n$ as usual labeled by parition $\lambda$ of $n.$ Question. Is there any general information about the algebra of ...
5
votes
0answers
109 views

Generators for invariant tensors of lie algebras

EDITED FOR (hopeful) CLARITY: For a simple Lie algebra $\mathfrak{g}$ (over $\mathbb{C}$) and its adjoint group G, the $G$-invariant polynomials on $\mathfrak{g}$ are linear combinations of products ...
4
votes
1answer
110 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 ...
5
votes
0answers
65 views

Invariant theory of $SL_2$ over a field of positive characteristic

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $W$ be a finite dimensional $SL_2$-module over $k$. Let $V$ be the natural representation of $SL_2$. What can be said - in ...
8
votes
2answers
493 views

Representations of $SL(2)$ in characteristic 2

In characteristic zero one can use the Clebsch-Gordan rule to decompose tensor products of SL(2)-modules. In characteristic $p$ things are more complicated. I am interested in the special case ...
1
vote
1answer
182 views

Schur-Weyl duality for arbitrary tensor products of simple finite-dimensional $GL_n$-modules

Let $M$ and $N$ be two simple finite dimensional $GL_n$ modules. Is there a way of expressing the heighest weight vectors of the simple submodules of $M\otimes N$ in terms of the heighest weight ...
8
votes
0answers
154 views

Earliest use of the term “linearly reductive”?

Recently a number of MO questions have referred to a "linearly reductive group", usually in a way that is out of focus. It's unclear to me why this terminology is so popular, since over a field of ...
4
votes
1answer
216 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
218 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 ...
1
vote
1answer
109 views

Specht polynomials for dihedral groups

The representation theory of the symmetric group is best understood via the Specht polynomials. In wonder how this works for other finite reflection groups, such as dihedral groups. Are the similarly ...
2
votes
0answers
72 views

Weyl group invariants of the representation ring of a split torus

Let $G$ be a semisimple split algebraic group, $T$ its split maximal torus and $W$ corresponding Weyl group. Let $T^*$ denote the character lattice of $T$ and $\Lambda$ denote the weight lattice, so ...
0
votes
2answers
140 views

Decomposition of $G$-harmonic polynomials

Let $G$ be a finite group and let $H_G$ denote the $G$-harmonic polynomials. What is the structure of $H_G$ as a $G$-module? Is it isomorphic to the regular representation?
0
votes
0answers
140 views

Multiplicative groups of fields

Let $G$ be a finite group, and let be a field on which $G$ acts faithfully. Let $C$, be a $\mathbb{Z}G$-lattice, and let $\alpha$ be a one-cocycle from $G$ to $Hom(C,L^{*})$. Let $L[C]$ the group ...
9
votes
2answers
300 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 ...
4
votes
1answer
351 views

Where does the name “Reynolds operator” come from?

I always found it strange that, in the context of invariant and representation theory, averaging over the group is called the "Reynolds operator". As far as I know the work of Reynolds was in fluid ...
1
vote
1answer
102 views

Can one pick generators for the ring of invariants of binary n-ic forms which have rational coefficients?

The problem of determining a set of generators of the ring of invariants of the group $\textrm{SL}_2$ acting on the complex $n+1$-dimensional vector space of binary $n$-ic forms is known to be very ...
1
vote
0answers
74 views

A slightly odd (integral of Whittaker functions / sum of characters of $GL_n(\mathbb C)$ / sum of Schur functions)

Let $W$ be the normalized spherical Whittaker function attached to a spherical representation $\pi$ on $GL_n(k)$, where $k$ is a $p$-adic field and $n\ge 3$. I'm faced with the slightly-odd integral ...
11
votes
1answer
439 views

A question on invariant theory of $GL_n(\mathbb{C})$.

Let $\rho$ denote the irreducible algebraic representation of $GL_n(\mathbb{C})$ with the highest weight $(2,2,\underset{n-2}{\underbrace{0,\dots,0}})$. Let $k\leq n/2$ be a non-negative integer. ...
6
votes
2answers
246 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
589 views

Is $k[X]^G$ integral closed in $k[X]$.

May assume field $k=\mathbb{C}$. Let $X$ be an affine variety and $G$ be a reductive group (may assume connected). Is the ring of invariants $k[X]^G$ integral closed in $k[X]$? The claim may not ...
15
votes
2answers
994 views

Invariants for the exceptional complex simple Lie algebra $F_4$

This is an edited version of the original question taking into account the comments below by Bruce. The original formulation was imprecise. Let $\mathfrak{g}$ denote a complex simple Lie algebra of ...
7
votes
3answers
474 views

Why can I divide an affine variety by the action of the general linear group?

Let $G\subseteq\mathrm{Gl}_n(\mathbb{C})$ be a subgroup of the general linear group and assume that $\rho:G\to\mathrm{Gl}(V)$ is a representation. Understand the complex vector space $V$ as an affine ...
5
votes
0answers
261 views

FFT like theorems for tensor product

The fundamental theorem of symmetric functions states that $\mathbb C[V]^{S_n}$ is generated by the elementary symmetric polynomials, where $V$ is the natural representation of $S_n$. Then a theorem ...
5
votes
2answers
728 views

Diagonal invariants of the symmetric group on $k[X_1,X_2,…,X_n,Y_1,Y_2,…,Y_n]$

This sounds like something that must have been answered long ago, but for some reason I can find nothing on it in the internet. (There has been lots of recent activity in diagonal covariants, related ...
4
votes
4answers
468 views

Structure of $[S(\mathfrak{g})\otimes S(\mathfrak{g})]^G$ for semisimple $\mathfrak{g}$

Let $\mathfrak{g}$ be a semisimple Lie algebra over $\mathbb{C}$. $S(\mathfrak{g})^G$ is a polynomial algebra with rank $\mathfrak{g}$ generators. Call them $c_i(x)$, where $x\in \mathfrak{g}$ and ...
2
votes
1answer
164 views

Dimension of spaces of invariants/tableaux functions

The Hook lenght formula gives the number of standard Young tableaux on a given diagram. A variant gives the number of semistandard tableuax. Does there exist a formula for counting "weighted ...
3
votes
1answer
311 views

GL(n+1)- vs. GL(n)-orbits

Let $f,g \in \mathbf {C}[x_1, \ldots, x_n]\subseteq \mathbf {C}[x_1, \ldots, x_{n+1}]$ be two polynomials with complex coefficients and suppose that there exists $h_1 \in \mathop{GL}_{n+1}(\mathbf C)$ ...
5
votes
0answers
195 views

Modular reduction of exceptional complex reflection groups

I am interested in reducing reflection representations of complex reflection groups modulo a prime $p$. For the infinite family $G(m,r,n)$, it is straightforward to get "good reduction" provided that ...
6
votes
1answer
233 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)$. ...
4
votes
3answers
379 views

Molien for modular representations?

Let $G$ be a finite group, and let $k$ be a field whose characteristic divides $\left|G\right|$. Let $\rho:G\to \mathrm{End} V$ be a (finite-dimensional) representation of $G$ over $k$. Prove or ...
2
votes
1answer
220 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) ...
2
votes
3answers
295 views

Is the space of polynomial functions on M_n a faithful U(gl_n)-module?

We are over some field $k$ of characteristic $0$. The general linear group $\mathrm{GL}_n$ canonically acts from the left and from the right on the space $\mathrm{M}_n$, and thus also acts from the ...
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 ...
13
votes
3answers
917 views

Noether's bound for anticommutative invariant theory (diff. forms instead of polynomials)?

EDIT: Now with a concrete request to CAS experts (see the end of the post). Let $G$ be a finite group, and $V$ a finite-dimensional representation of $G$. The classical invariant theory of $G$ and ...
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, ...
4
votes
0answers
313 views

A relative Noether number for invariants

EDIT: Wrong definition of $\beta\left(G,H\right)$ fixed. One of the results is open (i. e., I cannot prove it). In "Finite Groups and invariant theory" (a paper in Malliavin's LNM #1478 which can ...
4
votes
1answer
219 views

Invariant forms

Is there a classification of pairs $(\mathfrak g,V)$, with $\mathfrak g$ a Lie algebra and $V$ a $\mathfrak g$-module, such that $(\Lambda^3V)^{\mathfrak g}\neq0$?
6
votes
1answer
439 views

Generalizing cosine rule to symmetric spaces

The sine and cosine rules for triangles in Euclidean, spherical and hyperbolic spaces can be understood as invariants for triples of lines. These invariants are given in terms of the distance (both ...