arXiv Science⌕ Search

arXiv · 2610.05465

Tao-Travkin equivalence revisited

Abstract

We give a simpler proof of the theorem of J.~Tao and R.~Travkin saying that (the neutral block of) the affine Hecke category is the monoidal colimit of finite Hecke categories. The argument is axiomatized to apply to various sheaf-theoretic and group-theoretic contexts. We also prove an extension of the Tao-Travkin equivalence for the whole affine Hecke category as a Morita equivalence.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Penghui Li, David Nadler, Yakov Varshavsky, Zhiwei Yun. 2026-10-04. Tao-Travkin equivalence revisited. https://arxiv.org/abs/2610.05465

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The universal monodromic Arkhipov-Bezrukavnikov equivalence

Working with integral coefficients, we identify universal monodromic Iwahori-Whittaker sheaves on the enhanced affine flag variety with ind-perfect complexes on the Grothendieck-Springer stack of the Langlands dual group. This extends a similar result for quasi-coherent sheaves on the Springer stack due to Arkhipov-Bezrukavnikov. We further prove a monoidal equivalence between bi-Iwahori-Whittaker sheaves and ind-perfect complexes on the adjoint quotient of the Langlands dual group. These results are used in the sequel to this paper to prove the tame local Betti geometric Langlands conjecture of Ben-Zvi-Nadler. Our proof of fully faithfulness provides an alternative to the argument of Arkhipov-Bezrukavnikov. Namely, while they localize in unipotent directions, we localize in semi-simple directions, thereby reducing fully faithfulness to an order of vanishing calculation in semi-simple rank one and characteristic zero.

math.RT↗

Tame local Betti geometric Langlands

Working over the integers, we prove that the universal monodromic affine Hecke category is monoidally equivalent to ind-coherent sheaves on the Steinberg stack, confirming a conjecture of Ben-Zvi and Nadler. Specializing to unipotent monodromy, this provides another argument for a fundamental theorem of Bezrukavnikov.

math.RT↗

Mod $p$ Iwasawa algebras of pro-$p$ Iwahori subgroups

Suppose $F$ is a finite unramified extension of $\mathbb{Q}_p$, and $G$ is the group of $F$-points of a split, connected, reductive group over $F$. Under a natural restriction on $p$, we determine the structure of the graded mod $p$ Iwasawa algebra $\textrm{gr}_{\mathfrak{m}}(\mathbb{F}_p [\![ I]\!])$, where $I$ is a pro-$p$ Iwahori subgroup of $G$. We also determine its maximal commutative quotient, and relate these results to Gelfand--Kirillov dimensions of smooth mod $p$ representations of $G$.

math.RT↗