No label defined (Q5314978)

A (contravariant) pseudofunctor over a category \(\mathcal C\) is assigning an object \(X\) of \(\mathcal C\) to a category \(\mathcal D(X)\) and a morphism \(f \: X \to Y\) to a functor \(\mathcal D(Y) \to \mathcal D(X)\). For example, the twisted inverse image \((-)^!\) is a pseudofunctor on the category of schemes. In the present paper, the authors construct a new pseudofunctor \((-)^\sharp\) on the category of formal schemes with codimension function. They assign such a scheme to a category of Cousin complexes. However, their definition of Cousin complexes is different from Hartshorne's one. Roughly speaking, they call \(M^\bullet\) a Cousin complex on a formal scheme~\(X\) if it has a similar structure as a Cousin complex of a sheaf on~\(X\) with Hartshorne's definition. For the entire collection see [Zbl 1065.14001].