Conjecture on descent of separated envelopes through universally closed birational morphisms
Conjecture on descent of separated envelopes through universally closed birational morphisms
Let be an integral noetherian scheme. Suppose there exists a universally closed, surjective and birational morphism of integral noetherian schemes
and suppose that has a separator. Then has a separated envelope
in the sense of the definition used in the source.
Descent conjecture. Under these hypotheses, the separated envelope of descends through , so that 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.