# Questions tagged [classical-invariant-theory]

The classical-invariant-theory tag has no usage guidance.

60
questions

**2**

votes

**1**answer

129 views

### Are there any results on an upper bound for the number of secondary invariants needed to generate the invariant ring of a finite group?

If $ G $ is a finite cyclic group, $ \beta: G \to \operatorname{GL}(\mathbf{V}) $ is a linear $ n $ dimensional representation of $ G $, and $ \{x_{1},\dots,x_{n}\} $ is a basis of $ \mathbf{V}^{\ast} ...

**15**

votes

**1**answer

846 views

### History of Study's Lemma?

The following theorem is usually attributed to Eduard Study:
Let $f(x,y)$ and $g(x,y)$ be polynomials in two variables over a field, with $f$ irreducible. If $f\nmid g$ then the curves $C_f:f=0$ and $...

**1**

vote

**0**answers

104 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 ...

**7**

votes

**2**answers

310 views

### What are all invariant polynomials on the space of algebraic curvature tensors?

Let $V = (\mathbb{R}^n, g)$, where $g$ is the Euclidean inner product on $V$. Denote by $G$ the orthogonal group $O(V) = O(n)$ and by $\mathfrak{g}$ the Lie algebra of $G$.
Let $W \subset \Lambda^2V^* ...

**3**

votes

**0**answers

63 views

### Invariant theory of the indefinite orthogonal groups

I believe the following statements are true:
Let $V$ be a finite-dimensional real vector space with a positive-definite inner product $g$. Let $g_{\otimes n}$ denote the natural extension of $g$ to $...

**12**

votes

**1**answer

318 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. ...

**5**

votes

**1**answer

144 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)?$$
...

**3**

votes

**1**answer

205 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 ...

**3**

votes

**0**answers

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 ...

**2**

votes

**0**answers

186 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 ...

**8**

votes

**1**answer

224 views

### Can discriminant polynomials become perfect powers on hyperplanes?

Let
$$\displaystyle f(x) = a_d x^d + a_{d-1} x^{d-1} + \cdots + a_0.$$
Consider the discriminant of $f$, denoted by $\Delta(f)$, defined as
$$\displaystyle \Delta(f) = a_d^{2d-2} \prod_{i < j} (\...

**4**

votes

**1**answer

326 views

### How to check if a ternary cubic is a product of linear forms?

Let $F$ be a square-free (as a polynomial) ternary cubic form over $\mathbb{C}$, and let $H_F$ be its Hessian determinant... which is also a ternary cbic form. If $F$ splits over $\mathbb{C}$, so that ...

**6**

votes

**1**answer

416 views

### higher Casimirs for $\mathfrak{sl}$

The Wikipedia universal enveloping algebra suggest a way to obtain higher Casimir operators (e.g. generators of the center of $\mathfrak{U(g)}$ for $\mathfrak{g}$ semisimple) by evaluating certain ...

**4**

votes

**1**answer

247 views

### Resultants for compactly represented product form polynomials?

Typically computing resultnt of $n+1$ different $n+1$-variate homogeneous polynomials takes $O(poly(\prod_{i=1}^{d_{i}}))$ time where $d_i$ is degree of $i$th polynomial. In certain cases the ...

**2**

votes

**0**answers

63 views

### Explicit formulas for polynomial invariants of cubic surfaces in Sylvester standard form

By a cubic surface $X_F$ we mean the zero locus of a homogeneous cubic polynomial $F(x,y,z,w)$. The group $\text{GL}_4$ acts on $X_F$ via substitution. The ring of polynomial invariants induced by ...

**10**

votes

**2**answers

390 views

### A curious identity involving a covariant of binary cubic forms

Let $F(x,y) = a_3 x^3 + a_2x^2 y + a_1 xy^2 + a_0 y^3$ be a binary cubic form, say with real coefficients. Put $H(x,y) = H_F(x,y)$ for the Hessian covariant of $F$, defined by
$$\displaystyle H_F(x,y)...

**8**

votes

**3**answers

502 views

### Explicit formulas for invariants of binary quintic forms

I am looking for explicit formulas for the four basic invariants $I_4, I_8, I_{12}, I_{18}$ of a generic binary quintic form, either given in the shape
$$\displaystyle F(x,y) = ax^5 + 5bx^4y + 10cx^...

**9**

votes

**3**answers

622 views

### Invariants of exterior powers

Let $\mathfrak{g}$ be the Lie algebra of $GL(n,\mathbb{R})$. Let $\theta(X) = - X^T$ be the Cartan involution on $\mathfrak{g}$; it induces decomposition as $\mathfrak{g} = \mathfrak{k} \oplus \...

**22**

votes

**2**answers

846 views

### What is currently feasible in invariant theory for binary forms?

When Paul Gordan became a professor in 1875 he could show the binary form in any degree has some finite complete system of (general linear) invariants, but he could not actually give a complete system ...

**3**

votes

**1**answer

511 views

### Question on the integral $\int_{-\infty}^{\infty} e^{a x^4+b x^3+c x^2+d x+f}\,dx$

From the wikipedia page on Gaussian integral https://en.wikipedia.org/wiki/Gaussian_integral the following formula holds:
$$\int_{-\infty}^{\infty} e^{a x^4+b x^3+c x^2+d x+f}\,dx =\frac12 e^f \ \...

**4**

votes

**1**answer

437 views

### Homogeneous polynomials and symmetric binary forms

Let $f\in k[x_0,...,x_n]_d$ be a degree $d$ homogeneous polynomial in $n+1$ variables.
Is there a way to associate to $f$ a form $g(y_1,...,y_m)$ which is symmetric in the sets of binary variables $...

**5**

votes

**2**answers

309 views

### Discriminant of a composition of binary forms

Let $F(x,y), A(x,y), B(x,y)$ be homogeneous polynomials with integer coefficients (a.k.a. binary forms) such that the degrees of $A(x,y)$ and $B(x,y)$ match. Define
$$R(x,y) := F\left(A(x,y), B(x,y)\...

**8**

votes

**2**answers

254 views

### Vanishing of Aronhold S-invariant on the cubic forms on $H^2(X, \mathbb Q)$

I am considering several examples of compact complex threefolds $X$ such that $rk H^2(X)=3$.
Note that we have a cubic form on $H^2(X, \mathbb Q)$ which comes from the cup product.
I calculated the ...

**3**

votes

**0**answers

120 views

### Dimension of curvature invariants

EDIT: Let $V$ be a Euclidean space and let $O(V)$ denotes its orthogonal group.
Let $K(V)\subset Sym^2(\wedge^2(V))$ denote the subspace of curvature tensors, i.e. the subspace of elements satisfying ...

**6**

votes

**1**answer

501 views

### Local differential geometry and invariant theory

Can someone please give me pointers to the literature for local differential differential geometry according to invariant theory in the following sense, provided such a literature exists?
Start with ...

**6**

votes

**1**answer

183 views

### Constructing symmetric invariants of the exceptional simple Lie algebra as restrictions

Let $\mathfrak{g}$ be a complex simple Lie algebra with maximal torus $\mathfrak{h}$, Weyl group $W$. The adjoint representation $\operatorname{ad} : \mathfrak{g} \rightarrow \mathfrak{gl(g)}$ extends ...

**7**

votes

**2**answers

560 views

### Generalization of Pascal's Theorem to Higher Dimensions

Pascal's celebrated theorem in classical geometry gives a necessary and sufficient condition for the existence of a conic through six given points in the plane. Does there exists a similar statement ...

**2**

votes

**0**answers

109 views

### Anti-Invariant Polynomials of the Dihedral group

I'm interested in the one-dimensional irreducible representations of $D_{2n}$ acting on $\mathbb{R}[x,y]$. I have found that the trivial representations for an algebra freely generated by $x^2+y^2$ ...

**14**

votes

**3**answers

3k views

### Generators of invariant polynomials of semisimple Lie algebra

Suppose $\mathfrak{g}$ is a complex semi-simple Lie algebra. By a theorem of Chevalley, we know that $S(\mathfrak{g})^\mathfrak{g}$, i.e. the $\mathfrak{g}$ invariant polynomials, is generated by $l$ ...

**2**

votes

**4**answers

516 views

### Equivalent binary forms

Two binary forms $f, g \in k[x, y]$ are equivalent when there exists an $M \in GL_2 (k)$ such that $f^M = g$. For simplicity we take $k$ such that $char (k) =0$ and $k=\bar k$.
The equivalence ...

**11**

votes

**1**answer

452 views

### Decomposition of $\mathrm{O}(n)$-modules coming from differential geometry

Let $V$ be a $n$-dimensional real vector space equipped with a positively definite scalar product $g$ and let $\mathrm{O}(n)$ be the automorphism group of $(V,g)$. View $V^{\otimes k}$ as a $\mathrm{O}...

**6**

votes

**3**answers

568 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) \...

**1**

vote

**1**answer

390 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 ...

**4**

votes

**0**answers

263 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)$ ...

**5**

votes

**2**answers

451 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 $\mathbb{...

**4**

votes

**3**answers

260 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....

**9**

votes

**2**answers

988 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

**2**answers

362 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

**1**answer

434 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

**0**answers

146 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 $C_{n,m}=\mathbb{C}[...

**2**

votes

**1**answer

281 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

**2**answers

206 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 ...

**12**

votes

**1**answer

628 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

**1**answer

912 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 ...

**3**

votes

**1**answer

285 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 ...

**11**

votes

**5**answers

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)...

**2**

votes

**1**answer

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$...

**8**

votes

**2**answers

645 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

**2**answers

726 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 ...

**20**

votes

**3**answers

2k 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 ...