Conjecture on descent of separated envelopes through universally closed birational morphisms

Let TT be an integral noetherian scheme. Suppose there exists a universally closed, surjective and birational morphism of integral noetherian schemes

p:TT,p:T'\longrightarrow T,

and suppose that TT' has a separator. Then TT has a separated envelope

φ:TF\varphi:T\longrightarrow F

in the sense of the definition used in the source.

Descent conjecture. Under these hypotheses, the separated envelope of TT' descends through pp, so that TT possesses a separated envelope.

This conjecture concerns the existence of separated envelopes for integral noetherian schemes and whether that existence can be descended along universally closed birational surjective morphisms. The supplied text does not state a resolution, so its status remains open.

Sources & referencesView supporting material

Primary source

Daniel Ferrand and Bruno Kahn, “Recoller pour séparer”, arXiv:1510.06588 (2015).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.