The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
45 views

$\mathbb{A}^m/G_{m} = \emptyset$?

Let $\mathbb{A}^m ={\text{Spec}}\mathbb{C}[x_1,\dots,x_m]$, and the multiplicative group $G_m \cong \mathbb{C}^*$ acts on $\mathbb{C}[x_1,\dots,x_m]$ by $$\lambda_t (x_1,\dots,x_m)= ...
1
vote
0answers
246 views

Frobenius normal form

i would like to clarify everything about Frobenius normal form,so please help me to understand it .as i read from wikipedia In linear algebra, the Frobenius normal form, Turner binormal ...
0
votes
1answer
50 views

Verify if set S is invariant for a given system.

Consider the autonomous linear discrete–time system $x(k+1) = Ax(k)$ with $A = \begin{bmatrix} 0.5 & 0 & 0 \\ 2 & -0.6 & 0 \\ -2 & -1 & 1.2 \end{bmatrix}$ and set $S = \{x \in ...
3
votes
1answer
1k views

Invariant Factors vs. Elementary Divisors

I have been studying Cooperstein's Advanced Linear Algebra for about seven months now and I am having problems understanding how to find the elementary divisors of a linear operator and how to find ...
12
votes
1answer
163 views

Original Formulation of Hilbert's 14th Problem

I have a problem seeing how the original formulation of Hilbert's 14th Problem is "the same" as the one found on wikipedia. Hopefully someone in here can help me with that. Let me quote Hilbert first: ...
6
votes
0answers
227 views

'Galois Resolvent' and elementary symmetric polynomials in a paper by Noether

In Emmy Noether's 1915 paper "Der Endlichkeitssatz der Invarianten endlicher Gruppen", I saw the notion of a 'Galois resolvent', which I don't quite understand. Google didn't really help me with that, ...
0
votes
2answers
121 views

Is it possible to find a 2D distribution function such that the higher order moments always exist?

Is it possible to generate a 2D distribution function $f(x,y)$ with function supports specified as $[-a,a]$ and $[-b,b]$ for $x$ and $y$ respectively, such that it always has moments which are NON ...
3
votes
3answers
160 views

Ring of invariants of Klein Four group

Assume $F$ is a field and assume $f\in F[x_1,\ldots,x_4]$ is a polynomial that is invariant under the Klein Four group $V_4$. How can I show that this polynomial can then be rewritten as a polynomial ...
1
vote
0answers
59 views

Invariants of representation theory of Lie groups

How to compute the determinant of a representation of an element of the special linear group? How do I argue that it doesn't change? (@Marek: @rschwieb: Yes well, given one represenation (with ...
2
votes
0answers
44 views

Invariants of parabolic subgroups

Let $G$ be a finite reflection group acting on $R^n$. Then for each point $x\in R^n$ we can look at its stabilizer $G_x$. Since $G$ is a finite reflection group, its ring of invariants is a polynomial ...
1
vote
0answers
62 views

Does $k[B]^{B'}=k[\det(b),\det(b)^{-1}]$?

Let $k=\overline{k}$. Suppose $GL_2(k)$ acts on $GL_2(k)$ by left multiplication. Then $k[GL_2]^{SL_2} = k[\det(g),\det(g)^{-1}]$. Now for $B=\left\{ \left( \begin{array}{cc} b_{11} & b_{12} ...
2
votes
0answers
126 views

DFT shift theorem generalizations?

The DFT shift theorem implies that any circular shift in the input space is equivalent to a phase change in the frequency domain, while the absolute values are preserved. $$ ...
4
votes
2answers
457 views

Schur-Weyl Duality ( Classical ) and the Double Commutant reference request

I would like to ask for any reference suggestions on the topic of Schur-Weyl Duality for GLn ( directly GLn, not through the lie algebra ) and the double commutant theorem. The section on this ...
7
votes
1answer
130 views

Invariants of binary forms under a $\begin{pmatrix} 1& 1 \\ 0& 1 \end{pmatrix}$ action

The special linear group $\text{SL}_2(\mathbb{Z})$ of $2\times 2$ invertible matrices in $\mathbb{Z}$ acts on binary cubic forms $\{ax^3 + bx^2y + cxy^2 + dy^3\}$ by acting on the vector $(x,y)^T$. ...
7
votes
1answer
246 views

Two questions on Nagata's counterexample to the Hilbert's fourteenth problem.

Let $\{a_{ij}\}$ for $i=1,2,3$, and $j=1,...,16$ be algebraically independent elements over some prime field. Let $k$ be a field containing all $a_{ij}$. Then consider $k^{16}$ as $k$-vector space and ...
2
votes
1answer
106 views

Geometric interpretation for this invariant in square bracket notation?

Let $X=\{p_1,p_2,p_3,p_4\}$ be four points in $\mathbb{R}^2$, not three of them on a line. We use the square bracket notation $$[i,j,k]=\det \begin{pmatrix} p_i & p_j & p_k \\ 1 & 1 & ...
1
vote
0answers
29 views

Degrees of parabolic subgroups

Suppose a finite reflection group $G$ has the degrees $d_1,\ldots,d_n$. Let $G^*$ be a parabolic subgroup of $G$. What are the degrees of $G^*$. Since $|G^*|$ divides $|G|$ it is clear that the ...
2
votes
1answer
87 views

Describe invariant polynomials under action of commutative group of order eight.

I believe the question below should be fairly standard in invariant theory ; I hope someone more familiar with it than me can explain a bit more or point to a reference. Let $F$ be polynomial field ...
1
vote
0answers
42 views

Ring of invariants for the action of rotation groups in tensors.

Consider the component-wise action of the group $SO(p)\times SO(q)$ in the tensor product of two real vector spaces $S^2(R^p)\otimes R^q$. How to parametrize orbits of this action ? For $q=1$ we ...
1
vote
1answer
94 views

What is an example of a syzygy in invariant theory or pre-abstract algebra

I need an example involving the old invariant theory that pre-dated abstract algebra.
1
vote
0answers
115 views

Ring of invariants for $\Sigma_3$

I've just started reading about classical invariant theory and I'm not seeing how the general pattern should work, maybe it's obvious I don't know... Let $k$ be a field with $\mathrm{char}\ k = 0$, ...
1
vote
2answers
96 views

$GL_2(\mathbb{C})$-invariant ring for $M_2(\mathbb{C})\times M_2(\mathbb{C})$

For $\mathbb{C}^*$-action on $\mathbb{C}^2$ by $t\circ(x,y)=(t^{-1}x,ty)$, the ring of invariant polynomials is $\mathbb{C}[xy]$. For $\mathbb{C}^*$-action on $\mathbb{C}^4$ by ...
1
vote
1answer
49 views

Why is it that $\mathbb{C}[\{m_{ij}\}]^{G} \subseteq \mathbb{C}[\textrm{tr}(m),\ldots, \det(m)]$?

Let $G= GL(n,\mathbb{C})$ act on the set of all matrices $M_n$ by conjugation, i.e., for $g\in G$ and $m \in M_n$, $g\circ m = gmg^{-1}$. Then if $m=(m_{ij})$, then the $G$-invariant ring ...
4
votes
1answer
133 views

How do we know how many branches the inverse function of an elementary function has?

How do we know how many branches the inverse function of an elementary function has ? For instance Lambert W function. How do we know how many branches it has at e.g. $z=-0.5$ , $z=0$ , $z=0.5$ or ...
0
votes
0answers
60 views

How is the theory of vector invariants related to number theory?

Is there a nice theorem or toy problem that demonstrates the usefulness of invariant theory to tackle a number theoretic problem? I'm looking for some accessible insight into the motivation (for a ...
4
votes
2answers
128 views

Finite presentation of algebra of invariants

(1) Let $R$ be a ring, let $A$ be a finitely presented $R$-algebra, and let $G$ be a finite group of $R$-automorphisms of $A$. Is the algebra of invariant $A^G$ finitely presented over $R$? I can ...
0
votes
1answer
27 views

Is it possible to have a point $P_1$ not $\chi$-semistable but $P_2$ $\chi$-semistable with these two points in the same orbit?

Let $G$ be a group acting on an affine variety $X\subseteq \mathbb{A}_{\mathbb{C}}^n$. Suppose $P_1$ and $P_2$ are two points in $X$ such that $g\circ P_1=P_2$ for some $g\in G$. This means that ...
2
votes
0answers
77 views

Computing $\mathbb{C}[x,y]^G$ or $\mathbb{C}[x,y,z]^G$ where $G$ is a finite subgroup of $GL_n(\mathbb{C})$

My question is related to this link: Ring of Invariant $\mathbf{Question \;1}$. Let $$ A = \left( \begin{array}{cc} 0 & -1 \\ 1& 0 \\ \end{array} \right). $$ Then $C= \langle A\rangle$ ...
10
votes
1answer
222 views

Any affine algebraic group is linear.

It is a well-known result that any affine algebraic group is a closed subgroup of some $\mathrm{Gl}_n(\Bbbk)$. However, I would like to see a proof for that, so I looked it up in various books, more ...
4
votes
0answers
102 views

The anti-commutative Molien series

Suppose $V$ is a finite dimensional complex vector space and $f:V\to V$ is an automorphism. There is a natural extension $\Lambda^\bullet(f):\Lambda^\bullet(V)\to\Lambda^\bullet(V)$ to the exterior ...
1
vote
2answers
194 views

Diagonalizable linear algebraic group is isomorphic to $(\mathbb{C}^*)^r\times A$, for some finite abelian group $A$

I have three questions about algebraic groups. Let $D$ be a linear algebraic group. Then the following are equivalent: $D$ is diagonalizable. $\mathop{Hom}(D,\mathbb{C}^*)$ is finitely generated ...
2
votes
1answer
48 views

Give a example about invariant ergodic measure and quasi-symmetric mapping

Is there a example $(X,f,\mu)$ such that $X$ is a closed subset of Euclidean space, $f$ be a quasi-symmetric mapping but not a Lipschitz mapping, $f(X)=X$, $\mu$ is a finite measure on $X$ that is ...
2
votes
1answer
160 views

Identifying $k[x_1,x_2,y_1,y_2]^{\epsilon}$ with $k[x,y]\wedge k[x,y]$

Suppose the symmetric group $S_2$ of order 2 acts on $k^4=Spec \;k[x_1, x_2, y_1, y_2]$ by the following: for $\sigma\not=e$, $$\sigma\circ(x_1, x_2, y_1, y_2)=(x_2,x_1,y_2,y_1).$$ That is, the ...
4
votes
0answers
171 views

Basic semi-invariants

Let $G$ be a (finite) group and $\chi$ be a linear character corresponding to an irreducible representation. A polynomial $f_{\chi}$ is called semi-invariant (of type $\chi$) if $\sigma\circ ...
2
votes
2answers
60 views

Constructing the sequence: $0\rightarrow (x-y)^{S_2} \stackrel{f}{\rightarrow} k[x+y,xy]\stackrel{g}{\rightarrow} k[y]$

Let $S_2$, a group of two elements, act on $k[x,y]$ by permuting $x$ and $y$. It is clear that $$ 0\rightarrow (x-y) \rightarrow k[x,y]\rightarrow \dfrac{k[x,y]}{(x-y)}\cong k[y] \rightarrow 0 $$ ...
1
vote
0answers
63 views

$S_k$ action on $A/I$

Let $S_2$ be a finite group of order $2$ and let $S_2$ act on $k[x,y]$ by interchanging $x$ and $y$, where $k=\overline{k}$. Then since $$ R = \left( \dfrac{k[x,y]}{(x+y)} \right)^{S_2} = ...
2
votes
0answers
36 views

$k[V]^G = \widetilde{A}$ where $\widetilde{A}$ is the normalization of $A$

Let $V$ be a finite dimensional vector space over $k =\overline{k}$ and let $G$ be a subgroup of $GL(V)$ so that $k[V]^G$ is finitely generated. Let $A$ be a subring of $k[V]^G$ that is finitely ...
2
votes
0answers
135 views

GIT quotient for a certain torus action on an affine space

I'm reading various books and some notes and here is my question. Let $(\mathbb{C}^*)^2$ act on $\mathbb{C}^4$ by $$(\lambda_1,\lambda_2).(x_1, x_2, y_1,y_2)=(\lambda_1 x_1, \lambda_2 x_2, ...
1
vote
0answers
66 views

How to characterize the image of $PGL(V)$ in $\mathbb{P}(W)$ for an irreducible $GL(V)$-representation $W$

I'd like to ask two versions of my question, one a very specific case that I suspect may have a fairly easy and classical answer, the other the general case which I would like to find references on. ...
1
vote
0answers
143 views

What was Cayley's formula for the number of invariants? (Lost Formula!?)

I need to find Cayley's formula for the number of linearly independent invariants of homogenous polynomials. This is a combinatorial formula. He is believed to have discovered it in 1854. ...
3
votes
2answers
225 views

Quotient of an affine variety by a finite group coincides with topological quotient as a point set?

I have just read the construction of the quotient of a closed subset $X$ of affine space by a finite group $G$ of automorphisms of $X$, in Shafarevich, Basic Algebraic Geometry I. Shafarevich gives ...
3
votes
1answer
113 views

Invariant rings $\mathbb{C}[X,Y]^{GL_2}$ and $\mathbb{C}[X,Y]^{SL_2}$

I feel like I might have made a mistake on this question, and would appreciate some feedback from someone more experienced than me. If $G$ acts on $S$, we write $S^G = \{s \in S: gs = s \, \forall ...
11
votes
1answer
257 views

Basis for $\Bbb Z[x_1,\cdots,x_n]$ over $\Bbb Z[e_1,\cdots,e_n]$

I'm reading the introductory bits in Procesi's Lie Groups, and on p. 22 we have (paraphrasing) Theorem 2. $\mathcal{B}=\{x_1^{\large h_1}\cdots x_n^{\large h_n}: 0\le h_k\le n-k\}$ is a basis for ...
2
votes
1answer
113 views

Does anyone know of Invariant Theory enough to comment on this question?

I am trying to find a minimal set of invariants for the binary homogenous form $$\displaystyle ax^7 + bx^{6}y + cx^{5}y^{2} + dx^{4}y^{3} + ex^{3}y^{4} + fx^{2}y^{5} + gxy^{6} + hy^{7}$$ What is the ...
1
vote
1answer
112 views

A condition in the definition of geometric quotient

I am reading the first several pages of GIT by Mumford, and I need some clarification of one requirement in the definition of geometric quotient (c.f. Definition 0.4, GIT): Suppose a group scheme ...
2
votes
0answers
139 views

How to compute the character of a matrix group operating on homogeneous polynomials?

I have a little problem in representation and/or invariant theory which I need help with. Let's assume $G \leq \mathbb{C}^{n\times n}$ is a finite complex matrix group which operates linearly via ...