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   
                    
                            
                            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
- 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
- 
            
- 
            Abstract Kazhdan and Lusztig identified the affine Hecke algebra ℋ with an equivariant$$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$$ with an Iwahori-fixed vector. We apply techniques from derived algebraic geometry to pass from$$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)$$ into coherent sheaves on the stack of Langlands parameters.more » « less
- 
            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
- 
            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
- 
            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
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    