Characteristic cycle of the exterior product of constructible sheaves
  We show that the characteristic cycle of the exterior product of constructible complexes is the exterior product of the characteristic cycles of factors. This implies the compatibility of characteristic cycles with smooth pull-back which is a first step in the proof of the index formula. 
Takeshi Saito
math.AG