Label the two charts of the affine line with doubled origin by , and use for their common coordinate. Let be an -valued element of the functor of points. Its composite with corresponds to a unique under the affine-target adjunction for schemes:
The closed subscheme maps into the disjoint union of the two zero sections,
The inverse image of is a clopen set in . By the idempotent–clopen correspondence, it determines a unique idempotent , equal to on and on the inverse image of . Hence
Over , the two “origins” are entire zero sections, rather than single closed points; this construction uses their full scheme-theoretic fibers.

Articles by others on the same topic (0)

There are currently no matching articles.