{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/151332"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/151332","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"A Coherent Categorification of the Asymptotic Affine Hecke Algebra","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_html":"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_has_math":false,"creators":["Propp, Oron Yehonatan"],"institution":"Massachusetts Institute of Technology","degree_name":"Doctoral","degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Mathematics","school":null,"contributors":[],"advisors":["Bezrukavnikov, Roman"],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023-06","date_published":"2023-06","updated_at":"2026-07-22T22:21:28Z","subjects":[],"languages":[],"rights":["In Copyright - Educational Use Permitted","Copyright retained by author(s)"],"rights_urls":["https://rightsstatements.org/page/InC-EDU/1.0/"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1721.1/151332","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Bezrukavnikov, Roman"]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Mathematics"]},{"key":"dc:creator","label":"Author","values":["Propp, Oron Yehonatan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2023-07-31T19:31:58Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2023-07-31T19:31:58Z"]},{"key":"dc:date.issued","label":"Date","values":["2023-06"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Doctoral","Doctor of Philosophy"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["In Copyright - Educational Use Permitted","Copyright retained by author(s)"]},{"key":"dc:rights.uri","label":"Rights URI","values":["https://rightsstatements.org/page/InC-EDU/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1721.1/151332"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph.D."]},{"key":"dc:title","label":"Title","values":["A Coherent Categorification of the Asymptotic Affine Hecke Algebra"]}]}],"canonical_facts":{"dc:contributor.advisor":["Bezrukavnikov, Roman"],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Mathematics"],"dc:creator":["Propp, Oron Yehonatan"],"dc:date.accessioned":["2023-07-31T19:31:58Z"],"dc:date.available":["2023-07-31T19:31:58Z"],"dc:date.issued":["2023-06"],"dc:description.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."],"dc:description.degree":["Ph.D."],"dc:identifier.uri":["https://hdl.handle.net/1721.1/151332"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["In Copyright - Educational Use Permitted","Copyright retained by author(s)"],"dc:rights.uri":["https://rightsstatements.org/page/InC-EDU/1.0/"],"dc:title":["A Coherent Categorification of the Asymptotic Affine Hecke Algebra"],"dc:type":["Thesis"],"thesis:degree_name":["Doctoral","Doctor of Philosophy"]},"updated_at":"2026-07-22T22:21:28Z"}