2026-09-19T21:56:55Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/1513322023-08-01T03:52:32Zcom_1721.1_7582com_1721.1_7581col_1721.1_131022
Bezrukavnikov, Roman
Propp, Oron Yehonatan
Massachusetts Institute of Technology. Department of Mathematics
2023-07-31T19:31:58Z
2023-07-31T19:31:58Z
2023-06
2023-05-24T14:46:49.577Z
https://hdl.handle.net/1721.1/151332
https://orcid.org/0000-0002-3869-7777
Kazhdan–Lusztig categorified the affine Hecke algebra H in terms of equivariant coherent sheaves on the Steinberg variety. Recently, Ben-Zvi–Chen–Helm–Nadler have applied the formalism of categorical traces to construct a "coherent Springer sheaf" on a moduli stack of Deligne–Langlands parameters whose endomorphism algebra recovers H. In this thesis, we extend these results to Lusztig's asymptotic affine Hecke algebra J. Using work of Bezrukavnikov–Ostrik, we construct an "asymptotic coherent Springer sheaf" on an "asymptotic" moduli stack of Deligne–Langlands parameters whose endomorphism algebra identifies with J. We show that a certain restriction of the coherent Springer sheaf identifies with this asymptotic coherent Springer sheaf and induces Lusztig’s homomorphism φ on endomorphism algebras. Next, following a conjecture of Qiu–Xi, we consider a category of equivariant coherent sheaves on the square of the G_m-fixed points in a Springer fiber. We identify its 2-categorical class with a summand of the asymptotic coherent Springer sheaf, and deduce that it categorifies the corresponding block of J. We then construct a family of functors from the mixed affine Hecke category categorifying φ. Finally, we show that the universal trace functor for the mixed affine Hecke category is right t-exact with respect to an exotic t-structure, and sends monoidal duals of connective objects to coconnective objects. To this end, we construct an explicit complex computing the 2-categorical class map for certain monoidal categories over quotient stacks. We then deduce a (co)connectivity statement for the 2-categorical classes associated to Bezrukavnikov–Riche’s braid group action for the Springer resolution. In particular, we obtain that the coherent Springer sheaf lies in cohomological degree 0 (i.e., is a sheaf rather than a complex), resolving a conjecture of Ben-Zvi–Chen–Helm–Nadler and Zhu. As a consequence of the proof, we partially resolve another conjecture of Qiu–Xi, showing that J embeds in a K-group of equivariant vector bundles on the square of a finite set.
Ph.D.
Massachusetts Institute of Technology
In Copyright - Educational Use Permitted
Copyright retained by author(s)
https://rightsstatements.org/page/InC-EDU/1.0/
A Coherent Categorification of the Asymptotic Affine Hecke Algebra
Thesis
application/pdf
Doctoral
Doctor of Philosophy
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="66ff809a-ac90-414a-870b-888e71db10c8">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Title>A Coherent Categorification of the Asymptotic Affine Hecke Algebra</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2023-06</PublicationDate>
<Authors>
<Author>
<DisplayName>Propp, Oron Yehonatan</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>https://rightsstatements.org/page/InC-EDU/1.0/</License>
<Abstract>Kazhdan–Lusztig categorified the affine Hecke algebra H in terms of equivariant coherent sheaves on the Steinberg variety. Recently, Ben-Zvi–Chen–Helm–Nadler have applied the formalism of categorical traces to construct a "coherent Springer sheaf" on a moduli stack of Deligne–Langlands parameters whose endomorphism algebra recovers H. In this thesis, we extend these results to Lusztig's asymptotic affine Hecke algebra J. Using work of Bezrukavnikov–Ostrik, we construct an "asymptotic coherent Springer sheaf" on an "asymptotic" moduli stack of Deligne–Langlands parameters whose endomorphism algebra identifies with J. We show that a certain restriction of the coherent Springer sheaf identifies with this asymptotic coherent Springer sheaf and induces Lusztig’s homomorphism φ on endomorphism algebras. Next, following a conjecture of Qiu–Xi, we consider a category of equivariant coherent sheaves on the square of the G_m-fixed points in a Springer fiber. We identify its 2-categorical class with a summand of the asymptotic coherent Springer sheaf, and deduce that it categorifies the corresponding block of J. We then construct a family of functors from the mixed affine Hecke category categorifying φ. Finally, we show that the universal trace functor for the mixed affine Hecke category is right t-exact with respect to an exotic t-structure, and sends monoidal duals of connective objects to coconnective objects. To this end, we construct an explicit complex computing the 2-categorical class map for certain monoidal categories over quotient stacks. We then deduce a (co)connectivity statement for the 2-categorical classes associated to Bezrukavnikov–Riche’s braid group action for the Springer resolution. In particular, we obtain that the coherent Springer sheaf lies in cohomological degree 0 (i.e., is a sheaf rather than a complex), resolving a conjecture of Ben-Zvi–Chen–Helm–Nadler and Zhu. As a consequence of the proof, we partially resolve another conjecture of Qiu–Xi, showing that J embeds in a K-group of equivariant vector bundles on the square of a finite set.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>