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

DOI10.2140/ANT.2017.11.1461MaRDI QIDQ2399263zbMATH OpenOpenAlexFDO

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

local uniformization, graded ring valuation

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

Abstract: Suppose that

R

is a 2 dimensional excellent local domain with quotient field

K

,

K^{*}

is a finite separable extension of

K

and

S

is a 2 dimensional local domain with quotient field

K^{*}

such that

S

dominates

R

. Suppose that

u^{*}

is a valuation of

K^{*}

such that

u^{*}

dominates

S

. Let

u

be the restriction of

u^{*}

to

K

. The associated graded ring

{m g r}_{u} (R)

was introduced by Bernard Teissier. It plays an important role in local uniformization. We show that the extension

(K, u) i g h t a r r o w (K^{*}, u^{*})

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^{*}

dominates

S_{1}

,

S_{1}

dominates

R_{1}

and the associated graded ring

{m g r}_{u^{*}} (S_{1})

is a finitely generated

{m g r}_{u} (R_{1})

-algebra. We also investigate the role of splitting of the valuation

u

in

K^{*}

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^{*}

is the unique extension of

u

to

K^{*}

which dominates

S

. We show that if

R

and

S

are regular local rings,

u^{*}

has rational rank 1 and is not discrete and

{m g r}_{u^{*}} (S)

is a finitely generated

{m g r}_{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

R i g h t a r r o w R^{'}

is a nontrivial sequence of quadratic transforms along

u

, then

{m g r}_{u} (R^{'})

is not a finitely generated

{m g r}_{u} (R)

-algebra.

Review text

Let $R$ be a two-dimensional excellent local domain with quotient field $K$, and let $K*$ be finite separable extension of $K$ and $S$ a two-dimensional local domain with quotient field $K*$ such that $S$ dominates $R$. Suppose that $\nu*$ is a valuation of $K*$ such that dominates $S$. Let $\nu$ be the restriction of $\nu*$ to $K$. The author of the paper under review investigates conditions for which the extension $(K,\nu)\to(K*,\nu*)$ of valued fields is without defect. This is a generalized result from author and other people's work. The author uses the criterion presented in his another paper to measure defect. The author also shows the role of splitting of the valuation $\nu$ in $K*$ in finite generation of the extensions of associated graded rings along the valuation.

Recommendations

Cites work

Cited in

(10)

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)