Related papers: Regularization of Rational Group Actions
We show that every action of a smooth algebraic group on a variety admits a normal projective model. Along the way, we present new proofs of some basic results on algebraic transformation groups, including Weil's regularization theorem.
Let $K$ be an algebraically closed field of arbitrary characteristic and let $X$ be an irreducible projective variety over $K$. Let $G\subseteq\text{Bir}(X)$ be a bounded-degree subgroup. We prove that there exists an irreducible projective…
According to the classical theorem, every irreducible algebraic variety endowed with a nontrivial rational action of a connected linear algebraic group is birationally isomorphic to a product of another algebraic variety and ${\bf P}^s$…
By an additive action on an algebraic variety $X$ of dimension $n$ we mean a regular action $\mathbb{G}_a^n \times X \to X$ with an open orbit of the commutative unipotent group $\mathbb{G}_a^n$. We prove that if a complete toric variety…
We prove a "Generic Equivalence Theorem which says that two affine morphisms $p: S \to Y$ and $q: T \to Y$ of varieties with isomorphic (closed) fibers become isomorphic under a dominant etale base change $\phi: U \to Y$. A special case is…
Every action of a finite group scheme $G$ on a variety admits a projective equivariant model, but not necessarily a normal one. As a remedy, we introduce and explore the notion of $G$-normalization. In particular, every curve equipped with…
Consider a smooth connected algebraic group $G$ acting on a normal projective variety $X$ with an open dense orbit. We show that Aut($X$) is a linear algebraic group if so is $G$; for an arbitrary $G$, the group of components of Aut($X$) is…
We study the actions of a Lie group $G$ by birationally extendible automorphisms on a domain $D\subset C^n$. For a large class of such domains defined by polynomial inequalities, all automorphisms are of this type. In the cases 1) $G$ has…
We prove that the Weyl algebra over $\mathbb{C}$ cannot be a fixed ring of any domain under a nontrivial action of a finite group by algebra automorphisms, thus settling a 30-year old problem. In fact, we prove the following much more…
Due to Rentschler, Miyanishi and Kojima, the invariant ring for a ${\bf G}_a$-action on the affine plane over an arbitrary field is generated by one coordinate. In this note, we give a new short proof for this result using the automorphism…
Let $k$ be a finitely generated field, let $X$ be an algebraic variety and $G$ a linear algebraic group, both defined over $k$. Suppose $G$ acts on $X$ and every element of a Zariski-dense semigroup $\Gamma \subset G(k)$ has a rational…
Let T be a d-regular tree (d > 2) and A=Aut(T), its automorphism group. Let G be a group generated by n independent Haar-random elements of A. We show that almost surely, every nontrivial element of G has finitely many fixed points on T.
We study actions by filtered automorphisms on classical generalized Weyl algebras (GWAs). In the case of a defining polynomial of degree two, we prove that the fixed ring under the action of a finite cyclic group of filtered automorphisms…
We prove a decomposition theorem for the equivariant K-theory of actions of affine group schemes G of finite type over a field on regular separated noetherian algebraic spaces, under the hypothesis that the actions have finite geometric…
Let R be an affine PI-algebra over an algebraically closed field k and let G be an affine algebraic k-group that acts rationally by algebra automorphisms on R. For R prime and G a torus, we show that R has only finitely many G-prime ideals…
Given a finite group scheme $G$ over a field and a $G$-variety $X$, we obtain a criterion for $X$ to be $G$-normal in the sense of \cite{Br24}. When $G$ is diagonalizable, we describe the local structure of $G$-normal varieties in…
Let G be a connected reductive group defined over an algebraically closed ground field of characteristic p, let B be a Borel subgroup of G, and let X be a G-variety. The first named author has shown that for p = 0 there is a natural action…
An \textit{algebraic} action of a discrete group $\Gamma $ is a homomorphism from $\Gamma $ to the group of continuous automorphisms of a compact abelian group $X$. By duality, such an action of $\Gamma $ is determined by a module…
We characterize rational actions of the additive group on algebraic varieties defined over a field of characteristic zero in terms of a suitable integrability property of their associated velocity vector fields. This extends the classical…
We prove that every birational action of a group with Property FW can be regularized.