Siegel proved that every totally positive element of a number field K is the sum of four squares, so in particular the Pythagoras number is uniformly bounded across number fields. The p-adic Kochen operator provides a p-adic analogue of squaring, and a certain localisation of the ring generated by this operator consists of precisely the totally p-integral elements of K. We use this to formulate and prove a p-adic analogue of Siegel's theorem, by introducing the p-Pythagoras number of a general field, and showing that this number is uniformly bounded across number fields. We also generally study fields with finite p-Pythagoras number and show that the growth of the p-Pythagoras number in finite extensions is bounded.
We show that Siegel modular forms of level Γ_0(p^m) are p-adic modular forms. Moreover we show that derivatives of such Siegel modular forms are p-adic. Parts of our results are also valid for vector-valued modular forms. In our approach to p-adic Siegel modular forms we follow Serre closely; his proofs however do not generalize to the Siegel case or need some modifications.
A generalization of Serre's $p$-adic Eisenstein series in the case of Siegel modular forms is studied and a coincidence between a $p$-adic Siegel Eisenstein series and a genus theta series associated with a quaternary quadratic form is proved.
Suppose that p > 5 is a rational prime. Starting from a well-known p-adic analytic family of ordinary elliptic cusp forms of level p due to Hida, we construct a certain p-adic analytic family of holomorphic Siegel cusp forms of arbitrary even genus and of level p associated with Hida's p-adic analytic family via the Duke-Imamoglu lifting provided by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.
Suppose that p > 5 is a rational prime. Starting from a well-known p-adic analytic family of ordinary elliptic cusp forms of level p due to Hida, we construct a certain p-adic analytic family of holomorphic Siegel cusp forms of arbitrary even genus and of level p associated with Hida's p-adic analytic family via the Duke-Imamoglu lifting which has been established by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.
We generalize the surjectivity result of the $p$-adic monodromy for the ordinary locus of a Siegel moduli space by Faltings and Chai (independently by Ekedahl) to that for any $p$-rank stratum. We discuss irreducibility and connectedness of some $p$-rank strata of the moduli spaces with parahoric level structure. Finer results are obtained on the Siegel 3-fold with Iwahori level structure.
For any rational prime $p$, we define a certain $p$-stabilization of holomorphic Siegel Eisenstein series for the symplectic group ${\rm Sp}(2n)_{/\mathbb{Q}}$ of an arbitrary genus $n \ge 1$. In addition, we derive an explicit formula for the Fourier coefficients and conclude their $p$-adic interpolation problems. Consequently, for any odd prime $p$, we deduce the existence of a $Λ$-adic form (in the sense of A. Wiles, H. Hida and R.L. Taylor) such that after taking a suitable constant multiple, it interpolates $p$-adic analytic families of the above-mentioned $p$-stabilized Siegel Eisenstein…
In this paper we construct a two variables $p$-adic $L$-function for the standard representation associated with a Hida family of parallel weight genus $g$ Siegel forms, using a method previously developed by Böcherer--Schmidt in one variable. When a form of weight $g+1$ is Steinberg at $p$, a trivial zero appears and, using the method of Greenberg--Stevens, we calculate the first derivative of this $p$-adic $L$-function and show that it has the form predicted by a conjecture of Greenberg on trivial zeros.
For any rational prime $p$, we define a certain $p$-stabilization of holomorphic Siegel Eisenstein series for the symplectic group $\text{Sp}(2n)_{/\mathbb{Q}}$ of an arbitrary genus $n \ge 1$. In addition, we derive an explicit formula for the Fourier coefficients and conclude their $p$-adic interpolation problems. Consequently, for any odd prime $p$, we deduce the existence of a $Λ$-adic form (in the sense of A. Wiles, H. Hida and R.L. Taylor) such that after taking a suitable constant multiple, it interpolates $p$-adic analytic families of the above-mentioned $p$-stabilized Siegel Eisenstei…
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…
We study spherical functions on the space isomorphic to $U(2n)/(U(n)\times U(n))$ over a $p$-adic field; those functional equations with respect to the action of the Weyl group, the location of possible poles and zeros, explicit formulas, and spherical Fourier transforms. Then, as an application, we give a functional equation of $p$-adic local hermitian Siegel series.
Let p be an odd prime and g an integer greater or equal to 2. We prove that a finite slope Siegel cuspidal eigenform of genus g can be p-adically deformed over the g-dimensional weight space. The proof of this result relies on the construction of a family of sheaves of locally analytic overconvergent modular forms.
Let p be a fixed prime number. Let K be a totally real number field of discriminant D\_K and let T\_K be the torsion group of the Galois group of the maximal abelian p-ramified pro-p-extension of K (under Leopoldt's conjecture). We conjecture the existence of a constant C\_p>0 such that log(\#T\_K) $\le$ C\_p log(\sqrt(D\_K)) when K varies in some specified families (e.g., fields of fixed degree). In some sense, we suggest the existence of a p-adic analogue, of the classical Brauer--Siegel Theorem, wearing here on the valuation of the residue at s=1 (essentially equal to \#T\_K) of the p-adic …
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…
Let F be a totally real field and G=GSp(4)_{/F}. In this paper, we show under a weak assumption that, given a Hecke eigensystem lambda which is (p,P)-ordinary for a fixed parabolic P in G, there exists a several variable p-adic family underline{lambda} of Hecke eigensystems (all of them (p,P)-nearly ordinary) which contains lambda. The assumption is that lambda is cohomological for a regular coefficient system. If F=Q, the number of variables is three. Moreover, in this case, we construct the three variable p-adic family rho_{underline{lambda}} of Galois representations associated to underline…
Under the assumption that Galois representations associated to Siegel modular forms exist (it is known only for genus at most 2), we show that the cohomology with p-adic integral coefficients of Siegel Varieties, when localized at a non-Eisenstein maximal ideal of the Hecke algebra, is torsion-free, provided the prime p is large with the respect to the weight of the coefficient system. The proof uses p-adic Hodge theory, the dual BGG complex modulo p in order to compute the Hodge-Tate weights for the mod p cohomology. We apply this result to the construction of Hida p-adic families for symplec…
The Fourier coefficients of the Siegel-Eisenstein series are p-adically continued for all primes p, as meromorphic functions, using the reciprocal of a product of L-functions. A construction of p-adic meromorphic families of such series is given in relation to the geometry of homogeneous spaces. Applications are given to p-adic L-functions, to Siegel's Mass Formula, to p-adic analytic families of automorphic representations. Based on author's talk for the Conference Automorphic Forms and Related Geometry, Assessing the Legacy of I.I. Piatetski-Shapiro
With respect to the analytic-algebraic dichotomy, the theory of Siegel modular forms of half-integral weight is lopsided; the analytic theory is strong whereas the algebraic lags behind. In this paper, we capitalise on this to establish the fundamental object needed for the analytic side of the Iwasawa main conjecture -- the $p$-adic $L$-function obtained by interpolating the complex $L$-function at special values. This is achieved through the Rankin-Selberg method and the explicit Fourier expansion of non-holomorphic Siegel Eisenstein series. The construction of the $p$-stabilisation in this …
The goal of this paper is to study a $p$-adic analog of the joint of the conjectures of André--Oort and André--Pink. More precisely, on a product of ordinary Siegel formal moduli schemes, we study the distribution of points whose components are either CM points or points in Hecke orbits. We use linearity of formal subschemes of the product as the $p$-adic analog of geodesicness over complex numbers. Moreover, we relax the usual incidence relations by using $p$-adic distance. We also study a $p$-adic formal scheme theoretic analog of the Ax--Lindemann theorem.
In this paper, we will study p-adic q-expansion of alternating sums of powers. From these properties, we derive some interesting properties related to p-adic q-expansion of alternating sums of powers
We generalize to Hilbert modular varieties of arbitrary dimension the work of W. Duke (Inventiones 1988) on the equidistribution of Heegner points and of primitive positively oriented closed geodesics in the Poincare upper half plane, subject to certain subconvexity results. We also prove vanishing results for limits of cuspidal Weyl sums associated with analogous problems for the Siegel upper half space of degree 2. In particular, these Weyl sums are associated with families of Humbert surfaces in Siegel 3-folds and of modular curves in these Humbert surfaces.
The purpose of this paper is to construct p-adic analytically continued function which interpolates q-Euler numbers at negative integer Finally, we give an explicit p-adic expansion as a power series in n.
We introduce and develop $(π,p)$-adic Dwork theory for $L$-functions of exponential sums associated to one-variable rational functions, interpolating $p^k$-order exponential sums over affinoids. Namely, we prove a generalization of the Dwork-Monsky-Reich trace formula and apply it to establish an analytic continuation of the $C$-function $C_f(s,π)$. We compute the lower $(π,p)$-adic bound, the Hodge polygon, for this $C$-function. Along the way, we also show why a strictly $π$-adic theory will not work in this case.
We define "splitting functions of level l" for any integer l>0. These functions generalize Dwork's splitting functions : they allow us to represent additive characters of order $p^l$. Then we use these functions to obtain a Stickleberger theorem on the $p$-adic valuation of new Gauss sums.
In a recent note W. Kohnen asks whether the values of Dedekind sums are dense in the field of $p$-adic numbers. The present paper answers this question. Dedekind sums do not approximate units of $\mathbb Z_2$ or $\mathbb Z_3$, so they are not dense in $\mathbb Q_2$ or $\mathbb Q_3$. But they are dense in $\mathbb Q_p$ if $p\ge 5$.
We define and apply a method to study the non-vanishing of $p$-adic cyclotomic multiple zeta values. We prove the non-vanishing of certain cyclotomic multiple harmonic sums, and, via a formula proved in another paper, which expresses a cyclotomic multiple harmonic sums as an infinite sum of products of $p$-adic cyclotomic multiple zeta values, this implies the non-vanishing of certain $p$-adic cyclotomic multiple zeta values.
In the paper we describe basin of attraction $p$-adic dynamical system $G(x)=(ax)^2(x+1)$. Moreover, we also describe the Siegel discs of the system, since the structure of the orbits of the system is related to the geometry of the $p$-adic Siegel discs.
The L-function of symmetric powers of classical Kloosterman sums is a polynomial whose degree is now known, as well as the complex absolute values of the roots. In this paper, we provide estimates for the p-adic absolute values of these roots. Our method is indirect. We first develop a Dwork-type p-adic cohomology theory for the two-variable infinite symmetric power L-function associated to the Kloosterman family, and then study p-adic estimates of the eigenvalues of Frobenius. A continuity argument then provides the desired p-adic estimates.
In the paper we describe basin of attraction of the $p$-adic dynamical system $f(x)=x^3+ax^2$. Moreover, we also describe the Siegel discs of the system, since the structure of the orbits of the system is related to the geometry of the $p$-adic Siegel discs.
Fix distinct primes $\ell$ and $f$, a finite field $\mathbf{F}_{q}$ such that $q \equiv 1 \pmod{\ell f}$, and a character $χ: \mathbf{F}_{q}^{\times} \to \mathbf{C}^{\times}$ of exact order $\ell f$. We present a new $\ell$-adic congruence for the Jacobi sum $J(χ^{\ell}, χ^{f})$. These Jacobi sums are Frobenius eigenvalues of the curve $y^{\ell} = x^{f} + 1$.
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.
We study the image of the $\ell$-adic Galois representations associated to the four vector valued Siegel modular forms appearing in the work of Chenevier and Lannes. These representations are symplectic of dimension $4$. Following a method of Dieulefait, we determine the primes $\ell$ for which these representations are absolutely irreducible. In addition, we show that their image is "full" for all primes $\ell$ such that the associated residual representation is absolutely irreducible, except in two cases.
In the present paper, our goal is to introduce a p-adic continuous function for an odd prime to inside a p-adic q-analogue of the higher order dedekind-type sums with weight alpha related to Extended q-Euler polynomials by using p-adic q-integral in the p-adic integer ring.
We construct the anticyclotomic $p$-adic $L$-function that interpolates a square root of central values of twisted spinor $L$-functions of a quadratic base change of a Siegel cusp form of genus $2$ with respect to a paramodular group of square-free level, assuming the Böcherer conjecture for the central $L$-values with anticyclotomic twists.
The purpose of this paper is to construct p-adic Dedekind sums and Hardy-Berndt type sums. We also construct generating function of the twisted Bernoulli polynomials and functions. Furthermore, we give some discussions on elliptic analogue of the Apostol-Dedekind sums.
For ψa nontrivial additive character on the finite field F_q, the map t \mapsto \sum_{x \in F_q} ψ(f(x)+tx) is the Fourier transform of the map t \mapsto ψ(f(t))$. As is well-known, this has a cohomological interpretation, producing a continuous ell-adic Galois representation. This paper studies the L-function attached to the k-th symmetric power of this representation using both ell-adic and p-adic methods. Using ell-adic techniques, we give an explicit formula for the degree of this L-function and determine the complex absolute values of its roots. Using p-adic techniques, we study the p-adi…
In the paper we investigate the behavior of trajectory of rational $p$-adic dynamical system in complex $p$-adic filed $\C_p$. It is studied Siegel disks and attractors of such dynamical systems. We show that Siegel disks may either coincide or disjoin for different fixed points of the dynamical system. Besides, we find the basin of the attractor of the system. It is proved that such kind of dynamical system is not ergodic on a unit sphere with respect to the Haar measure.
The $L$-function of exponential sums associated to the generic polynomial of degree $d$ in $n$ variables over a finite field of characteristic $p$ is studied. A polygon called the Frobenius polygon of the generic polynomial of degree $d$ in $n$ variables over a finite field of characteristic $p$ is defined. A $p$-adic Riemann hypothesis is formulated. It asserts that the Newton polygon of the $L$-function coincides with the Frobenius polygon when $p$ is large enough. This $p$-adic Riemann hypothesis is proved when $n=2$ and $p\equiv-1({\rm mod }\ d)$. In general, it is proved that the Newton p…
We compute the second moment of spinor $L$-functions at central points of Siegel modular forms on congruence subgroups of large prime level $N$ and give applications to non-vanishing.
We determine test vectors and explicit formulas for all Bessel models for those Iwahori-spherical representations of GSp(4) over a p-adic field that have non-zero vectors fixed under the Siegel congruence subgroup.
The Erdös-Moser equation is a Diophantine equation proposed more than 60 years ago which remains unresolved to this day. In this paper, we consider the problem in terms of divisibility of power sums and in terms of certain Egyptian fraction equations. As a consequence, we show that solutions must satisfy strong divisibility properties and a restrictive Egyptian fraction equation. Our studies lead us to results on the Bernoulli numbers and allow us to motivate Moser's original approach to the problem.
In this paper, we focus on a family of generalized Kloosterman sums over the torus. With a few changes to Haessig and Sperber's construction, we derive some relative $p$-adic cohomologies corresponding to the $L$-functions. We present explicit forms of bases of top dimensional cohomology spaces, so to obtain a concrete method to compute lower bounds of Newton polygons of the $L$-functions. Using the theory of GKZ system, we derive the Dwork's deformation equation for our family. Furthermore, with the help of Dwork's dual theory and deformation theory, the strong Frobenius structure of this equ…
In this paper, we establish a link between the structure theory of the pro-unipotent motivic fundamental group of the projective line minus three points and Diophantine geometry. In particular, we give a p-adic proof of Siegel's theorem.
In the paper we describe basin of attraction and the Siegel discs of the $p$-adic dynamical system $f(x)=x^{2n+1}+ax^{n+1}$ over complex $p$-adic field.
it is the purpose of this paper to construct a p-adic continuous function for an odd prime to contain a p-adic q-analogue of higher order Dedekind type sums related to q-Euler polynomials and numbers.
In the present paper, our objective is to treat a p-adic continuous function for an odd prime to inside a p-adic q-analogue of the higher order Dedekind-type sums with weight in connection with modified q-Genocchi polynomials with weight alpha by using p-adic invariant q-integral on Zp.
