FINE DELIGNE–LUSZTIG VARIETIES AND ARITHMETIC FUNDAMENTAL LEMMAS. (2019)