The Drinfeld-Grinberg-Kazhdan theorem and embedding codimension of the arc space

Christopher Heng Chiu

We prove an extension of the theorem of Drinfeld, Grinberg and Kazhdan to arcs with arbitrary residue field. As an application we show that the embedding codimension is generically…