Mori dream spaces form a large example class of algebraic varieties, comprising the well known toric varieties. We provide a first software package for the explicit treatment of Mori dream spaces and demonstrate its use by presenting basic sample computations. The software package is accompanied by a Cox ring database which delivers defining data for Cox rings and Mori dream spaces in a suitable format. As an application of the package, we determine the common Cox ring for the symplectic resolutions of a certain quotient singularity investigated by Bellamy/Schedler and Donten-Bury/Wisniewski.
We present an algorithm to compute the automorphism group of a Mori dream space. As an example calculation, we determine the automorphism groups of singular cubic surfaces with general parameters. The strategy is to study graded automorphisms of affine algebras graded by a finitely generated abelian groups and apply the results to the Cox ring. Besides the application to Mori dream spaces, our results could be used for symmetry based computing, e.g. for Grobner bases or tropical varieties.
We link small modifications of projective varieties with a ${mathbb C}^*$-action to their GIT quotients. Namely, using flips with centers in closures of Bia{l}ynicki-Birula cells, we produce a system of birational equivariant modifications of the original variety, which includes those on which a quotient map extends from a set of semistable points to a regular morphism. The structure of the modifications is completely described for the blowup along the sink and the source of smooth varieties with Picard number one with a ${mathbb C}^*$-action which has no finite isotropy for any point. Examples can be constructed upon homogeneous varieties with a ${mathbb C}^*$-action associated to short grading of their Lie algebras.
A theorem of Mumford states that, on complex surfaces, any normal isolated singularity whose link is diffeomorphic to a sphere is actually a smooth point. While this property fails in higher dimensions, McLean asks whether the contact structure that the link inherits from its embedding in the variety may suffice to characterize smooth points among normal isolated singularities. He proves that this is the case in dimension 3. In this paper, we use techniques from birational geometry to extend McLeans result to a large class of higher dimensional singularities. We also introduce a more refined invariant of the link using CR geometry, and conjecture that this invariant is strong enough to characterize smoothness in full generality.
Motivated by the general question of existence of open A1-cylinders in higher dimensional pro-jective varieties, we consider the case of Mori Fiber Spaces of relative dimension three, whose general closed fibers are isomorphic to the quintic del Pezzo threefold V5 , the smooth Fano threefold of index two and degree five. We show that the total spaces of these Mori Fiber Spaces always contain relative A2-cylinders, and we characterize those admitting relative A3-cylinders in terms of the existence of certain special lines in their generic fibers.