We calculate the local Fourier transformations for a class of $\bar{\mathbb Q}_\ell$-sheaves. In particular, we verify a conjecture of Laumon and Malgrange. As an application, we calculate the local monodromy of $\ell$-adic hypergeometric sheaves introduced by Katz. We also discuss the characteristic $p$ analogue of the Turrittin-Levelt Theorem for $D$-modules. The method used in this paper can be used to show a conjecture of Ramero which states that the Fourier transformation of an analytic sheaf with meromorphic ramification still has meromorphic ramification.
Building on work of Crew, we give a rigid cohomological analogue of the main result of Deligne's "Weil II"; this makes it possible to give a purely p-adic proof of the Weil conjectures. Ingredients include a p-adic analogue of Laumon's application of the geometric Fourier transform in the l-adic setting, as well as recent results on p-adic differential equations, due to Andre, Christol, Crew, Kedlaya, Matsuda, Mebkhout, and Tsuzuki.
We study the relation of the middle convolution to the $\ell$-adic Fourier transformation in the étale context. Using Katz' work and Laumon's theory of local Fourier transformations we obtain a detailed description of the local monodromy and the determinant of Katz' middle convolution functor $\MC_χ$ in the tame case. The theory of local $ε$-constants then implies that the property of an étale sheaf of having an at most quadratic determinant is often preserved under $\MC_χ$ if $χ$ is quadratic.
The $p$-adic $q$-integral (= $I_q$-integral) was defined by author in the previous paper [1, 3]. In this paper, we consider $I_q$-Fourier transform and investigate some properties which are related to this transform.
We define and study an $\ell$-adic Fourier transform for a relative version of Banach-Colmez spaces (over a perfectoid space which is not necessarily a geometric point), which can be thought of as some analytic analogue of the $\ell$-adic Fourier transform for unipotent perfect group schemes. We explicitly describe it on some examples.
Laumon introduced the local Fourier transform for $\ell$-adic Galois representations of local fields, of equal characteristic $p$ different from $\ell$, as a powerful tool to study the Fourier-Deligne transform of $\ell$-adic sheaves over the affine line. In this article, we compute explicitly the local Fourier transform of monomial representations satisfying a certain ramification condition, and deduce Laumon's formula relating the epsilon factor to the determinant of the local Fourier transform under the same condition.
Let F be a finite extension of Q_p. We show that every Schwartz function on F, with values in an algebraic closure of Q_p, is the uniform limit of a sequence of Schwartz functions, whose Fourier transforms tend uniformly to 0. The proof uses the notion of q-binomial coefficients and some classical identities between them.
We prove two transformations for the $p$-adic hypergeometric functions which can be described as $p$-adic analogues of a Euler's transformation and a transformation of Clausen. We first evaluate certain character sums, and then relate them to the $p$-adic hypergeometric functions to deduce the transformations. We use a character sum identity proved by Ahlgren, Ono, and Penniston to deduce the $p$-adic Clausen's transformation. We also deduce special values of certain $p$-adic hypergeometric functions.
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 …
In this note we give a detailed construction of a $Λ$-adic $\mathfrak{d}$-th Shintani lifting. We derive a $Λ$-adic version of Kohnen's formula relating Fourier coefficients of half-integral weight modular forms and special values of twisted L-series. As a by-product, we derive a mild generalization of such classical formulae, and also point out a relation between Fourier coefficients of $Λ$-adic $\d$-th Shintani liftings and Stark--Heegner points.
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.
In this article, we give an explicit construction of the $p$-adic Fourier transform by Schneider and Teitelbaum, which allows for the investigation of the integral property. As an application, we give a certain integral basis of the space of $K$-locally analytic functions on the ring of integers $\mathcal{O}_K$ for any finite extension $K$ of $\mathbb{Q}_p$, generalizing the basis constructed by Amice for locally analytic functions on $\mathbb{Z}_p$. We also use our result to prove congruences of Bernoulli-Hurwitz numbers at non-ordinary (i.e. supersingular) primes originally investigated by K…
In \cite{mccarthy2}, McCarthy defined a function $_{n}G_{n}[\cdots]$ using the Teichmüller character of finite fields and quotients of the $p$-adic gamma function. This function extends hypergeometric functions over finite fields to the $p$-adic setting. In this paper, we give certain transformation formulas for the function $_{n}G_{n}[\cdots]$ which are not implied from the analogous hypergeometric functions over finite fields.
Given primes $\ell\ne p$, we record here a $p$-adic valued Fourier theory on a local field over $\mathbf{Q}_\ell$, which is developed under the perspective of group schemes. As an application, by substituting rigid analysis for complex analysis, it leads naturally to the $p$-adic local functional equation at $\ell$, which strongly resembles the complex one in Tate's thesis.
Serre obtained the p-adic limit of the integral Fourier coefficient of modular forms on $SL_2(\mathbb{Z})$ for $p=2,3,5,7$. In this paper, we extend the result of Serre to weakly holomorphic modular forms of half integral weight on $Γ_{0}(4N)$ for $N=1,2,4$. A proof is based on linear relations among Fourier coefficients of modular forms of half integral weight. As applications we obtain congruences of Borcherds exponents, congruences of quotient of Eisentein series and congruences of values of $L$-functions at a certain point are also studied. Furthermore, the congruences of the Fourier coeff…
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 consider the adic realization of the Morse transformation on the additive group of integer dyadic numbers. We discuss the arithmetic properties of that action. Then we extend that action to the action of the group of rational dyadic numbers on the solenoid.
We show that one can express Frobenius transformation on middle-dimensional p-adic cohomology of Calabi-Yau threefold in terms of mirror map and instanton numbers. We express the mirror map in terms of Frobenius transformation on p-adic cohomology . We discuss a $p$-adic interpretation of the conjecture about integrality of Gopakumar-Vafa invariants.
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.
In this paper we generalize work of Amice and Lazard from the early (nineteen) sixties. Amice determined the dual of the space of locally Qp-analytic functions on Zp and showed that it is isomorphic to the ring of rigid functions on the open unit disk over Cp. Lazard showed that this ring has a divisor theory and that the classes of closed, finitely generated, and principal ideals in this ring coincide. We study the space of locally L-analytic functions on the ring of integers in L, where L is a finite extension of Qp. We show that the dual of this space is a ring isomorphic to the ring of rig…
We the study of the monodromy of local systems with bounded ramification on a punctured disc defined over a non-archimedean valued field of characteristic zero. First, we construct the local Fourier transforms and we establish their main properties. Also, we show that the Fourier transform of a "perverse sheaf" with bounded ramification on the affine line, is again a "perverse sheaf" with bounded ramification (we put that in quotes, because actually the language of perversity is not used). These foundations are then used to exhibit a natural break decomposition for local systems with bounded r…
Let $E_{/_\Q}$ be an elliptic curve of conductor $Np$ with $p\nmid N$ and let $f$ be its associated newform of weight 2. Denote by $f_\infty$ the $p$-adic Hida family passing though $f$, and by $F_\infty$ its $Λ$-adic Saito-Kurokawa lift. The $p$-adic family $F_\infty$ of Siegel modular forms admits a formal Fourier expansion, from which we can define a family of normalized Fourier coefficients $\{\widetilde A_T(k)\}_T$ indexed by positive definite symmetric half-integral matrices $T$ of size $2\times 2$. We relate explicitly certain global points on $E$ (coming from the theory of Stark-Heegne…
Let f be a modular form with complex multiplication. If f has critical slope, then Coleman's classicality theorem implies that there is a p-adic overconvergent generalized Hecke eigenform with the same Hecke eigenvalues as f. We give a formula for the Fourier coefficiets of this generalized Hecke eigenform. We also investigate the dimension of the generalized Hecke eigenspace of p-adic overconvergent forms containing f.
In this article, we define a new k-adic series transformation called Z-transformation and probe into its fixed point and periodicity. We extend the number field of the transform period problem to a wider k-adic field. Different constraints are imposed on k, then different periodic columns are formed after finite Z-transformations. We obtain that their periodic sequences are M1= {1,2} and M2={1,2}\cup {n_0}\cup {n'} respectively after derivation. As an application, it can provide a reference for C problems in more complex algebraic ystems.
We determine the maximal eigenvalue of the p-adic curvature transformations on Bruhat-Tits buildings, and we give an essentially optimal upper bound on the minimal non-zero eigenvalue of these transformations.
We find summation identities and transformations for the McCarthy's $p$-adic hypergeometric series by evaluating certain Gauss sums which appear while counting points on the family $$Z_λ: x_1^d+x_2^d=dλx_1x_2^{d-1}$$ over a finite field $\mathbb{F}_p$. A. Salerno expresses the number of points over a finite field $\mathbb{F}_p$ on the family $Z_λ$ in terms of quotients of $p$-adic gamma function under the condition that $d|p-1$. In this paper, we first express the number of points over a finite field $\mathbb{F}_p$ on the family $Z_λ$ in terms of McCarthy's $p$-adic hypergeometric series for a…
We examine the Fourier coefficients of modular forms in a canonical basis for the spaces of weakly holomorphic modular forms of weights 4, 6, 8, 10, and 14, and show that these coefficients are often highly divisible by the primes 2, 3, and 5.
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…
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
Let $\mathcal L_1$ be the set of all mappings $f\colon\Z_p\Z_p$ of the space of all $p$-adic integers $\Z_p$ into itself that satisfy Lipschitz condition with a constant 1. We prove that the mapping $f\in\mathcal L_1$ is ergodic with respect to the normalized Haar measure on $\Z_p$ if and only if $f$ induces a single cycle permutation on each residue ring $\Z/p^k\Z$ modulo $p^k$, for all $k=1,2,3,...$. The multivariate case, as well as measure-preserving mappings, are considered also. Results of the paper in a combination with earlier results of the author give explicit description of ergodic …
We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get various inversion statements. We define also motivic Schwartz-Bruhat spaces on which motivic Fourier transformation induces an isomorphism. Our motivic integrals specialize to non archimedian integrals. We give a general transfer principle comparing identities between functions defined by integrals over local fields of characteristic zero, resp. positive, havi…
Nous avons obtenu des formules explicites representant les fonctions E(z) apparaissant dans la theorie des ``Espaces de Sonine'' associes par de Branges a la transformation de Fourier.
In a previous paper we formulated an analogue of the Ichino-Ikeda conjectures for Whittaker-Fourier coefficients of cusp forms on quasi-split groups, as well as the metaplectic group of arbitrary rank. In this paper we reduce the conjecture for the metaplectic group to a local conjectural identity. We motivate this conjecture by giving a heuristic argument for the case $\widetilde{SL}_2$. In a subsequent paper we will prove the local identity in the $p$-adic case.
We establish an invariant local trace formula for the tangent space of some symmetric spaces over a non-archimedean local field of characteristic zero. These symmetric spaces are studied in Guo-Jacquet trace formulae and our methods are inspired by works of Waldspurger and Arthur. Some other results are given during the proof including a noninvariant local trace formula, Howe's finiteness for weighted orbital integrals and the representability of the Fourier transform of weighted orbital integrals. These local results are prepared for the comparison of regular semi-simple terms, which are weig…
We construct in a Sonine Space of entire functions a subspace related to the Riemann zeta function and we show that the quotient contains vectors intrinsically attached to the non-trivial zeros and their multiplicities.
Lapid and Mao formulated a conjecture on an explicit formula of Whittaker Fourier coefficients of automorphic forms on quasi-split classical groups and metaplectic groups as an analogue of Ichino-Ikeda conjecture. They also showed that this conjecture is reduced to a certain local identity in the case of unitary groups. In this paper, we study even unitary group case. Indeed, we prove this local identity over $p$-adic fields. Further, we prove an equivalence between this local identity and a refined formal degree conjecture over any local field of characteristic zero. As a consequence, we prov…
