Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [classical-invariant-theory]

3
votes
1answer
140 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
votes
0answers
114 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
0answers
97 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
1answer
186 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
1answer
188 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 ...
4
votes
1answer
167 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
1answer
212 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
0answers
34 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
2answers
290 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
3answers
317 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
3answers
428 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 \...
21
votes
2answers
590 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
1answer
306 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
1answer
253 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
2answers
248 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
2answers
189 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
0answers
108 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
1answer
343 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
1answer
131 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 ...
6
votes
2answers
504 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
0answers
93 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$ ...
10
votes
3answers
2k 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
4answers
496 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 ...
10
votes
1answer
369 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
3answers
514 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
1answer
331 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
0answers
252 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
2answers
424 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
3answers
256 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....
8
votes
2answers
768 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
354 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
401 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
126 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
1answer
216 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
200 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
1answer
602 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
840 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
1answer
258 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
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 (signed)...
2
votes
1answer
1k 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
2answers
594 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
2answers
651 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 ...
18
votes
3answers
1k 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 equations,...
5
votes
1answer
395 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
476 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 forms,...
10
votes
4answers
2k 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 ...
7
votes
2answers
508 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})$. ...
5
votes
2answers
428 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 ...
5
votes
2answers
754 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 ...
11
votes
1answer
743 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 ...