Let $S$ be a noetherian scheme and $f\colon X\to S$ be a smooth morphism of relative dimension 1. For a locally constant sheaf on the complement of a divisor in $X$ at over $S$, Deligne and Laumon proved that the universal local acyclicity is equivalent to the local constancy of Swan conductors. In this article, assuming the universal local acyclicity, we show an analogous result of the continuity of local epsilon factors. We also give a generalization of this result to a family of isolated singularities.
Let X be a smooth proper curve over a finite field of characteristic p. We prove a product formula for p-adic epsilon factors of arithmetic D-modules on X. In particular we deduce the analogous formula for overconvergent F-isocrystals, which was conjectured previously. The p-adic product formula is the equivalent in rigid cohomology of the Deligne-Laumon formula for epsilon factors in l-adic étale cohomology (for a prime l different from p). One of the main tools in the proof of this p-adic formula is a theorem of regular stationary phase for arithmetic D-modules that we prove by microlocal te…
We give explicit formulas for the local multiplicative convolution functors which express the local monodromies of the convolution of two $\ell$-adic sheaves on the torus ${\mathbb G}_m$ over the algebraic closure of a finite field in terms of the local monodromies of the factors.
We provide an effective version of Katz' criterion for finiteness of the monodromy group of a lisse, pure of weight zero, $\ell$-adic sheaf on a normal variety over a finite field, depending on the numerical complexity of the sheaf
The goal of this paper is to motivate a boundedness conjecture on nearby slopes of $\ell$-adic sheaves in positive characteristic, and to prove it for smooth curves. For a constructible $\ell$-adic sheaf, we prove the finiteness of the set of nearby slopes associated to a given morphism. For the constant sheaf, we prove the vanishing of nearby slopes in case of generalized semi-stable reduction.
Let $X$ be a smooth connected algebraic curve over an algebraically closed field $k$. We study the deformation of $\ell$-adic Galois representations of the function field of $X$ while keeping the local Galois representations at all places undeformed.
We propose a conjecture on the relative twist formula of $\ell$-adic sheaves, which can be viewed as a generalization of Kato-Saito's conjecture. We verify this conjecture under some transversal assumptions. We also define a relative cohomological characteristic class and prove that its formation is compatible with proper push-forward. A conjectural relation is also given between the relative twist formula and the relative cohomological characteristic class.
For K and L two l-adic perverse sheaves on the one-dimensional torus over the algebraic closure of a finite field, we show that the local monodromies of their convolution K*L at its points of non-smoothness is completely determined by the local monodromies of K and L. This generalizes a previous result of N. Katz for the case where K and L are smooth, tame at 0 and totally wild at infinity.
We introduce a notion of compatibility for families $(\mathcal{F}_{\ell})_{\ell}$ of bounded constructible $\ell$-adic complexes of étale sheaves on schemes. For schemes of finite type over a field, this notion is preserved by the usual six functors. We prove that the compatibility of a family is preserved by the nearby cycles functor and by the linearized $\varepsilon$-factors introduced recently by the author. We establish independence of $\ell$ for the characteristic cycles and characteristic $\varepsilon$-cycles of compatible families.
Given a Galois étale map of varieties $π:Y\to X$ and an $\ell$-adic sheaf or derived category object $P\in D^b_c(Y,{\mathbb Q}_\ell)$, we study two cohomological operations: the tensor direct image and (in the case of perverse sheaves) the convolution direct image, which give objects of $D^b_c(X,{\mathbb Q}_\ell)$, and can be used to improve the estimates on some partial exponential sums and the number of rational points on certain varieties.
The Grothendieck-Ogg-Shafarevich formula calculates the l-adic Euler-Poincare number of an l-adic sheaf on a curve by an invariant produced by the wild ramification of the l-adic sheaf named Swan class. A. Abbes, K. Kato and T. Saito generalize this formula to any dimensional scheme. In this paper, assuming the strong resolution of singularities we prove a localized version of a formula proved by A. Abbes and T. Saito using the characteristic class of an l-adic sheaf. As an application, we prove a conductor formula in equal characteristic.
The Grothendieck-Ogg-Shafarevich formula is generalized to any dimensional scheme by Abbes-Kato-Saito. In this paper, we introduce two methods of localization of the characteristic classes for sheaves of rank 1 and compare them. As a corollary of this comparison, we obtain a refinement of a formula proved by Abbes-Saito without denominator for a smooth sheaf of rank 1 which is clean with respect to the boundary.
In this paper we develop a theory of Grothendieck's six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in math.AG/0512097.
Let $K$ be a local field, $X$ the Drinfel'd symmetric space $X$ of dimension $d$ over $K$ and ${\mathfrak X}$ the natural formal ${\mathcal O}_K$-scheme underlying $X$; thus $G={\rm GL}\sb {d+1}(K)$ acts on $X$ and ${\mathfrak X}$. Given a $K$-rational $G$-representation $M$ we construct a $G$-equivariant subsheaf ${\mathcal M}^0_{{\mathcal O}_{\dot{K}}}$ of ${\mathcal O}_K$-lattices in the constant sheaf $M$ on ${\mathfrak X}$. We study the cohomology of sheaves of logarithmic differential forms on $X$ (or ${\mathfrak X}$) with coefficients in ${\mathcal M}^0_{{\mathcal O}_{\dot{K}}}$. In the…
These are the notes accompanying 13 lectures given by the authors at the Clay Mathematics Institute Summer School 2014 in Madrid. The notes give an introduction into the theory of $\ell$-adic sheaves with emphasis on their ramification theory on curves.
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 $K\in L^1(\mathbb R)$ and let $f\in L^\infty(\mathbb R)$ be two functions on $\mathbb R$. The convolution $$(K\ast f)(x)=\int_{\mathbb R}K(x-y)f(y)dy$$ can be considered as an average of $f$ with weight defined by $K$. Wiener's Tauberian theorem says that under suitable conditions, if $$\lim_{x\to \infty}(K\ast f)(x)=\lim_{x\to \infty} (K\ast A)(x)$$ for some constant $A$, then $$\lim_{x\to \infty}f(x)=A.$$ We prove the following $\ell$-adic analogue of this theorem: Suppose $K,F, G$ are perverse $\ell$-adic sheaves on the affine line $\mathbb A$ over an algebraically closed field of chara…
Deligne and Kato proved a formula computing the dimension of the nearby cycles complex of an l-adic sheaf on a relative curve over an excellent strictly henselian trait. In this article, we reprove this formula using Abbes-Saito's ramification theory.
We consider the rigid monoidal category of character sheaves on a smooth commutative group scheme $G$ over a finite field $k$ and expand the scope of the function-sheaf dictionary from connected commutative algebraic groups to this setting. We find the group of isomorphism classes of character sheaves on $G$ and show that it is an extension of the group of characters of $G(k)$ by a cohomology group determined by the component group scheme of $G$. We also classify all morphisms in the category character sheaves on $G$. As an application, we study character sheaves on Greenberg transforms of loc…
We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and show a kind of partial Künneth formula. Using these results, we deduce bounds on Gelfand-Kirillov dimension, together with some new vanishing and nonvanishing results. Our key new tool is the six functor formalism with solid almost $\mathcal{O}^+/p$-coefficients developed recently by the second author [Man22]. One major point of this paper is to extend the …
Inspired by the work of Laumon on $\varepsilon$-factors and by Deligne's $1974$ letter to Serre, we give an explicit cohomological definition of $\varepsilon$-factors for $\ell$-adic Galois representations over henselian discrete valuation fields of positive equicharacteristic $p \neq \ell$, with (not necessarily finite) perfect residue fields. These geometric local $\varepsilon$-factors are completely characterized by an explicit list of purely local properties, such as an induction formula and the compatibility with geometric class field theory in rank $1$, and satisfy a product formula for …
We establish a criterion for sheaves on an adically complete DG scheme to be coherent. We deduce a description of coherent sheaves on an adically complete lci singularity in terms of modules for a DG Lie algebra.
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.
In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholze's pro-etale topology. In this paper, we first extend Kiehl's theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheaves on adic spaces, then construct a corresponding theory of pseudocoherent (phi, Gamma)-modules. We then relate these objects to a more explicit construction in case the space comes equipped with a su…
In this article we propose a geometric description of Arthur packets for $p$-adic groups using vanishing cycles of perverse sheaves. Our approach is inspired by the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of admissible representations of real groups and follows the direction indicated by Vogan in his 1993 paper on the Langlands correspondence. Using vanishing cycles, we introduce and study a functor from the category of equivariant perverse sheaves on the moduli space of certain Langlands parameters to local systems on the regular part of the conormal bundle for …
Let $X$ be a smooth connected projective algebraic curve over an algebraically closed field, and let $S$ be a finite nonempty closed subset in $X$. We study deformations of $\overline{\mathbb F}_\ell$-sheaves. The universal deformation space is a formal scheme. Its generic fiber has a rigid analytic space structure. By studying this rigid analytic space, we prove a conjecture of Katz which says that if a lisse $\overline{\mathbb Q}_\ell$-sheaf $\mathcal F$ on $X-S$ is irreducible and rigid, then we have $\mathrm{dim}\, H^1(X,j_\ast\mathcal End(\mathcal F))=2g$, where $j:X-S\to X$ is the open i…
We develop a full 6-functor formalism for $p$-torsion étale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g. rigid-analytic variety) $X$ with pseudouniformizer $π$ an $\infty$-category $\mathcal D^a_\square(\mathcal O^+_X/π)$ of "derived quasicoherent complete topological $\mathcal O^+_X/π$-modules" on $X$. We then construct the six functors $\otimes$, $\underline{Hom}$, $f^*$, $f_*$, $f_!$ and $f^!$ in this setting and show that they satisfy all the expected compatibilities, s…
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.
We prove a purely local form of a result of Saito and Yatagawa. They proved that the characteristic cycle of a constructible étale sheaf is determined by wild ramification of the sheaf along the boundary of a compactification. But they had to consider ramification at all the points of the compactification. We give a pointwise result, that is, we prove that the characteristic cycle of a constructible étale sheaf around a point is determined by wild ramification at the point. The key ingredient is to prove that wild ramification of the stalk of the nearby cycle complex of a constructible étale s…
We define formal vector bundles with marked sections on Hilbert modular schemes and we show how to use them to construct modular sheaves with an integrable meromorphic connection and a filtration which, in degree 0, gives to us a $p$-adic interpolation of the usual Hodge filtration. We relate it with the sheaf of overconvergent Hilbert modular forms.
In this paper, we are going to establish a simultaneous generalization of the relative Iwasawa theory proposed by Kedlaya-Pottharst and the relative $p$-adic Hodge theory after Kedlaya-Liu. We call this Hodge-Iwasawa theory in the sense that one could apply the theory to study noncommutative Iwasawa cohomology and noncommutative Iwasawa theories in families and meanwhile one could apply the theory to study the deformation theory of étale local systems or families of representations of fundamental groups or the equivariant constructible $p$-adic sheaves, with more sophisticated point of view co…
In this paper, we define and construct canonical filtered $F$-crystals with $G$-structure over the integral models for Shimura varieties of abelian type at hyperspecial level defined by Kisin. We check that these are related by $p$-adic comparison theorems to the usual lisse sheaves, and as an application we also use this to show that the Galois representations generated from the $p$-adic étale cohomology of Shimura varieties with nontrivial coefficient sheaves are crystalline, at least in the case of proper abelian type Shimura varieties.
We prove an analogue for $p$-adic coefficients of the Deligne--Laumon theorem on local acyclicity for curves. That is, for an overconvergent $F$-isocrystal $E$ on a relative curve $f:U\rightarrow S$ admitting a good compactification, we show that the cohomology sheaves of $\mathbf{R}f_!E$ are overconvergent isocrystals if and only if $E$ has constant Swan conductor at infinity.
We prove a twist formula for the epsilon factor of a constructible sheaf on a projective smooth variety over a finite field in terms of characteristic class of the sheaf. This formula is a modified version of the formula conjectured by Kato and Saito in [Ann. Math., 168 (2008):33-96, Conjecture 4.3.11]. We give two applications of the twist formula. Firstly, we prove that the characteristic classes of constructible étale sheaves on projective smooth varieties over a finite field are compatible with proper push-forward. Secondly, we show that the two Swan classes in the literature are the same …
We introduce a notion of constructibility for étale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We use the work of R. Huber to define an adic Verdier dual and investigate the extent to which we have a 6-functor formalism in this context. Lastly, we attempt to classify those sheaves which are reflexive with respect to the adic Verdier dual.
Given a Galois cover of curves over $\mathbb{F}_p$, we relate the $p$-adic valuation of epsilon constants appearing in functional equations of Artin L-functions to an equivariant Euler characteristic. Our main theorem generalises a result of Chinburg from the tamely to the weakly ramified case. We furthermore apply Chinburg's result to obtain a `weak' relation in the general case. In the Appendix, we study, in this arbitrarily wildly ramified case, the integrality of $p$-adic valuations of epsilon constants.
Slopes and weights of $\ell$-adic cohomology of rigid spaces
School of Mathematical Sciences, Beijing Normal University（北京师范大学数学科学学院）；Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院晨兴数学中心）；University of the Chinese Academy of Sciences（中国科学院大学）
Let (P,X) be Shimura data, M=M(P,X,K) the Shimura variety of level K. To an algebraic representation of P, one can associate a mixed sheaf (variation of Hodge structure, l-adic sheaf) on M. In the paper, we study the degeneration of such sheaves along strata in toroidal compactifications of M. The main result (2.8 in the Hodge setting, 3.9 in the l-adic setting) gives a formula for this degeneration in terms of Hochschild cohomology of certain unipotent subgroups of P. The new version differs from the earlier one in that the proof of 2.8 was rewritten. In particular, the effect of Saito's spec…
Sen attached to each p-adic Galois representation of a p-adic field a multiset of numbers called generalized Hodge-Tate weights. In this paper, we discuss a rigidity of these numbers in a geometric family. More precisely, we consider a p-adic local system on a rigid analytic variety over a p-adic field and show that the multiset of generalized Hodge-Tate weights of the local system is constant. The proof uses the p-adic Riemann-Hilbert correspondence by Liu and Zhu, a Sen-Fontaine decompletion theory in the relative setting, and the theory of formal connections. We also discuss basic propertie…
We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for étale cohomology with nontrivial coefficients, as well as in the relative setting, i.e. for proper smooth morphisms of smooth formal schemes. The proof is formulated in terms of the pro-étale topos introduced by Scholze, and uses his primitive comparison theorem for the structure sheaf on the pro-étale site. Moreover, we need to prove the Poincaré lemma for crystalline period sheaves, for which we adapt the idea of Andreatta and Iovita. Another in…
The goal of this work is to construct a perverse t-structure on the infinity-category of l-adic LG-equivariant sheaves on the loop Lie algebra Lg and to show that the affine Grothendieck-Springer sheaf S is perverse. Moreover, S is an intermediate extension of its restriction to the locus of ``compact" elements with regular semi-simple reduction. Note that classical methods do not apply in our situation because LG and Lg are infinite-dimensional ind-schemes.
In order to define a geometric Fourier transform, one usually works with either $\ell$-adic sheaves in characteristic $p>0$ or with $D$-modules in characteristic 0. If one considers $\ell$-adic sheaves on the stack quotient of a vector bundle $V$ by the homothety action of $\mathbb{G}_m$, however, Laumon provides a uniform geometric construction of the Fourier transform in any characteristic. The category of sheaves on $[V/\mathbb{G}_m]$ is closely related to the category of (unipotently) monodromic sheaves on $V$. In this article, we introduce a new functor, which is defined on all sheaves on…
In this article, we show that if $X$ is an excellent surface with rational singularities, the constant sheaf $\mathbb{Q}_{\ell}$ is a dualizing complex. In coefficient $\mathbb{Z}_{\ell}$, we also prove that the obstruction for $\mathbb{Z}_{\ell}$ to become a dualizing complex lying on the divisor class groups at singular points. As applications, we study the perverse sheaves and the weights of $\ell$-adic cohomology groups on such surfaces.
Deligne constructed a remarkable local system on $\bP^1-\{0,\infty\}$ attached to a family of Kloosterman sums. Katz calculated its monodromy and asked whether there are Kloosterman sheaves for general reductive groups and which automorphic forms should be attached to these local systems under the Langlands correspondence. Motivated by work of Gross and Frenkel-Gross we find an explicit family of such automorphic forms and even a simple family of automorphic sheaves in the framework of the geometric Langlands program. We use these automorphic sheaves to construct l-adic Kloosterman sheaves for…
We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough to see all lisse $\ell$-adic sheaves, even on non-normal schemes. To accomplish these tasks, we define and study the pro-étale topology, which is a Grothendieck topology on schemes that is closely related to the étale topology, and yet better suited for infinite constructions typically encountered in $\ell$-adic cohomology. An essential foundational result i…
