The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
115 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
356 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
122 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
229 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
100 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
27 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
85 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
41 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
85 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
109 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
95 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
124 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
59 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
126 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
26 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
69 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$ ...
8
votes
1answer
184 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
96 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
173 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
46 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
157 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
143 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
62 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
35 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
129 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
56 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
134 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
184 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
112 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 ...
0
votes
0answers
170 views

Understanding - G-invariants and concomitants

I am trying to understand a set of lecture notes which I have on representation theory, and I have come unstuck on the section about invariant theory. Suppose we have a finite dimensional vector space ...
2
votes
1answer
104 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
125 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 ...