The minimal cone of an algebraic Laurent series

We study the algebraic closure of $$\mathbb {K}(\!(x)\!)$$ K ( ( x ) ) , the field of power series in several indeterminates over a field $$\mathbb {K}$$ K . In characteristic zero we show that the elements algebraic over $$\mathbb {K}(\!(x)\!)$$ K ( ( x ) ) can be expressed as Puiseux series such that the convex hull of its support is essentially a polyhedral rational cone, strengthening the known results. In positive characteristic we construct algebraic closed fields containing the field of power series and we give examples showing that the results proved in characteristic zero are no longer valid in positive characteristic.

[1]  Kiran S. Kedlaya,et al.  The algebraic closure of the power series field in positive characteristic , 1998, math/9810142.

[2]  S. Abhyankar,et al.  Two notes on formal power series , 1956 .

[3]  Boris Adamczewski,et al.  On vanishing coefficients of algebraic power series over fields of positive characteristic , 2012 .

[4]  V. Puiseux.  Recherches sur les fonctions algébriques. , 1850 .

[5]  Fans and Toric Varieties , 1987 .

[6]  Lorenzo Robbiano,et al.  On the Theory of Graded Structures , 1986, J. Symb. Comput..

[7]  M. Hickel.  Un cas de majoration affine pour la fonction d'approximation d'Artin , 2008 .

[8]  Richard P. Stanley,et al.  Differentiably Finite Power Series , 1980, Eur. J. Comb..

[9]  The McDonald theorem in positive characteristic , 2017 .

[10]  John K. McDonald.  Fiber polytopes and fractional power series , 1995 .

[11]  N. Bourbaki.  Espaces vectoriels topologiques , 1955 .

[12]  J. L. Vicente,et al.  On the Jung-Abhyankar theorem , 2004 .

[13]  Günter Ewald,et al.  CONVEX BODIES AND ALGEBRAIC GEOMETRY , 1985 .

[15]  B. H. Neumann,et al.  On ordered division rings , 1949 .

[16]  Manuel Kauers,et al.  Formal Laurent series in several variables , 2013, Expositiones mathematicae.

[17]  Z. Teitler,et al.  TORIC VARIETIES , 2010 .

[18]  P. Kurlberg,et al.  The Dynamical Mordell-lang Conjecture , 2007, 0712.2344.

[19]  F. Schmidt.  Mehrfach perfekte Körper , 1933 .

[20]  David A. Cox,et al.  Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) , 2007 .

[21]  Paulo Ribenboim,et al.  Fields: Algebraically closed and others , 1992 .

[22]  Adam Parusinski,et al.  The Abhyankar-Jung Theorem , 2011, 1103.2559.

[23]  P. D. González Pérez.  Singularit'es quasi-ordinaires toriques et poly`edre de Newton du discriminant , 2000 .

[24]  Guillaume Rond,et al.  About the algebraic closure of the field of power series in several variables in characteristic zero , 2013, 1303.1921.

[25]  Heinrich W. E. Jung.  Darstellung der Funktionen eines algebraischen Körpers zweier unabhängigen Veränderlichen x, y in der Umgebung einer Stelle x = a, y = b. , 1908 .

[26]  Guillaume Rond.  Approximation diophantienne dans les corps de series en plusieurs variables , 2005, math/0505679.

[27]  F. J. Rayner,et al.  An algebraically closed field , 1968, Glasgow Mathematical Journal.

[28]  H. Ito,et al.  DIOPHANTINE INEQUALITY FOR EQUICHARACTERISTIC EXCELLENT HENSELIAN LOCAL DOMAINS , 2008, 0801.0912.

[29]  C. Chevalley,et al.  Introduction to the theory of algebraic functions of one variable , 1951 .

[30]  Shreeram S. Abhyankar,et al.  On the Ramification of algebraic functions , 1955 .

[31]  G. Ewald,et al.  Completion of real fans and Zariski-Riemann spaces , 2006 .

[32]  B. Teissier.  Two Points of the Boundary of Toric Geometry , 2018, 1807.04187.

[33]  Kiran S. Kedlaya,et al.  On the algebraicity of generalized power series , 2015, ArXiv.

[34]  Tadao Oda.  Convex Bodies and Algebraic Geometry: An Introduction to the Theory of Toric Varieties , 1987 .

[35]  Mickael Matusinski,et al.  On the algebraicity of Puiseux series , 2015, 1503.04965.

[36]  F. Aroca,et al.  A Family of Algebraically Closed Fields Containing Polynomials in Several Variables , 2009 .

[37]  F. Aroca,et al.  Support of Laurent series algebraic over the field of formal power series , 2018, Proceedings of the London Mathematical Society.

[38]  Danna Zhou,et al.  d. , 1840, Microbial pathogenesis.

[39]  F. Aroca.  Puiseux parametric equations of analytic sets , 2004 .