Comparing Bushnell-Kutzko and Sécherre's constructions of types for $\mathrm{GL}_{N}$ and its inner forms with Yu's construction

Arnaud Mayeux,Yuki Yamamoto
2024-07-01
Abstract:Let $F$ be a non-archimedean local field, $A$ be a central simple $F$-algebra, and $G$ be the multiplicative group of $A$. To construct types for supercuspidal representations of $G$, simple types by Sécherre and Yu's construction are already known. In this paper, we compare these constructions. In particular, we show essentially tame supercuspidal representations of $G$ defined by Bushnell-Henniart are nothing but tame supercuspidal representations defined by Yu.
Representation Theory,Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish connections between different construction methods. In particular, it compares the constructions of Bushnell - Kutzko and Sécherre with Yu's construction. These construction methods are used to generate types of complex supercuspidal representations. Specifically, the main objective of the paper is to prove that for a given inner form \(G\) of \(GL_N\), the essentially tame supercuspidal representations defined by Bushnell - Henniart are actually the tame supercuspidal representations defined by Yu. Moreover, the paper also explores how to construct the data of one construction method from the data of another construction method, thereby establishing an explicit correspondence between the two methods. The core achievements of the paper can be summarized as follows: 1. **Main Theorem**: For an essentially tame supercuspidal representation \(\pi\), if there exists a simple type \((J, \lambda)\) and its extension \((\tilde{J}, \Lambda)\) such that \(\pi\sim c - \text{Ind}_G^{\tilde{J}}\Lambda\), then there exists a Yu data \(\Psi=(x, (G_i)_{i = 0}^d, (r_i)_{i = 0}^d, (\Phi_i)_{i = 0}^d, \rho)\) satisfying specific conditions, such that \(J=\circ K_d(\Psi)\), \(\tilde{J}\subset K_d(\Psi)\), and \(\rho_d(\Psi)\sim c - \text{Ind}_{K_d(\Psi)}^{\tilde{J}}\Lambda\). 2. **Converse Theorem**: For a Yu data \(\Psi=(x, (G_i), (r_i), (\Phi_i), \rho)\), there exists a tame simple type \((J, \lambda)\) and its maximal extension \((\tilde{J}, \Lambda)\) such that \(\circ K_d(\Psi)=J\), \(K_d(\Psi)\supset\tilde{J}\), and \(\rho_d(\Psi)\sim c - \text{Ind}_{K_d(\Psi)}^{\tilde{J}}\Lambda\). 3. **Corollary**: For any inner form \(G\) of \(GL_N(F)\), the set of essentially tame supercuspidal representations is equal to the set of tame supercuspidal representations defined by Yu. Through these theorems and corollaries, the paper successfully builds a bridge between different construction methods, providing a new perspective for understanding the structure of complex supercuspidal representations. This work not only helps to unify different theories but also provides a solid foundation for further research.