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.

learn more… | top users | synonyms

42
votes
1answer
3k 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 ...
15
votes
2answers
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 ...
13
votes
2answers
453 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 ...
13
votes
3answers
926 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 ...
12
votes
1answer
464 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. ...
12
votes
2answers
404 views

Explicit generators for matrix invariants of the symmetric group

Let $V$ be the space of $n$ by $n$ complex matrices with the conjugate action of the symmetric group $G=S_n$. Is any explicit set of generators for the invariant ring $C[V]^G$ known?
10
votes
6answers
2k 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 ...
10
votes
5answers
1k views

area of triangle from coefficients of its cubic?

Three points $z_1$, $z_2$, $z_3$ on the complex plane are given by the coefficients $a_k$'s of the cubic polynomial $f(z)=(z-z_1)(z-z_2)(z-z_3)=\sum_{k=0}^3 a_k z^k$. How does one express the ...
10
votes
2answers
876 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 ...
10
votes
1answer
513 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 ...
9
votes
2answers
312 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 ...
9
votes
2answers
540 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 ...
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, ...
8
votes
8answers
2k 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 ...
8
votes
2answers
538 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 ...
8
votes
0answers
192 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 ...
8
votes
0answers
180 views

Characteristic classes from moduli of alternating forms

Suppose, just for example, that you have a smooth manifold $M$ of dimension greater than $8$,and a cohomology class $q$ in $H^3(M,{\Bbb R})$. Suppose further that one can represent $q$ with a ...
7
votes
3answers
483 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 ...
7
votes
2answers
376 views

Quotients by the additive group $\mathbb G_a$

Geometric invariant theory doesn't work so well for non-reductive groups, since invariant rings are not generally finitely generated. However, in many cases the action of a non-reductive group has a ...
7
votes
1answer
318 views

When two singularities $\mathbb C^n/G$ and $\mathbb C^n/G'$ are the same?

Let us consider two singularities $\mathbb C^n/G$ and $\mathbb C^n/G'$, where $G$ and $G'$ are finite subgroups of $\mathrm{GL}(n,\mathbb{C})$ acting linearly. It is easy too see, that a different ...
7
votes
2answers
385 views

Equivariant normalization?

Let $G=\mathrm{Gl}_n\mathbb C$ and let $X$ be an affine $G$-variety. Let $\phi:\tilde X\to X$ be the normalization of $X$, i.e. the spectrum of the integral closure of $\mathbb C[X]$ in its fraction ...
7
votes
1answer
182 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 ...
7
votes
0answers
461 views

Can one give a “nice” expression for this determinant?

I am asking this question on behalf of a senior faculty member who is sometimes intimidated by computers. It is motivated by a problem in invariant theory. Unfortunately the question is a bit vague. ...
6
votes
3answers
919 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 ...
6
votes
5answers
834 views

Explicit invariants (under change of basis) of maps $V \to V \otimes V$.

It is standard to construct numbers associated to a linear transformation $f: V \to V$ of a finite-dimensional vector space which are invariant under change of basis. The coefficients of 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 ...
6
votes
2answers
251 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}^ * ) ...
6
votes
2answers
750 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 ...
6
votes
3answers
493 views

What is the ring of invariants of GL acting on quaternary cubic forms?

Suppose I am looking at $GL(4,K)$ acting on a cubic form in say four variables $x,y,z,w$ over $K$ via the usual induced action on a polynomial. Does anyone know what is/where I can find how to compute ...
6
votes
1answer
447 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 ...
6
votes
3answers
417 views

$SL(n) \times SL(n)$-invariants of $m$-tuples of matrices

I work over field of complex numbers. Let $G=SL(n) \times SL(n)$, and $(A,B) \in G$ acts on $m$-tuples of matrices $M_{n \times n}(\mathbb{C})^{\oplus m}$ as follows $$ (A,B) \cdot (M_1, \ldots, M_m) ...
6
votes
3answers
310 views

Invariants of group action: SL_n acts simultaneously on m symmetric matrices

Let $\rm{SL}_n$ be the special linear group and let $\rm{Sym}_n$ be the set of all symmetric matrices of size n. $\rm{SL}_n$ acts on $(\rm{Sym}_n)^m$ by $g(A_1, \ldots , A_m)=(gA_1 g^{\rm T}, \ldots , ...
6
votes
2answers
316 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 ...
6
votes
1answer
237 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)$. ...
6
votes
2answers
273 views

Arithmetic Cohen-Macaulayness of curves/surfaces defined by weighted power sums in 3 variables

Pick $p,q,r$ complex numbers (I am most interested in the case when they are positive integers). Define the function $P_i = px^i + qy^i + rz^i$ where $x,y,z$ are coordinates. I have a few related ...
5
votes
1answer
649 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 ...
5
votes
1answer
124 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
2answers
192 views

Local maxima and minima of the trace of a product of $SL_2^\pm(\mathbb{R})$-matrices

I am working on a problem relating to Lyapunov exponents of products of random matrices, and this has led me to the following question which I suspect is best approached using techniques outside my ...
5
votes
1answer
311 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 ...
5
votes
0answers
108 views

The action of Steenrod squares on the indeterminate in Bullett-Macdonald identities

The Bullet-Macdonald identity (c.f. On the Adem relations)is the following: $$P(s^2+st)P(t^2)=P(t^2+st)P(s^2).$$ where we have $P(s)=\Sigma _s s^iSq^i$. This is known to be equivalent to the Adem ...
5
votes
0answers
146 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 ...
5
votes
0answers
70 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 ...
5
votes
0answers
148 views

algebra of endomorphisms over the diagonal invariants

Let $k$ be a field of characteristic 0 (say $\mathbb{C}$). Consider the ring of polynomials $R = k[X_1,...,X_n]$ and its subring of invariant polynomials $S = R^{S_n}$. It is known that the ...
5
votes
0answers
266 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
0answers
196 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 ...
4
votes
4answers
479 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 ...
4
votes
1answer
279 views

Monotonicity of complete homogeneous symmetric polynomials

The complete homogeneous symmetric polynomials are defined as $$ h_k (x_1, \dots,x_n) = \sum_{1 \leq i_1 \leq i_2 \leq \cdots \leq i_k \leq n} x_{i_1} x_{i_2} \cdots x_{i_k}. $$ For example, $$ ...
4
votes
3answers
381 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 ...
4
votes
2answers
375 views

Adem-Wu relations from Bullett-Macdonald identities

Question. Let $p$ be a prime. Let $q$ be a power of $p$. Let $P^0$, $P^1$, $P^2$, ... be elements of some associative $\mathbb F_q$-algebra $A$. (Here, $P^i$ does not mean $P$ to the $i$-th power; ...
4
votes
3answers
183 views

Generate a higher degree symmetric polynomial from an existing one

Suppose $p(x_1, x_2, \cdots, x_n)$ is a symmetric polynomial. Given any univariate polynomial $u$, we can define a new polynomial $q(x_1, x_2, \cdots, x_{n+1})$ as $q(x_1, x_2, \cdots, x_{n+1}) = ...