Bessel F-isocrystals for reductive groups

DOI10.1007/S00222-021-01079-5zbMATH Open1493.14032arXiv1910.13391OpenAlexW4205234242MaRDI QIDQ2118057FDOQ2118057

Xinwen Zhu, Daxin Xu

Publication date: 22 March 2022

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Abstract: We construct the Frobenius structure on a rigid connection $mathrm{Be}_{checkG}$ on $mathbb{G}_m$ for a split reductive group $checkG$ introduced by Frenkel-Gross. These data form a $checkG$-valued overconvergent $F$-isocrystal $mathrm{Be}_{checkG}^{dagger}$ on $mathbb{G}_{m,mathbb{F}_p}$, which is the $p$-adic companion of the Kloosterman $checkG$-local system $mathrm{Kl}_{checkG}$ constructed by Heinloth-Ng^o-Yun. By exploring the structure of the underlying differential equation, we calculate the monodromy group of $mathrm{Be}_{checkG}^{dagger}$ when $checkG$ is almost simple (which recovers the calculation of monodromy group of $mathrm{Kl}_{checkG}$ due to Katz and Heinloth-Ng^o-Yun), and establish functoriality between different Kloosterman $checkG$-local systems as conjectured by Heinloth-Ng^o-Yun. We show that the Frobenius Newton polygons of $mathrm{Kl}_{checkG}$ are generically ordinary for every $checkG$ and are everywhere ordinary on $|mathbb{G}_{m,mathbb{F}_p}|$ when $checkG$ is classical or $G_2$.

Full work available at URL: https://arxiv.org/abs/1910.13391

zbMATH Keywords

Kloosterman sums\(F\)-isocrystalsKloosterman sheavesBessel connections

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Local ground fields in algebraic geometry (14G20) Exponential sums (11T23) (p)-adic cohomology, crystalline cohomology (14F30) (p)-adic differential equations (12H25)

Cites Work

• Title not available (Why is that?)
• Geometric Eisenstein series
• \(p\)-adic cycles
• Geometric Langlands duality and representations of algebraic groups over commutative rings
• Variations of \(p\)-adic Newton polygons for \(L\)-functions of exponential sums
• Gauss Sums, Kloosterman Sums, and Monodromy Groups. (AM-116)
• L-functions for symmetric products of Kloosterman sums
• F-isocrystals and de Rham cohomology. II: Convergent isocrystals
• La conjecture de Weil. II
• Rigid analytic geometry and its applications
• Newton polygons of zeta functions and \(L\) functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relative log convergent cohomology and relative rigid cohomology II
• ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
• Exponential sums and Newton polyhedra: cohomology and estimates
• Hyperbolic localization of intersection cohomology
• On a theorem of Braden
• Title not available (Why is that?)
• Hodge cycles, motives, and Shimura varieties
• Title not available (Why is that?)
• Exponential Sums and Differential Equations. (AM-124)
• On Landau-Ginzburg models for quadrics and flat sections of Dubrovin connections
• Construction of central elements in the affine Hecke algebra via nearby cycles
• Title not available (Why is that?)
• Kloosterman sheaves for reductive groups
• A rigid irregular connection on the projective line
• Semistable reduction for overconvergent $F$-isocrystals I: Unipotence and logarithmic extensions
• De Rham cohomology of differential modules on algebraic varieties
• Logarithmic growth and Frobenius filtrations for solutions ofp-adic differential equations
• The geometric Satake correspondence for ramified groups
• The Jordan-Hölder series for nearby cycles on some Shimura varieties and affine flag varieties
• On the index theorem for \(p\)-adic differential equations. III
• Bessel functions as p-adic functions of the argument
• Title not available (Why is that?)
• Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic \(\mathcal D\)-modules
• Product formula forp-adic epsilon factors
• $\mathcal{D}$-modules arithmétiques surholonomes
• Title not available (Why is that?)
• Semistable reduction for overconvergentF-isocrystals, IV: local semistable reduction at nonmonomial valuations
• Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties
• Arithmetic invariants of discrete Langlands parameters
• Hasse-Arf filtrations and \(p\)-adic monodromy.
• Title not available (Why is that?)
• Rigidity and a Riemann-Hilbert correspondence for \(p\)-adic local systems
• An introduction to affine Grassmannians and the geometric Satake equivalence
• Frenkel-Gross' irregular connection and Heinloth-Ngô-Yun's are the same
• On the calculation of some differential Galois groups
• \(D^\dagger (\infty)\)-affinité des schémas projectifs. (\(D^\dagger (\infty)\)-affinity of projective schemes.)
• $F$-isocrystals and their monodromy groups
• Specialization of crystalline cohomology
• Differential modules and singular points of p-adic differential equations
• Affine Demazure resolutions and the geometric Casselman-Shalika formula
• A note on exponential sums
• \(L\)-functions associated to overconvergent \(F\)-isocrystals
• Langlands program for \(p\)-adic coefficients and the petits camarades conjecture
• On Beilinson's equivalence for \(p\)-adic cohomology
• Slopes of indecomposable \(F\)-isocrystals
• Estimates for \(p\)-adic valuations of Hecke operator eigenvalues
• Langlands correspondence for isocrystals and the existence of crystalline companions for curves
• A Lefschetz theorem for overconvergent isocrystals with Frobenius structure
• The monodromy groups of lisse sheaves and overconvergent \(F\)-isocrystals
• Title not available (Why is that?)
• p-adic hypergeometric functions and their cohomology
• Title not available (Why is that?)
• A new approach to the geometric Satake equivalence
• Notes on the Geometric Satake Equivalence
• Représentations galoisiennes et opérateurs de Bessel \(p\)-adiques. (Galois representations and \(p\)-adic Bessel operators)
• Theory of weights in p-adic cohomology
• AROUND THE NEARBY CYCLE FUNCTOR FOR ARITHMETIC -MODULES
• Geometric Satake, categorical traces, and arithmetic of Shimura varieties
• Title not available (Why is that?)
• The motivic Satake equivalence
• $p$-adic generalized hypergeometric equations from the viewpoint of arithmetic $\scr{D}$-modules}$
• Logarithmic growth filtrations for -modules over the bounded Robba ring

Cited In (9)

• Title not available (Why is that?)
• Local parameters of supercuspidal representations
• Airy sheaves for reductive groups
• Drinfeld's lemma for F-isocrystals, II: Tannakian approach
• Hypergeometric sheaves for classical groups via geometric Langlands
• \(L\)-functions of Kloosterman sheaves
• $F$-isocrystals and their monodromy groups
• Simple supercuspidals and the Langlands correspondence
• Arithmetic and geometric Langlands program

   Recommendations

• Chevalley groups of type E7 in the 56-dimensional representation 👍 👎
• $F$-isocrystals and their monodromy groups 👍 👎
• Białynicki-Birula decomposition for reductive groups 👍 👎
• On \(\mathbb{A}^1\)-fundamental groups of isotropic reductive groups 👍 👎
• Generalizations of Bieberbach's first theorem on crystallographic groups 👍 👎
• Bicuspid F -structures and Hecke groups 👍 👎
• Isotropic reductive groups over discrete Hodge algebras 👍 👎
• Title not available (Why is that?) 👍 👎
• The Borel-Weil theorem for reductive Lie groups 👍 👎
• Torsors of isotropic reductive groups over Laurent polynomials 👍 👎

This page was built for publication: Bessel \(F\)-isocrystals for reductive groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118057)