# Tagged Questions

**5**

votes

**2**answers

240 views

### Arithmetic Cohen-Macaulayness of curves/surfaces defined by weighted power sums in 3 variables

Pick $p,q,r$ complex numbers (I am most interested in the case when they are positive integers). Define the function
$P_i = px^i + qy^i + rz^i$
where $x,y,z$ are coordinates. I have a few related ...

**0**

votes

**0**answers

121 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 ...

**2**

votes

**0**answers

54 views

### different and discriminant for finite invariants

Let $k$ be an algebraically closed field.
Let $B$ a $k$-algebra of finite type, normal and Cohen-macaulay. Let $G$ a finite group acting on $B$. We assume that the order of $G$ is prime to the ...

**3**

votes

**1**answer

274 views

### quotient by finite group actions that are smooth

Let $X$ an affine normal scheme of finite type over a field $k$ of characteristic zero.
Let $G$ a finite group acting on $X$ and $Y=X/G=Spec(K[X]^{G})$.
We assume that ...

**0**

votes

**1**answer

113 views

### Ideal membership (concerning polynomial invariants of orthogonal groups)

Let $\mathbb F _q$ be finite field of odd characteristic and consider the polynomials
$$ \xi_i = x_1^{q^i+1} - x_2^{q^i+1} + x_3^{q^i+1} - x_4^{q^i+1} \in \mathbb F_q[x_1,x_2,x_3,x_4].$$
I'm ...

**1**

vote

**1**answer

105 views

### Can one pick generators for the ring of invariants of binary n-ic forms which have rational coefficients?

The problem of determining a set of generators of the ring of invariants of the group $\textrm{SL}_2$ acting on the complex $n+1$-dimensional vector space of binary $n$-ic forms is known to be very ...

**4**

votes

**2**answers

295 views

### Quotient of affine space by cyclic permutation

The quotient of the affine space $\mathbb{A}^n$ by the symmetric group $Sym_n$ is again an affine space of the same dimension, and invariants are given by elementary symmetric polynomials.
What ...

**3**

votes

**1**answer

323 views

### The ring of SL_2 invariants in sums of conjugation and tautological modules

Rings of Invariants
Consider $G=SL_2(\mathbb{C})$, and let $V$ be a finite-dimensional $G$-representation. Let $\mathbb{C}[V]$ denote the ring of polynomial functions on the space $V$; it is a free ...

**3**

votes

**0**answers

264 views

### Ring of invariants of finite subgroup of $GL_2(\mathbb{C})$

In the paper 'FINITE LINEAR GROUPS WHOSE RING OF INVARIANTS IS A COMPLETE INTERSECTION' by VICTOR KAC AND KEI-ICHI WATANABE published in BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY ...

**3**

votes

**2**answers

248 views

### How to compute the ring of invariants of SO_3(k) acting on a polynomial ring

Let $k$ be a field and let $A$ be the polynomial ring over $k$ in $3n$ variables: $A = k[X_{ij} \vert i=1,2,3 \quad j=1,2,\cdots,n]$.
${\rm SO}_3(k)$ acts on $A$ in the following way: Given $g \in ...

**2**

votes

**2**answers

227 views

### Subrings of rational functions invariant under change of sign

Let $R$ be a ring generated by $k$ rational functions in the
variables $x_1,...,x_n$ over the real numbers.
Is there an algorithm that computes a set of rational functions
$f_1,...,f_l \in R$ which ...

**8**

votes

**8**answers

2k views

### Resources on Invariant Theory

Hi,
So my question is pretty much summed up by the summary - basically I've run into a need to teach myself some of the basics of invariant theory and was looking for a good place to start. I'd ...