I am looking for reference for properties of nearby cycles - specifically, commutation with non-characteristic pull-back (good enough - commutation with pull-back to closed subvariety which is transversal to a stratification for which our sheaf is smooth). I would like a reference for any of the following settings:
- D-modules using V-filtration or Beilinsons definition
- l-adic sheaves
- constructible sheaves in the "usual complex world"
Thank you, Sasha