A locally ringed space that is locally isomorphic to the spectrum Spec A of a ring A; obtained by gluing affine schemes along compatible isomorphisms and serving as the fundamental geometric object in modern algebraic geometry, encoding both topological and algebraic structure (points with local rings).

Principle

Model geometry by gluing affine pieces Spec A, so that local algebra (rings and their spectra) governs the geometry and allows base change, nilpotent phenomena, and arithmetic information to be represented intrinsically.

Demonstration

Affine schemes Spec R for a ring R, the scheme Spec Z encoding arithmetic, and projective schemes constructed by gluing affines (e.g., Proj of a graded ring) illustrate how schemes generalize varieties and permit arguments over arbitrary base rings.

Misapplication

Treating schemes as if they were always reduced varieties over algebraically closed fields (ignoring nilpotents, nonreduced structures, or arithmetic base changes) loses essential information and invalidates many arguments.

Consequence

Schemes enable systematic study of geometric objects over arbitrary rings, functorial notions of points, coherent sheaves and their cohomology, representability problems, and the formulation of moduli and deformation theories.

Reversal

Topological space without a local ringed structure: forgetting the structure sheaf reduces a scheme to its underlying topological space and loses the algebraic function data that define morphisms and local properties.

Boundary

Not every locally ringed space is a scheme; schemes exclude higher stacky quotient phenomena, formal schemes, and objects requiring descent beyond ordinary sheaf gluing unless one enlarges the category (e.g., algebraic spaces, stacks).

Semantic Tension

Versus variety: schemes allow nilpotents, arbitrary base rings, and more general local behavior; varieties are commonly taken to be reduced, separated, and of finite type over a field, a narrower notion.

Synthesis

A scheme is a space built by gluing spectra of rings with a structure sheaf of local rings, generalizing classical varieties to include nilpotents and arithmetic base change while encoding local algebraic functions at points.