Abstract
We study the algebraic closure of \(\mathbb {K}(\!(x)\!)\), the field of power series in several indeterminates over a field \(\mathbb {K}\). In characteristic zero we show that the elements algebraic over \(\mathbb {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.
Similar content being viewed by others
References
Abhyankar, S.: On the ramification of algebraic functions. Am. J. Math. 77, 575–592 (1955)
Abhyankar, S.: Two notes on formal power series. Proc. Am. Math. Soc. 7, 903–905 (1956)
Aparicio Monforte, A., Kauers, M.: Formal Laurent series in several variables. Expo. Math. 31(4), 350–367 (2013)
Aroca, F.: Puiseux parametric equations of analytic sets. Proc. Am. Math. Soc. 132(10), 3035–3045 (2004)
Aroca, F., Ilardi, G.: A family of algebraically closed fields containing polynomials in several variables. Commun. Algebra 37(4), 1284–1296 (2009)
Aroca, F., Rond, G.: Support of Laurent series algebraic over the field of formal power series. Proc. Lond. Math. Soc 118(3), 577–605 (2019)
Bell, J.P., Ghioca, D., Tucker, T.J.: The Dynamical Mordell-Lang Conjecture. Mathematical Surveys and Monographs, 210. American Mathematical Society, Providence, RI (2016)
Bell, J.P., Hu, F., Satriano, M. : Height Gap Conjectures, D-Finiteness, and Weak Dynamical Mordell-Lang, arXiv:2003.01255
Bourbaki, N.: Espaces vectoriels topologiques, Actualités Sci. Ind., no. 1189. Herman & Cie, Paris, (1953)
Chevalley, C.: Introduction to the theory of algebraic functions of one variable. Am. Math. Soc. (1951)
Cox, D., Little, J., Schenck, H.: Toric Varieties, Graduate Studies in Mathematics, 124. American Mathematical Society, Providence, RI (2011)
Decaup, J., Rond, G.: Preordered Groups and Valued Fields, arXiv:1912.03928, preprint
Eisenstein, G.: Über eine allgemeine Eigenschaft der Reihen-Entwicklungen aller Algebraischen Funktionen, pp. 441–443. Bericht Königl. Preuss. Akad. d. Wiss. Zu, Berlin (1852)
Ewald, G., Ishida, M.: Completion of real fans and Zariski-Riemann spaces. Tohoku Math. J. 58(2), 189–218 (2006)
González Pérez, P.D.: Singularités quasi-ordinaires toriques et polyèdre de Newton du discriminant. Can. J. Math 52(2), 348–368 (2000)
Hickel, M.: Un cas de majoration affine pour la fonction d’approximation d’Artin. C. R. Math. Acad. Sci. Paris 346(13–14), 753–756 (2008)
Ito, H., Izumi, S.: Diophantine inequality for equicharacteristic excellent Henselian local domains. C. R. Math. Acad. Sci. Soc. R. Can. 30(2), 48–55 (2008)
Jung, H.E.W.: Darstellung der Funktionen eines algebraischen Körpers zweier unabhängiger Varänderlichen \(x\), \(y\) in der Umbebung einer Stelle \(x=a\), \(y=b\). J. Reine Angew. Math. 133, 289–314 (1908)
Kedlaya, K.: The algebraic closure of the power series field in positive characteristic. Proc. Am. Math. Soc. 129, 3461–3470 (2001)
Kedlaya, K.: On the algebraicity of generalized power series. Beitr. Algebra Geom. 58(3), 499–527 (2017)
Kiyek, K., Vicente, J.L.: On the Jung-Abhyankar theorem. Arch. Math. 83(2), 123–134 (2004)
McDonald, J.: Fiber polytopes and fractional power series. J. Pure Appl. Algebra 104, 213–233 (1995)
Neumann, B.H.: On ordered division rings. Trans. Am. Math. Soc. 66, 202–252 (1949)
Oda, T.: Convex bodies and algebraic geometry. An introduction to the theory of toric varieties. Ergebnisse Math Grenzgebiete (3) 15 (1988)
Parusiński, A., Rond, G.: The Abhyankar-Jung Theorem. J. Algebra 365, 29–41 (2012)
Puiseux, V.: Recherches sur les fonctions algébriques. J. Math. Pure Appl. 15, 365–480 (1850)
Puiseux, V.: Nouvelles recherches sur les fonctions algébriques. J. Math. Pure Appl. 16, 228–240 (1851)
Rayner, F.J.: An algebraically closed field. Glasgow Math. J. 9, 146–151 (1968)
Ribenboim, P.: Fields: algebraically closed and others. Manuscr. Math. 75, 115–150 (1992)
Robbiano, L.: On the theory of graded structures. J. Symb. Comput. 2, 139–170 (1986)
Rond, G.: Approximation diophantienne dans le corps des séries en plusieurs variables. Ann. Inst. Fourier 56(2), 299–308 (2006)
Rond, G.: About the algebraic closure of the field of power series in several variables in characteristic zero. J. Singul. 16, 1–51 (2017)
Saavedra, V.: The McDonald theorem in positive characteristic. J. Algebra 491, 219–240 (2017)
Teissier, B.: Two points of the boundary of toric geometry. In: Greuel, G.M., Narváez-Macarro, L., Xambó-Descamp, S. (eds.) Singularities, Algebraic Geometry, Commutative Algebra and Related Topics. Festschrift for Antonio Campillo on the occasion of his 65th Birthday, pp. 107–117. Springer, New York (2018)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jean-Yves Welschinger.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work has been partially supported by ECOS Project M14M03, and by PAPIIT IN108216 and IN108320. The third author is deeply grateful to the UMI LASOL of CNRS where this project has been carried out.
Rights and permissions
About this article
Cite this article
Aroca, F., Decaup, J. & Rond, G. The minimal cone of an algebraic Laurent series. Math. Ann. 382, 1745–1773 (2022). https://doi.org/10.1007/s00208-021-02338-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-021-02338-9
Keywords
- Power series rings
- Support of a Laurent series
- Algebraic closure
- Orders on a lattice
- Henselian valued fields