We study asymptotic properties of the p-adic version of a fractional integration operator introduced in the paper by A. N. Kochubei, Radial solutions of non-Archimedean pseudo-differential equations, Pacif. J. Math. 269 (2014), 355-369.
We consider a nonlinear evolution equation for complex-valued functions of a real positive time variable and a p-adic spatial variable. This equation is a non-Archimedean counterpart of the fractional porous medium equation. Developing, as a tool, an $L^1$-theory of Vladimirov's p-adic fractional differentiation operator, we prove m-accretivity of the appropriate nonlinear operator, thus obtaining the existence and uniqueness of a mild solution. We give also an example of an explicit solution of the p-adic porous medium equation.
We extend the result of a previous work to the case of curves with semi-stable reduction. In this case, one can replace Coleman integration by Vologodsky integration to extend the Coleman-Gross definition of a $p$-adic height pairing. we show that this pairing still equals the one defined by Nekovar.
We study the theory of finite-order p-adic functions and distributions on ray class groups of number fields, and apply this to the construction of (possibly unbounded) p-adic L-functions for automorphic forms on GL(2) which may be non-ordinary at the primes above p. As a consequence, we obtain a "plus-minus" decomposition of the p-adic L-functions of automorphic forms for GL(2) over an imaginary quadratic field with p split and Hecke eigenvalues 0 at the primes above p, confirming a conjecture of B.D. Kim.
We prove that if two semi-algebraic subsets of $\mathbb{Q}_p^n$ have the same $p$-adic measure, then this equality can already be deduced using only some basic integral transformation rules. On the one hand, this can be considered as a positive answer to a $p$-adic analogue of a question asked by Kontsevich-Zagier in the reals (though the question in the reals is much harder). On the other hand, our result can also be considered as stating that over $\mathbb{Q}_p$, universal motivic integration (in the sense of Hrushovski-Kazhdan) is just $p$-adic integration.
A semialgebraic bijection from the field of p-adic numbers to itself minus one point is constructed. Semialgebraic p-adic sets are classified up to semialgebraic bijection. A cell decomposition theorem for restricted analytic p-adic maps is proven, in analogy with the cell decomposition theorem for polynomial maps by Denef. This cell decomposition is used to show that a certain algebra (built up with analytic and subanalytic p-adic functions) is closed under p-adic integration. This solves a conjecture of Denef on parametrized analytic p-adic integrals. Local (analytic) singular series are sho…
This survey paper, to appear in he proceedings of the Miami Winter School ``Geometric Methods in Algebra and Number Theory'', is concerned with extending classical results à la Ax-Kochen-Er{š}ov to $p$-adic integrals in a motivic setting, using the framework of constructible motivic functions we introduced in math.AG/0410203. We conclude the paper by discussing briefly the relevance of our results to the study of orbital integrals and the Fundamental Lemma.
Coleman's theory of p-adic integration figures prominently in several number-theoretic applications, such as finding torsion and rational points on curves, and computing p-adic regulators in K-theory (including p-adic heights on elliptic curves). We describe an algorithm for computing Coleman integrals on hyperelliptic curves, and its implementation in Sage.
In this article we give a new proof of Ngô's Geometric Stabilisation Theorem, which implies the Fundamental Lemma. This is a statement which relates the cohomology of Hitchin fibres for a quasi-split reductive group scheme $G$ to the cohomology of Hitchin fibres for the endoscopy groups $H_κ$. Our proof avoids the Decomposition and Support Theorem, instead the argument is based on results for $p$-adic integration on coarse moduli spaces of Deligne-Mumford stacks. Along the way we establish a description of the inertia stack of the (anisotropic) moduli stack of $G$-Higgs bundles in terms of end…
In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser fo…
We prove the Topological Mirror Symmetry Conjecture by Hausel-Thaddeus for smooth moduli spaces of Higgs bundles of type $\operatorname{SL}_n$ and $\operatorname{PGL}_n$. More precisely, we establish an equality of stringy Hodge numbers for certain pairs of algebraic orbifolds generically fibred into dual abelian varieties. Our proof utilises p-adic integration relative to the fibres, and interprets canonical gerbes present on these moduli spaces as characters on the Hitchin fibres using Tate duality. Furthermore we prove for $d$ coprime to $n$, that the number of rank $n$ Higgs bundles of deg…
Let F be a number field and N an integral ideal in its ring of integers. Let f be a modular newform over F of level Gamma0(N) with rational Fourier coefficients. Under certain additional conditions, Guitart-Masdeu-Sengun constructed a p-adic lattice which is conjectured to be the Tate lattice of an elliptic curve E whose L-function equals that of f. The aim of this note is to generalize this construction when the Hecke eigenvalues of f generate a number field of degree d >= 1, in which case the geometric object associated to f is expected to be, in general, an abelian variety A of dimension d.…
For p prime, we give an explicit formula for Igusa's local zeta function associated to a polynomial mapping f=(f_1,...,f_t): Q_p^n -> Q_p^t, with f_1,...,f_t in Z_p[x_1,...,x_n], and an integration measure on Z_p^n of the form |g(x)||dx|, with g another polynomial in Z_p[x_1,...,x_n]. We treat the special cases of a single polynomial and a monomial ideal separately. The formula is in terms of Newton polyhedra and will be valid for f and g sufficiently non-degenerated over F_p with respect to their Newton polyhedra. The formula is based on, and is a generalization of results of Denef - Hoornaer…
In [2], I constructed the p-adic q-integral on Zp. In this paper, we consider the properties of the p-adic invariant p-adic q-integral in the ring of p-adic integers at q=-1. Finally we give the some applications of p-adic q-integration at q=-1. These properties are useful and worthwhile to study Euler numbers and polynomials.
We prove that the discrete fractional integration operators along the primes \[ T^λ_{\mathbb{P}}f(x) := \sum_{p} \frac{f(x-p)}{p^λ} \cdot \log p \] are bounded $\ell^p\to \ell^{p'}$ whenever $ \frac{1}{p'} < \frac{1}{p} - (1-λ), \ p > 1.$ Here, the sum runs only over prime $p$.
This article gives a proof of the Langlands-Shelstad fundamental lemma for the spherical Hecke algebra for every unramified p-adic reductive group G in large positive characteristic. The proof is based on the transfer principle for constructible motivic integration. To carry this out, we introduce a general family of partition functions attached to the complex L-group of the unramified p-adic group G. Our partition functions specialize to Kostant's q-partition function for complex connected groups and also specialize to the Langlands L-function of a spherical representation. These partition fu…
In this paper, using p-adic integration with values in spaces of modular forms, we construct the p-adic analogue of Weil's elliptic functions according to Eisenstein in the book "Elliptic functions according to Eisenstein and and Kronecker". This construction extends Serre's p-adic family of Eisenstein series in "Formes modulaires et fonctions zêta p-adiques". We show that the power series expansion of Weil's elliptic functions also exists in the p-adic case.
The Coleman integral is a $p$-adic line integral that plays a key role in computing several important invariants in arithmetic geometry. We give an algorithm for explicit Coleman integration on curves, using the algorithms of the second author to compute the action of Frobenius on $p$-adic cohomology. We present a collection of examples computed with our implementation. This includes integrals on a genus 55 curve, where other methods do not currently seem practical.
We prove three theorems concerning the Hopf-Galois module structure of fractional ideals in a finite tamely ramified extension of $ p $-adic fields or number fields which is $ H $-Galois for a commutative Hopf algebra $ H $. Firstly, we show that if $ L/K $ is a tame Galois extension of $ p $-adic fields then each fractional ideal of $ L $ is free over its associated order in $ H $. We also show that this conclusion remains valid if $ L/K $ is merely almost classically Galois. Finally, we show that if $ L/K $ is an abelian extension of number fields then every ambiguous fractional ideal of $ L…
The $\boldsymbol{p}$-adic diaphony as introduced by Hellekalek is a quantitative measure for the irregularity of distribution of a sequence in the unit cube. In this paper we show how this notion of diaphony can be interpreted as worst-case integration error in a certain reproducing kernel Hilbert space. Our main result is an upper bound on the $\boldsymbol{p}$-adic diaphony of the Halton sequence.
We show that the class of $\mathcal{L}$-constructible functions is closed under integration for any $P$-minimal expansion of a $p$-adic field $(K,\mathcal{L})$. This generalizes results previously known for semi-algebraic and sub-analytic structures. As part of the proof, we obtain a weak version of cell decomposition and function preparation for $P$-minimal structures, a result which is independent of the existence of Skolem functions. %The result is obtained from weak versions of cell decomposition and function preparation which we prove for general $P$-minimal structures. A direct corollary…
We study quasi-Monte Carlo integration in a weighted anchored Sobolev space. As the underlying integration nodes we consider Halton sequences in prime bases $\boldsymbol{p}=(p_1,\ldots,p_s)$ which are shifted with a $\boldsymbol{p}$-adic shift based on $\boldsymbol{p}$-adic arithmetic. The error is studied in the worst-case setting. In a recent paper, Hellekalek together with the authors of this article proved optimal error bounds in the root mean square sense, where the mean was extended over the uncountable set of all possible $\boldsymbol{p}$-adic shifts. Here we show that candidates for go…
Vologodsky's theory of $p$-adic integration plays a central role in computing several interesting invariants in arithmetic geometry. In contrast with the theory developed by Coleman, it has the advantage of being insensitive to the reduction type at $p$. Building on recent work of Besser and Zerbes, we describe an algorithm for computing Vologodsky integrals on bad reduction hyperelliptic curves. This extends previous joint work with Katz to all meromorphic differential forms. We illustrate our algorithm with numerical examples computed in Sage.
We describe a more efficient algorithm to compute p-adic Coleman integrals on odd degree hyperelliptic curves for large primes p. The improvements come from using fast linear recurrence techniques when reducing differentials in Monsky-Washnitzer cohomology, a technique introduced by Harvey arXiv:math/0610973 when computing zeta functions. The complexity of our algorithm is quasilinear in $\sqrt p$ and is polynomial in the genus and precision. We provide timings comparing our implementation with existing approaches.