Related papers: Reflection quotients in Riemannian Geometry. A Geo…

For a finite group acting on a polynomial ring, the Chevalley-Shephard-Todd Theorem proves that the fixed subring is isomorphic to a polynomial ring if and only if the group is generated by pseudo-reflections. In recent years, progress was…

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…

The main result of this paper is a generalization of the theorem of Chevalley-Shephard-Todd to the rings of invariants of pseudoreflection groups over Dedekind domains. In the special case of a principal ideal domain in which the group…

The main result of this paper is a generalization of the theorem of Chevalley-Shephard-Todd to the rings of invariants of pseudo-reflection groups over regular domains. More precisely, let $A$ be a regular domain and let $K$ be its field of…

We extend in several directions invariant theory results of Chevalley, Shephard and Todd, Mitchell and Springer. Their results compare the group algebra for a finite reflection group with its coinvariant algebra, and compare a group…

Let W be a finite reflection group acting orthogonally on R^n, P be the Chevalley polynomial mapping determined by an integrity basis of the algebra of W-invariant polynomials, and h be the highest degree of the coordinate polynomials in…

In this paper, we study the invariant theory of quadratic Poisson algebras. Let G be a finite group of the graded Poisson automorphisms of a quadratic Poisson algebra A. When the Poisson bracket of A is skew-symmetric, a Poisson version of…

We survey the existing parts of a classification of finite groups generated by orthogonal transformations in a finite-dimensional Euclidean space whose fixed point subspace has codimension one or two and extend it to a complete…

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…

Let $G$ be a finite group acting linearly on the vector space $V$ over a field of arbitrary characteristic. The action is called {\em coregular} if the invariant ring is generated by algebraically independent homogeneous invariants and the…

We consider the complex reflection group \( \mathcal{G} \), identified as No. 8 in the Shephard-Todd classification. In this paper, we present computations of the vector-valued invariants associated with various representations of \(…

Let $G$ be a finite group acting linearly on the vector space $V$ over a field of arbitrary characteristic. The action is called coregular if the invariant ring is generated by algebraically independent homogeneous invariants and the direct…

This note considers a finite algebraic group $G$ acting on an affine variety $X$ by automorphisms. Results of Dufresne on polynomial separating algebras for linear representations of $G$ are extended to this situation. For that purpose, we…

An algebraic group is called semi-reductive if it is a semi-direct product of a reductive subgroup and the unipotent radical. Such a semi-reductive algebraic group naturally arises and also plays a key role in the study of modular…

We characterize finite groups G generated by orthogonal transformations in a finite-dimensional Euclidean space V whose fixed point subspace has codimension one or two in terms of the corresponding quotient space V/G with its quotient…

We prove that Chevalley groups over polynomial rings $\mathbb F_q[t]$ and over Laurent polynomial $\mathbb F_q[t,t^{-1}]$ rings, where $\mathbb F_q$ is a finite field, are boundedly elementarily generated. Using this we produce explicit…

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…

We generalize the classical Chevalley-Shephard-Todd theorem to the case of finite linearly reductive group schemes. As an application, we prove that every scheme X which is etale locally the quotient of a smooth scheme by a finite linearly…

We give a criterion for a finitely generated odd-angled Coxeter group to have a proper finite index subgroup generated by reflections. The answer is given in terms of the least prime divisors of the exponents of the Coxeter relations.

We formulate and prove relative versions of several classical decompositions known in the theory of Chevalley groups over commutative rings. As an application we obtain upper estimates for the width of principal congruence subgroups in…