Welcome to MathOverflow

Question

0

2

We know that for an immersion $j:U \to X$ the restriction functor $j^*:{\cal O}_X-mod \to {\cal O}_u-mod$ has a left adjoint $j!$. I am looking for some condition to deduce that $j!$ takes its values in Qco(X) that is to be a left adjoint for the functor $j^*:Qco(X) \to Qco(u)$.

flag	asked May 13 2012 at 5:42 gholam 13●2

By the way, it is more interesting to write down the right adjoint of $j^*$ (which exists by general nonsense). For example, you can do this when $j$ is quasi-compact, i.e. $U$ is retrocompact in $X$. Then the right adjoint is just $j_*$. – Martin Brandenburg May 13 2012 at 18:47

Martin Brandenburg · Accepted Answer · 2012-05-13 07:45:48Z UTC

2

The restriction functor $\mathrm{Qcoh}(X) \to \mathrm{Qcoh}(U)$ doesn't preserve infinite products in general (which always exist, by the way). Therefore it cannot have a left adjoint.

answered May 13 2012 at 7:45

Martin Brandenburg
29.1k●2●45●129

	can we add some assumptions on U or X to make this true? (or is U=X the only case when this works?) – Yosemite Sam May 13 2012 at 8:30
	Well it is true when $U$ is a clopen subset of $X$, because then $\mathrm{Qcoh}(X) = \mathrm{Qcoh}(U) \times \mathrm{Qcoh}(X \setminus U)$. But otherwise probably it's only true in pathological cases. This is already visible in the affine case, say $X=\mathrm{Spec}(A)$ and $U=D(f)$ for some $f \in A$. When does $M \mapsto M_f$ preserve infinite products? Almost never. – Martin Brandenburg May 13 2012 at 9:05
	does the decomposition of QC(X) you described for clopens work for an infinite number of them? (I'm thinking of things like the Hilbert scheme which decomposes according to topological data of the parameterised subscheme, that's a countable disjoint union) – Yosemite Sam May 14 2012 at 9:24
	Yes, but this is a special case. When $X \setminus U$ is a disjoint union of opens, then it is open ... – Martin Brandenburg May 14 2012 at 9:30

left adjoint to restriction functor

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.