# Tagged Questions

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)

77 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 ...
36 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 ...
42 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$ ...
108 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 ...
276 views

106 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}$i.e. ...
157 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 ...
130 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 $\mathbb{C}$...
57 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$. ...
48 views

86 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$ ...
37 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 ...
157 views

43 views

### Smoothness of Schubert Variety

Consider the Schubert variety $X(s_3s_2s_1s_4s_3s_2)$ in $SL_5/P_2$, where $P_2$ is the maximal parabolic corresponding to the simple root $\alpha_2$. In one line notation this permutation can be ...
24 views

### Every orbit $G\cdot x$ nonmeager is Baire.

For proof of Effros Theorem I have that $G$ is a Polish group and $X$ is a $G-$space Polish, but I need to show that if the orbit $G\cdot x$ is nonmeager then $G\cdot x$ is Baire in its relative ...
21 views

### Creating a linear transformation $T$ such that $T$ is invariant in a proper subspace but not normal

Let $V$ be a finite-dimensional complex inner product space and let $W$ be a subspace of $V$ such that $\dim V = 4$, $\dim W = 2$. Construct a linear operator $T$ such that (i) $W$ is $T$-invariant ...
30 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)$ ...
49 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$ ...
35 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?
37 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$ ...
62 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 ...
54 views

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 set)...
84 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 ...
84 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 ...
22 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!
38 views