Abstract
Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of Hahn–Mal’cev–Neumann generalized power series. We then give a corrected characterization, generalizing our earlier description in terms of finite automata in the case where K is the algebraic closure of a finite field. We also characterize the integral closure of K(t), thus generalizing a well-known theorem of Christol and suggesting a possible framework for computing in this integral closure. We recover various corollaries on the structure of algebraic generalized power series; one of these is an extension of Derksen’s theorem on the zero sets of linear recurrent sequences in characteristic p.
Similar content being viewed by others
References
Abbes, F., Hbaib, M.: Rational Laurent series with purely periodic \(\beta \)-expansions. Osaka J. Math. 50, 807–816 (2013)
Abbes, F., Hbaib, M., Merkhi, M.: \(\beta \)-expansion and transcendence in \(\mathbb{F}_q((x^{-1}))\). Theoret. Comput. Sci. 516, 71–77 (2014)
Adamczewski, B., Bell, J.: Function fields in positive characteristic: exponents and Cobham’s theorem. J. Algebra 319, 2337–2350 (2008)
Adamczewski, B., Bell, J.: On vanishing coefficients of algebraic power series over fields of positive characteristic. Invent. Math. 187, 343–393 (2012)
Allouche, J.P., Shallit, J.: Automatic Sequences: Theory, Applications, Generalizations. Cambridge University Press, Cambridge (2003) (errata https://cs.uwaterloo.ca/~shallit/as-errata.pdf)
Bays, M., Zilber, B.: Covers of multiplicative groups of algebraically closed fields of arbitrary characteristic. Bull. Lond. Math. Soc. 43, 689–702 (2011)
Beyarslan, Ö., Hrushovski, E.: On algebraic closure in pseudofinite fields. J. Symbol. Logic 77, 1057–1066 (2012)
Bridy, A.: Automatic sequences and curves over finite fields. arXiv:1604.08241v2 (2016)
Brzostowski, S.: Non-characteristic approximate roots of polynomials. J. Algebra 343, 143–159 (2011)
Brzostowski, S., Rodak, T.: The Łojasiewicz exponent over a field of arbitrary characteristic. Rev. Math. Complut. 28, 487–504 (2015)
Chiarellotto, B., Tsuzuki, N.: Log-growth filtration and Frobenius slope filtration of \(F\)-isocrystals at the generic and special points. Doc. Math. 16, 33–69 (2011)
Christol, G.: Ensembles presque periodiques \(k\)-reconnaissables. Theoret. Comput. Sci. 9, 141–145 (1979)
Christol, G., Kamae, T., Mendès France, M., Rauzy, G.: Suites algébriques, automates et substitutions. Bull. Soc. Math. France 108, 401–419 (1980)
Cutkosky, S.D., Kashcheyeva, O.: Algebraic series and valuation rings over nonclosed fields. J. Pure Appl. Algebra 212, 1996–2010 (2008)
Davis, C., Kedlaya, K.S.: On the Witt vector Frobenius. Proc. Am. Math. Soc. 142, 2211–2226 (2014)
Deligne, P.: Intégration sur un cycle évanescent. Invent. Math. 76, 129–143 (1984)
Derksen, H.: A Skolem–Mahler–Lech theorem in positive characteristic and finite automata. Invent. Math. 168, 175–224 (2007)
Einsiedler, M., Kapranov, M., Lind, D.: Non-archimedean amoebas and tropical varieties. J. Reine Angew. Math. 601, 139–157 (2006)
Firicel, A.: Rational approximations to algebraic Laurent series with coefficients in a finite field. Acta Arith. 157, 297–322 (2013)
Furstenberg, H.: Algebraic functions over finite fields. J. Algebra 7, 271–277 (1967)
Ghorbel, R., Hbaib, M., Zouari, S.: Purely periodic beta-expansions over Laurent series. Internat. J. Algebra Comput.22, 12 (2012)
Gluzman, S., Yukalov, V.I.: Extrapolation of perturbation-theory expansions by self-similar approximants. Eur. J. Appl. Math. 25, 595–628 (2014)
Hbaib, M., Laabidi, Y., Merkhi, M.: Number of digit changes in \(\beta \)-expansion of unity in \(\mathbb{F}_q((x^{-1}))\). Acta Math. Hungar. 145, 350–359 (2015)
Hbaib, M., Mahjoub, F., Taktak, F.: On the smallest Salem series in \(\mathbb{F}_q((X^{-1}))\). N. Y. J. Math. 21, 181–190 (2015)
Jensen, A.N., Markwig, H., Markwig, T.: An algorithm for lifting points in a tropical variety. Collect. Math. 59, 129–165 (2008)
Kedlaya, K.S.: The algebraic closure of the power series field in positive characteristic. Proc. Am. Math. Soc. 129, 3461–3470 (2001a)
Kedlaya, K.S.: Power series and \(p\)-adic algebraic closures. J. Num. Theory 89, 324–339 (2001b)
Kedlaya, K.S.: Finite automata and algebraic extensions of function fields. J. Théorie Nombres Bordeaux 18, 379–420 (2006)
Kedlaya, K.S.: New methods for \((\varphi , \Gamma )\)-modules. Res. Math. Sci. 2 (2015)
Kedlaya, K.S., Poonen, B.: Orbits of automorphism groups of fields. J. Algebra 293, 167–184 (2005)
Le Borgne, J.: Optimisation du théorème d’Ax-Sen-Tate et application à un calcul de cohomologie galoisienne \(p\)-adique. Ann. Inst. Fourier (Grenoble) 60, 1105–1123 (2010)
Liu, R.: Slope filtrations in families. J. Inst. Math. Jussieu 12, 249–296 (2013)
Mosteig, E.: Value monoids of zero-dimensional valuations of rank 1. J. Symb. Comp. 43, 688–725 (2008)
Mosteig, E., Sweedler, M.: The growth of valuations on rational function fields in two variables. Proc. Am. Math. Soc. 132, 3473–3483 (2004)
Papanikolas, M.A.: Tannakian duality for Anderson–Drinfeld motives and algebraic independence of Carlitz logarithms. Invent. Math. 171, 123–174 (2008)
Payne, S.: Fibers of tropicalization. Math. Z. 262, 301–311 (2009)
Salon, O.: Suites automatiques à multi-indices. Sém. Théorie Nombres Bordeaux.15, 1–36 (1986–1987)
San Saturnino, J.C.: Théorème de Kaplansky effectif pour des valuations de rang 1 centrées sur des anneaux locaux réguliers et complets. Ann. Inst. Fourier (Grenoble). 64, 1177–1202 (2014)
Scheicher, K., Sirvent, V.F.: Automatic \(\beta \)-expansions of formal Laurent series over finite fields. Finite Fields Appl. 27, 1–23 (2014)
Speyer, D.: Christol’s theorem and the Cartier operator, blog post of 11 Feb 2010, downloaded August 2015. https://sbseminar.wordpress.com/2010/02/11/
Sharif, H., Woodcock, C.F.: Algebraic functions over a field of positive characteristic and Hadamard products. J. Lond. Math. Soc. 37, 395–403 (1988)
Tate, J.: Genus change in inseparable extensions of function fields. Proc. Am. Math. Soc. 3, 400–406 (1952)
Vaidya, S.: Generalized Puiseux expansions and their Galois groups. Illinois J. Math. 41, 129–141 (1997)
Author information
Authors and Affiliations
Corresponding author
Additional information
Thanks to Rodrigo Salomão and Reillon Santos for initiating the discussion about Kedlaya (2001a) that led to the identification of Example 2.6. Thanks also to Jason Bell, Harm Derksen, Anna Medvedovsky, and David Speyer for additional discussions. The author was supported by NSF (Grants DMS-1101343, DMS-1501214) and UCSD (Stefan E. Warschawski chair).
Rights and permissions
About this article
Cite this article
Kedlaya, K.S. On the algebraicity of generalized power series. Beitr Algebra Geom 58, 499–527 (2017). https://doi.org/10.1007/s13366-016-0325-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-016-0325-3