The role of defect and splitting in finite generation of extensions of associated graded rings along a valuation

DOI10.2140/ANT.2017.11.1461zbMATH Open1411.14007OpenAlexW2568048459MaRDI QIDQ2399263FDOQ2399263

Authors Steven Dale Cutkosky 

Publication date 22 August 2017

Published in Algebra \& Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

valuationlocal uniformization, graded ring

Mathematics Subject Classification ID

Ramification and extension theory (11S15) Singularities in algebraic geometry (14B05) Morphisms of commutative rings (13B10) Ramification problems in algebraic geometry (14E22)

Abstract: Suppose that $R$ is a 2 dimensional excellent local domain with quotient field $K$, $K^{\ast }$ is a finite separable extension of $K$ and $S$ is a 2 dimensional local domain with quotient field $K^{\ast }$ such that $S$ dominates $R$. Suppose that $u^{\ast }$ is a valuation of $K^{\ast }$ such that $u^{\ast }$ dominates $S$. Let $u$ be the restriction of $u^{\ast }$ to $K$. The associated graded ring ${mgr}_u(R)$ was introduced by Bernard Teissier. It plays an important role in local uniformization. We show that the extension $(K,u)ightarrow(K^{\ast },u^{\ast })$ of valued fields is without defect if and only if there exist regular local rings $R_1$ and $S_1$ such that $R_1$ is a local ring of a blow up of $R$, $S_1$ is a local ring of a blowup of $S$, $u^{\ast }$ dominates $S_1$, $S_1$ dominates $R_1$ and the associated graded ring ${mgr}_{u^{\ast }}(S_1)$ is a finitely generated ${mgr}_u(R_1)$-algebra. We also investigate the role of splitting of the valuation $u$ in $K^{\ast }$ in finite generation of the extensions of associated graded rings along the valuation. We will say that $u$ does not split in $S$ if $u^{\ast }$ is the unique extension of $u$ to $K^{\ast }$ which dominates $S$. We show that if $R$ and $S$ are regular local rings, $u^{\ast }$ has rational rank 1 and is not discrete and ${mgr}_{u^{\ast }}(S)$ is a finitely generated ${mgr}_u(R)$-algebra, then $u$ does not split in $S$. We give examples showing that such a strong statement is not true when $u$ does not satisfy these assumptions. We deduce that if $u$ has rational rank 1 and is not discrete and if $Rightarrow{R}^{\prime }$ is a nontrivial sequence of quadratic transforms along $u$, then ${mgr}_u(R^{\prime })$ is not a finitely generated ${mgr}_u(R)$-algebra.

Recommendations

• Finite generation of extensions of associated graded rings along a valuation
• Extensions of valuations to the Henselization and completion
• On Finite and Nonfinite Generation of Associated Graded Rings of Abhyankar Valuations
• Ramification of local rings along valuations
• On the construction of valuations and generating sequences on hypersurface singularities

Cites Work

• scientific article; zbMATH DE number 1381149 (Why is no real title available?)
• scientific article; zbMATH DE number 3674235 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 2020243 (Why is no real title available?)
• A Construction for Absolute Values in Polynomial Rings
• A generalisation of the Abhyankar-Jung theorem to associated graded rings of valuations
• Admissible family of valuations and defect of an extension.
• Anneaux locaux henséliens
• Counterexamples to local monomialization in positive characteristic
• On the Valuations Centered in a Local Domain
• Ramification Theoretic Methods in Algebraic Geometry (AM-43)
• Ramification of valuations
• Ramification of valuations and local rings in positive characteristic
• Toroidalization of generating sequences in dimension two function fields
• Toroidalization of generating sequences in dimension two function fields of positive characteristic
• Valuation semigroups of two-dimensional local rings
• Valuations in Function Fields of Surfaces

Cited In (9)

• Extensions of valuations to the Henselization and completion
• Erratic birational behavior of mappings in positive characteristic
• On the integral closure of polynomial rings over a valuation domain
• Algebraic series and valuation rings over nonclosed fields
• Finite generation of extensions of associated graded rings along a valuation
• A generalisation of the Abhyankar-Jung theorem to associated graded rings of valuations
• On Finite and Nonfinite Generation of Associated Graded Rings of Abhyankar Valuations
• Generating sequences and semigroups of valuations on 2-dimensional normal local rings
• On the construction of valuations and generating sequences on hypersurface singularities

This page was built for publication: The role of defect and splitting in finite generation of extensions of associated graded rings along a valuation

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