Let $F$ be a non-Archimedean locally compact field of residual characteristic $p$ with Weil group ${\mathcal{W}}_{F}$. Let $\unicode[STIX]{x1D70E}$ be an irreducible smooth complex representation of ${\mathcal{W}}_{F}$, realized as the Langlands parameter of an irreducible cuspidal representation $\unicode[STIX]{x1D70B}$ of a general linear group over $F$. In an earlier paper we showed that the ramification structure of $\unicode[STIX]{x1D70E}$ is determined by the fine structure of the endo-class $\unicode[STIX]{x1D6E9}$ of the simple character contained in $\unicode[STIX]{x1D70B}$, in the sense of Bushnell and Kutzko. The connection is made via the Herbrand function $\unicode[STIX]{x1D6F9}_{\unicode[STIX]{x1D6E9}}$ of $\unicode[STIX]{x1D6E9}$. In this paper we concentrate on the fundamental Carayol case in which $\unicode[STIX]{x1D70E}$ is totally wildly ramified with Swan exponent not divisible by $p$. We show that, for such $\unicode[STIX]{x1D70E}$, the associated Herbrand function satisfies a certain functional equation, and that this property essentially characterizes this class of representations. We calculate $\unicode[STIX]{x1D6F9}_{\unicode[STIX]{x1D6E9}}$ explicitly, in terms of a classical Herbrand function arising naturally from the classification of simple characters. We describe exactly the class of functions arising as Herbrand functions $\unicode[STIX]{x1D6F9}_{\unicode[STIX]{x1D6EF}}$, as $\unicode[STIX]{x1D6EF}$ varies over the set of totally wild endo-classes of Carayol type. In a separate argument, we derive a complete description of the restriction of $\unicode[STIX]{x1D70E}$ to any ramification subgroup and hence a detailed interpretation of the Herbrand function. This gives concrete information concerning the Langlands correspondence.

We show how the modular representation theory of inner forms of general linear groups over a non-Archimedean local field can be brought to bear on the complex theory in a remarkable way. Let $\text{F}$ be a non-Archimedean locally compact field of residue characteristic $p$, and let $\text{G}$ be an inner form of the general linear group $\text{GL}_{n}(\text{F})$ for $n\geqslant 1$. We consider the problem of describing explicitly the local Jacquet–Langlands correspondence $\unicode[STIX]{x1D70B}\mapsto _{\text{JL}}\unicode[STIX]{x1D70B}$ between the complex discrete series representations of $\text{G}$ and $\text{GL}_{n}(\text{F})$, in terms of type theory. We show that the congruence properties of the local Jacquet–Langlands correspondence exhibited by A. Mínguez and the first author give information about the explicit description of this correspondence. We prove that the problem of the invariance of the endo-class by the Jacquet–Langlands correspondence can be reduced to the case where the representations $\unicode[STIX]{x1D70B}$ and $_{\text{JL}}\unicode[STIX]{x1D70B}$ are both cuspidal with torsion number $1$. We also give an explicit description of the Jacquet–Langlands correspondence for all essentially tame discrete series representations of $\text{G}$, up to an unramified twist, in terms of admissible pairs, generalizing previous results by Bushnell and Henniart. In positive depth, our results are the first beyond the case where $\unicode[STIX]{x1D70B}$ and $_{\text{JL}}\unicode[STIX]{x1D70B}$ are both cuspidal.