Related papers: An equivariant Hilbert basis theorem

Given a simple vertex algebra A and a reductive group G of automorphisms of A, the invariant subalgebra A^G is strongly finitely generated in most examples where its structure is known. This phenomenon is subtle, and is generally not true…

Let $\mathbb{K}$ be a field, $\mathcal{X}$ be an infinite set (of indeterminates), and $\mathcal{G}$ be a group acting on $\mathcal{X}$. An ideal in the polynomial ring $\mathbb{K}[\mathcal{X}]$ is called equivariant if it is invariant…

In this paper we construct $G$-Hilbert schemes for finite group schemes $G$. We find a construction of $G$-Hilbert schemes as relative $G$-Hilbert schemes over the quotient that does not need the Hilbert scheme of $n$ points, works under…

For an orbifold X which is the quotient of a manifold Y by a finite group G we construct a noncommutative ring with an action of G such that the orbifold cohomology of X as defined in math.AG/0004129 by Chen and Ruan is the G invariant…

Let $S^{\cdot}$ be a noetherian graded algebra over a commutative $k$-algebra $A$, where $k$ is a commutative ring, and assume it is a module over a Lie algebroid ${\mathfrak g}_{A/k}$. If $S^\cdot$ is semi-simple over ${\mathfrak g}_{A/k}$…

It has been shown previously that a large class of monomial maps equivariant under the action of an infinite symmetric group have finitely generated kernels up to the symmetric action. We prove that these symmetric toric ideals also have…

This paper applies the decomposition theorem in intersection cohomology to geometric invariant theory quotients, relating the intersection cohomology of the quotient to that of the semistable points for the action. Suppose a connected…

If $X$ is a projective variety and $G$ is an algebraic group acting algebraically on $X$, we provide a counter-example to the existence of a $G$-equivariant extension on the formal semi-universal deformation of $X$.

We introduce and study equivariant Seiberg-Witten invariants for $4$-manifolds equipped with a smooth action of a finite group $G$. Our invariants come in two types: cohomological, valued in the group cohomology of $G$ and $K$-theoretic,…

We study equivariant morphisms from zero dimensional schemes to varieties and show that, under suitable assumptions, all such morphisms factor via a canonical one. We relate the above to Algebraic Representations of Ergodic Actions.

This article is a continuation of [Kub18], which proves that if a $3$-dimensional affine normal quasihomogeneous $SL(2)$-variety $E$ is toric, then it has an equivariant resolution of singularities given by an invariant Hilbert scheme…

G\"ottsche and Soergel gave formulas for the Hodge numbers of Hilbert schemes of points on a smooth algebraic surface and the Hodge numbers of generalized Kummer varieties. When a smooth projective surface $S$ admits an action by a finite…

Let $k$ be a noetherian commutative ring and let $G$ be a finite flat group scheme over $k$. Let $G$ act rationally on a finitely generated commutative $k$-algebra $A$. We show that the cohomology algebra $H^*(G,A)$ is a finitely generated…

Let $k$ be a commutative Noetherian ring, and $k[S]$ the polynomial ring whose indeterminates are parameterized by elements in a set $S$. We show that $k[S]$ is Noetherian up to highly homogenous actions of groups. In particular, there is a…

Powers of a polynomial $\operatorname{GL}$-representation are topologically Noetherian under the action of $\operatorname{Sym} \times \operatorname{GL}$. We extend this result to powers of algebraic representations of the orthogonal and the…

A theorem of G\"ottsche establishes a connection between cohomological invariants of a complex projective surface $S$ and corresponding invariants of the Hilbert scheme of $n$ points on $S.$ This relationship is encoded in certain infinite…

Let $\Gamma$ be a finite subgroup of $\SL_2(\C)$. We consider $\Gamma$-fixed point sets in Hilbert schemes of points on the affine plane $\C^2$. The direct sum of homology groups of components has a structure of a representation of the…

We introduce a broader class of nonassociative Ore extensions that unifies and generalizes several earlier constructions. We prove generalizations of Hilbert's Basis Theorem for this class, showing that they arise immediately from the…

In this paper, we study some properties of $S$-Noetherian modules and $S$-strong Mori modules. Among other things, we prove the Hilbert basis theorem for $S$-Noetherian modules and $S$-strong Mori modules.

We construct an equivariant algebraic cobordism theory for schemes with an action by a linear algebraic group over a field of characteristic zero.