On the generalization of Christol's theorem to domains of finite type over finite fields
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.…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.14450
curl -X POST /api/v1/records/arxiv/2610.14450/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.14450/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'