Does a scheme have a "separification"? - MathOverflow

Does a scheme have a "separification"?

2009-10-13T04:16:20Z

Background:

(1) If C and D are categories and there is a forgetful functor U:C→D, then a C-ification functor F:D→C is an adjoint to U. For example, the (left) adjoint to the forgetful functor from groups to monoids is "groupification" of a monoid, given by formally adjoining inverses. The (left) adjoint to the forgetful functor from presheaves to sheaves is the usual "sheafification" functor.

Note that whenever you have a (left adjoint) C-ification functor F (whenever you have an adjunction, for that matter), you get a universal property. For any object X∈D, there is a canonical morphism (called the unit of adjunction) ε_X:X→U(F(X)) with the property that any morphism f:X→U(Y) factors as f=U(g)\circ ε_X for a unique morphism g:F(X)→Y in C.

(2) A scheme X is separated if the diagonal morphism X→XxX is a closed immersion. It is enough to check that the image of the diagonal is closed. Being separated is the algebro-geometric analogue of being hausdorff, which nothing in algebraic geometry ever is.

My question is whether there exists a "separification" functor adjoint to the forgetful functor U from the category of separated schemes to the category of schemes. Note that the forgetful functor U does not respect colimits (you can glue together separated schemes to get a non-separated scheme), so it has no hope of having a right adjoint. But U does respect limits (it's enough to show that an arbitrary product of separated schemes is separated and that fiber products of separated schemes are separated), so it might have a left adjoint.

To put it another way, given a scheme X, is there a canonically defined separated scheme X^s and a morphism X→X^s so that any morphism from X to a separated scheme factors uniquely through X→X^s?

Related questions I'd like to know the answer to:

Is there a "relative separification" functor. That is, does an arbitrary morphism of schemes f:X→Y admit a canonical factorization through a separated morphism f^s:X'→Y. This would be analogous to Stein factorization, which I regard as "relative affinification". An arbitrary (quasi-compact and quasi-separated) morphism f:X→Y canonically factors through the affine morphism Spec_Y(f_*O_X)→Y
Is there a separification functor for algebraic spaces? Is it possible that the separification of a scheme is naturally an algebraic space?
Is there a separification functor for algebraic stacks? (An algebraic stack is separated if the diagonal is proper.)

Answer by Thanos D. Papaïoannou for Does a scheme have a "separification"?

2009-10-18T01:42:35Z

Carnahan's suggestion is the natural thing to do in the category of topological spaces, but it's unclear if we may execute it in the category of algebraic spaces, since it's unclear if the projections from the closure of the diagonal down to $X$ are always etale. Note that even for topological spaces, quotienting $X\times X$ out by the closure of the diagonal—i.e. quotienting out $X$ by the relation "$x\sim y$ if there is no pair of open neighbourhoods U of $x$ and $V$ of $y$ such that $U$ and $V$ are disjoint"—doesn't necessarily give a Hausdorff topological space since it's not an equivalence relation: it's not transitive!

But this is a technical problem: the real reason why there shouldn't exist a separification is that separatedness is a global geometric property and it's difficult to replace a scheme with another scheme for which a global geometric property holds, e.g. it's difficult to construct compactifications of schemes, even though that's relatively simple in the category of topological spaces.

At any rate, one way to produce a separification of a scheme is to produce a compactification, e.g. via Nagata's theorem.

Answer by David Rydh for Does a scheme have a "separification"?

2009-10-31T00:39:00Z

I think that it is highly unlikely that there exists a separification functor. What does exist is the following:

Theorem (Raynaud-Gruson): Let S be a base scheme and work relative to S. Given a non-separated scheme X of finite type, there is a blow-up (a proper birational morphism) X'->X such that X' admits an étale morphism to a projective scheme Z (in particular a separated scheme).

Note that there are non-separated schemes which does not even admit a quasi-finite morphism onto a separated scheme (e.g. take A^2 with a double origin and blow-up one of the origins).

The Theorem is false as stated for non-locally separated algebraic spaces. There are 3 different solutions to this:

A) Take an alteration instead of a modification.

B) Replace étale with quasi-finite flat.

C) Allow Z to be a proper stack with finite diagonal.