The inertial Jacquet-Langlands correspondence (Q2121389): Difference between revisions

Let \(F\) denote a non-archimedean local field and let \(D\) stand for a central division algebra of reduced degree \(d\) over \(F\). Then \(G = \mathrm{GL}_m(D)\) is an inner form of \(H = GL_n(F)\), where \(n = md\). The Jacquet-Langlands correspondence gives a bijection between the sets of the essentailly square-integrable representations of the groups \(G\) and \(H\). The category of smooth representations of \(G\) and \(H\) decomposes according to the action of the Bernstein center, and the irreducible representations contained in a simple Bernstein component form a simple inertial class. In the paper under the review, the author studies the Jacquet-Langlands correspondence at the level of the inertial classes. The simple inertial class \(\mathfrak{s}\) of \(\mathrm{GL}_m(D)\) is completely determined by two invariants. The first one of them consists of an endo-class of simple characters, and is denoted by cl\((\mathfrak{s})\). For simple inertial classes \(\mathfrak{s}_G\) and \(\mathfrak{s}_H\) of complex representations of \(G\) and \(H\) such that \(\mathfrak{s}_H = JL_G(\mathfrak{s}_G)\), the author proves the equality cl\((\mathfrak{s}_G) = \) cl\((\mathfrak{s}_H)\). The other invariant is attached by the author to a simple inertial class \(\mathfrak{s}\) endowed with a conjugacy class of a maximal \(\beta\)-extensions \(\mathcal{K}(\mathfrak{s})\) of endo-class \(\operatorname{cl}(\mathfrak{s})\), and a lift \(\Theta_E\) of \(\operatorname{cl}(\mathfrak{s})\) to its unramified parameter field, and denoted by \(\Lambda(\mathfrak{s}, \Theta_E, \mathcal{K}(\mathfrak{s}))\). Let \(\Theta_F = \) cl\((\mathfrak{s}_G) =\) cl\((\mathfrak{s}_H)\), and let \(\varepsilon^{1}_G\) and \(\varepsilon^{1}_H\) be the symplectic sign characters attached to any maximal simple character in \(G\) and \(H\) of endo-class \(\Theta_F\). Let us fix a lift of \(\Theta_F\) to its unramified parameter field, and let \(\mathcal{K}_G\) and \(\mathcal{K}_H\) by the \(p\)-primary conjugacy classes of maximal \(\beta\)-extensions of endo-classes \(\Theta_F\) in \(G\) and \(H\). The author proves the equality \(\Lambda(\mathfrak{s}_G, \Theta_E, \varepsilon^{1}_G \mathcal{K}) = \Lambda(\mathfrak{s}_H, \Theta_E, \varepsilon^{1}_H \mathcal{K})\).