On the compability of the Frobenius isomorphism with relative duality

Abstract: Let

V

be a mixed characteristic complete discrete valuation ring, let

X

and

Y

be two smooth formal

V

-schemes, let

f_{0}

:

X o Y

be a projective morphism between their special fibers, let

T

be a divisor of

Y

such that

T_{X} := f_{0}^{- 1} (T)

is a divisor of

X

and let

M i n D^{m} a t h r m b_{m} a t h r m c o h (D^{d} a g_{X} (h d a g T_{X})_{Q})

. We construct the relative duality isomorphism

f_{0 T +} c i r c D D_{X, T_{X}} (M) i s o D D_{Y, T} c i r c f_{0 T +} (M)

. This generalizes the known case when there exists a lifting

f : X o Y

of

f_{0}

. Moreover, when

f_{0}

is a closed immersion, we prove that this isomorphism commutes with Frobenius.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: On the compability of the Frobenius isomorphism with relative duality