Invariant theory deals with an algebraic, geometric or analytic structure X , submited to the action of an (algebraic) group G . It studies G-invariant elements of X as well as the set of G-orbits.

learn more… | top users | synonyms

3
votes
1answer
160 views

Maximal Coset representative for the Weyl group of a Parabolic

Let $G=SL_n$ and let $P_i$ be a maximal parabolic corresponding to a simple root say $\alpha_i$. Let $W_{P_i}$ be the Weyl group of $P_i$. Is there an efficient way to compute the longest coset ...
5
votes
1answer
122 views

Stabilizers of pairs of ternary quadratic forms

Let $A,B$ be two ternary quadratic forms with real coefficients, given by symmetric matrices $$\displaystyle 2A = \begin{pmatrix} 2a_{11} & a_{12} & a_{13} \\ a_{12} & 2a_{22} & a_{23}...
1
vote
1answer
74 views

Parametric solutions to a system of equations

Let $s,t$ be two independent real parameters, and let $a_2(s,t), a_1(s,t), a_0(s,t)$ be linear forms in $s, t$ with real coefficients. Put $a_4 = s, a_3 = t$ and consider the quadratic form $$\...
3
votes
1answer
170 views

Tensor and symmetric invariants of Symmetric group

For the action of $S_n$ on $\mathbb C^n$ the elementary symmetric polynomials generate the ring of polynomial invariants. What are the generators for the action of $S_n$ on $\mathbb C^n \otimes \...
4
votes
2answers
197 views

Invariant theory for parabolics

Let $G$ be a connected reductive group over $\mathbb{C}$ of (reductive) rank $\ell$. Let $P$ be a parabolic of $G$ and let $P=LN$ denote the Levi decomposition. Let $\mathfrak{g}, \mathfrak{p}, \...
2
votes
1answer
1k views

What is this affine invariant used in computer vision?

An affine invariant for 4 coplanar points $A,B,C,D$ is: $\mathrm{Area}(ACD)/\mathrm{Area}(ABC)$. Can somebody provide a proof that this is invariant under affine transformations?
5
votes
0answers
212 views

Is the field of invariants $k(V)^G$ purely transcendental over $k$?

Reference: http://www.math.u-psud.fr/~colliot/mumbai04.pdf Proposition 4.3. on page 18 in the above reference reads as follows: Assume $k = \overline{k}$. If $V$ is a finite dimensional vector space ...
11
votes
2answers
371 views

Affine GIT is an open map?

Let $k$ be a field, $X= \text{Spec}\,A$ be an affine scheme, with $A$ a finitely generated $k$-algebra. $G=\text{Spec}\,R$ is a linearly reductive group acting rationally on A, i.e. every element of $...
1
vote
1answer
78 views

slice theorem for proper actions

I'm trying to understand the slice-theorem for proper Lie-group actions. Having a smooth manifold $M$ and a Liegroup $G$ acting on $M$ in a proper way, we have the slice theorem, saying that at each ...
3
votes
0answers
130 views

Invariant functions on the dual Lie algebra

Let $G$ be a real Lie group and $\mathfrak{g}$ the corresponding Lie algebra. Let $\mathfrak{g}^*$ be the dual of the Lie algebra. Then we have the coadjoint action of $G$ on $\mathfrak{g}^*$. ...
5
votes
0answers
332 views

Ring of invariants of a finite subgroup of $GL_2(\mathbb{C})$

In the paper: Kac, Victor; Watanabe, Keiichi, Finite linear groups whose ring of invariants is a complete intersection. Bull. Amer. Math. Soc. (N.S.) 6 (1982), no. 2, 221–223 it is said in Remark 2 ...
2
votes
1answer
94 views

Irreducible binary quartic form with prescribed $I$ and $J$-invariants

Let $F(x,y) = ax^4 + bx^3y + cx^2y^2 + dxy^3 + ey^4$ be a binary quartic form with integer coefficients. It is well-known that $F$ has two algebraically independent invariants under the action of $\...
4
votes
1answer
92 views

Primary invariants

This question is related to the earlier question which is in the given link: Primary invariants of a finite group Let $G$ be a finite group and $V$ a complex representation of degree $n$, and let $...
7
votes
2answers
496 views

Quotients by the additive group $\mathbb G_a$

Geometric invariant theory doesn't work so well for non-reductive groups, since invariant rings are not generally finitely generated. However, in many cases the action of a non-reductive group has a ...
4
votes
2answers
202 views

Invariant polynomials under diagonal action of the orthogonal group

Consider the diagonal action of the orthogonal group $O(n)$ on $\mathbb{R}^n\times\mathbb{R}^n$ defined as: $U\cdot (x,y) = (Ux,Uy)$ for $U\in O(n)$ and $x,y\in\mathbb{R}^n$. I am looking for a ...
3
votes
0answers
60 views

Can we express the degree 10 and degree 15 Galois resolvents of sextic binary forms in terms of its basic invariants?

Let $V_6$ denote the 7 dimensional $\mathbb{C}$-vector space of binary sextic forms. For $T = \begin{pmatrix} t_1 & t_2 \\ t_3 & t_4 \end{pmatrix} \in \operatorname{GL}_2(\mathbb{C})$, $T$ ...
1
vote
1answer
90 views

Primary invariants of a finite group

For a finite group $G$ and complex representation V of degree $n$, I would like to know the precise definition of Primary invariants. Does any set of n algebraically independent homogeneous invariants ...
4
votes
0answers
48 views

Is the restriction of a graded automorphism linearizable in characteristic zero?

This question follows up a previous one which was answered by Todd Leason. I want to impose two new requirements on the setup. Let $k$ be a characteristic zero field. Let $A=k[x_1,\dots,x_n]$ be the ...
4
votes
1answer
289 views

How to compute the tangent space of a quotient by a finite group

Let $I\subseteq R:=\mathbb C[x_0,\ldots,x_n]$ be a homogeneous ideal defining a subscheme $X\subseteq\Bbb P^n$. As in my previous question, the permutation group $\mathfrak S_{n+1}$ acts on $R$ by ...
2
votes
0answers
140 views

Smoothness of a (given) global section of a vector bundle over G(2,6)

Let $G=Gr(2,6)$ the Grassmannian of two planes in $V=\mathbb C^6$, and let $\mathcal Q(1)$ the rank four quotient bundle on it twisted with $\mathcal O_G(1) \cong $ det$(S^*)$, $S$ being the ...
9
votes
1answer
246 views

Invariants and stablizers for the $PGL(V)$ action on $End(V\otimes V)$

Let $K$ be a field of characteristic zero, and $V$ a finite dimensional vector space over $K$. Consider the action of the algebraic group $G:=PGL(V)$ on the vector space $W:=End_K(V^{\otimes 2})$ by ...
2
votes
0answers
77 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 ...
2
votes
1answer
68 views

Is the restriction of a graded automorphism of a polynomial ring to a polynomial subring linearizeable?

Let $k$ be a field and let $A=k[x_1,\dots,x_n]$ be a polynomial algebra over $k$, and let $B\subset A$ be a graded subalgebra that is itself a polynomial ring, i.e. $B=k[f_1,\dots,f_m]$ for some ...
5
votes
1answer
502 views

Finite dimensional Lie algebra with non-degenerate invariant bilinear forms $\Omega_{ab}$

Firstly, my apology to MO experts that I am in a more science/physics background (a PhD). So please feel free refine/modify/comment my language if I have different math accents than yours. From ...
3
votes
2answers
190 views

Checking smoothness of the components of a highly symmetric scheme via quotient?

Setting Let $I\subseteq\mathbb C[x_0,\ldots,x_n]=:S$ be a homogeneous ideal and $X\subseteq\mathbb P^n$ the scheme defined by $I$. Consider the action of the symmetric group $\mathfrak S_{n+1}$ on $S$...
4
votes
0answers
170 views

$\text{PGL}_2(\mathbb{Q})$-equivalence versus $\text{PGL}_2(\mathbb{Z})$-equivalence

Let $V_{\mathbb{R}}$ be the space of binary quartic forms with real coefficients (so in particular $V_{\mathbb{R}}$ is a 5-dimensional vector space over $\mathbb{R}$), and define the twisted action of ...
7
votes
1answer
172 views

How fine an invariant of a representation is its quotient singularity?

This is a refinement of a question asked on MSE. Let $G$ be a finite group and let $V$ be a finite-dimensional faithful complex representation of $G$. Consider $V$ as an affine complex variety. In ...
0
votes
1answer
80 views

full set of invariant functions on manifold

Let $M$ be a smooth manifold and $G$ a Lie group acting properly on $M$. Let $k$ be the codimension of a maximal dimensional $G$-orbit in $M$. Is it always possible to construct $k$ functions $f_1, \...
2
votes
0answers
61 views

Diagonal invariants of $SO(n)$

Consider a Lie algebra $\mathfrak g$ (I am mostly interested in the case $\mathfrak g=so(n)$), its universal enveloping algebra $U$ and its center $C$. There is an adjoint action of $\mathfrak g$ on $...
4
votes
1answer
259 views

Is the Veronese variety “enough” to describe all the $SL(V)$-orbits in $\mathbb{P}(\textrm{Sym}^dV)$?

I apologise in advance if the question will look ridicolous to experienced eyes: in this case a good reference will be enough to clarify my doubts. Let $V$ be a complex vector space of dimension $n$, ...
4
votes
0answers
169 views

The density of quartic polynomials whose Galois group is a subgroup of $D_4$

Let $D_4$ denote the (isomorphism class of) dihedral group of 8 elements. For a given binary quartic form $f$ with integer coefficients, define $\text{Gal}(f)$ to be the Galois group of the Galois ...
28
votes
2answers
667 views

How to make the Capelli's identity less mysterious?

The formulation of the Capelli's identity is very elementary; it has important applications in invariant theory and representation theory, see http://en.wikipedia.org/wiki/Capelli%27s_identity To ...
4
votes
2answers
412 views

Cyclically symmetric functions

Where can I learn about the invariant theory associated with actions of cyclic groups (as opposed to symmetric groups)? E.g., do the functions $x+y+z$, $xy+yz+zx$, and $x^2y+y^2z+z^2x$ generate the ...
13
votes
1answer
420 views

Most discriminants are almost squarefree

Write, for $f(x) = x^d + a_2 x^{d-2} + \cdots + a_d\in \mathbb{Z}[x]$, $H(f) := \max(|a_i|^{\frac{1}{i}})$. Does anyone know of a reference that would allow me to show that the proportion of $f$ with ...
3
votes
1answer
154 views

Existence of $SO(n)$-isotropic inner products which are not $O(n)$-isotropic

$\newcommand{\al}{\alpha}$ Let $M_n$ be the space of $n \times n$ real matrices. Question: For which $n$, is there an inner product on $M_n$ which satisfies: $$(*) \, \, \langle Q^TXQ,Q^TYQ \...
0
votes
0answers
66 views

Hausdorff limits of fibers of affine maps

Let $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$, and let $$ F=(P_1,\ldots, P_m):\mathbb{K}^n\to \mathbb{K}^m $$ be a polynomial map. I would like to know under what conditions the preimages $F^{-1}(y)$ of ...
10
votes
1answer
257 views

Invariant ring of $S_5$

The irreducible representations of the Symmetric group $S_5$ are classified by the partitions of $5$. For the standard representation which corresponds to the partition (4,1) the ring of invariants is ...
2
votes
2answers
255 views

Fundamental invariants for root subsystems

Let $\Phi$ be an irreducible root system of rank $\ell$. The fundamental invariants of $\Phi$ is a set of $\ell$ integers $d_1, \cdots, d_\ell$ canonically attached to $\Phi$. Now suppose $\Psi$ 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)...
-1
votes
1answer
131 views

Tensor bundles as G structures [closed]

For a smooth, real surface $\Sigma$, its bundle of symmetric, bi-linear forms $S^2T\Sigma$ reduced to a $PGL(2,\mathbb{R})$ structure. A similar reduction(with different structure group) can be done ...
7
votes
1answer
262 views

Ring of invariants for the regular representation

The symmetric group $S_n$ acts on $\mathbb C^n$ by permuting the coordinates. In this case the ring of invariants is generated by elementary symmetric polynomials in n-variables. Now consider the ...
5
votes
1answer
152 views

Common zero of invariants of finite groups

Let $G$ be a finite group $n = |G|$. Let $\sigma : G \rightarrow GL(n,\mathbb{C})$ be the regular representation. Hence every element of $G$ can be seen as a permutation matrix. Let $\mathbb{Q}[x_1,......
2
votes
0answers
79 views

Irreducible real curves on ${\mathbb C}P^1$ invariant under the finite group action

Let $G$ be a finite subgroup of a Möbius group with a standart action on a real algebraic variety ${\mathbb C}{\mathbf P^1}.$ How one can describe $G$-invariant irreducible real algebraic curves? ...
1
vote
2answers
193 views

Can a general binary sextic form be put into the following form?

Let $F(x,y) = a_6 x^6 + a_5 x^5 y + \cdots + a_0 y^6$ be a binary sextic form with real coefficients and non-zero discriminant. Can one always find an element $U = \begin{pmatrix} u_1 & u_2 \\ u_3 ...
3
votes
3answers
371 views

Is the space of polynomial functions on M_n a faithful U(gl_n)-module?

We are over some field $k$ of characteristic $0$. The general linear group $\mathrm{GL}_n$ canonically acts from the left and from the right on the space $\mathrm{M}_n$ of all $n\times n$-matrices, ...
5
votes
1answer
188 views

Description of the algebra of $G$-invariant polynomials by generators and relations

Fix $n > 1$ and let $\zeta \in \mathbb{C}$ be a primitive $n$-th root of unity. Let $G \subset \text{SL}_2(\mathbb{C})$ be a cyclic subgroup of order $n$ generated by the diagonal matrix $g = \text{...
6
votes
1answer
122 views

Generate harmonic polynomials for a finite group

Let $G$ be a finite group acting on a complex vector space $V$. Let $\mathcal{D}$ denote the differential operators with constant coefficients and $\mathcal{D}^{G}$ be the $G$-invariant operators. A ...
0
votes
1answer
74 views

Generalization of a Result about degree bounds of invariant rings

A theorem of Knop states that if $G$ is semisimple and connected acting on a vector space $V$ over a field $K$ of characteristic 0, then the degree of the Hilbert series of $K[V]^G$ is less than or ...
5
votes
1answer
193 views

Invariant Laurent polynomials under cyclic group action

Start with the cyclic group $G:=\mathbb{Z}/p$ of prime order $p$ and and an integer lattice $P:=\mathbb{Z}^p$. Let $G$ act on $P$ by cyclic permutation of coordinates. There is an induced action on ...
1
vote
1answer
135 views

Equivariant polynomial maps

Let $V$ be a complex vector spaces and assume that a compact group G acts linearly on $V$. Then look at the $G$-equivariant polynomial maps from $V$ to $V$. Denote this by $Mor_G(V,V)$. In the case ...