Skip to main content
deleted 1 characters in body
Source Link
Justin Campbell
  • 3.6k
  • 1
  • 21
  • 36

If you believe that the monomorphism $\pi \to \widetilde{\widetilde{\pi}}$ is an isomorphism for admissible $\pi$, then you can see that $\pi \mapsto \widetilde{\pi}$ is a contravariant autoequivalence on the abelian category of admissible (abeliansmooth) category of smooth irreducible representations. Thus it carries simple objects to simple objects.

If you believe that the monomorphism $\pi \to \widetilde{\widetilde{\pi}}$ is an isomorphism for admissible $\pi$, then you can see that $\pi \mapsto \widetilde{\pi}$ is a contravariant autoequivalence on the (abelian) category of smooth irreducible representations. Thus it carries simple objects to simple objects.

If you believe that the monomorphism $\pi \to \widetilde{\widetilde{\pi}}$ is an isomorphism for admissible $\pi$, then you can see that $\pi \mapsto \widetilde{\pi}$ is a contravariant autoequivalence on the abelian category of admissible (smooth) representations. Thus it carries simple objects to simple objects.

Source Link
Justin Campbell
  • 3.6k
  • 1
  • 21
  • 36

If you believe that the monomorphism $\pi \to \widetilde{\widetilde{\pi}}$ is an isomorphism for admissible $\pi$, then you can see that $\pi \mapsto \widetilde{\pi}$ is a contravariant autoequivalence on the (abelian) category of smooth irreducible representations. Thus it carries simple objects to simple objects.