Skip to main content
1 of 2
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.

Justin Campbell
  • 3.6k
  • 1
  • 21
  • 36