1: \begin{abstract}

2: We initiate the study of affine Deligne--Lusztig varieties with arbitrarily deep level structure for general reductive groups over local fields. We prove that for $\GL_n$ and its inner forms, Lusztig's semi-infinite Deligne--Lusztig construction is isomorphic to an affine Deligne--Lusztig variety at infinite level. We prove that their homology groups give geometric realizations of the local Langlands and Jacquet--Langlands correspondences in the setting that the Weil parameter is induced from a character of an unramified field extension. In particular, we resolve Lusztig's 1979 conjecture in this setting for minimal admissible characters.

3: \end{abstract}

4: