Although N is discrete in R, it is not discrete in Qp, and in fact has closure Zp. This raises the possibility of p-adically interpolating a sequence an, which is really a function n 7→ an on N, to a continuous function x 7→ ax with x ∈ Zp. Our basic question is this: when does a function f : N→ Qp extend to a continuous function Zp → Qp? We will look at some concrete examples, then see what a ...

We introduce the p-adic analogue of Arakelov intersection theory on arithmetic surfaces. The intersection pairing in an extension of the p-adic height pairing for divisors of degree 0 in the form described by Coleman and Gross. It also uses Coleman integration and is related to work of Colmez on p-adic Green functions. We introduce the p-adic version of a metrized line bundle and define the met...

2 Derived p-adic heights 2.1 Derived heights for cyclic groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2 Comparison of pairings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3 Compatibility of the derived heights . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Derived p-adic heights . . . . . . . . . . . . . . . . . . . . . . . . . ....

In this paper, we first introduce the concept of an adaptive MRA (AMRA) structure which is a variant of the classical MRA structure suited to the main goal of a fast flexible decomposition strategy adapted to the data at each decomposition level. We then study this novel methodology for the general case of affine-like systems, and derive a Unitary Extension Principle (UEP) for filter design. Fi...

In the present work the notion of the computable (primitive recursive, polynomially time computable) p–adic number is introduced and studied. Basic properties of these numbers and the set of indices representing them are established and it is proved that the above defined fields are p–adically closed. Using the notion of a notation system introduced by Y. Moschovakis an abstract characterizatio...

Continued fractions in R have a single definition and algorithms for approximating them are well known. There also exists a well known result which states that √ m, m ∈ Q, always has a periodic continued fraction representation. In Qp, the field of p-adics, however, there are competing and non-equivalent definitions of continued fractions and no single algorithm exists which always produces a p...

The purpose of this paper is to survey some recent results in the theory of “p-adic cohomology”, by which we will mean several different (but related) things: the de Rham or p-adic étale cohomology of varieties over p-adic fields, or the rigid cohomology of varieties over fields of characteristic p > 0. Our goal is to update Illusie’s beautiful 1994 survey [I] by reporting on some of the many i...

We present an implemented algorithmic method for counting and isolating all p-adic roots of univariate polynomials f over the rational numbers. The roots of f are uniquely described by p-adic isolating balls, that can be refined to any desired precision; their p-adic distances are also computed precisely. The method is polynomial space in all input data including the prime p. We also investigat...

In this paper, we establish Galois theory for partial differential systems defined over formally real fields with a closed field of constants and $p$-adic $p$-adically constants. For an integrable system such field, prove that there exists (resp. $p$-adic) Picard-Vessiot extension. Moreover, obtain uniqueness result We give adequate definition the group fundamental theorem in setting. apply obt...