Skip to main content
added 36 characters in body
Source Link
Question Mark
  • 1.1k
  • 7
  • 16

Let $G$ be a locally profinite (i.e., locally compact Hausdorff and totally disconnected) topological group, $H \le G$ a closed subgroup, and $(W, \sigma)$ a representation of $H$ over $\mathbb{C}$ such that $W$ is smooth, i.e., every $w \in W$ is fixed by a compact open subgroup $K \le H$.

One may form compact induction $\mathrm{ind}_H^G W$ as the $\mathbb{C}$-vector space of all functions $f\colon G \rightarrow W$ such that $f(hg) = \sigma(h) f(g)$ for all $h \in H$ and $g \in G$, that there is a compact open subgroup $K \le H$ such that $f(gk) = f(g)$ for all $g \in G$ and $k \in K$, and that the support of $f$ has compact image in $H\setminus G$. This is a smooth representation of $G$ by setting $(g\cdot f)(x) = f(xg)$.

On the other hand, one may form the smooth $G$-representation $(RG \otimes_{RH} (\delta_G/\delta_H) W)^{\infty}$$(\mathbb{C}G \otimes_{\mathbb{C}H} (\delta_G/\delta_H) W)^{\infty}$, where the superscript indicates the subspace of smooth vectors and $\delta_G$ (resp., $\delta_H$) is the modulus character of $G$ (resp., $H$) defined by $\delta_G(g) = [gKg^{-1} : K]$ (fractional index) for (no matter which) compact open subgroup $K \le G$ (resp., analogous thing for $H$).

My question is: are these representations isomorphic, i.e., is $$ \mathrm{ind}_H^G W \cong (RG \otimes_{RH} (\delta_G/\delta_H) W)^{\infty} $$$$ \mathrm{ind}_H^G W \cong (\mathbb{C}G \otimes_{\mathbb{C}H} (\delta_G/\delta_H) W)^{\infty} $$ as smooth $G$-representations?

Let $G$ be a locally profinite (i.e., locally compact Hausdorff and totally disconnected) topological group, $H \le G$ a closed subgroup, and $(W, \sigma)$ a representation of $H$ over $\mathbb{C}$ such that $W$ is smooth, i.e., every $w \in W$ is fixed by a compact open subgroup $K \le H$.

One may form compact induction $\mathrm{ind}_H^G W$ as the $\mathbb{C}$-vector space of all functions $f\colon G \rightarrow W$ such that $f(hg) = \sigma(h) f(g)$ for all $h \in H$ and $g \in G$, that there is a compact open subgroup $K \le H$ such that $f(gk) = f(g)$ for all $g \in G$ and $k \in K$, and that the support of $f$ has compact image in $H\setminus G$. This is a smooth representation of $G$ by setting $(g\cdot f)(x) = f(xg)$.

On the other hand, one may form the smooth $G$-representation $(RG \otimes_{RH} (\delta_G/\delta_H) W)^{\infty}$, where the superscript indicates the subspace of smooth vectors and $\delta_G$ (resp., $\delta_H$) is the modulus character of $G$ (resp., $H$) defined by $\delta_G(g) = [gKg^{-1} : K]$ (fractional index) for (no matter which) compact open subgroup $K \le G$ (resp., analogous thing for $H$).

My question is: are these representations isomorphic, i.e., is $$ \mathrm{ind}_H^G W \cong (RG \otimes_{RH} (\delta_G/\delta_H) W)^{\infty} $$ as smooth $G$-representations?

Let $G$ be a locally profinite (i.e., locally compact Hausdorff and totally disconnected) topological group, $H \le G$ a closed subgroup, and $(W, \sigma)$ a representation of $H$ over $\mathbb{C}$ such that $W$ is smooth, i.e., every $w \in W$ is fixed by a compact open subgroup $K \le H$.

One may form compact induction $\mathrm{ind}_H^G W$ as the $\mathbb{C}$-vector space of all functions $f\colon G \rightarrow W$ such that $f(hg) = \sigma(h) f(g)$ for all $h \in H$ and $g \in G$, that there is a compact open subgroup $K \le H$ such that $f(gk) = f(g)$ for all $g \in G$ and $k \in K$, and that the support of $f$ has compact image in $H\setminus G$. This is a smooth representation of $G$ by setting $(g\cdot f)(x) = f(xg)$.

On the other hand, one may form the smooth $G$-representation $(\mathbb{C}G \otimes_{\mathbb{C}H} (\delta_G/\delta_H) W)^{\infty}$, where the superscript indicates the subspace of smooth vectors and $\delta_G$ (resp., $\delta_H$) is the modulus character of $G$ (resp., $H$) defined by $\delta_G(g) = [gKg^{-1} : K]$ (fractional index) for (no matter which) compact open subgroup $K \le G$ (resp., analogous thing for $H$).

My question is: are these representations isomorphic, i.e., is $$ \mathrm{ind}_H^G W \cong (\mathbb{C}G \otimes_{\mathbb{C}H} (\delta_G/\delta_H) W)^{\infty} $$ as smooth $G$-representations?

Source Link
Question Mark
  • 1.1k
  • 7
  • 16

Compact induction as a tensor product

Let $G$ be a locally profinite (i.e., locally compact Hausdorff and totally disconnected) topological group, $H \le G$ a closed subgroup, and $(W, \sigma)$ a representation of $H$ over $\mathbb{C}$ such that $W$ is smooth, i.e., every $w \in W$ is fixed by a compact open subgroup $K \le H$.

One may form compact induction $\mathrm{ind}_H^G W$ as the $\mathbb{C}$-vector space of all functions $f\colon G \rightarrow W$ such that $f(hg) = \sigma(h) f(g)$ for all $h \in H$ and $g \in G$, that there is a compact open subgroup $K \le H$ such that $f(gk) = f(g)$ for all $g \in G$ and $k \in K$, and that the support of $f$ has compact image in $H\setminus G$. This is a smooth representation of $G$ by setting $(g\cdot f)(x) = f(xg)$.

On the other hand, one may form the smooth $G$-representation $(RG \otimes_{RH} (\delta_G/\delta_H) W)^{\infty}$, where the superscript indicates the subspace of smooth vectors and $\delta_G$ (resp., $\delta_H$) is the modulus character of $G$ (resp., $H$) defined by $\delta_G(g) = [gKg^{-1} : K]$ (fractional index) for (no matter which) compact open subgroup $K \le G$ (resp., analogous thing for $H$).

My question is: are these representations isomorphic, i.e., is $$ \mathrm{ind}_H^G W \cong (RG \otimes_{RH} (\delta_G/\delta_H) W)^{\infty} $$ as smooth $G$-representations?