Computing resolutions of quotient singularities

DOI10.1016/J.JALGEBRA.2016.10.042MaRDI QIDQ729754zbMATH OpenOpenAlexFDO

Authors Maria Donten-Bury, Simon Keicher

Publication date 22 December 2016

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.00071

algorithm Cox ring quotient singularity resolution of singularities toric variety tropical variety

Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Geometric invariant theory (14L24) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Special varieties (14M99) Computational aspects of higher-dimensional varieties (14Q15)

Abstract: Let

G s u b s e t e q G L (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 i g h t a r r o w m a t h b b C^{n} / G

, which is based just on the geometry of the singularity

m a t h b b 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 i g h t a r r o w m a t h b b C^{3} / G

for all

G s u b s e t e q G L (3)

with the aforementioned property and of order

| G | l e q 12

. We also provide examples in dimension 4.

Review text

The authors present algorithms to compute the Cox rings of certain quotient singularities and of some closely related objects. Precisely, consider a finite subgroup \(G \subset {\text{GL}}(n):={\text{GL}}(n,\mathbb C)\) not containing any pseudo-reflection and the quotient variety \(X_0={\mathbb C}^n/G\). Firstly, they give an algorithm presenting the Cox ring \({\mathcal R}(X_0)\) as a quotient \({\mathbb C}[T_1, \ldots, T_s]/I_0\), where a set of generators of the ideal \(I_0\) is described. Now, \({{\mathcal R} (X_0})\) is a multi-graded ring. They also give a matrix that determines this multi-grading. Next, they present an algorithm to construct a resolution \(X \to X_0\) of the singularities of \(X_0\) and to describe the multi-graded Cox ring \({\mathcal R} (X)\). More precisely, the idea is to construct an embedding of \(X_0\) into a toric variety \(Z_0\) and a modification \(Z \to Z_0\) which is a resolution of the singularities of \(Z_0\). Letting \(X\) denote the strict transform of \(X_0\) to \(Z\), they give a description of \({\mathcal R} (X)\) as a quotient of a polynomial ring by an ideal whose generators are specified, they also obtain a matrix defining the multi-grading. This variety \(X\) is a ``candidate to be a resolution of the singularities of \(X\). Indeed, if \(X\) is smooth, then it is a resolution of \(X_0\). The variety \(X\) might be singular, but they give an algorithm to decide whether \(X\) is smooth or not. In the construction, among other methods they use techniques from toric and tropical geometries. Although the algorithms are rather complicated, by using the Computer Algebra System \textbf{Singular} the authors are able to implement it in a number of concrete examples. For instance, they do it for subgroups \(G \subset {\text{GL}}(3)\) of order \(\leq 12\), and they study some interesting properties of the resulting resolutions (e.g., to decide when they are crepant). In the final section they implement the algorithm in two examples involving \( {\text{GL}}(4)\), although it seems that in this case (\(n=4\)) a more general implementation requires too many computations for the presently available machines.

Recommendations

Cites work

Cited in

(7)

Describes a project that uses

Uses Software

This page was built for publication: Computing resolutions of quotient singularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q729754)