arXiv subjects

Simon Keicher

Publications and source records attributed to Simon Keicher.

12 recordsLinked to original sources

arXiv2017

A software package to compute automorphisms of graded algebras

We present a library autgradalg.lib for the free computer algebra system Singular to compute automorphisms of integral, finitely generated $\mathbb{C}$-algebras that are graded pointedly by a finitely generated abelian group. It implements the algorithms developed in 'Computing automorphisms of Mori dream spaces'. We apply the algorithms to Mori dream spaces and investigate the automorphism groups of a series of Fano varieties.

math.AC↗

arXiv2017

Current Challenges in Developing Open Source Computer Algebra Systems

This note is based on the plenary talk given by the second author at MACIS 2015, the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences. Motivated by some of the work done within the Priority Programme SPP 1489 of the German Research Council DFG, we discuss a number of current challenges in the development of Open Source computer algebra systems. The main focus is on algebraic geometry and the system Singular.

math.AG↗

arXiv2017

Computing GIT-fans with symmetry and the Mori chamber decomposition of $\bar{M}_{0,6}$

We propose an algorithm to compute the GIT-fan for torus actions on affine varieties with symmetries. The algorithm combines computational techniques from commutative algebra, convex geometry and group theory. We have implemented our algorithm in the Singular library gitfan.lib. Using our implementation, we compute the Mori chamber decomposition of the cone of movable divisors of $\bar{M}_{0,6}$.

math.AG↗

arXiv2016

Computing resolutions of quotient singularities

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.

math.AG↗

arXiv2016

On blowing up the weighted projective plane

We investigate the blow-up of a weighted projective plane at a general point. We provide criteria and algorithms for testing if the result is a Mori dream surface and we compute the Cox ring in several cases. Moreover applications to the study of $\overline{M}_{0,n}$ are discussed.

math.AG↗

arXiv2016

Computing automorphisms of Mori dream spaces

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 Gröbner bases or tropical varieties.

math.AG↗

arXiv2015

A software package for Mori dream spaces

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/Wiśniewski.

math.AG↗

arXiv2015

Cox rings of cubic surfaces and Fano threefolds

We determine the Cox rings of the minimal resolutions of cubic surfaces with at most rational double points, of blow ups of the projective plane at non-general configurations of six points and of three dimensional smooth Fano varieties of Picard numbers one and two.

math.AG↗

arXiv2015

A test for monomial containment

We present an algorithm to decide whether a given ideal in the polynomial ring contains a monomial without using Gröbner bases, factorization or sub-resultant computations.

math.AC↗

arXiv2014

Computing Cox rings

We consider modifications, for example blow ups, of Mori dream spaces and provide algorithms for investigating the effect on the Cox ring, e.g. testing finite generation or computing an explicit presentation in terms of generators and relations. As a first application, we compute the Cox rings of all Gorenstein log del Pezzo surfaces of Picard number one. Moreover, we show computationally that all smooth rational surfaces of Picard number at most six are Mori dream surfaces and we provide explicit presentations of the Cox ring for those not admitting a torus action. Finally, we provide the Cox rings of projective spaces blown up at a certain special point configurations.

math.AG↗

arXiv2012

Computing the GIT-fan

We present an algorithm to compute the GIT-fan of algebraic torus actions on affine varieties.

math.AG↗

arXiv2012

On Chow quotients of torus actions

We consider torus actions on Mori dream spaces and ask whether the associated Chow quotient is again a Mori dream space and, if so, what does its Cox ring look like. We provide general tools for the study of these problems and give solutions for k*-actions on smooth quadrics.

math.AG↗