A remark on the intersections of subanalytic leaves

Abstract

We discuss a new sufficient condition – weaker than the usual transversality condition – for the intersection of two subanalytic leaves to be smooth. It involves the tangent cone of the intersection and, as typically non-transversal, it is of interest in analytic geometry or dynamical systems. We also prove an identity principle for real analytic manifolds and subanalytic functions.