Definition 36.14.2. Let X be a scheme. We say approximation by perfect complexes holds on X if for any closed subset T \subset X with X \setminus T retro-compact in X there exists an integer r such that for every triple (T, E, m) as in Definition 36.14.1 with
E is (m - r)-pseudo-coherent, and
H^ i(E) is supported on T for i \geq m - r
approximation holds.
Comments (0)