1: \begin{definition}

2: The functor $\psi_f:D^+(\bar{X},\ZZ)\rightarrow D^+(Y,\ZZ)$

3: from the derived category of sheaves of abelian groups on $\bar{X}$

4: to the derived category of sheaves of abelian groups on $Y$ is defined

5: by, for $\shF\in D^+(\bar{X},\ZZ)$, 

6: \[

7: \psi_f(\shF)=i^{-1} {\bf R}k_*(k^{-1}(\shF)).

8: \]

9: This is the \emph{sheaf of nearby cycles} of $\shF$.

10: There is a natural map

11: \[

12: \spe : i^{-1}\shF\rightarrow \psi_f(\shF).

13: \]

14: The cone of this map in $D^+(Y,\ZZ)$ is $\phi_f(\shF)$,

15: the \emph{sheaf of vanishing cycles} of $\shF$.

16: 

17: For a complex of sheaves $\shF$, we denote by $\shH^i(\shF)$ the

18: $i$-th cohomology sheaf of the complex, and put\footnote{Note that $\shH^i$ commutes with $i^{-1}$ since $\bar X$ retracts to $Y$.}

19: \begin{align*}

20: R^i\psi_f(\shF):= {} & \shH^i(\psi_f(\shF)),\\

21: R^i\phi_f(\shF):= {} & \shH^i(\phi_f(\shF)).

22: \end{align*}

23: If $g:\bar{X}\ra C$ is a proper map to a Riemann surface $C$ and $p\in C$, we denote by $\psi_{g,p}$ and $\phi_{g,p}$ the above functors on the category of complexes of sheaves on $g^{-1}(O)$ for a disk $O$ centered at $p$, small enough so that $p$ is the only critical value of $g$ in $O$.

24: Clearly, the image of the functor is independent of the size of the disk.

25: This now explains the notation of Theorem \ref{sabbahmaintheorem}.

26: \end{definition}

27: