Curve selection lemma in arc spaces
We first generalize a curve selection lemma for Noetherian schemes and apply it to prove a version of Curve Selection Lemma in arc spaces, answering affirmatively a question by Reguera. Furthermore, thanks to a structure theorem of Grinberg, Kazhdan and Drinfeld, we obtain other versions of Curve Selection Lemma in arc spaces.