On the negative-one shift functor for FI-modules

We show that the negative-one shift functor S˜−1 on the category of FI-modules is a left adjoint of the shift functor S and a right adjoint of the derivative functor D. We show that for any FI-module V, the coinduction QV of V is an extension of V by S˜−1V.