Canonical threefold singularities with a torus action of complexity one and k-empty polytopes

DOI10.1216/RMJ.2020.50.881MaRDI QIDQ2192244zbMATH OpenOpenAlexFDO

Publication date 14 August 2020

Published in Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1807.08022, https://projecteuclid.org/euclid.rmjm/1595988028

\(k\)-empty polytopes canonical singularities Cox rings Farey sequences varieties with torus action

Farey sequences; the sequences (1^k, 2^k, dots) (11B57) Singularities in algebraic geometry (14B05) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Classification of affine varieties (14R05) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20)

Abstract: We classify the canonical threefold singularities that allow an effective two-torus action. This extends classification results of Mori on terminal threefold singularities and of Ishida and Iwashita on toric canonical threefold singularities. Our classification relies on lattice point emptiness of certain polytopal complexes with rational vertices. Scaling the polytopes by the least common multiple

k

of the respective denominators, we investigate

k

-emptiness of polytopes with integer vertices. We show that two dimensional

k

-empty polytopes either are sporadic or come in series given by Farey sequences. We finally present the Cox ring iteration tree of the classified singularities, where all roots, i.e. all spectra of factorial Cox rings, are generalized compound du Val singularities.

Review text

A singularity is a germ \((X,x)\), where \(X\) is a normal algebraic variety and \(x \in X\) is a distinguished singular point. In the paper under review, the authors present the full classification of canonical threefold singularities with an effective two-torus action and Gorenstein index \(\iota \geq 2\). This result can be seen as an extension of the classification work on terminal threefold singularities provided by \textit{S. Mori} [Nagoya Math. J. 98, 43--66 (1985; Zbl 0589.14005)] and on toric canonical threefold singularities provided by \textit{M.-N. Ishida} and \textit{N. Iwashita} [Adv. Stud. Pure Math. 8, 135--151 (1987; Zbl 0627.14002)]. The classification itself is based on the observation that the singularities under consideration are either toric or can be assumed to be quasicones. As a consequence, they admit a finitely generated Cox ring, which in turn gives rise to combinatorial methods. In particular, canonicity of the singularities can be expressed in terms of lattice points in certain rational polytopes provided by the anticanonical complex. The classification of these polytopes is performed using i.a. Farey sequences. As an application, the authors present the full Cox ring iteration tree of the classified varieties.

Recommendations

Cites work

Cited in

(8)

Describes a project that uses

Uses Software

This page was built for publication: Canonical threefold singularities with a torus action of complexity one and \(k\)-empty polytopes

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