We introduce differential arc spaces in analogy to the algebraic arc spaces and show that a differential variety in characteristic zero is determined by its arcs at a point. Using differential arcs, we show that if (K, +, X, delta(1), ...,delta(n)) is a differentially closed field of characteristic zero with n commuting derivations and p is an element of S(K) is a regular type over K, then either p is locally modular or there is a definable subgroup G <= (K, +) of the additive group having a regular generic type that is nonorthogonal to p.
展开▼