In this work we study $p$-adic continuous functions in several variables taking values on $\mathbb{Z}_p$. We describe the orthonormal van der Put base of these functions and study various Lipschitz conditions in several variables, generalizing previous work of Anashin. In particular, we introduce a new class of $p$-adic Lipschitz functions and study some of their properties. We also prove a Hensel's lifting lemma for this new class of functions, generalizing previous results of Yurova and Khrennikov.
The problem of backward dynamics over the ring of p-adic integers is studied. It is shown that Inverse Limit Theory provides the right framework. Backward iterations of a polynomial with p-adic integer coefficients are constructed by solving congruences modulo powers of p, which inturn are solved by Hensel's lifting lemma.
The paper proves that all power series over a maximal ordered Cauchy complete non-Archimedean field satisfy the intermediate value theorem on every closed interval. Hensel's Lemma for restricted power series is the main tool of the proof.
In the present paper, we generalize the well-known Hensel's lifting lemma to any continuous function $f : \mathbb{Z}_p\rightarrow \mathbb{Z}_p$. This answers a question posed by Axelsson and Khrennikov (2016) who showed the validity of Hensel's lemma for $1$- and for $p^α$-Lipschitz functions. For the statement and the proof, we introduce a suitable generalization of the original van der Put series. We use the concept of approximability of continuous functions to give numerical examples.
In this paper, we prove the $\ell$-adic abelian class field theory for henselian regular local rings of equi-characteristic assuming the surjectivity of Galois symbol maps, which is a $\ell$-adic variant of a result of Matsumi [13].
A classical twisting lemma says that given a finitely generated torsion module $M$ over the Iwasawa algebra $\mathbb{Z}_p[[Γ]]$ with $Γ\cong \mathbb{Z}_p, \ \exists$ a continuous character $θ: Γ\rightarrow \mathbb{Z}_p^\times$ such that, the $ Γ^{n}$-Euler characteristic of the twist $M(θ)$ is finite for every $n$. This twisting lemma has been generalized for the Iwasawa algebra of a general compact $p$-adic Lie group $G$. In this article, we consider a further generalization of the twisting lemma to $\mathcal{T}[[G]]$ modules, where $G$ is a compact $p$-adic Lie group and $\mathcal{T}$ is a f…
This article gives a new proof of the fundamental lemma of the "weakly admissible implies admissible" theorem of Colmez-Fontaine that describes the semi-stable p-adic representations. To this end, we introduce the category of spectral Banach spaces, which are p-adic Banach spaces with a C_p-algebra of analytic functions, and the subcategory of effective Banach-Colmez spaces. The fundamental lemma states the surjectivity of certain analytic maps and describes their kernel. It is proven by an explicit count of solutions of the equations defining these maps. It is equivalent to the existence of f…
By adopting a new approach to the analysis of the density of p-adic solutions arising in applications of the circle method, we show that under modest conditions the existence of non-trivial p-adic solutions suffices to establish positivity of the singular series. This improves on earlier approaches due to Davenport, Schmidt and others, and allows us to establish an asymptotic formula for the number of simultaneous zeros of non-singular pairs of cubic forms in at least 131 variables. As a by-product, we obtain a version of Hensel's Lemma for linear spaces.
We prove the arithmetic fundamental lemma conjecture over a general $p$-adic field with odd residue cardinality $q\geq \dim V$. Our strategy is similar to the one used by the second author during his proof of the AFL over $\mathbb{Q}_p$ (arXiv:1909.02697), but only requires the modularity of divisor generating series on the Shimura variety (as opposed to its integral model). The resulting increase in flexibility allows us to work over an arbitrary base field. To carry out the strategy, we also generalize results of Howard (arXiv:1303.0545) on CM-cycle intersection and of Ehlen--Sankaran (arXiv…
We give the p-adic and F_q((t)) analogue of the real van der Corput Lemma, where the real condition of sufficient smoothness for the phase is replaced by the condition that the phase is a convergent power series. This van der Corput style result allows us, in analogy to the real situation, to study singular Fourier transforms on suitably curved (analytic) manifolds and opens the way for further applications. As one such further application we give the restriction theorem for Fourier transforms of L^p functions to suitably curved analytic manifolds over non-archimedean local fields, similar to …
This article introduces a new kind of number systems on $p$-adic integers which is inspired by the well-known $3n+1$ conjecture of Lothar Collatz. A $p$-adic system is a piecewise function on $\mathbb{Z}_p$ which has branches for all residue classes modulo $p$ and whose dynamics can be used to define digit expansions of $p$-adic integers which respect congruency modulo powers of $p$ and admit a distinctive "block structure". $p$-adic systems generalize several notions related to $p$-adic integers such as permutation polynomials and put them under a common framework, allowing for results and te…
Building on recent work of Ardakov and Wadsley, we prove Schur's lemma for absolutely irreducible admissible p-adic Banach space (respectively locally analytic) representations of p-adic Lie groups. We also prove finiteness results for the endomorphism algebra of an irreducible admissible representation.
Brizolis asked for which primes p greater than 3 does there exist a pair (g, h) such that h is a fixed point of the discrete exponential map with base g, or equivalently h is a fixed point of the discrete logarithm with base g. Zhang (1995) and Cobeli and Zaharescu (1999) answered with a "yes" for sufficiently large primes and gave estimates for the number of such pairs when g and h are primitive roots modulo p. In 2000, Campbell showed that the answer to Brizolis was "yes" for all primes. The first author has extended this question to questions about counting fixed points, two-cycles, and col…
Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Department of Mathematics, The Hong Kong University of Science and Technology（香港科技大学数学系）；College of Mathematics and Statistics, Center of Mathematics, Chongqing University（重庆大学数学与统计学院，数学中心）
It is well known that, for any finitely generated torsion module M over the Iwasawa algebra Z_p [[Γ ]], where Γ is isomorphic to Z_p, there exists a continuous p-adic character ρ of Γ such that, for every open subgroup U of Γ, the group of U-coinvariants M(ρ)_U is finite; here M( ρ) denotes the twist of M by ρ. This twisting lemma was already applied to study various arithmetic properties of Selmer groups and Galois cohomologies over a cyclotomic tower by Greenberg and Perrin-Riou. We prove a non commutative generalization of this twisting lemma replacing torsion modules over Z_p [[ Γ ]] by ce…
The "self-power" map $x \mapsto x^x$ modulo $m$ and its generalized form $x \mapsto x^{x^n}$ modulo $m$ are of considerable interest for both theoretical reasons and for potential applications to cryptography. In this paper, we use $p$-adic methods, primarily $p$-adic interpolation, Hensel's lemma, and lifting singular points modulo $p$, to count fixed points and rooted closed walks of equations related to these maps when $m$ is a prime power. In particular, we introduce a new technique for lifting singular solutions of several congruences in several unknowns using the left kernel of the Jacob…
Following ideas of Kedlaya-Liu, we are going to consider extending our previous work to the context of more general adic spaces, which will be corresponding deformation of the relative $p$-adic Hodge structure over more general adic spaces. This means that the deformation could be also realized by an adic spaces (perfectoid, preperfectoid, relatively perfectoid and so on). Parts of the whole project here actually are inspired by the corresponding Drinfeld's lemma for diamonds after Scholze, as well as the work from Carter-Kedlaya-Zábrádi which is aimed at studying the representation theory of …
Let $p$ be a prime, and let $Γ=\Sp_g(\Z)$ be the Siegel modular group of genus $g$. We study $p$-adic families of zeta functions and Siegel modular forms. $L$-functions of Siegel modular forms are described in terms of motivic $L$-functions attached to $\Sp_g$, and their analytic properties are given. Critical values for the spinor $L$-functions and $p$-adic constructions are discussed. Rankin's lemma of higher genus is established. A general conjecture on a lifting from $ GSp_{2m} \times GSp_{2m}$ to $GSp_{4m}$ (of genus $g=4m$) is formulated. Constructions of $p$-adic families of Siegel modu…
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 we prove the fundamental lemma for Deligne-Lusztig functions. Namely, for every Deligne-Lusztig function $ϕ$ on a $p$-adic group $G$ we write down an explicit linear combination $ϕ^H$ of Deligne-Lusztig functions on an endoscopic group $H$ such that $ϕ$ and $ϕ^H$ have ``matching orbital integrals''. In particular, we prove a conjecture of Kottwitz. More precisely, we do it under some mild restriction on $p$.
We consider twisted zeta series of several variables associated to polynomials of several variables. Thanks to a totally new method (exchange lemma) we calculate the values at vectors formed of negative integers.After transformation of the formula we obtained, we make p-adic interpolation. ----- Nous considerons des series zetas multivariables associees a des polynomes de plusieurs variables. Grace a une methode totalement nouvelle (dite du lemme d'echange) nous calculons les valeurs aux T-uplets d'entiers negatifs. Apres transformation des formules ainsi obtenues nous faisons l'interpolation …
