Glue two copies of the affine line over a base along the principal open subset by the identity. This scheme has two copies of the zero section and a canonical morphism of schemes to the original affine line. Over , its functor of points assigns to a commutative ring the pairs with an idempotent in . Indeed, gives the map to the affine line, while partitions into the two clopen sets assigned to the zero sections. Complementing the opposite part gives two open subsets covering , whose intersection is ; the coordinate defines maps on them which glue. This also proves that no lifting of to an idempotent of is necessary.
Articles by others on the same topic
There are currently no matching articles.