On the construction of valuations and generating sequences on hypersurface singularities

DOI10.14231/AG-2021-022MaRDI QIDQ5019175zbMATH OpenOpenAlexFDO

Authors Steven Dale Cutkosky, Hussein Mourtada, Bernard Teissier

Publication date 30 December 2021

Published in Algebraic Geometry (Search for Journal in Brave)

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

zbMATH Keywords

defectramificationkey polynomialsvaluationsgenerating sequences

Mathematics Subject Classification ID

Polynomials over commutative rings (13B25) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) General valuation theory for fields (12J20)

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.

Recommendations

• Finite generation of extensions of associated graded rings along a valuation
• The role of defect and splitting in finite generation of extensions of associated graded rings along a valuation
• Ramification of local rings along valuations
• Toroidalization of generating sequences in dimension two function fields
• Extension d’une valuation

Cited in

(11)

• Extension d’une valuation
• The role of defect and splitting in finite generation of extensions of associated graded rings along a valuation
• Erratic birational behavior of mappings in positive characteristic
• Images of Additive Polynomials in 𝔽_q((t)) Have the Optimal Approximation Property
• Jet schemes and their applications in singularities, toric resolutions and integer partitions
• On common extensions of valued fields
• A generalisation of the Abhyankar-Jung theorem to associated graded rings of valuations
• Valuations on \(K[x]\) approaching a fixed irreducible polynomial
• Graded rings associated to valuations and direct limits
• Resolving singularities of curves with one toric morphism
• Generating sequences and Poincaré series for a finite set of plane divisorial valuations

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)