Bessel F-isocrystals for reductive groups

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

Authors Daxin Xu, Xinwen Zhu

Publication date 22 March 2022

Published in Inventiones Mathematicae (Search for Journal in Brave)

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)

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$.

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
• scientific article; zbMATH DE number 4042062
• The Borel-Weil theorem for reductive Lie groups
• Torsors of isotropic reductive groups over Laurent polynomials

Cites work

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

Cited in

(10)

• Local parameters of supercuspidal representations
• Drinfeld's lemma for F-isocrystals, II: Tannakian approach
• scientific article; zbMATH DE number 1270364 (Why is no real title available?)
• Simple supercuspidals and the Langlands correspondence
• Local monodromy of the Kloosterman sheaf at \(\infty\)
• $F$-isocrystals and their monodromy groups
• \(L\)-functions of Kloosterman sheaves
• Hypergeometric sheaves for classical groups via geometric Langlands
• Airy sheaves for reductive groups
• Arithmetic and geometric Langlands program

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)