Invariant theory is a branch of abstract algebra dealing with actions of groups on algebraic varieties, such as vector spaces, from the point of view of their effect on functions. (Def: http://en.m.wikipedia.org/wiki/Invariant_theory)

learn more… | top users | synonyms

2
votes
1answer
47 views

Producing a $G$-invariant form from the standard Hermitian product using the averaging process

Problem statement: Let $G$ be a cyclic group of order $3$. The matrix $$A=\begin{bmatrix} -1 && -1 \\ 1 && 0 \end{bmatrix}$$ has order $3$, so it defines a matrix representation of ...
0
votes
0answers
17 views

Does Magma let you specify primary invariants?

I am cross-posting this question from scicomp.SE. The computer algebra system Magma can calculate primary invariants (i.e. a homogeneous system of parameters) in an invariant ring of a finite group ...
1
vote
0answers
24 views

Does the order of a finite group divide the product of degrees of a system of parameters of the invariant algebra?

Let $V$ be a vector space of dimension $n$ over a finite field $\mathbb{F}$, and let $G$ be a subgroup of the finite group $\operatorname{GL}(V)$. Then $G$ acts on the graded algebra $\mathbb{F}(V)$ ...
3
votes
0answers
36 views

About differential 1-form associated to a ternary cubic form

I've read the following statement which I can't prove after a while, so if someone here could give me just a hint then I would be very happy! Suppose $k$ is a number field. To a ternary cubic form, ...
0
votes
0answers
39 views

Matrix representation of a 6-dimensional Lie algebra

The question is about the matrix representation of the following 6-dimensional Lie algebra, with 6 generators $t_1,t_2,t_3,t_4,t_5,t_6$. This Lie algebra is nilpotent, non-abelian, non-reductive and ...
3
votes
0answers
26 views

What does it take to have a precise definition of volume?

Many proofs in elementary geometry use an intuitive but imprecise definition of the area or the volume. For example, Euclid's first proof of the Pythagorean Theorem uses the fact that all triangles of ...
1
vote
0answers
40 views

Invariants of a real symmetric matrix

Problem. I have a real symmetric $n \times n$ matrix $A$ and would like to compute a set of real numbers $f(A) = (x_1, \ldots, x_m) \in \mathbb R^m$ which are invariant under multiplication of $A$ ...
2
votes
1answer
36 views

If $p_T(x)=(x-\lambda_1)^{n_1}\dots(x-\lambda_t)^{n_t}$, find $t$ operators such that $T=T_1\oplus\dots\oplus T_t$

Be $T\in \mathscr{L}(V)$ a linear operator with characteristic polynomial $p_T(x)=(x-\lambda_1)^{n_1}\dots(x-\lambda_t)^{n_t}$, $n_i\geq 1$ and $\lambda_i\neq\lambda_j$ if $i\neq j$. Show that $T$ ...
2
votes
1answer
31 views

Canonical forms for tensors of type (2,1)

Are there any canonical forms for tensors of type (2,1)? Such a tensor can be defined as a bi-linear map $$ T:V \times V \rightarrow V,$$ for $V$ a finitely dimensional real vector space.
1
vote
1answer
27 views

Is there an invariant similar to the characteristic polynomial for (0,2) and (2,0) tensors?

The characteristic polynomial of a matrix - a (1,1) tensor - is its invariant (independent on basis transformation). Is there a similar invariant for (0,2) and (2,0) tensors? The characteristic ...
0
votes
0answers
15 views

G-invariant polynomials for a concrete G

The collection of matrices$$ \left( \begin{array}{lll} a^2 & 2ab &b^2 \\ ac & bc+ad & bd \\ c^2 & 2cd & d^2 \end{array} \right)$$ indexed by $a,b,c,d \in \mathbb{R}$ is a ...
0
votes
0answers
68 views

4D representation of finite group and projection operator

Suppose I have a finite group, say $C_2$, and its Cartesian representation $ \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ ...
2
votes
1answer
37 views

Calculating the ring of invariants for the action of $\mathbb C^*$ on $\mathbb C^2\setminus \{0\}$

Let $\mathbb{C}^*=\mathbb C\setminus\{0\}$ act on $\mathbb C^2\setminus \{0\}$ by scalar multiplication, where $\mathbb C^2=\operatorname{Spec}(\mathbb C[x_0,x_1])$. Then $\mathbb C^2\setminus ...
0
votes
0answers
16 views

Geometric Invariants of a conic section

There are three independent invariants for every conic section, viz., $$[I_1,I_2,I_3]= [ (a + b + c), (a b -h^2), Det(( a,h,g), (h,b.f), (g,f,c) )] $$ How are they related to the known geometric ...
2
votes
1answer
34 views

Equivalent definition of almost geometric quotient

I am trying to prove the following lemma - Lemma - Let $X$ be a variety and let $G$ be an algebraic group acting algebraically on $X$. Let $\pi:X\rightarrow X//G$ be a good categorical quotient. Then ...
2
votes
1answer
35 views

Given $\pi:X\rightarrow Y$ how to show $X$ is irreducible (resp. normal) $\Rightarrow$ $Y$ is irreducible(resp. normal)?

Let $G$ act on the affine variety $X=\operatorname{Spec}(R)$ such that $R^G$ is a finitely generated $\mathbb C$ - algebrs and let $\pi:X\rightarrow Y=\operatorname{Spec}(R^G)$ be the morphism of ...
2
votes
0answers
59 views

Invariant ring for $S_5$ [closed]

For the standard representation of $S_5$, the ring of invariants is generated by the elementary symmetric polynomials and hence it is a polynomial ring. Now if we take the tensor product of standard ...
3
votes
2answers
66 views

Ring of Invariants of symmetric group

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 ...
1
vote
1answer
19 views

What is known about rational points on the ideal of relations / syzygy ideal?

What is known about rational points on the ideal of relations / syzygy ideal? Let $G$ be a finite group, with $|G|=n$. Then $G$ acts on $\mathbb{Q}[x_1,\cdots,x_n]$ through the regular representation ...
0
votes
0answers
41 views

equivalent definition of a good categorical quotient?

Working solely with varieties, as you may know, a pair ($Y$, $\pi$) is a "good categorical quotient" for the $G$-variety $X$ if: 1) $\pi$ is surjective and constant along orbits 2) for any open $U ...
0
votes
1answer
15 views

Is a polynomial which is invariant in the roots of some separable polynomial also invariant in the usual sense?

Let $\alpha_1,\cdots,\alpha_n \in \mathbb{C}$ be the roots of a separable polynomial with rational coefficients. Let $K := \mathbb{Q}(\alpha_1,\cdots,\alpha_n)$. Then the field extension ...
1
vote
1answer
23 views

Does the invariant ring determine the group?

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 $I_G := ...
0
votes
1answer
45 views

What is a trivial linear operator?

The question asks to find a non-trivial linear operator T to make a subspace T-invariant. I'm thinking of $T(x)=2x$, since $2x$ clearly stays in the subspace by scalar multiplication closure, but not ...
7
votes
0answers
66 views

$\mathbb C[X_1, \ldots, X_n]$ is a free module over $\mathbb C[X_1, \ldots, X_n]^G$

Let $G$ be finite subgroup of $GL_n( \mathbb C )$. Let $\mathbb C[X_1, \ldots, X_n]^G$ be the set of all G-invariant polynomials of $\mathbb C[X_1, \ldots, X_n]$. Is there any rule by which we can ...
4
votes
1answer
28 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 = ...
4
votes
0answers
26 views

Invariants of finite groups

Let $G$ be a finite group acting linearly on $\mathbb{C}^n$ and $\mathbb{C}[X]^G$ be the ring of invariant polynomials. If $G$ is a group generated by reflections, this ring is generated by $n$ ...
3
votes
0answers
13 views

Equivariant polynomial maps and gradients of invariants

Let $G$ be a finite group with a linear action on $\mathbb{C}^n$ and $f\in\mathbb{C}[X_1,\ldots,X_n]$ be invariant. Then the gradient of $f$ gives rise to a polynomial map $\phi$ from $\mathbb{C}^n$ ...
5
votes
1answer
35 views

Is there a plane algebraic curve with just 3-fold rotational symmetry, but without reflection symmetry?

I am new to the subject of invariant theory, but the Reynolds operator popped up so I tried to calculated some examples for myself. I computed the invariant polynomials under the cylic group $C_3$ of ...
0
votes
1answer
20 views

Elimination in system of equations

I find in article ,,Model-Based Recognition of 3D Objects from One View,, by I. Weiss M. Ray this system of equations: $$\mu m'_{12} - I_1\mu'm_{12} + \mu\mu'(I_1 - 1)m_{25} = 0 \\ \mu m'_{13} - ...
1
vote
1answer
24 views

For which power of a matrix does it has eigenvectors?

I Have the following question in my exercise: Let $T:\Bbb R^2 \rightarrow \Bbb R^2$ $[T]_E= \left[ \begin{matrix} 2&-4\\5&-2\\\end{matrix} \right]$ The question asks to find all $n \in \Bbb ...
0
votes
0answers
63 views

Why is a graded $\mathbb{C}$-algebra free as a module over the subring generated by a regular sequence?

I am reading Bernd Sturmfels' book Algorithms in Invariant Theory. On p. 38 he makes the following assertion: "If $\theta_1,\dots,\theta_n$ are algebraically independent over $\mathbb{C}$, then the ...
1
vote
0answers
30 views

Is $R$ a finitely generated algebra over $R^G$?

Let $R$ be a noetherian ring, $G$ a finite group acting on $R$, $R^G$ its invariant subring. Is $R$ a finitely generated algebra over $R^G$? Is $R^G$ a noetherian ring?
1
vote
1answer
33 views

Maps from a (f.g.) $k$-algebra (w/action of finite group $G$) to $k$, that agree on the subring of $G$-invariants

Suppose $A$ is a finitely generated $k$-algebra with action of a finite group $G$. Suppose we have two maps $\Phi: A\to k$ and $\Phi': A\to k$ such that $\Phi|_{A^G}=\Phi'|_{A^G}$, i.e. they agree on ...
1
vote
1answer
44 views

Lyapunov invariant set for affine systems

Given a linear system $\dot{x}=Ax$ such that the real part of every eigenvalue of $A$ is less than $0$, Lyapunov's equation $A^T P + P A = -Q$ with $Q$ being any suitably sized positive definite ...
0
votes
0answers
23 views

Invariant theory and irreducible representation of a group

I am now reading the book 'Invariant theory' by Neusel. It seems that the logic is like this: You have a representation of a group $G$ on some vector space $V$, this might be a reducible ...
0
votes
1answer
39 views

Are similar complex matrices again similar when each is expressed as a real matrix?

We know that, relative to this ordered basis {$(1,0),(i,0),(0,1), (0,i)$}, we can express a 2x2 complex matrix mapping $C^2 -> C^2$ as a $4x4$ real matrix (representing the same transformation of ...
1
vote
2answers
82 views

Automorphism of order 2 of C[x,y] and its ring of invariants

Let $A=\Bbb C[x,y]$. For an automorphism $\sigma$ of order $2$ of the algebra $A$, let $B=\{ f \in A \mid \sigma f = f \}$ be the subalgebra of $A$ consisting of all fixed points of $\sigma$, and ...
1
vote
0answers
26 views

Computing the trace and determinant of a matrix representation relative to a real basis, from the matrix relative to a complex basis,

Let $A$ be the complex matrix representing a transformation of the vector space $C^2$ of 2-tuples over the complex numbers into itself, relative to the natural ordered basis {(1,0),(0,1)}. Let $A_R$ ...
3
votes
0answers
63 views

Local Noetherian ring and its invariants

Let $R$ be a local Noetherian ring and $G$ a finite group. Is $R$ finitely generated as a module over its invariants $R^G$? Thank you.
2
votes
1answer
38 views

Question on an exercise in Atiyah-Macdonald.

I am reading a proof for exercise 5.13 in Atiyah and Macdonald, given below. Exercise 12 is the following I understand everything except one thing, why is $\prod_{\sigma \in G} \sigma^{-1}(x) \in ...
0
votes
1answer
102 views

Proving an eigenspace is a T-Invariant subspace.

I want to know if I'm going about this proof the correct way. Problem Statement: Let $T$ be a linear operator on a vector space $V$, and let $λ$ be a scalar. The eigenspace $V^{(λ)}$ is the set of ...
2
votes
2answers
59 views

Determining ring of invariants of $\pm$ Identity

Determine the ring of invariants $\mathbb C [x,y,z]^\Gamma$ for: $$\Gamma :=\{ \begin{pmatrix} \pm1 & 0 & 0 \\ 0 & \pm1 & 0 \\ 0 & 0 & ...
3
votes
0answers
55 views

finitely generated over invariants

I was wondering if there are some conditions we can add to the following statement to make it true "The ring $R$ is finitely generated as a module over $R^G$, where $G$ is a finite group and $R^G$ ...
3
votes
1answer
49 views

Permutation groups acting on polynomial rings and base change

Let $G\subset S_n$ be a permutation group, and let it act on $R = \mathbb{Z}[x_1,\dots,x_n]$ by permuting the variables, as usual. $G$ acts on $R\otimes_\mathbb{Z} S$ for any unital ring $S$ via its ...
0
votes
0answers
21 views

Algebra of invariants finitely generated

If algebraic torus $T = \mathbb G_m^n$ over an algebraically closed field $k$ acts on finitely generated algebra $A$ over $k$, is the algebra $A^T$ of invariants finitely generated?
0
votes
0answers
21 views

Invariant subspace under representation $\phi$

Let $\phi: \Bbb{Z}/n\Bbb{Z}\to GL_{2}(\Bbb{C})$ be the representation which takes $\bar{m} \to \begin{bmatrix} \cos (\theta) & -\sin (\theta) \\ \sin (\theta) & \cos (\theta) \end{bmatrix}$ ...
0
votes
0answers
37 views

Regular sequence in rings of invariants

When I was reading a book in invariant theory, I've come across this assumption: "Let $f_1, f_2 \in \mathbb{F}[V]^G$ be a regular sequence in $\mathbb{F}[V]$". I know that we cannot assume anything ...
2
votes
0answers
24 views

Local Lie derivative on $G$-space at the zero of a vector field

Let a Lie group $G$ act on a manifold $M$ and let $X\in Lie(G)$. For now suppose $G=T$ is a torus (but the answer to this question should hold for $G$ abelian). $L_X$ is a vector field on $M$, at a ...
1
vote
1answer
41 views

Find the invariant polynomial space of a finite matrix group.

This is an exercise from Ideals, Varieties and Algorithms by Cox et al. Denote the finite matrix group $\{\pm I_2\}\subset GL(2,k)$ by $C_2$. It is known that the invariant polynomials under $C_2$ ...
1
vote
1answer
51 views

Do we have $\mathbb{C}[SL_n] = \oplus_{\lambda, \text{ht}(\lambda)\leq n} V_{\lambda} $?

The coordinate algebra $\mathbb{C}[SL_n]=\mathbb{C}[x_{ij}: i, j \in \{1, \ldots, n\}]/(\det(x_{ij}) - 1)$ is a representation of $SL_n$: $(g'.f)(g)=f(g'^T g)$. Let $V_{\lambda} = \langle e_T : T ...