On the compability of the Frobenius isomorphism with relative duality (Q2655873)

Summary: Let \({\mathcal V}\) be a mixed characteristic complete discrete valuation ring, let \({\mathcal X}\) and \({\mathcal Y}\) be two smooth formal \({\mathcal V}\)-schemes, let \(f_0: X\to Y\) be a projective morphism between their special fibers, let \(T\) be a divisor of \(Y\) such that \(T_X:= f^{-1}_0(T)\) is a divisor of \(X\) and let \({\mathcal M}\in D^b_{\text{coh}}({\mathcal D}^\dag_{{\mathcal X}}(^\dag T_X)_{\mathbb{Q}})\). We construct the relative duality isomorphism \(f_{0T+}\circ \mathbb{D}_{{\mathcal X},T_X}({\mathcal M})\widetilde\rightarrow \mathbb{D}_{{\mathcal Y},T}\circ f_{0T+}({\mathcal M})\). This generalizes the known case when there exists a lifting \(f:{\mathcal X}\to{\mathcal Y}\) of \(f_0\). Moreover, when \(f_0\) is a closed immersion, we prove that this isomorphism commutes with Frobenius.