Ramification theory from homotopical point of view, II

Abstract

This is the second part of the paper which proves the compatibility of pushforward along a proper morphism of an étale constructible sheaf and the pushforward of its characteristic cycle up to $p$-torsion. In this second part, we show a result which is postponed from the first part because the technique of the proof is different. Especially, we use Zariski-Riemann spaces to show a certain alteration process terminates.