# Questions tagged [classical-invariant-theory]

The tag has no usage guidance.

62 questions
Filter by
Sorted by
Tagged with
165 views

### What is the Molien series of the SO(2)-invariant ring on the plane (sometimes written C[X]^{SO(2)} )?

Let SO(2) be the group of rotations in the plane. What is the Molien series (sometimes called the Hilbert-Poincare series) of the SO(2)-invariant ring of polynomials? N.B. The main goal being to ...
• 21
130 views

### Is the ideal of the Veronese variety $V_{d,n}$ generated by quadrics?

Maybe it sounds like a silly question to the experts but I'm not able to find a proper reference in the web. Anyone knows if the ideal $I_{d,n}$ of the Veronese variety $V_{d,n}$ is generated by ...
• 1,231
140 views

• 3,511
1 vote
122 views

### Parameter of Brauer algebra

Let $O(V)$= the set of orthogonal transformation from the vector space $V$ to $V$ where $\dim V=n$. We know that the centralizer algebra of $O(V)$ on the tensor space $V^{\otimes{f}}$ is Brauer ...
• 99
353 views

• 2,085
327 views

### Moduli of smooth curves in $|\mathcal{O}_{\mathbb{P}^1\times\mathbb{P}^1}(2,2)|$ and their invariants

It is well known that any smooth curve $C\in |\mathcal{O}_{\mathbf{P}^1\times\mathbf{P}^1}(2,2)|$ has geometric genus equal to 1, so its isomorphism class is determined by its $j$-invariant. ...
• 287
147 views

### For what graph does the following algebraic property hold?

Let $G=(V,E)$ be a simple graph. My question: For what graph $G$, does there exist a permutation $\sigma$ on $V$ such that $$\prod_{uv\in E}(x_{\sigma(u)}-x_{\sigma(v)})=-\prod_{uv\in E}(x_u-x_v)?$$ ...
• 1,967
238 views

### On a relation between the Hessian and the catalecticant matrix of a binary quartic form

I am currently working on a paper that requires using the theory of invariants of binary quartic forms. Playing around, I have found an interesting identity that gives the Hessian from the minors of ...
• 2,912
149 views

### Reference request: invariants/tableaux functions for 4 lines in $P^3$

Does anybody have a reference for invariants of configurations of linear subspaces in the projective space? In particular I would be curious to see an explicit expression of the invariant functions ...
• 3,727
236 views

### Invariants of the group $SO(2)$

Let $V_d$ be the complex vector space of binary forms of degree $d$ endowed with the natural action of the special orthogonal group $SO(2).$ Consider the corresponding action of the group $SO(2)$ on ...
• 516
237 views

• 21.7k
597 views

• 419
491 views

• 516
264 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 - e.... 1k 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 ...
• 103
369 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$. 455 views

• 291
298 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 ...
• 1,495
207 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 ...
• 586
640 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. ...
• 19.3k
946 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 ...
• 147
288 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 ...
• 147
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 (signed)...
2k 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 $-27a^2d^2$...
• 21
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 ...