Formal neighborhoods in arc spaces

The theorem of Greenberg-Kazhdan-Drinfeld describes the formal neighborhood of a closed arc. After giving a complete proof with examples, two possible versions for the relative case of the theorem are discussed. Each one is shown to hold for some classes of morphisms, including smooth morphisms and closed embeddings in smooth variety.