The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
51 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
64 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
3answers
78 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
31 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 ...
1
vote
1answer
31 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
45 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
29 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
0answers
23 views

about page 358 in burnside in chapter for ring of invariants

context for the problem: I was looking through Burnside's second edition of Theory of Groups of finite order in his chapter "On the invariants of groups of linear substitutions". Let $I_1, I_2, I_3 ...
0
votes
1answer
60 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
37 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
61 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 ...
3
votes
1answer
59 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
41 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
43 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
57 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
47 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
42 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
42 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
57 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
33 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
94 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, ...
3
votes
1answer
68 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
91 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
120 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
79 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
41 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
30 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
50 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
69 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
70 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
17 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!
0
votes
0answers
43 views

Symmetric expressions for homogeneous functions

Suppose $f(x_1, \ldots, x_n)$ is a homogeneous function, i.e. a function such that $$f(\lambda x_1, \ldots, \lambda x_n) = \lambda^d f(x_1, \ldots, x_n)$$ for all $\lambda$ and for some positive ...
1
vote
1answer
47 views

Invariant homology classes

Let $G$ be a finite group acting freely on a manifold $X$. What is the geometrical meaning of invariant homology classes $H_i(X,\mathbb Z)^G$? The same question for coinvariants $H_i(X,\mathbb Z)_G$.
1
vote
1answer
255 views

Prove scalar products are invariant under all orthogonal transormation

I wondering how to prove: That scalar products are invariant under all orthogonal transformation: $<\!x, y\!>\; =\;<\!Qx, Qy\!>$ which holds for all vector $x$,$y \in \Re^n$ and all ...
2
votes
2answers
102 views

Is the ring of polynomial invariants of a finite perfect group an UFD?

Let $G$ be a finite group. $G$ acts on $\mathbb K[x_1,...,x_n]$ by automorphisms fixing $K$. $\mathbb K[x_1,...,x_n]^G=\{ T\in \mathbb K[x_1,...,x_n],\forall \sigma \in G, T^{\sigma}=T\}$ is the ring ...
0
votes
0answers
24 views

Existence of dense subsets $G$-invariant.

Let $G$ be a group that acts on a manifold $X$. It is well know that the orbir space $X/G$ isn't in general a manifold. But how can I prove that there is always a dense open $U \subset X$ that is ...
1
vote
2answers
148 views

Using the Invariant Principle to prove a coordinate can't be reached

Problem: A robot wanders around a 2-dimensional grid. Starting at $(0, 0)$, he is allowed 4 different kinds of steps: $(+2, -1)$ $(+1, -2)$ $(+1, +1)$ $(-3, 0)$ He is trying to get to $(0, 2)$. ...
4
votes
2answers
113 views

What is the field of definition of an invariant ideal?

Let $K/k$ be a finitely generated field extension, such that $k=K^G$ for some (possibly infinite) set $G$ of automorphisms of $K$. Now, consider the extension of polynomial rings $$ ...
0
votes
1answer
51 views

What is the general area of mathematics to which this example belongs?

In elementary college-level calculus courses, I've given students a problem which reduces to this: Given $f(p,q)$ and a relation $p=g(q)$ use substitution to derive $\mathfrak{f}(p)$ then proceed ...
1
vote
1answer
45 views

Spectrum of $\mathbb{C}[x,y]^{\mathbb{C}^*}$

Let $\mathbb{C}[x,y]$ the ring of polynomials with $\mathbb{C}$-coefficients. We can define an action $\phi: \mathbb{C}^* \times \mathbb{C}[x,y] \rightarrow \mathbb{C}[x,y]$ such that ...
9
votes
1answer
152 views

The unique closed orbit in GIT quotient fibers for polynomial actions of Gl

The following reasoning must contain a flaw somewhere because I end up with something absurd, and I cannot figure out where the mistake is. I hope that someone can point it out to me. Let $M$ be the ...
7
votes
1answer
216 views

On the automorphisms of the Klein Quartic

I am trying to solve a problem from Miranda's book, Algebraic Curves and Riemann Surfaces. On page 84, problem K gives the Klein curve $X$ as a smooth projective plane curve defined by the equation ...
0
votes
1answer
35 views

Image of symmetric group is a reflection group

Let $V$ be $n$-dimensional complex vector space with basis $\{e_1,...,e_n\}$ and let $\phi\colon S_n \to GL(V)$ be homomorphism of groups such that $\phi(\sigma)e_j = e_\sigma(j), j = 1,...,n$. Prove ...
2
votes
0answers
103 views

Invariant polynomials over symmetric matrices under Euclidean transformations

It is a simple question, but I haven't still had a course on this topic and I'm finding it hard to understand some basics. Consider a $2\times2$ symmetric matrix over a field (for example ...
3
votes
1answer
67 views

Hilbert's finiteness theorem over arbitrary fields; reductive groups

As a generalization of the finiteness result Hilbert proved in his 1890 paper, one usually formulates the following nowadays: Let $G\to\operatorname{GL}(V)$ be a rational representation of a ...
1
vote
1answer
263 views

Invariant space of linear transformation

Let $V$ be a vector space of a finite nonzero dimension $n$ over some field. Let $T$ be a linear transformation of $V$, such that $T$ is nonzero and not one-to one. (a)Give a $T$-invariant linear ...
1
vote
0answers
29 views

Description of certain invariant polynomials (not a group action)

Working on a recent question led me to the following invariant-computation problem : let $$ A=\bigg\lbrace P \in {\mathbb Q}[X_1,X_2,X_3,X_4] \ \bigg| \\ \quad\ P(X_1X_3+X_2X_4+X_1X_4,\ X_2X_3,\ ...
2
votes
0answers
45 views

Condition for a polynomial invariant ring to be a UFD

Let $W$ be a finite-dimensional vector space over $% %TCIMACRO{\U{2102} }% %BeginExpansion \mathbb{C} %EndExpansion $. Let $\rho $ $:G\rightarrow $ GL$(W)$ be a representation of any finite group $G$. ...
3
votes
0answers
42 views

notation for invariation

Let $\Lambda = \{T \in \operatorname{Her}_2(\mathcal{O}) ; T \ge 0\})$ and $\mathcal{O}$ the maximal order of some quadratic imaginary number field. I write $T[U] := U^* \cdot T \cdot U$ where $U$ is ...
0
votes
1answer
44 views

Verify if the set is invariant with respect to the system

I had three assignments where I had different sets for which I had to verify if they were invariant with respect to the system. I did not really know how to solve them so I hope people are willing to ...