Homogeneous Khovanskii bases and MUVAK bases

Abstract

In 2019, Kaveh and Manon introduced Khovanskii bases as a special 'Gr\"obner-like' generating system of an algebra. We extend their work by considering an arbitrary grading on the algebra and propose a definition for a 'homogeneous Khovanskii basis' that respects this grading. We generalize Khovanskii bases further by taking multiple valuations into account (MUVAK bases). We give algorithms in both cases. MUVAK bases appear in the computation of the Cox ring of a minimal model of a quotient singularity. Our algorithm is an improvement of an algorithm by Yamagishi in this situation.