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

0
votes
0answers
28 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
44 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
85 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
32 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
64 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
41 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
236 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
66 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
59 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
59 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
22 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
24 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
43 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
52 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 ...
1
vote
1answer
139 views

A simple question on forward and backward invariant sets

A subset $A\subset X$ is forward invariant if $f^{t}(A)\subset A$ for all $t\ge 0$ and backward invariant if $f^{-t}(A)\subset A$ for all $t\ge 0$. I want to show that the complement of a forward ...
0
votes
1answer
46 views

$SL(2)$ invariant polynomials are generated by determinant?

Suppose $SL_2(\mathbf{C})$ acts on the space of quadratics $aX^2+2bXY+cY^2$ by $X\to \alpha X+\beta Y, Y\to\gamma X+\delta Y$, where $\alpha,\beta,\gamma,\delta$ consists a matrix in ...
11
votes
1answer
86 views

Diffeomorphism-invariant spaces of smooth functions

Let's start with an interesting story. In his celebrated Partial Differential Relations (p. 146), the great Misha Gromov gives a nice exercise of which the following is a (strict) part. Exercise. ...
2
votes
1answer
53 views

Quotients of curves

Magma (link) has a lot of functionality for computing quotients of curves by group actions. I am interested to know how one does this in general and I am finding it oddly difficult to find literature ...
2
votes
0answers
61 views

Partial derivatives with respect to algebraically independent polynomials

Suppose that $\{f_1, \ldots, f_n\}, \{g_1, \ldots, g_n\}$ and $\{h_1, \ldots, h_n\}$ are algebraically independent polynomials that generates the same algebra of $\mathbb{R}[x_1, \ldots, x_n]$. Then I ...
2
votes
1answer
140 views

The elementary symmetric functions are a homogeneous system of parameters for the invariant ring of a permutation representation

For a permutation representation of order $n$ over a field $F$, I need to show that the elementary symmetric functions $s_1,s_2,\ldots,s_n$ form a homogeneous system of parameters for the ring of ...
0
votes
4answers
120 views

Show that $\mathbb{F}[x^2,y^2,xy]$ is not polynomial

$\mathbb{F}[x^2,y^2,xy]$ is the polynomials in two variables whose terms all have even degrees. Of course, this generating set $x^2,y^2,xy$ is not algebraically independent, but I need to show that no ...
0
votes
0answers
49 views

Characters of Linear Algebraic Groups

Reading about the semi-invariants of quivers, I see a fact which is frequently referred to in the literature, and is assumed to be trivial. However, I don't see that very easily. So, I was wondering ...
2
votes
1answer
54 views

Write $V=P_2(\mathbb{R})$ as a direct sum of $V=W_1\oplus W_2 \oplus W_3$

So, if I let $T:P_2(\mathbb{R}) \rightarrow P_2(\mathbb{R})$ and is a linear endomorphism given by $T(f(x))=f(x)-f(2x-1)$. Then I have to write$V=P_2(\mathbb{R})$ as a direct sum of $V=W_1\oplus W_2 ...
1
vote
1answer
69 views

Discriminant is the unique invariant of $\text{SL}_2\mathbb{Z}$ acting on polynomials.

The following is a really wonderful theorem that I really have no idea how to prove. Consider $p=ax^2+bxy+cy^2$, and let $\text{SL}_2\mathbb{Z}$ act on all such $p$ by $\begin{pmatrix} a&b \\ ...
1
vote
0answers
59 views

What does invariant exactly mean and how does it get the invariant?

I have read many journal about simulation of regularized long wave. In numerical test section,many researcher use invariant of mass,momentum and energy to check accuracy of their method but i found ...
0
votes
1answer
65 views

Representations of symmetric groups of order $2n$ and $n$

Background: Denote by $S_n$ the symmetric group of order $n$. There are many ways to embed $S_n$ as a subgroup into $S_{2n}$. Given a symmetric group, we can use Young diagrams to classify all ...
1
vote
1answer
99 views

Affine transformation invariants and lie groups

Is it possible to generate geometric properties which are invariant under affine transformations? I'm trying to learn about lie groups and lie algebras with the example of the lie group of affine ...
3
votes
1answer
91 views

How does Molien series describe polynomial invariants?

As I understood from wiki page, Given a finite group acting on a vector space, Molien series gives a generating function, although I am not sure what this means. And how is this related to the ...
4
votes
1answer
83 views

Invariants of $O(2) \times O(2)$ under simultaneous conjugation

Let $G= \textrm{O}(2)$ be the group of orthogonal $2 \times 2$ matrices over $\mathbb{C}$. $G$ acts on $G \times G$ by conjugation: $g \cdot (a,b) :=(g a g^{T}, g b g^T)$. This induces an action on ...
2
votes
1answer
48 views

Algebraic invariants for first order equivalence between fields

I know that every two models of the theory $ACF$ (namely two algebraic closed fields) with the same characteristic are elementary equivalent. But what about generic fields? Are there any algebraic ...
2
votes
1answer
92 views

The disease problem

Students are sitting in a n * n grid. There's a disease spreading among them in a particular fashion. At start, there a 'k' students infected(At random). After every time step(equal intervals), the ...
0
votes
1answer
62 views

Generating set of the algebra invariants of finite group.

Let a finite group $G$ acts on a complex vector space $V$ and let $\mathbb{C}[V]^G$ be corresponding algebra of polynomial invariants. Let $f_1,f_2,\ldots,f_m$ be a generating set of this algebra of ...
2
votes
0answers
52 views

Multidegree semi-invariants for quiver representations

Given a quiver Q=($Q_0,Q_1$) ($Q_0$ is the set of vertices and $Q_1$ is the set of arrows) and a dimension vector $\alpha$, the coordinate ring may be written as $\bigotimes_{a \in ...
1
vote
0answers
54 views

Show that isotropic function S(A) and A have same eigenvectors

Given $\boldsymbol{A}$ is a positive definite, symmetric second order tensor and $\boldsymbol{Q}\boldsymbol{S}(\boldsymbol{A})\boldsymbol{Q}^T = \boldsymbol{S}(\boldsymbol{QAQ}^T)$ $\forall ...
3
votes
0answers
55 views

Invariants of the symmetric group

Let $V_\lambda$ be an irreducible representation of the symmetric group $S_n$ as usual labeled by parition $\lambda$ of $n.$ Question. Is there any general information about the algebra of ...
0
votes
3answers
61 views

Name of quantity that is not invariant, but only changes in one direction

How do you call a quantity that is not an invariant, but only changes in one direction during the process? Example: The degree of the polynomials go down when Euclidean division is applied, so the ...
1
vote
0answers
37 views

Is there any significance to this matrix/operator?

I am working on a problem involving the the polarized Hessian covariant in Cartesian coordinates on $\mathbb{R}^2$ $[a,b] = \frac{1}{2} \frac{\partial ^2 a}{\partial x ^2} \frac{\partial ^2 ...
2
votes
2answers
108 views

Total dimension of the cohomology of a homogeneous space (or of a graded Tor)

I want to calculate the cohomology ring with rational coefficients of a homogeneous space, but would be happy enough to know its total dimension. Let $G$ be a compact Lie group, $T$ a maximal torus, ...
4
votes
1answer
119 views

Polynomial with given group of symmetries

Let $f$ be a polynomial in $n$ variables and $G$ - its group of symmetries (group of permutations of variables wich left $f$ in place). I'm trying to such $f$ for given group $G$. I have troubles when ...
2
votes
0answers
104 views

Invariants of $K\left[\bigoplus_{k=1}^n V^{\bigodot k} \right]$

What are the generators of invariant ring $K\left[\bigoplus_{k=1}^n V^{\bigodot k} \right]^G$, where $G$ is subgroup of $GL(V)$ with natural representation on $\bigoplus_{k=1}^n V^{\bigodot k} ...
4
votes
1answer
143 views

Exercise from Etingof's notes on Representation Theory

I am reading through these notes of Etingof on Representation theory and I am stuck with one exercise (it's problem 4.69 in the notes). The problem is the following. Consider the space ...
2
votes
0answers
146 views

Invariant functions under integral transforms

We all know Fourier transform has invariants such as $e^{-x^2}$, and another MSE post has shown the non-existence of invariant function under Hilbert transform using Fourier transform. I am wondering ...
3
votes
0answers
50 views

Is invariant theory OK in positive characteristic?

Let G be a connected reductive group over an algebraically closed field of characteristic p. Let X = Spec(A) be an affine variety over the same field, with an action of G. Are the closed points in ...
1
vote
0answers
31 views

From linear invariants of group to general ones

There is a lot of information about classical/linear invariants of finite groups. But does it lead to general invariants of group (for example, when we consider some action of our group on finite ...
1
vote
1answer
63 views

Torus orbit closures and rank-1 subtori

Suppose I have a connected complex torus $K$ acting on a quasi-affine complex variety $X$. Suppose also that I have $p,q\in X$ such that the orbit $Kq$ is closed in $X$ and $q\in ...
1
vote
0answers
82 views

Finding an invariant polynomial under a matrix action

I asked this question as a mathematica question: http://mathematica.stackexchange.com/questions/41689/finding-a-certain-invariant-polynomial-using-matrix-coordinates but maybe it will get more ...
1
vote
0answers
83 views

Invariants of the Determinant Form

Consider a form of degree $r$ in $n$, that is, a homogeneous polynomial $$f(x_1, \ldots, x_n)=\sum_{i_1+\ldots i_n=r}\alpha_{i_1 ... i_n}x_1^{i_1} ... x_n^{i_n} $$ After the linear change of ...
1
vote
0answers
20 views

Looking for a basic reference on propagators (in Topology)

I am looking for a basic (preferably self-contained) reference where I can read about propagators (as they appear in Topology), and in particular Morse propagators. Thanks!