In the book Fourier-Mukai and Nahm transforms in geometry and mathematical physics page 85 corollary 3.5 there is the following claim:

First some notation.

Let $X$ be an abelian variety of dimension $g$ with dual $Y$. We have the poincare bundle giving a FM functor $$S := D^b(X) \to D^b(Y)$$ and using $P^*$ we have $\hat{S}: D^b(Y) \to D^b(X)$.

The composition is $[-g]$.

Then the claim is that if we take some sheaf $E$ on $X$, and consider the sheaf $F$ on $Y$ defined as $H^0(S(E))$ (this is inner cohomology, not pushforward to a point), then $F$ satisfies that $\hat{S}(F)$ is a complex whose cohomologies (Again inner) vanish except at the index $g$.

It is claimed this follows from the spectral sequence of the composition of $S,\hat{S}$ composing to $[-g]$, but I don't understand how. We have the spectral sequence $\hat{S}^i(S^j(E))$ which converges to $E$ when $i+j=g$ and $0$ otherwise. But there are still many arrows inside touching the column $S^0(E)$ so how does the corollary follow?

Attached is a picture enter image description here



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.