On the construction of valuations and generating sequences on hypersurface singularities

From MaRDI portal
Publication:5019175

DOI10.14231/AG-2021-022zbMATH Open1484.12013arXiv1904.10702OpenAlexW3199696552MaRDI QIDQ5019175FDOQ5019175


Authors: Steven Dale Cutkosky, Hussein Mourtada, Bernard Teissier Edit this on Wikidata


Publication date: 30 December 2021

Published in: Algebraic Geometry (Search for Journal in Brave)

Abstract: Suppose that (K, u) is a valued field, f (z) in K[z] is a unitary and irreducible polynomial and (L, omega) is an extension of valued fields, where L = K[z]/(f (z)). Further suppose that A is a local domain with quotient field K such that u has nonnegative value on A and positive value on its maximal ideal, and that f (z) is in A[z]. This paper is devoted to the problem of describing the structure of the associated graded ring gr omega A[z]/(f (z)) of A[z]/(f (z)) for the filtration defined by omega as an extension of the associated graded ring of A for the filtration defined by u. In particular we give an algorithm which in many cases produces a finite set of elements of A[z]/(f (z)) whose images in gr omega A[z]/(f (z)) generate it as a gr u A-algebra as well as the relations between them. We also work out the interactions of our method of computation with phenomena which complicate the study of ramification and local uniformization in positive characteristic , such as the non tameness and the defect of an extension. For valuations of rank one in a separable extension of valued fields (K, u) subset (L, omega) as above our algorithm produces a generating sequence in a local birational extension A1 of A dominated by u if and only if there is no defect. In this case, gr omega A1[z]/(f (z)) is a finitely presented gr u A1-module. This is an improved version, thanks to a referee's remarks.


Full work available at URL: https://arxiv.org/abs/1904.10702




Recommendations





Cited In (11)





This page was built for publication: On the construction of valuations and generating sequences on hypersurface singularities

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