Product formula for<i>p</i>-adic epsilon factors

Let M be a holonomic algebraic D-module on the affine line. Its exponential factors are Puiseux germs describing the growth of holomorphic solutions to M at irregular points. The stationary phase formula states that the exponential factors of the Fourier transform of M are obtained by Legendre transform from the exponential factors of M. We give a microlocal proof of this fact, by translating it in terms of enhanced ind-sheaves through the Riemann-Hilbert correspondence.

show abstract

“…where the coefficients d (i) n only depend on c (i) n ′ for n ′ n. In particular, d (1) n = d (2) n for n < q. Inverting the series, we get…”

Section: This Givesmentioning

confidence: 99%

“…(For related results in the p-adic case, see e.g. [29] for analytic étale sheaves and [2] for arithmetic D-modules. )…”

Section: On One Hand (12) Impliesmentioning

confidence: 99%

A microlocal approach to the enhanced Fourier–Sato transform in dimension one

D'Agnolo

Kashiwara

2018

Advances in Mathematics

View full text Add to dashboard Cite

show abstract

“…Next, by dévissage in overconvergent F -isocrystals, we extend naturally the notion of ι-mixedness to F -D b ovhol (Y /K). At the end of the section, we estimate the weight of the cohomology on curves, using the methods developed in [AM11] by the first author together with Marmora.…”

Section: Introductionmentioning

confidence: 99%

Theory of weights in p-adic cohomology

Abe¹,

Caro²

2018

American Journal of Mathematics

Self Cite

100

View full text Add to dashboard Cite

Let k be a finite field of characteristic p > 0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the ℓ-adic framework: first, the six operations preserve weights, and secondly, the intermediate extension of an immersion preserves pure complexes and weights.[BBD82] Gabber proved the stability of purity and mixedness under intermediate extensions, with which the theory of weights for ℓ-adic cohomology may be regarded as complete. However, the problem of obtaining similar results within a p-adic cohomological framework remained opened. After Dwork's p-adic proof of the rationality of zeta functions, a part of Weil's conjectures, it seems natural to expect better computability of zeta functions with a p-adic approach. In this paper, we build a p-adic theory of weights.The first attempt to calculate the weights of some p-adic cohomology was made by Katz and Messing in their famous paper [KM74]. Using Deligne's deep results on weights, especially "Le théorème du pgcd", they showed that, for projective smooth varieties, the weight of crystalline cohomology is the same as that of ℓ-adic one. It is reasonable to hope that the coefficient theory of weights parallel to ℓ-adic cohomology should exist in the spirit of the petit camarade conjecture [Del80, 1.2.10], even though there were many obstacles that prevented the construction of such a theory. After the work of Katz-Messing, efforts were made until Kedlaya finally obtained in [Ked06] the expected estimation of weights of rigid cohomology, a p-adic cohomology constructed by Berthelot. We do not go into more details of the history, and recommend the reader to consult the excellent explanation in the introduction of [Ked06].But the context of rigid cohomology was still not completely satisfactory, in the sense that this is not "functorial enough", namely we do not have six operations formalism, specially push-forwards as pointed out in [Ked06, 5.3.3]. In this paper, we use systematically Berthelot's arithmetic D-modules to complete the program of establishing a p-adic theory of weights stable under six operations. In many applications, such a theory should play as important roles as suggested by the classical situations; for example, the theory of intersection cohomology and its purity, the theory of Springer representations, Lafforgue's proof of Langlands correspondence, etc. In the final part of the paper, we show one such application that the Hasse-Weil L-function for a function field defined by means of ℓ-adic methods and p-adic methods coincide. Now let us explain our results in more details. Let V be a complete discretely valued ring of mixed characteristic (0, p), K its field of fractions, and k its residue field which is assumed to be a finite field. We suppose that there exists a lifting of the Frobenius of k to V. In order to obtain a p-adic cohomology on algebraic varieties over k stable under the six operations whose coefficients...

show abstract

“…Recently Abe and Marmora ( [AM11]) gave a proof of the product formula for p-adic epsilon factors, using this comparison theorem between Fourier and Fourier with compact support for curves and making necessary its publication, at least in the case of dimension 1. The extra work in dimension N consists into proving a generalization of the division lemma 2.4.1 and to deal with longer complexes of length N + 1.…”

Section: Introductionmentioning

confidence: 99%

Comparison theorem between Fourier transform and Fourier transform with compact support

Huyghe

2013

J. Théor. Nombres Bordeaux

View full text Add to dashboard Cite

Product formula forp-adic epsilon factors

Cited by 13 publications

References 61 publications

A microlocal approach to the enhanced Fourier–Sato transform in dimension one

A microlocal approach to the enhanced Fourier–Sato transform in dimension one

Theory of weights in p-adic cohomology

Comparison theorem between Fourier transform and Fourier transform with compact support

Contact Info

Product

Resources

About