Tangent star cones.
Assume that X,Y are integral noetherian affine schemes. Let f:X → Y be a dominant, generically finite morphism of finite type. We show that the set of points at which the morphism f is not finite is either empty or a hypersurface. An example is given to show that this is no longer true in the non-noetherian case.
In this paper we develop a theory of Grothendieck’s six operations of lisse-étale constructible sheaves on Artin stacks locally of finite type over certain excellent schemes of finite Krull dimension. We also give generalizations of the classical base change theorems and Kunneth formula to stacks, and prove new results about cohomological descent for unbounded complexes.