The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
171 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 ...
3
votes
0answers
78 views

First Fundamental Theorem for Alternating Group

I know it fails but is there an answer? More precisely, let $V$ be the standard complex $n$-dimensional representation of the alternating group $A_n$, $kV$ the direct sum of its $k$ copies, $S(kV)$ ...
4
votes
2answers
377 views

Linearisation of a group

If $G$ is a connected Lie group acting on a vector $\mathbb{C}$-space $V$ then it is well known that the algebra of invariants $\mathbb{C}[V]^G$ coincides with the algebra of invariants ...
5
votes
3answers
223 views

Invariants in $S^n(S^k(\mathbb{C}^w)$

Are the formulas for the multiplicity of $SL(w)$ invariants in $S^n(S^k(\mathbb{C}^w)$ known? This is a very classical topic. If no, in what ranges one can compute it (for certain paramaters fixed - ...
8
votes
2answers
393 views

Invariant polynomials for a product of algebraic groups

Let $G_1$ and $G_2$ be connected reductive algebraic groups defined over $\mathbb{C}$ and let $V_1$ and $V_2$ be irreducible representations of $G_1$ and $G_2$ respectively. I'm interested in general ...
3
votes
2answers
291 views

degrees of the invariants for the action of $SL(V)$ on $\wedge^4V$

How can we find the degrees of the invariants for the action of $SL(V)$ on $\wedge^4V$ , $dimV=8$ by the model in the Lie algebra $E_7$.
3
votes
1answer
231 views

Igusa invariants of genus 2 curves as Siegel modular functions?

Hi, Are the Igusa invariants (defined in Igusa's oringal paper) also classical Siegel modular forms? I read from somewhere that $\psi_4=\frac{1}{4}I_4, \quad \psi_6=\frac{1}{8}(I_2I_4-3I_6), \quad ...
0
votes
0answers
99 views

The transcendence degree of the algebras of invariants

Let $V_n,V_m$ be the vector $\mathbb{C}$-spaces of the binary forms of degrees $n,m$ considered as usual $SL_2$-modules. Let $I_{n,m}=\mathbb{C}[V_n \oplus V_m]^{SL_2}$ and ...
2
votes
1answer
154 views

Modules of invariants?

Let $G \subset SL(V, \mathbb{C})$ be a finite group and $R=(\operatorname{Sym}\[V\])^G$ is the ring of polynomial invariants, $W$ some irreducible complex representation of $G$. I want to know is ...
2
votes
2answers
189 views

Computing the relations in invariant algebra

Suppose we have a ring $R$ and a finite group $G$ acting on it, Is there a way to compute the invariant ring $R^G$ explicitly? Infact I am more interested in the case of affine ring and the symmetric ...
11
votes
1answer
406 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. ...
5
votes
1answer
544 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 ...
2
votes
1answer
181 views

When the affine quotient is faithfully flat?

It may be easy for the expert. Consider the map from $n$ by $m$ matrices (over $\mathbb{C}$ )to the $n$ by $n$ symmetric matrices $\phi\colon A\mapsto A A^T$. My question is when this map is ...
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 ...
1
vote
1answer
739 views

Transformation of a cubic form

How can I change an integral binary form $ax^3+bx^2y+cxy^2+dy^3$ with the usual discriminant $D =b^2c^2-27a^2d^2+18abcd-4ac^3-4b^3d $ into a form $ax^3+dy^3$ which has a simple discriminant ...
7
votes
2answers
492 views

Classical invariants involving exterior powers of standard representation

While investigating certain conformal blocks line bundles on $\overline{M}_{0,n}$, I was led to what seems to be an identification between two spaces of invariants, and I am curious if there is a ...
5
votes
1answer
536 views

Classical invariant theory: absolute rational invariants and $GL(2)$-orbits

I have a question concerning classical invariant theory. Consider binary $n$-forms (i.e. all homogeneous polynomials of degree $n$ of two variables) over the field of complex numbers. Clearly, the ...
8
votes
2answers
645 views

What theorem of Liouville's is Gian-Carlo Rota referring to here?

I am very curious about this remark in Lesson Four of Rota's talk, Ten Lessons I Wish I Had Learned Before I Started Teaching Differential Equations: "For second order linear differential ...
3
votes
1answer
315 views

The ring of SL_2 invariants in sums of conjugation and tautological modules

Rings of Invariants Consider $G=SL_2(\mathbb{C})$, and let $V$ be a finite-dimensional $G$-representation. Let $\mathbb{C}[V]$ denote the ring of polynomial functions on the space $V$; it is a free ...
8
votes
1answer
425 views

The exceptional Lie algebra $\mathfrak{g}_2$ and binary cubics

How is the exceptional 14-dimensional Lie algebra $\mathfrak{g}_2$ related to the covariant algebra for the binary cubic? Here are some details on this question. This algebra is generated by 4 ...
7
votes
2answers
454 views

Generators for the algebra of GL(n)-equivariant maps from M_n + M_n to M_n

Let $M_n$ be the set of $n$-by-$n$ matrices with complex entries, viewed as a variety over $k=\mathbb{C}$. Equip $M_n$ with the conjugation action of $\mathrm{GL}(n)=\mathrm{GL}(n,\mathbb{C})$. ...
3
votes
1answer
310 views

Left U_n-invariants of SL_n - an exercise in Kraft-Procesi

I am sorry for spamming MO with questions I have not thought about for more than 3 hours, but currently I am quite busy with preparing a talk on representations of $S_n$, and I don't want these to get ...
4
votes
2answers
454 views

Howe duality for exceptional algebras

There is a nice tool in representation theory, the Howe duality, which as I know works for certain pairs of classical Lie algebras (the reference to the complete list of Howe dual pairs is appreciated ...
10
votes
1answer
472 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 ...
4
votes
3answers
291 views

Generalized symmetric algebras and Dickson algebras over ${\mathbb F}_p$.

Start with the really well-known fact that $R[x_1, \ldots, x_n]^{S_n}$, where $R$ is any commutative ring, is polynomial on elementary symmetric polynomials. Now consider the slight generalization of ...
9
votes
4answers
753 views

A ring of invariants in characteristic 2

Let $K$ be an algebraic closure of $\mathbb{F}_2$. The cyclic group $C_{2^n}$ acts on $K[x_0, \dots, x_{2^n-1}]$ by cyclically permuting the $x_i$: $a : x_i \rightarrow x_{i + a \bmod 2^n}$. Is ...
8
votes
2answers
543 views

Enumeration of graphs arising in invariant theory

I've been working on a talk based on some stuff in Olver's "Classical Invariant Theory" book and have been wondering about a related graph enumeration problem. Start with a triple $(n,v,e)$ of ...