Related papers: Hilbert's 14th Problem and Cox Rings
Given an algebraic surface $X$, the Hilbert scheme $X^{[n]}$ of $n$-points on $X$ admits a contraction morphism to the $n$-fold symmetric product $X^{(n)}$ with the extremal ray generated by a class $\beta_n$ of a rational curve. We…
We investigate Cox rings of symplectic resolutions of quotients of $\mathbb{C}^{2n}$ by finite symplectic group actions. We propose a finite generating set of the Cox ring of a symplectic resolution and prove that under a condition…
In this paper we study invariant rings arising in the study of finite dimensional algebraic structures. The rings we encounter are graded rings of the form $K[U]^{\Gamma}$ where $\Gamma$ is a product of general linear groups over a field…
We study linear actions of algebraic groups on smooth projective varieties X. A guiding goal for us is to understand the cohomology of "quotients" under such actions, by generalizing (from reductive to non-reductive group actions) existing…
We consider perturbations of dynamical semigroups on the algebra of all bounded operators in a Hilbert space generated by covariant completely positive measures on the semi-axis. The construction is based upon unbounded linear perturbations…
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…
Finite generation of the symbolic Rees ring of a space monomial prime ideal of a 3-dimensional weighted polynomial ring is a very interesting problem. Negative curves play important roles in finite generation of these rings. We are…
For a finite subgroup $\Gamma\subset \mathrm{SL}(2,\mathbb{C})$ and $n\geq 1$, we construct the (reduced scheme underlying the) Hilbert scheme of $n$ points on the Kleinian singularity $\mathbb{C}^2/\Gamma$ as a Nakajima quiver variety for…
We consider the ring of coinvariants for modular representations of cyclic groups of prime order. For all cases for which explicit generators for the ring of invariants are known, we give a reduced Gr\"obner basis for the Hilbert ideal and…
We associate to every divisorial (e.g. smooth) variety $X$ with only constant invertible global functions and finitely generated Picard group a $Pic(X)$-graded homogeneous coordinate ring. This generalizes the usual homogeneous coordinate…
Generalized Cox's construction associates with an algebraic variety a remarkable invariant -- its total coordinate ring, or Cox ring. In this note we give a new proof of factoriality of the Cox ring when the divisor class group of the…
A theorem of Tits - Vinberg allows to build an action of a Coxeter group $\Gamma$ on a properly convex open set $\Omega$ of the real projective space, thanks to the data $P$ of a polytope and reflection across its facets. We give sufficient…
We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$…
We compute the Cox rings of the blow-ups $\mathrm{Bl}_\Delta(X'\times X')$ and $\mathrm{Bl}_\Delta(\mathbb P_1^n)$ where $X'$ is a product of projective spaces and $\Delta$ is the (generalised) diagonal.
The total coordinate ring TC(X) of a normal variety is a generalization of the ring introduced and studied by Cox in connection with a toric variety. Consider a normal projective variety X with divisor class group Cl(X), and let us assume…
Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring K[X]^G in the case where G is reductive. Furthermore, we address the case where G is connected and…
Work of Dolgachev and Castravet-Tevelev establishes a bijection between the $2^{n-1}$ weights of the half-spin representations of $\mathfrak{so}_{2n}$ and the generators of the Cox ring of the variety $X_n$ which is obtained by blowing up…
We construct and enumerate all crepant resolutions of hyperpolygon spaces, a family of conical symplectic singularities arising as Nakajima quiver varieties associated to a star-shaped quiver. We provide an explicit presentation of the Cox…
The link between modular functions and algebraic functions was a driving force behind the 19th century study of both. Examples include the solutions by Hermite and Klein of the quintic via elliptic modular functions and the general sextic…
Let $X$ be a regular geometrically integral variety over an imperfect field $K$. Unlike the case of characteristic $0$, $X':=X\times_{\mathrm{Spec}\,K}\mathrm{Spec}\,K'$ may have singular points for a (necessarily inseparable) field…