Affine line with doubled origin

ID: affine-line-with-doubled-origin

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.

New to topics? Read the docs here!