论 $E$-函数与 $G$-函数的代数独立性,I:一个 $p$-进判别准则
数论
2025-07-30 v2
摘要
设 为 的有限扩张,且设 ,使得对每个 , 是某个微分算子 的解,其中 是解析元素域。假设 在 上完全分歧,且对每个 ,算子 具有强 Frobenius 结构并在零点满足最大阶重数 (MOM) 条件。那么,我们证明 在 上代数相关当且仅当存在不全为零的整数 ,使得 。这一结果的主要意义在于,它为研究一大类 -函数和某些 -函数在解析元素域上的代数独立性提供了一个工具。
引用
@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}
}