Algebraic micro-localization