Artin-Hasse 指数模 $p$ 的超越性质
Transcendence properties of the Artin-Hasse exponential modulo $p$
AI总结：
本文证明 Artin-Hasse 指数模 $p$ 的约化在 $\mathbb{F}_p[x]$ 上是超越的，并利用迭代微分伽罗瓦理论研究其代数独立性与代数关系，肯定回答 Thakur 的问题。
摘要：
设 $E_p(x)$ 表示 Artin-Hasse 指数，并设 $\overline{E}_p(x)$ 表示其在 $\mathbb{F}_p[[x]]$ 中模 $p$ 的约化。本文研究 $\overline{E}_p(x)$ 在 $\mathbb{F}_p[x]$ 上的超越性质。我们给出两个证明，表明 $\overline{E}_p(x)$ 是超越的，肯定地回答了 Thakur 的一个问题。我们还证明了代数独立性结果：i) 对于满足某些线性独立性性质的 $f_1,\dots,f_r \in x\mathbb{F}_p[x]$，我们证明 $\overline{E}_p(f_1), \dots, \overline{E}_p(f_r)$ 在 $\mathbb{F}_p[x]$ 上代数独立；ii) 我们确定 $\overline{E}_p(cx)$ 之间的代数关系，其中 $c \in \mathbb{F}_p^\times$。我们的证明研究了 $\overline{E}_p(x)$ 的高阶导数，并利用了迭代微分伽罗瓦理论。
英文摘要：
Let $E_p(x)$ denote the Artin-Hasse exponential and let $\overline{E}_p(x)$ denote its reduction modulo $p$ in $\mathbb{F}_p[[x]]$. In this article we study transcendence properties of $\overline{E}_p(x)$ over $\mathbb{F}_p[x]$. We give two proofs that $\overline{E}_p(x)$ is transcendental, affirmatively answering a question of Thakur. We also prove algebraic independence results: i) for $f_1,\dots,f_r \in x\mathbb{F}_p[x]$ satisfying certain linear independence properties, we show that the $\overline{E}_p(f_1), \dots, \overline{E}_p(f_r)$ are algebraically independent over $\mathbb{F}_p[x]$ and ii) we determine the algebraic relations between $\overline{E}_p(cx)$, where $c \in \mathbb{F}_p^\times$. Our proof studies the higher derivatives of $\overline{E}_p(x)$ and makes use of iterative differential Galois theory.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
