No label defined (Q5314979)

\textit{J. Lipman, S. Nayak} and the author [in: Variance and duality for cousin complexes on forml schemes, Contemp. Math. 375, 3--133 (2005; Zbl 1080.14005)] constructed a pseudofunctor \((-)^\sharp\) on the category of formal schemes with codimension function. On the same category, the twisted inverse image \((-)^!\) is also defined but the two functors \(f^\sharp\), \(f^!\) are not isomorphic where \(f\) is a morphism between formal schemes. In the present paper, the author gives a natural morphism \(\gamma_f^! \: f^\sharp \mathcal F \to f^! \mathcal F\) where \(\mathcal F\) is a sheaf. The author also gives some condition for \(\gamma_f^! \mathcal F\) to be an isomorphism. For the entire collection see [Zbl 1065.14001].