On the preservation of coherence by extraordinary reverse image of a closed immersion

Publication date 12 February 2021

Abstract: Let

m a t h c a l V

be a complete discrete valuation ring of unequal characteristic with perfect residue field,

u c o l o n m a t h c a l Z h o o k r i g h t a r r o w m a t h f r a k X

be a closed immersion of smooth, quasi-compact, separated formal schemes over

m a t h c a l V

,

T

be a divisor of

X

such that

U := T c a p Z

is a divisor of

Z

,

m a t h f r a k D

a strict normal crossing divisor of

m a t h f r a k X

such that

u^{- 1} (m a t h f r a k D)

is a strict normal crossing divisor of

m a t h c a l Z

. We pose

m a t h f r a k X^{s h a r p} := (m a t h f r a k X, m a t h f r a k D)

,

m a t h c a l Z^{s h a r p} := (m a t h c a l Z, u^{- 1} m a t h f r a k D)

and

u^{s h a r p} c o l o n m a t h c a l Z^{s h a r p} h o o k r i g h t a r r o w m a t h f r a k X^{s h a r p}

the exact closed immersion of smooth logarithmic formal schemes over

V

. Let

and

the corresponding objet of

D_{m a t h r m c o h}^{m a t h r m b} (s m a s h {m a t h c a l D}^{d} a g_{m a t h f r a k X^{s h a r p}} (h d a g T)_{m a t h b b Q})

. In this paper, we study sufficient conditions on

m a t h c a l E

so that if

u^{s h a r p!} (m a t h c a l E) i n D_{m a t h r m c o h}^{m a t h r m b} (s m a s h {m a t h c a l D}^{d} a g_{m a t h c a l Z^{s h a r p}} (h d a g U)_{m a t h b b Q})

then

.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: On the preservation of coherence by extraordinary reverse image of a closed immersion