In this note we introduce Cox rings of singularities and explicitly compute them in the case of du Val singularities $\mathbb{D}_n,\mathbb{E}_6,\mathbb{E}_7$ and $\mathbb{E}_8$.
We develop a method of finding a Cox ring of a crepant resolution of a quotient singularity with a torus action and apply it to examples of symplectic quotient singularities in dimension 4. In addition we obtain a bound on the degrees of homogeneous generators of the Cox ring in a more general setup, based on the multigraded Castelnuovo-Mumford regularity and Kawamata-Viehweg vanishing.
Let $X$ be a smooth complete Fano variety over $\mathbb{C}$. We show that the Cox ring $\bigoplus_{L\in\text{Pic}(X)}H^0(X,\mathcal{O}_X(L))$ is Gorenstein with canonical singularities.
We investigate Cox rings of minimal resolutions of surface quotient singularities and provide two descriptions of these rings. The first one is the equation for the spectrum of a Cox ring, which is a hypersurface in an affine space. The second is the set of generators of the Cox ring viewed as a subring of the coordinate ring of a product of a torus and another surface quotient singularity. In addition, we obtain an explicit description of the minimal resolution as a divisor in a toric variety.
We study Cox rings of crepant resolutions of quotient singularities $\mathbb{C}^3/G$ where $G$ is a finite subgroup of $SL(3,\mathbb{C})$. We use them to obtain information on the geometric structure of these resolutions, number of different resolutions and relations between them. In particular, we treat explicitly several examples where $G$ contains elements of age 2.
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 concerning monomial valuations it is sufficient. Also, three 4-dimensional examples are described in detail. Generators of the (expected) Cox rings of symplectic resolutions are computed and in one case a resolution is constructed as a GIT quotient of the spectrum of the Cox ring.
For a smooth Del Pezzo surface the direct sum of global sections of all isomorphism classes of invertible sheaves on it can be almost canonically endowed with a ring structure, called the Cox ring. We show that in characteristic 0 this ring is Gorenstein and its spectrum has rational singularities. Also a gap in math.AG/0309111 is pointed out.
We extend the Cox-Hu-Keel construction of the Cox rings to any proper birational morphisms of normal noetherian schemes. It allows the representation of any proper birational morphism by a map of schemes with mild singularities with torus actions. In a particular case, the notion generalizes the combinatorial construction of Satriano and the recent construction of multiple weighted blow-ups on Artin-stacks by Abramovich-Quek. The latter can be viewed as an extension of stack theoretic blow-ups by Abramovich, Temkin, and Wlodarczyk, a similar construction of McQuillan and the author's recent co…
We show that every Mori dream space of globally $F$-regular type is of Fano type. As an application, we give a characterization of varieties of Fano type in terms of the singularities of their Cox rings.
For an isolated hypersurface singularity which is neither simple nor simple elliptic, it is shown that there exists a distinguished basis of vanishing cycles which contains two basis elements with an arbitrary intersection number. This implies that the set of Coxeter-Dynkin diagrams of such a singularity is infinite, whereas it is finite for the simple and simple elliptic singularities. For the simple elliptic singularities, it is shown that the set of distinguished bases of vanishing cycles is also infinite. We also show that some of the hyperbolic unimodal singularities have Coxeter-Dynkin d…
We define the equivariant Cox ring of a normal variety with algebraic group action. We study algebraic and geometric aspects of this object and show how it is related to the ordinary Cox ring. Then, we specialize to the case of normal rational varieties of complexity one under the action of a connected reductive group G. We show that the G-equivariant Cox ring is then a finitely generated integral normal G-algebra. Under a mild additional condition, we give a presentation by generators and relations of its subalgebra of U-invariants, where U is the unipotent part of a Borel subgroup of G. The …
We study Cox rings of normal threefolds on which SL2 acts with a dense orbit. Exploiting the method of U-invariants, we obtain combinatorial criteria for the total coordinate space and the base variety to have log terminal singularities. Then, we investigate the iteration of Cox rings and obtain a bound on its length. Finally, we develop a general approach to the description of the Cox ring by generators and relations which is effective for normal SL2 /$μ$n-embeddings.
We discuss the relation between transposition mirror symmetry of Berlund and Hübsch for bimodal singularities and polar duality of Batyrev for associated toric K3 hypersurfaces. We also show that homological mirror symmetry for singularities implies the geometric construction of Coxeter-Dynkin diagrams of bimodal singularities by Ebeling and Ploog.
Let $G\subseteq GL(n)$ be a finite group without pseudo-reflections. We present an algorithm to compute and verify a candidate for the Cox ring of a resolution $X\rightarrow \mathbb{C}^n/G$, which is based just on the geometry of the singularity $\mathbb{C}^n/G$, without further knowledge of its resolutions. We explain the use of our implementation of the algorithms in Singular. As an application, we determine the Cox rings of resolutions $X\rightarrow \mathbb{C}^3/G$ for all $G\subseteq GL(3)$ with the aforementioned property and of order $|G|\leq 12$. We also provide examples in dimension 4.
For a variety with a finitely generated total coordinate ring, we describe basic geometric properties in terms of certain combinatorial structures living in its divisor class group. For example, we describe the singularities, we calculate the ample cone, and we give simple Fano criteria. As we show by means of several examples, these results allow explicit computations.
We prove that a Mori dream space over a field of characteristic zero is of Calabi-Yau type if and only if its Cox ring has at worst log canonical singularities. By slightly modifying the arguments we also reprove the characterization of the varieties of Fano type by the log terminality of the Cox rings.
We introduce a new class of finite dimensional algebras, called extended canonical, investigate their derived categories and study the spectral behavior of their Coxeter transformations. The subject relates to the triangulated categories of (graded) singularities introduced by R. Buchweitz (1987) and D. Orlov (2004).
We prove that a quotient singularity $\mathbb{C}^n/G $ by a finite subgroup $G\subset SL_n(\mathbb{C})$ has a crepant resolution only if $G $ is generated by junior elements. This is a generalization of the result of Verbitsky [V]. We also give a procedure to compute the Cox ring of a minimal model of a given $\mathbb{C}^n/G$ explicitly from information of $G$. As an application, we investigate the smoothness of minimal models of some quotient singularities. Together with work of Bellamy and Schedler, this completes the classification of symplectically imprimitive quotient singularities which …
A general setting for a standard monomial theory on a multiset is introduced and applied to the Cox ring of a wonderful variety. This gives a degeneration result of the Cox ring to a multicone over a partial flag variety. Further, we deduce that the Cox ring has rational singularities.
We consider surfaces $X$ defined by plane divisorial valuations $ν$ of the quotient field of the local ring $R$ at a closed point $p$ of the projective plane $\mathbb{P}^2$ over an arbitrary algebraically closed field $k$ and centered at $R$. We prove that the regularity of the cone of curves of $X$ is equivalent to the fact that $ν$ is non positive on ${\mathcal O}_{\mathbb{P}^2}(\mathbb{P}^2\setminus L)$, where $L$ is a certain line containing $p$. Under these conditions, we characterize when the characteristic cone of $X$ is closed and its Cox ring finitely generated. Equivalent conditions …
We give an intrinsic characterization of Cox sheaves on Krull schemes in terms of their valuative algebraic properties. We also provide a geometric characterization of their graded relative spectra in terms of good quotients of graded schemes, extending the work of Arzhantsev, Derenthal, Hausen and Laface on relative spectra of Cox sheaves on normal varieties. Moreover, we obtain an irredundant characterization of Cox rings which in turn produces a normality criterion for certain graded rings.
In this article, we study $G$-covers of klt varieties, where $G$ is a reductive group. First, we exhibit an example of a klt singularity admitting a $\mathbb{P}{\rm GL}_n(\mathbb{K})$-cover that is not of klt type. Then, we restrict ourselves to $G$-quasi-torsors, a special class of $G$-covers that behave like $G$-torsors outside closed subsets of codimension two. Given a $G$-quasi-torsor $X\rightarrow Y$, where $G$ is a finite extension of a torus $\mathbb{T}$, we show that $X$ is of klt type if and only if $Y$ is of klt type. We prove a structural theorem for $\mathbb{T}$-quasi-torsors over …
We consider del Pezzo surfaces with du Val singularities. We'll prove that a del Pezzo surface $X$ with du Val singularities has a $-K_X$-polar cylinder if and only if there exist tiger such that the support of this tiger does not contain anti-canonical divisor. Also we classify all del Pezzo surfaces $X$ such that $X$ has not any cylinders.
Euler numbers of Hilbert schemes of points on simple surface singularities and quantum dimensions of standard modules of quantum affine algebras
Kavli Institute for the Physics and Mathematics of the Universe (WPI), The University of Tokyo(东京大学宇宙物理数学研究所(WPI));Research Institute for Mathematical Sciences, Kyoto University(京都大学数理解析研究所)
In this paper we study the problem of existence of orbifold Kaehler-Einstein metrics on del Pezzo surfaces of degree 1 with Du Val singular points. Moreover we compute global log canonical thresholds of del Pezzo surfaces of degree 1 with Du Val singularities and of del Pezzo surfaces of Picard rank 1 with Du Val singularities.