  We study the differential properties of generalized arc schemes, and
geometric versions of Kolchin's Irreducibility Theorem over arbitrary base
fields. As an intermediate step, we prove an approximation result for arcs by
algebraic curves.
