S U M M A R YThe key issues in CO 2 sequestration involve accurate monitoring, from the injection stage to the prediction and verification of CO 2 movement over time, for environmental considerations. '4-D seismics' is a natural non-intrusive monitoring technique which involves 3-D time-lapse seismic surveys. Successful monitoring of CO 2 movement requires a proper description of the physical properties of a porous reservoir. We investigate the importance of poroelasticity by contrasting poroelastic simulations with elastic and acoustic simulations. Discrepancies highlight a poroelastic signature that cannot be captured using an elastic or acoustic theory and that may play a role in accurately imaging and quantifying injected CO 2 . We focus on timelapse crosswell imaging and model updating based on Fréchet derivatives, or finite-frequency sensitivity kernels, which define the sensitivity of an observable to the model parameters. We compare results of time-lapse migration imaging using acoustic, elastic (with and without the use of Gassmann's formulae) and poroelastic models. Our approach highlights the influence of using different physical theories for interpreting seismic data, and, more importantly, for extracting the CO 2 signature from seismic waveforms. We further investigate the differences between imaging with the direct compressional wave, as is commonly done, versus using both direct compressional (P) and shear (S) waves. We conclude that, unlike direct P-wave traveltimes, a combination of direct P-and S-wave traveltimes constrains most parameters. Adding P-and S-wave amplitude information does not drastically improve parameter sensitivity, but it does improve spatial resolution of the injected CO 2 zone. The main advantage of using a poroelastic theory lies in direct sensitivity to fluid properties. Simulations are performed using a spectral-element method, and finite-frequency sensitivity kernels are calculated using an adjoint method.