The Lip-lip equality is stable under blow-up

Abstract

We show that at generic points blow-ups/tangents of differentiability spaces are still differentiability spaces; this implies that an analytic condition introduced by Keith as an inequality (and later proved to actually be an equality) passes to tangents. As an application, we characterize the $p$-weak gradient on iterated blow-ups of differentiability spaces.