Borel-Moore homology, Riemann-Roch transformations, and local terms

We develop various properties of étale Borel-Moore homology and study its relationship with intersection theory. Using Gabber's localized cycle classes we define étale homological Gysin morphisms and show that they are compatible with the cycle class map and Gysin morphisms in intersection theory. We also study étale versions of bivariant operations, and establish their compatibility with Riemann-Roch transformations and Fulton-MacPherson bivariant operations. As an application of these techniques we show that in certain situations local terms for correspondences acting on étale cohomology are given by cycle classes.