Affine Deligne–Lusztig varieties at infinite level

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 $${{\,\mathrm{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.