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

**2**

votes

**0**answers

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

**5**

votes

**1**answer

196 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

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

**1**

vote

**0**answers

41 views

### Algebraic invariants of linear ODE's with constant coefficients

Let consider linear ODE with constant coefficients:
$$y^{(n)}(x) + A_{n-1} y^{(n-1)}(x) + ... + A_1 y'(x) + A_0 y(x)= 0.$$
It admits some equivalence point transformations, that preserves its ...

**5**

votes

**2**answers

387 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

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

**6**

votes

**3**answers

653 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

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

**9**

votes

**1**answer

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

**6**

votes

**3**answers

469 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

247 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

**0**answers

114 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

**2**answers

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

**4**

votes

**3**answers

243 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

**2**answers

548 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

318 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

310 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

115 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

**1**answer

170 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

195 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

543 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

751 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

**1**answer

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

**1**

vote

**1**answer

967 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

**2**answers

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

**6**

votes

**2**answers

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

**13**

votes

**3**answers

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

**4**

votes

**1**answer

373 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

**1**answer

447 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

**2**answers

478 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

**2**answers

406 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

**2**answers

588 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

**1**answer

589 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

**3**answers

302 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

**4**answers

781 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

**2**answers

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