Cocenter of \(p\)-adic groups. II: Induction map (Q1721970)

Let $\mathbb{G}$ be a connected reductive group over a non-archimedean local field $F$ with residue field having characteristic $p$. Set $G := \mathbb{G}(F)$, the group of $F$-valued points of $\mathbb{G}$. Let $H(G)$ denote the $\mathbb{Z}[1/p]$-form of the Hecke algebra of $G$ and $H_R(G)$ denote the Hecke algebra over an algebraically closed field $R$ of characteristic different from $p$. Further, let $\bar{H}(G) := H(G)/[H(G),H(G)]$ (and similarly $\bar{H}_R(G)$) denote the cocenter of $H(G)$. In previous work [Forum Math. Pi 6, Article ID e2, 27 p. (2018; Zbl 1392.22009)], the author introduced a Newton decomposition $\bar{H}(G) = \bigoplus \bar{H}(G; v)$ of the cocenter into Newton strata associated to rational coweights $v$ of $G$. In this paper, the author makes use of this decomposition in investigating the connections between cocenters and the representation theory of $G$ and a Levi subgroup $M$ of $G$. This connection is created by the trace map which maps ${\bar H}_R(G)$ to ${\mathcal R}_R(G)^*$, where $\mathcal{R}_R(G)$ denotes the $R$-vector space having basis the isomorphism classes of irreducible smooth admissible representations of $G$ over $R$. For a Levi subgroup $M$, one has the induction functor mapping $\mathcal{R}_R(M) \to \mathcal{R}_R(G)$ and the Jacquet functor in the reverse direction. Via the trace map, the induction functor is adjoint to the restriction map ${\bar H}_R(G) \to \bar{H}_R(M)$. The key question of interest here is finding a map $\bar{H}_R(M) \to \bar{H}_R(G)$ that is adjoint to the Jacquet functor on the representation theory side. For example, over the complex numbers, the trace map is injective, thus allowing one to construct the desired map. But this need not be the case over a field of positive characteristic, and the author discusses some of the previous attempts in this direction. The author's goal is to construct a map over the integral form and at the level of Newton strata. Building in part off of work of \textit{C. J. Bushnell} [J. Lond. Math. Soc., II. Ser. 63, No. 2, 364--386 (2001; Zbl 1017.22011)], the author constructs a map $\bar{i}_v: {\bar H}(M_v; v) \to {\bar H}(G)$, where $M_v$ is a semistandard Levi subgroup associated to a rational coweight $v$. Further, the author shows that the image is precisely ${\bar H}(G;{\bar v})$, where ${\bar v}$ is the $G$-dominant coweight associated to $v$. The author then proves that the map ${\bar i}_{v,R}: {\bar H}_R(M_v;v) \to {\bar H}_R(G; {\bar v})$ satisfies the desired adjunction formula with respect to the Jacquet functor $\mathcal{R}_R(G) \to \mathcal{R}_R(M_v)$ (associated to the parabolic subgroup $P_v \supset M_v$). Through the use of this adjunction formula and further investigation of the trace map, the author is able to show that the map $\bar{i}_v: \bar{H}(M_v;v) \to \bar{H}(G; \bar{v})$ is in fact an isomorphism. As a final application, for a standard Levi subgroup $M$, the author introduces the ``+-rigid'' part $\bar{H}(M)^{+,rig} := \bigoplus {\bar H}(M; v)$ of $\bar{H}(M)$, where $v$ runs over the rational dominant coweights with $M = M_v$. Using the Newton decomposition of ${\bar H}(G)$ and the isomorphism ${\bar i}_v$, the author obtains a Bernstein-Lusztig type presentation $\bar{H}(G) := \bigoplus \bar{H}(M)^{+,rig}$, where the sum runs over standard Levi subgroups. For Part I, see the author's paper [Forum Math. Pi 6, Article ID e2, 27 p. (2018; Zbl 1392.22009)].