1: \begin{abstract}

2: Let $F$ be a locally compact non-Archimedean field, and let $B/F$ be a division algebra of dimension 4.   The Jacquet-Langlands correspondence provides a bijection between smooth irreducible representations $\pi'$ of $B^\times$ of dimension $>1$ and irreducible cuspidal representations of $\GL_2(F)$.  We present a new construction of this bijection in which the preservation of epsilon factors is automatic.  This is done by constructing a family of pairs $(\mathcal{L},\rho)$, where $\mathcal{L}\subset M_2(F)\times B$ is an order and $\rho$ is a finite-dimensional representation of a certain subgroup of $\GL_2(F)\times B^\times$ containing $\mathcal{L}^\times$.    Let $\pi\otimes\pi'$ be an irreducible representation of $\GL_2(F)\times B^{\times}$;  we show that $\pi\otimes\pi'$ contains such a $\rho$ if and only if $\pi$ is cuspidal and corresponds to $\check{\pi}'$ under Jacquet-Langlands, and also that every $\pi$ and $\pi'$ arises this way.    The agreement of epsilon factors is reduced to a Fourier-analytic calculation on a finite ring quotient of $\mathcal{L}$.

3: \end{abstract}

4: