Calculus I: The first derivative of pseudoisotopy theory

Let P be the (stable, smooth) pseudoisotopy space of the space X. For any map Y: YX of spaces, we identify the homotopy type of the fiber of P(f): P(f) P(f) in a stable range, roughly twice the connectivity of the map YX. We establish some language for discussing and manipulating such stable-range relative calculations for any homotopy functor. The theorem about P has a corollary about Waldhausen's A. Dedicated to Alexander GrothendieckResearch supported in part by NSF grant DMS-8806444 and by a Sloan Fellowship. Research at MSRI supported in part by NSF grant DMS-8505550.