On the Grinberg - Kazhdan formal arc theorem

Vladimir Drinfeld

Let X be an algebraic variety over a field k, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. Grinberg and Kazhd…