Formal neighborhoods in arc spaces

Peter Petrov

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 cas…