English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Journal Article

Solutions to arithmetic differential equations in algebraically closed fields

MPS-Authors
/persons/resource/persons235028

Buium,  Alexandru
Max Planck Institute for Mathematics, Max Planck Society;

External Resource
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

1911.00112.pdf
(Preprint), 429KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Buium, A., & Miller, L. E. (2020). Solutions to arithmetic differential equations in algebraically closed fields. Advances in Mathematics, 375: 107342. doi:10.1016/j.aim.2020.107342.


Cite as: https://hdl.handle.net/21.11116/0000-0008-AEEA-D
Abstract
Arithmetic differential equations or δ-geometry exploits analogies between derivations and p-derivations δ arising from lifts of Frobenius to study problems in arithmetic geometry. Along the way, two main classes such functions, describable as series, arose prominently namely δ-characters of abelian schemes and (isogeny covariant) δ-modular forms. However, the theory of these δ-functions is not as straightforward in ramified settings. Overconvergence was introduced in [13] to account for these issues which essentially imposes growth conditions extensions of these series to a fixed level of ramification; necessary as such extensions have non-trivial fractional coefficients. In this article, we introduce a rescaling process which identifies a class of δ-functions we call totally overconvergent, which extend all the way to the algebraic closure of ring of integers of the maximally unramified extension of Q_p . Applications built on these functions allow one to remove boundedness assumptions on ramification. The bulk of the article is devoted to establishing that most δ-functions arising in practice, namely those in the applications described in [5], [7], [8], are totally overconvergent, which essentially extends results in [13] to unbounded ramification.