We introduce $p$-adic Kummer spaces of continuous functions on $\mathbb{Z}_p$ that satisfy certain Kummer type congruences. We will classify these spaces and show their properties, for instance, ring properties and certain decompositions. As a result, these functions have always a fixed point, functions of certain subclasses have always a unique simple zero in $\mathbb{Z}_p$. The fixed points and the zeros are effectively computable by given algorithms. This theory can be transferred to values of Dirichlet $L$-functions at negative integer arguments. That leads to a conjecture about their structure supported by several computations. In particular we give an application to the classical Bernoulli and Euler numbers. Finally, we present a link to $p$-adic functions that are related to Fermat quotients.
The multi-poly-Bernoulli numbers are generalizations of the Bernoulli numbers. In this paper, we will prove Kummer-type congruences for multi-poly-Bernoulli numbers via $p$-adic distributions.
We classify all the zeros and non-zero values of a family of hypergeometric series in the $p$-adic setting. These values of hypergeometric series in the $p$-adic setting lead to transformations of hypergeometric series in the $p$-adic setting which can be described as $p$-adic analogues of Kummer's and Pfaff's linear transformations on classical hypergeometric series. We also evaluate certain summation identities for hypergeometric series in the $p$-adic setting as well as Gaussian hypergeometric series.
The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer étale and pro-Kummer étale topologies on log adic spaces. In particular, we show that log adic spaces are locally "log affinoid perfectoid" in the pro-Kummer étale topology. As an application, we prove finiteness of cohomologies for Kummer étale $\mathbb{F}_p$-local systems on proper log smooth adic spaces.
The p-adic Kummer--Leopoldt constant kappa\_K of a number field K is (assuming the Leopoldt conjecture) the least integer c such that for all n \textgreater{}\textgreater{} 0, any global unit of K, which is locally a p^(n+c)th power at the p-places, is necessarily the p^nth power of a global unit of K. This constant has been computed by Assim \& Nguyen Quang Do using Iwasawa's techniques,after intricate studies and calculations by many authors. We give an elementary p-adic proof and an improvement of these results, then a class field theory interpretation of kappa\_K. We give some applications…
Let $p$ be an odd prime and $\mathbb{F}_p$ be the finite field with $p$ elements. This paper focuses on the study of values of a generic family of hypergeometric functions in the $p$-adic setting which we denote by ${_{3n-1}G_{3n-1}}(p, t),$ where $n\geq1$ and $t\in\mathbb{F}_p$. These values are expressed in terms of numbers of zeros of certain polynomials over $\mathbb{F}_p$. These results lead to certain $p$-adic analogues of classical hypergeometric identities. Namely, we obtain $p$-adic analogues of particular cases of a Gauss' theorem and a Kummer's theorem. Moreover, we examine the zero…
In this paper, using $p$-adic analysis and $p$-adic L-functions, we show how to extend classical congruences (due to Wilson, Gauss, Dirichlet, Jacobi, Wolstenholme, Glaisher, Morley, Lemher and other people) to modulo $p^k$ for any $k>0$.
The aim of this paper is to investigate the trivial zeros of the Katz $p$-adic $L$-functions by the CM congruence. We prove the existence of trivial zeros of the Katz $p$-adic $L$-functions for general CM fields and establish a first derivative formula of the cyclotomic $p$-adic $L$-functions at trivial zeros under some Leopoldt hypothesis. The crucial ingredients in our proof are a special case of $p$-adic Kronecker limit formula for CM fields and a leading term formula of anticyclotomic $p$-adic $L$-functions at trivial zeros via the explicit congruences between CM and non-CM Hida families o…
Genus fields of abelian extensions of congruence rational function fields
在这篇论文的公开版本[Finite Fields and Their Applications {\bf 20}（2013）40--54]中，在该论文定理4.2的证明中存在错误。本文对定理4.2，4.5和5.2给出了同余函数域的亏格域的构造。首先，我们考虑割圆函数域的情况下的想法Leopoldt，然后一般情况下。作为应用，我们给出了Kummer，Artin-Schreier和循环$p$-扩张的亏格域. Kummer扩张是由G. Peng和Artin-Schreier扩张由S. Hu和Y.李
We give a construction of the genus field for Kummer $\ell^n$-cyclic extensions of rational congruence function fields, where $\ell$ is a prime number. First, we compute the genus field of a field contained in a cyclotomic function field, and then for the general case. This generalizes the result obtained by Peng for a Kummer $\ell$-cyclic extension. Finally, we study the extension $(K_1K_2)_{\frak{ge}}/(K_1)_{\frak{ge}}(K_2)_{\frak{ge}}$, for $K_1$, $K_2$ abelian extensions of $k$.
We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer étale and pro-Kummer étale topology for such spaces. We also establish the primitive comparison theorem in this context, and deduce from it some related cohomological finiteness or vanishing results.
Congruences of $p$-adic $L$-functions of modular forms at non-ordinary primes
Institute of Mathematics University of the Philippines Diliman（菲律宾大学达曼数学研究所）；Department of Mathematics and Statistics University of Ottawa（渥太华大学数学与统计系）
By analyzing the coefficients of the power series defining the Kubota--Leopoldt $p$-adic $L$-function associated to the non-trivial character of a real quadratic field, we prove a congruence of Ankeny--Artin--Chowla-type for prime power modulus. Additionally, we show how some classical congruences relating Bernoulli numbers and Wilson quotients fit naturally into the theory of the $p$-adic Riemann zeta function.
We consider $p$-adic families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zer…
We establish a rationality result for the twisted Asai L-values attached to a Bianchi cusp form and construct distributions interpolating these L-values. Using the method of abstract Kummer congruences, we then outline the main steps needed to show that these distributions come from a measure.
This paper provides an introduction to Eisenstein measures, a powerful tool for constructing certain $p$-adic $L$-functions. First seen in Serre's realization of $p$-adic Dedekind zeta functions associated to totally real fields, Eisenstein measures provide a way to extend the style of congruences Kummer observed for values of the Riemann zeta function (so-called {\em Kummer congruences}) to certain other $L$-functions. In addition to tracing key developments, we discuss some challenges that arise in more general settings, concluding with some that remain open.
We give an explicit formulation of the weight part of Serre's conjecture for GL_2 using Kummer theory. This avoids any reference to p-adic Hodge theory. The key inputs are a description of the reduction modulo p of crystalline extensions in terms of certain "G_K-Artin-Scheier cocycles" and a result of Abrashkin which describes these cocycles in terms of Kummer theory. An alternative explicit formulation in terms of local class field theory was previously given by Dembele-Diamond-Roberts in the unramified case and by the second author in general. We show that the description of Dembele-Diamond-…
In this paper, based on Serre's $p$-adic family of Eisenstein series, we prove a general family of congruences for Eisenstein series $G_k$ in the form $$ \sum_{i=1}^n g_i(p)G_{f_i(p)}\equiv g_0(p)\mod p^N, $$ where $f_1(t),\ldots,f_n(t)\in\mathbb{Z}[t]$ are non-constant integer polynomials with positive leading coefficients and $g_0(t),\ldots,g_n(t)\in\mathbb{Q}(t)$ are rational functions. This generalizes the classical von Staudt-Clausen's and Kummer's congruences of Eisenstein series, and also yields some new congruences.
We study the Galois action on paths in the $\mathbb{Q}_\ell$-pro-unipotent étale fundamental groupoid of a hyperbolic curve $X$ over a $p$-adic field with $\ell\neq p$. We prove an Oda--Tamagawa-type criterion for the existence of a Galois-invariant path in terms of the reduction of $X$, as well as an anabelian reconstruction result determining the stable reduction type of $X$ in terms of its fundamental groupoid. We give an explicit combinatorial description of the non-abelian Kummer map of $X$ in arbitrary depth, and deduce consequences for the non-abelian Chabauty method for affine hyperbol…
We show that if $E/\mathbb{Q}$ is an elliptic curve with a rational $p$-torsion for $p=2$ or $3$, then there is a congruence relation between Ramanujan's tau function and $E$ modulo $p$. We make use of such congruences to compute the Iwasawa invariants of $2$-adic and $3$-adic Mazur--Tate elements attached to Ramanujan's tau function. We also investigate numerically the Iwasawa invariants of the Mazur--Tate elements attached to an elliptic curve with additive reduction at a fixed prime number.
We prove two transformations for the $p$-adic hypergeometric series which can be described as $p$-adic analogues of a Kummer's linear transformation and a transformation of Clausen. We first evaluate two character sums, and then relate them to the $p$-adic hypergeometric series to deduce the transformations. We also find another transformation for the $p$-adic hypergeometric series from which many special values of the $p$-adic hypergeometric series as well as finite field hypergeometric functions are obtained.
This paper pursues positive characteristic analogues of the results of Furusho, Komori, Matsumoto and Tsumura on $p$-adic multiple $L$-functions. We consider $\infty$-adic and $v$-adic multiple zeta functions concerned by Anglès, Ngo Dac and Tavares Ribeiro. Our main results in this paper consist of: (1) integral expressions of special values of $\infty$-adic multiple zeta functions, (2) integral expression of $v$-adic multiple zeta functions themselves similar to those of $p$-adic multiple $L$-functions, (3) Kummer-type congruence for the special values of $v$-adic multiple zeta functions at …
In this paper we study special bases of certain spaces of half-integral weight weakly holomorphic modular forms. We establish a criterion for the integrality of Fourier coefficients of such bases. By using recursive relations between Hecke operators, we derive relations of Fourier coefficients of each basis element and obtain congruences of the Fourier coefficients, which extend known congruences for traces of singular moduli.
