中文

论 $E$-函数与 $G$-函数的代数独立性,I:一个 $p$-进判别准则

数论 2025-07-30 v2

摘要

KKQp\mathbb{Q}_p 的有限扩张,且设 f1(z),,fm(z)K[[z]]f_1(z),\ldots, f_m(z) \in K[[z]],使得对每个 1im1 \leq i \leq mfi(z)f_i(z) 是某个微分算子 LiEp[d/dz]\mathcal{L}_i \in E_p[d/dz] 的解,其中 EpE_p 是解析元素域。假设 KKQp\mathbb{Q}_p 上完全分歧,且对每个 1im1 \leq i \leq m,算子 Li\mathcal{L}_i 具有强 Frobenius 结构并在零点满足最大阶重数 (MOM) 条件。那么,我们证明 f1(z),,fm(z)f_1(z),\ldots, f_m(z)EpE_p 上代数相关当且仅当存在不全为零的整数 a1,,ama_1,\ldots, a_m,使得 f1(z)a1fm(z)amEpf_1(z)^{a_1} \cdots f_m(z)^{a_m}\in E_p。这一结果的主要意义在于,它为研究一大类 GG-函数和某些 EE-函数在解析元素域上的代数独立性提供了一个工具。

关键词

引用

@article{arxiv.2502.00768,
  title  = {On the Algebraic Independence of $E$- and $G$-Functions, I: A $p$-adic Criterion},
  author = {Daniel Vargas-Montoya},
  journal= {arXiv preprint arXiv:2502.00768},
  year   = {2025}
}