English

Algebraic series and valuation rings over nonclosed fields

Commutative Algebra 2008-01-08 v3 Algebraic Geometry

Abstract

Suppose that kk is an arbitrary field. Consider the field k((x1,...,xn))k((x_1,...,x_n)), which is the quotient field of the ring k[[x1,...,xn]]k[[x_1,...,x_n]] of formal power series in the variables x1,...,xnx_1,...,x_n, with coefficients in kk. Suppose that σ\sigma is a formal power series in x1,...,xnx_1,...,x_n with coefficints in the algebraic closure of kk. We give a very simple necessary and sufficient condition for σ\sigma to be algebraic over k((x1,...,xn))k((x_1,...,x_n)). As an application of our methods, we give a characterization of valuation rings VV which dominate an excellent, Noetherian local domain RR of dimension two, and such that the rank increases after passing to the completion of a birational extension of RR.

Keywords

Cite

@article{arxiv.0710.5522,
  title  = {Algebraic series and valuation rings over nonclosed fields},
  author = {Steven Dale Cutkosky and Olga Kashcheyeva},
  journal= {arXiv preprint arXiv:0710.5522},
  year   = {2008}
}

Comments

17 pages; final version to appear in JPAA

R2 v1 2026-06-21T09:37:43.031Z