skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: On a conjecture of Braverman-Kazhdan
In this article we prove a conjecture of Braverman-Kazhdan in [BK1] on acyclicity of ρ-Bessel sheaves on reductive groups. We do so by proving a vanishing conjecture proposed in our previous work [C]. As a corollary, we obtain a geometric construction of the non-linear Fourier kernel for a finite reductive group as conjectured by Braverman and Kazhdan. The proof uses the theory of Mellin transforms, Drinfeld center of Harish-Chandra bimodules, and a construction of a class of character sheaves in mixed-characteristic.  more » « less
Award ID(s):
2001257
PAR ID:
10552647
Author(s) / Creator(s):
Publisher / Repository:
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY
Date Published:
Volume:
35
Issue:
4
Page Range / eLocation ID:
1171–1214
Format(s):
Medium: X
Institution:
School of Mathematics, University of Minnesota, Twin Cities
Sponsoring Org:
National Science Foundation
More Like this
  1. Braverman and Kazhdan proposed a conjecture, later refined by Ngô and broadened to the framework of spherical varieties by Sakellaridis, that asserts that affine spherical varieties admit Schwartz spaces, Fourier transforms, and Poisson summation formulae. The first author in joint work with B. Liu and later the first two authors proved these conjectures for certain spherical varieties Y built out of triples of quadratic spaces. However, in these works the Fourier transform was only proven to exist. In the present paper we give, for the first time, an explicit formula for the Fourier transform on Y: We also prove that it is unitary in the nonarchimedean case. As preparation for this result, we give explicit formulae for Fourier transforms on the affine closures of Braverman–Kazhdan spaces attached to maximal parabolic subgroups of split, simple, simply connected groups. These Fourier transforms are of independent interest, for example, from the point of view of analytic number theory. 
    more » « less
  2. Abstract Kazhdan and Lusztig identified the affine Hecke algebra ℋ with an equivariant$$K$$ K -group of the Steinberg variety, and applied this to prove the Deligne-Langlands conjecture, i.e., the local Langlands parametrization of irreducible representations of reductive groups over nonarchimedean local fields$$F$$ F with an Iwahori-fixed vector. We apply techniques from derived algebraic geometry to pass from$$K$$ K -theory to Hochschild homology and thereby identify ℋ with the endomorphisms of a coherent sheaf on the stack of unipotent Langlands parameters, thecoherent Springer sheaf. As a result the derived category of ℋ-modules is realized as a full subcategory of coherent sheaves on this stack, confirming expectations from strong forms of the local Langlands correspondence (including recent conjectures of Fargues-Scholze, Hellmann and Zhu). In the case of the general linear group our result allows us to lift the local Langlands classification of irreducible representations to a categorical statement: we construct a full embedding of the derived category of smooth representations of$$\mathrm{GL}_{n}(F)$$ GL n ( F ) into coherent sheaves on the stack of Langlands parameters. 
    more » « less
  3. Let X X be an affine spherical variety, possibly singular, and L + X \mathsf L^+X its arc space. The intersection complex of L + X \mathsf L^+X , or rather of its finite-dimensional formal models, is conjectured to be related to special values of local unramified L L -functions. Such relationships were previously established in Braverman–Finkelberg–Gaitsgory–Mirković for the affine closure of the quotient of a reductive group by the unipotent radical of a parabolic, and in Bouthier–Ngô–Sakellaridis for toric varieties and L L -monoids. In this paper, we compute this intersection complex for the large class of those spherical G G -varieties whose dual group is equal to G ˇ \check G , and the stalks of its nearby cycles on the horospherical degeneration of X X . We formulate the answer in terms of a Kashiwara crystal, which conjecturally corresponds to a finite-dimensional G ˇ \check G -representation determined by the set of B B -invariant valuations on X X . We prove the latter conjecture in many cases. Under the sheaf–function dictionary, our calculations give a formula for the Plancherel density of the IC function of L + X \mathsf L^+X as a ratio of local L L -values for a large class of spherical varieties. 
    more » « less
  4. Here we introduce a series of associative algebras attached to a vertex operator algebra V of CFT type, called mode transition algebras, and show they reflect both algebraic properties of V and geometric constructions on moduli of curves. Pointed and coordinatized curves, labeled by admissible V-modules, give rise to sheaves of coinvariants. We show that if the mode transition algebras admit multiplicative identities satisfying certain natural properties (called strong identity elements), these sheaves deform as wanted on families of curves with nodes. This provides new contexts in which coherent sheaves of coinvariants form vector bundles. We also show that mode transition algebras carry information about higher level Zhu algebras and generalized Verma modules. To illustrate, we explicitly describe the higher level Zhu algebras of the Heisenberg vertex operator algebra, proving a conjecture of Addabbo–Barron. 
    more » « less
  5. Buchweitz-Greuel-Schreyer conjectured in 1987 a lower bound on the ranks of matrix factorizations over certain local hypersurface rings [Invent. Math. 88 (1987), pp. 165–182]. We study a graded version of this conjecture, and we show that it implies a novel conjecture concerning the cohomology of sheaves over non-Fano projective hypersurfaces. 
    more » « less