Higher Order Tangents to Analytic Varieties along Curves

Let V be an analytic variety in some open set in which contains the origin and which is purely k-dimensional. For a curve γ in , defined by a convergent Puiseux series and satisfying γ(0) = 0, and d ≥ 1, define Vt := t−d(V − (t)). Then the currents defined by Vt converge to a limit current Tγ,d[V] as t tends to zero. Tγ,d[V] is either zero or its support is an algebraic variety of pure dimension k in . Properties of such limit currents and examples are presented. These results will be applied in a forthcoming paper to derive necessary conditions for varieties satisfying the local Phragmén-Lindelöf condition that was used by Hörmander to characterize the constant coefficient partial differential operators which act surjectively on the space of all real analytic functions on .