Related papers: Properties of the fixed ring of a preprojective al…
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…
Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker…
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…
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…
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…
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…
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…
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…
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…
Let $G$ be a group coacting on an Artin-Schelter regular algebra $A$ homogeneously and inner-faithfully. When the identity component $A_e$ is also Artin-Schelter regular, providing a generalization of the Shephard-Todd-Chevalley Theorem, we…
Let $H$ be a semisimple Hopf algebra acting on an Artin-Schelter regular algebra $A$, homogeneously, inner-faithfully, preserving the grading on $A$, and so that $A$ is an $H$-module algebra. When the fixed subring $A^H$ is also AS regular,…
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…
By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…
We show how a novel construction of the sheaf of Cherednik algebras on a quotient orbifold Y=X/G by virtue of formal geometry in author's prior work leads to results for the sheaf of Cherednik algebra which until recently were viewed as…
Drinfeld twists, and the twists of Giaquinto and Zhang, allow for algebras and their modules to be deformed by a cocycle. We prove general results about cocycle twists of algebra factorisations and induced representations and apply them to…
We establish rigidity for partial transformation groupoids associated with algebraic actions of semigroups: If two such groupoids (satisfying appropriate conditions) are isomorphic, then the globalizations of the initial algebraic actions…
This paper studies three results that describe the structure of the super-coinvariant algebra of pseudo-reflection groups over a field of characteristic $0$. Our most general result determines the top component in total degree, which we…
Let $F$ be an affine flat group scheme over a commutative ring $R$, and $S$ an $F$-algebra (an $R$-algebra on which $F$ acts). We define an equivariant analogue $Q_F(S)$ of the total ring of fractions $Q(S)$ of $S$. It is the largest…
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 $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…