{"id":"arxiv/2610.14450","url":"https://arxiv.org/abs/2610.14450","tags":["math.NT"],"score":0,"title":"On the generalization of Christol's theorem to domains of finite type over finite fields","domain":"math.NT","source":"arxiv","authors":["Lian Duan","Chunlin Wang"],"reviews":0,"subject":"math.NT","summary":"We generalize Christol's theorem---which characterizes algebraic power series over a finite field in terms of automatic coefficient sequences---to completions of domains of finite type over a finite field~$\\mathbb{F}_{q}$. Let $A$ be such a domain of dimension~$d$ and $\\mathfrak{a}$ an ideal of depth~$d$. In the $\\mathfrak{a}$-adic completion $\\hat{A}$, choose an $\\hat{A}$-regular sequence $\\boldsymbol{x}=\\{x_{1},\\dots,x_{d}\\}\\subset\\hat{\\mathfrak{a}}$ and a set of representatives $E$ of $\\hat{A}/(\\boldsymbol{x})$ that is an $\\mathbb{F}_{q}$-vector subspace consisting of algebraic elements.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-10","reactions":{}}