Toroidalization of generating sequences in dimension two function fields

DOI10.1016/J.JALGEBRA.2005.09.035MaRDI QIDQ855724zbMATH OpenOpenAlexFDO

Authors Laura Ghezzi, Olga Kashcheyeva, Huy Tài Hà

Publication date 7 December 2006

Published in Journal of Algebra (Search for Journal in Brave)

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

dimension two generating sequence singularities toroidal valuations

Valuations and their generalizations for commutative rings (13A18) Singularities in algebraic geometry (14B05) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25) Rational and birational maps (14E05)

Abstract: Let k be an algebraically closed field of characteristic 0 and let K*/K be a finite extension of algebraic function fields of transcendence degree 2 over k. Let v* be a k-valuation of K* with valuation ring V* and let v be the restriction of v* to K. Suppose R --> S is an extension of algebraic regular local rings with quotient fields K and K*, respectively, such that V* dominates S and S dominates R. We prove that there exist sequences of quadratic transforms R --> R' and S --> S' along v* such that S' dominates R' and the map between generating sequences of v and v* in R' and S', respectively, has a toroidal structure. Our result extends the Strong Monomialization theorem of Cutkosky and Piltant.

Review text

Let \({\Bbbk}\) be an algebraically closed field of characteristic 0, and let \(K^* / K\) be a finite extension of algebraic function fields of transcendence degree 2 over \({\Bbbk}\). Let \(\nu^*\) be a \({\Bbbk}\)-valuation of \(K^*\) with valuation ring \(V^*\) and value group \(\Gamma^*\). Let \(\nu\) be the restriction of \(\nu^*\) to \(K\) with valuation ring \(V\) and value group \(\Gamma \). \(K^* / K\) is the birational model of an extension of local rings \(R\rightarrow S\), that is \(K\) is the fraction field of \(R\), \(K^*\) is the fraction field of \(S\) and \(S\) is dominated by \(V^*\). Valuations in dimension two are completely described by a compact set of data called generating sequence. Let recall the definition of generating sequences: Let \(\Gamma _+=\nu (R\setminus \{0\})\) be a semigroup of \(\Gamma \). For \(\gamma \in \Gamma _+\), let \(I_\gamma =\{ f\in R\mid \nu(f)\geq \gamma\}\). A (possibly infinite) sequence \(\{Q_i\}\) of elements of \(R\) is a generating sequence of \(\nu\) if for every \(\gamma \in \Gamma _+\) the ideal \(I_\gamma \) is generated by the set \[ \left\{\prod Q_i^{a_i}\mid a_i\in \mathbb N_0, \sum_i a_i\nu(Q_i)\geq \gamma \right\}. \] The aim of this paper is to find structure theorems for generating sequences of \(\nu\) and \(\nu^*\). In fact after quadratic transforms the map between generating sequences of \(\nu\) and \(\nu^*\) has a toroidal structure. This work extends the Strong Monomialization theorem of \textit{S. D. Cutkosky} and \textit{O. Piltant} [Adv. Math. 183, No. 1, 1--79 (2004; Zbl 1105.14015)].

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Toroidalization of generating sequences in dimension two function fields

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