The growth of valuations on rational function fields in two variables

Authors:
Edward Mosteig and Moss Sweedler

Journal:
Proc. Amer. Math. Soc. **132** (2004), 3473-3483

MSC (2000):
Primary 13F30, 13F25; Secondary 13P10

Published electronically:
July 20, 2004

MathSciNet review:
2084067

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Given a valuation on the function field , we examine the set of images of nonzero elements of the underlying polynomial ring under this valuation. For an arbitrary field , a Noetherian power series is a map that has Noetherian (i.e., reverse well-ordered) support. Each Noetherian power series induces a natural valuation on . Although the value groups corresponding to such valuations are well-understood, the restrictions of the valuations to underlying polynomial rings have yet to be characterized. Let denote the images under the valuation of all nonzero polynomials of at most degree in the variable . We construct a bound for the growth of with respect to for arbitrary valuations, and then specialize to valuations that arise from Noetherian power series. We provide a sufficient condition for this bound to be tight.

**1.**Shreeram S. Abhyankar and Tzuong Tsieng Moh,*Newton-Puiseux expansion and generalized Tschirnhausen transformation. I, II*, J. Reine Angew. Math.**260**(1973), 47–83; ibid. 261 (1973), 29–54. MR**0337955****2.**Dominique Duval,*Rational Puiseux expansions*, Compositio Math.**70**(1989), no. 2, 119–154. MR**996324****3.**Olav Geil and Ruud Pellikaan,*On the structure of order domains*, Finite Fields Appl.**8**(2002), no. 3, 369–396. MR**1910398**, 10.1006/ffta.2001.0347**4.**H. Hahn, Über die nichtarchimedischen Größensysteme,*Sitz. Akad. Wiss. Wien***116**(1907) 601-655.**5.**Kiran S. Kedlaya,*The algebraic closure of the power series field in positive characteristic*, Proc. Amer. Math. Soc.**129**(2001), no. 12, 3461–3470. MR**1860477**, 10.1090/S0002-9939-01-06001-4**6.**Saunders Mac Lane and O. F. G. Schilling,*Zero-dimensional branches of rank one on algebraic varieties*, Ann. of Math. (2)**40**(1939), 507–520. MR**0000158****7.**Edward Mosteig,*A Valuation-Theoretic Approach to Polynomial Computations*, Doctoral Thesis, Cornell University, 2000.**8.**Edward Mosteig, Value Monoids of Zero-Dimensional Valuations of Rank One, in preparation.**9.**Edward Mosteig and Moss Sweedler,*Valuations and filtrations*, J. Symbolic Comput.**34**(2002), no. 5, 399–435. MR**1937467**, 10.1006/jsco.2002.0565**10.**Edward Mosteig,*Computing leading exponents of Noetherian power series*, Comm. Algebra**30**(2002), no. 12, 6055–6069. MR**1941941**, 10.1081/AGB-120016031**11.**Michael E. O’Sullivan,*New codes for the Berlekamp-Massey-Sakata algorithm*, Finite Fields Appl.**7**(2001), no. 2, 293–317. MR**1826339**, 10.1006/ffta.2000.0283**12.**Moss Sweedler, Ideal Bases and Valuation Rings, manuscript, 1986, available at http://math. usask.ca/fvk/Valth.html.**13.**Oscar Zariski,*The reduction of the singularities of an algebraic surface*, Ann. of Math. (2)**40**(1939), 639–689. MR**0000159**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
13F30,
13F25,
13P10

Retrieve articles in all journals with MSC (2000): 13F30, 13F25, 13P10

Additional Information

**Edward Mosteig**

Affiliation:
Department of Mathematics, Loyola Marymount University, Los Angeles, California 90045

Email:
emosteig@lmu.edu

**Moss Sweedler**

Affiliation:
Department of Mathematics, Cornell University, Ithaca, New York 14853

Email:
moss_sweedler@cornell.edu

DOI:
https://doi.org/10.1090/S0002-9939-04-07456-8

Keywords:
Valuations,
generalized power series,
Gr\"obner bases

Received by editor(s):
January 10, 2002

Received by editor(s) in revised form:
July 14, 2003

Published electronically:
July 20, 2004

Communicated by:
Michael Stillman

Article copyright:
© Copyright 2004
American Mathematical Society