SearcharxivSearch

arXiv subjects

Jize Yu

Publications and source records attributed to Jize Yu.

4 recordsLinked to original sources

On a tamely ramified local relative Langlands conjecture via categorical representations

Let $G$ be a complex reductive group. For a smooth affine spherical $G$-variety $X$, assume that the unramified relative local Langlands conjecture of Ben-Zvi-Sakellaridis-Venkatesh for $X$ holds, the loop space $LX$ is an $L^+G$--placid ind--scheme, and there exists a dimension theory for $LX$, we give a spectral description of a full subcategory of Iwahori equivariant D-modules on $LX$ in terms of the relative Langlands dual of $X$, confirming a slight variant of the tamely ramified local relative Langlands conjecture proposed by Devalapurkar.

math.RT

Gaitsgory's central functor and the Arkhipov-Bezrukavnikov equivalence in mixed characteristic

We show that the nearby cycles functor for the $p$-adic Hecke stack at parahoric level is perverse t-exact, by developing a theory of Wakimoto filtrations at Iwahori level, and that it lifts to the $\mathbb{E}_1$-center. We apply these tools to construct the Arkhipov-Bezrukavnikov functor for $p$-adic affine flag varieties at Iwahori level, and prove that it is an equivalence for all classical groups and also exceptional groups of type $E_6$ and $E_7$.

math.NT

The integral geometric Satake equivalence in mixed characteristic

Let $k$ be an algebraically closed field of characteristic $p$. Denote by $W(k)$ the ring of Witt vectors of $k$. Let $F$ denote a totally ramified finite extension of $W(k)[1/p]$ and $\mathcal{O}$ the its ring of integers. For a connected reductive group scheme $G$ over $\mathcal{O}$, we study the category $P_{L^+G}(Gr_G,\Lambda)$ of $L^+G$-equivariant perverse sheaves in $\Lambda$-coefficient on the affine Grassmannian $Gr_G$ where $\Lambda=\mathbb{Z}_{\ell}$ and $\mathbb{F}_{\ell}$ and prove it is equivalent as a tensor category to the category of finitely generated $\Lambda$-representations of the Langlands dual group of $G$.

math.AG