Related papers: p-Groups and the Polynomial Ring of Invariants Que…

Let $\Bbbk$ be a field of characteristic $p>0$, $V$ a finite-dimensional $\Bbbk$-vector-space, and $G$ a finite $p$-group acting $\Bbbk$-linearly on $V$. Let $S = \Sym V^*$. We show that $S^G$ is a polynomial ring if and only if the…

The work proves that, for three-dimensional upper triangular groups over a field of odd characteristic with an abelian unipotent subgroup, the ring of invariants is polynomial if and only if the unipotent subgroup is generated by…

Let G < SL(V) be a finite group, V is finite dimensional over a field F, p=char F and S(V) is the symmetric algebra of V. We determine when the subring of G-invariants S(V)^G is a polynomial ring. As a consequence, we classify, if F is…

We give a polynomial gluing construction of two groups $G_X\subseteq GL(\ell,\mathbb F)$ and $G_Y\subseteq GL(m,\mathbb F)$ which results in a group $G\subseteq GL(\ell+m,\mathbb F)$ whose ring of invariants is isomorphic to the tensor…

Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of…

We determine the rings of invariants in the symmetric algebra on the dual of a vector space V over the field of two elements, for the group G of orthogonal transformations preserving a non-singular quadratic form on V. The invariant ring is…

Consider the conjugation action of the general linear group $\operatorname{GL}_{2}(K)$ on the polynomial ring $K[X_{2 \times 2}]$. When $K$ is an infinite field, the ring of invariants is a polynomial ring generated by the trace and the…

Let V be a normal affine variety over the real numbers R, and let S be a semi-algebraic subset of V(R). We study the subring B(S) of the coordinate ring of V consisting of the polynomials that are bounded on S. We introduce the notion of…

Let $G\subset SO(4)$ denote a finite subgroup containing the Heisenberg group. In these notes we classify all these groups, we find the dimension of the spaces of $G$-invariant polynomials and we give equations for the generators whenever…

We classify the finite-dimensional rational representations $V$ of the exceptional algebraic groups $G$ with $\mathfrak g={\sf Lie}(G)$ such that the symmetric invariants of the semi-direct product $\mathfrak g\ltimes V$, where $V$ is an…

Let $V$ be a finite rank vector space over a perfect field of characteristic $p>0$, and let $G$ be a finite subgroup of $\operatorname{GL}(V)$. If $V$ is a permutation representation of $G$, or more generally a monomial representation, we…

Let $k$ be an algebraically closed field of positive characteristic, $G$ a reductive group over $k$, and $V$ a finite dimensional $G$-module. Let $P$ be a parabolic subgroup of $G$, and $U_P$ its unipotent radical. We prove that if…

Let $V=V_1 \otimes \cdots \otimes V_n$ be a vector space over an algebraically closed field $K$ of characteristic zero with $\dim(V_i)=d_i$. We study the ring of polynomial invariants $K[\operatorname{End}(V)^{\oplus…

We consider a finite dimensional $\kk G$-module $V$ of a $p$-group $G$ over a field $\kk$ of characteristic $p$. We describe a generating set for the corresponding Hilbert Ideal. In case $G$ is cyclic this yields that the algebra $\kk[V]_G$…

Let $k$ be a field, let $G$ be a reductive algebraic group over $k$, and let $V$ be a linear representation of $G$. Geometric invariant theory involves the study of the $k$-algebra of $G$-invariant polynomials on $V$, and the relation…

Let $G$ be a finite $p$-group and $k$ a field of characteristic $p>0$. We show that $G$ has a \emph{non-linear} faithful action on a polynomial ring $U$ of dimension $n=\mathrm{log}_p(|G|)$ such that the invariant ring $U^G$ is also…

Let $A$ be the ring of integers of a number field $K$. Let $G \subseteq GL_3(A)$ be a finite group. Let $G$ act linearly on $R = A[X,Y, Z]$ (fixing $A$) and let $S = R^G$ be the ring of invariants. Assume the Veronese subring $S^{<m>}$ of…

We prove the following generalization of the classical Shephard-Todd-Chevalley Theorem. Let $G$ be a finite group of graded algebra automorphisms of a skew polynomial ring $A:=k_{p_{ij}}[x_1,...,x_n]$. Then the fixed subring $A^G$ has…

Given a finitely generated subgroup G of a ring R we provide a finite subset of G such that if each element of this set satisfies some cubic polynomial equation in one variable over the center Z of R then the subring generated by G has…

For G=SL_n or GL_n we construct representations V such that the invariant ring K[V]^G is not Cohen-Macaulay.