1: \begin{abstract}

2:   We study when the derived intersection of two smooth subvarieties of

3:   a smooth variety is formal.  As a consequence we obtain a derived

4:   base change theorem for non-transversal intersections.  We also

5:   obtain applications to the study of the derived fixed locus of a

6:   finite group action and argue that for a global quotient orbifold

7:   the exponential map is an isomorphism between the Lie algebra of the

8:   free loop space and the loop space itself.  This allows us to give

9:   new proofs of the HKR decomposition of orbifold Hochschild

10:   (co)homology into twisted sectors.

11: \end{abstract}

12: