Tuesday, 8 July 2008

ag.algebraic geometry - is the preorder of locally closed immersions complete?

The maximum may not exist in general. Take X=Spec k[T,U] the affine plane, A the complement of the vertical line L passing through the origin (A=Spec k[T,U,1/T]) and B the origin (Spec k[T,U]/(T,U)). Then, the maximum C of A and B in the ordered set of subschemes of X does not exist. If it was the case, then C should be some subscheme of X. Such are usually described as closed subschemes in some open subset of X, but can also be described as open subsets in some closed subschemes Z of X (I cannot find the reference in general, but it is certainly true when the schemes are noetherian). As U is (schematically)-dense in X, this Z can be nothing else as X itself, then C should be an open subset of X containing A and B, that is the open complement of a finite set of closed points of the line L except the origin, in which case it is clear that we could find an open subset of X containing A and B and strictly contained in C, which would give a contradiction.

No comments:

Post a Comment