# Tagged Questions

Invariant theory deals with an algebraic, geometric or analytic structure X , submited to the action of an (algebraic) group G . It studies G-invariant elements of X as well as the set of G-orbits.

4k views

### Geometric interpretation of characteristic polynomial

The coefficients of lowest and next-highest degree of a linear operator's characteristic polynomial are its determinant and trace. These have well-known geometric interpretations. But what about its ...
675 views

### How to make the Capelli's identity less mysterious?

The formulation of the Capelli's identity is very elementary; it has important applications in invariant theory and representation theory, see http://en.wikipedia.org/wiki/Capelli%27s_identity To ...
1k 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 ...
963 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 $V$...
475 views

### Invariants and orbits of $n$-tensors

My question may be absolutely elementary and is probably answered in 19th century. A reference or a short clear argument would be highly appreciated. Let $V_1, \ldots V_n$ be finite dimensional ...
420 views

### Most discriminants are almost squarefree

Write, for $f(x) = x^d + a_2 x^{d-2} + \cdots + a_d\in \mathbb{Z}[x]$, $H(f) := \max(|a_i|^{\frac{1}{i}})$. Does anyone know of a reference that would allow me to show that the proportion of $f$ with ...
554 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. ...
380 views

1k views

### Chevalley–Shephard–Todd theorem

The wikipedia article claims that the theorem "was first proved by G. C. Shephard and J. A. Todd (1954) who gave a case-by-case proof. Claude Chevalley (1955) soon afterwards gave a uniform proof". I ...
599 views

### When Are Quotients Complete Intersections?

Let $S_{n}$ denote the permutation group on $n$ letters and $G\subset S_{n}$ a transitive subgroup. The inclusion of $G$ in $S_{n}$ defines an action of $G$ on $\mathbb{C}^{n}$. By finding a ...
258 views

### Invariant ring of $S_5$

The irreducible representations of the Symmetric group $S_5$ are classified by the partitions of $5$. For the standard representation which corresponds to the partition (4,1) the ring of invariants is ...
3k views

### Resources on Invariant Theory

Hi, So my question is pretty much summed up by the summary - basically I've run into a need to teach myself some of the basics of invariant theory and was looking for a good place to start. I'd ...
407 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 ...
631 views

### On the field of invariants of a finite group

So let $G$ be a finite group and let $\iota:G\rightarrow S_n$ be an embedding of $G$ in a symmetric group of degree $n$ for some fixed integer $n$. Let $K$ be a fixed field of characteristic $0$. The ...
246 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 ...
252 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 ...
2k 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, ...
1k views

### Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic?

Background/motivation It is a classical fact that we have a natural isomorphism $Sym^n (V^*) \cong Sym^n (V) ^\ast$ for vector spaces $V$ over a field $k$ of characteristic 0. One way to see this is ...
654 views

352 views

### Alternating multilinear invariants of GL(n) on End (k^n)

Introduction. Let $k$ be a field of characteristic $0$, and let $n\in\mathbb N$. Let $V=k^n$. The group $\mathrm{GL}_n\left(k\right)=\mathrm{GL} V$ acts on $\mathrm{End} V$ by conjugation, and thus ...
123 views

### Generate harmonic polynomials for a finite group

Let $G$ be a finite group acting on a complex vector space $V$. Let $\mathcal{D}$ denote the differential operators with constant coefficients and $\mathcal{D}^{G}$ be the $G$-invariant operators. A ...
251 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)$. ...
### 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 ...