Will $i^*$ pull back injectives to injectives?

1.8k Views Asked by At

Let $i: Z \rightarrow X$ be a closed embedding. Need $i^*$ of an injective sheaf of abelian groups be injective? Need $i^*$ of a flabby sheaf be flabby?

Thanks :D!

Also (maybe should be a separate question) but in general does $f^*$ commute with direct products, and does it admit a left adjoint (for open embeddings yes, namely $j_!$)? Hints would be preferred over solutions for these latter two questions.


Edit: The last questions are both no: the simplest $f^*$ is for $pt \rightarrow X$, i.e. taking stalks, and taking stalks doesn't commute with arbitrary products - I cooked up a counterexample with $X = \mathbb{C}$, and countably many copies of the sheaf of holomorphic functions. In particular, $f^*$ can't have a left adjoint.

1

There are 1 best solutions below

5
On

For sheaves with values in the category of abelian groups, the reciprocal image is an exact functor (EGA, 0, 3.7.2).

Further it commutes with inductive limits, direct sums, and tensor products (EGA, 0, 4.3.2 and 4.3.3).

Edit: if $i: U\to X$ is the inclusion of an open subset, then $i^*$ has a left-adjoint $i_!$ which is exact, hence $i^*$ preserves injective objects. But I'm not sure about the closed case.

Edit: (Stacks, 15.6.3) shows that for a closed immersion $i: Z \to X$, the functor $i_*$ has a right adjoint, but it says nothing about a left-adjoint to $i^*$. I would guess it doesn't exist in general.