On truncations of valuations

Abstract

In this paper we study the truncation ${\nu }_q$ of a valuation $\nu$ on a polynomial $q$. It is known that when $q$ is a key polynomial, then ${\nu }_q$ is a valuation. It is also known that the converse does not hold. We show that when $q$ is a key polynomial, then ${\nu }_q$ is the restriction of the truncation given by an optimizing root of $q$. We also discuss which conditions assure that ${\nu }_q=\nu$. Finally, we assume that ${\nu }_q$ is a valuation and present some conditions, given in terms of the graded algebra, to assure that $q$ is a key polynomial.