reduced scheme



A scheme is reduced if it has no “purely infinitesimal directions”.


An algebraic scheme is reduced if all stalks of the structure sheaf are local rings without nonzero nilpotent elements.

This means that it is a reduced object in the sense of synthetic differential geometry.

Equivalently a scheme XX is reduced iff it can be covered by a family {U α} α\{U_\alpha\}_\alpha of open sets such that 𝒪 X(U)\mathcal{O}_X(U) has no nonzero nilpotent elements. Equivalently, every open UXU\subset X has the property that 𝒪 X(U)\mathcal{O}_X(U) has no nonzero nilpotent elements.

Reducedness can also be characterized by the internal language of the sheaf topos Sh(X)\mathrm{Sh}(X): XX is reduced iff 𝒪 X\mathcal{O}_X is a reduced ring in Sh(X)\mathrm{Sh}(X) iff 𝒪 X\mathcal{O}_X is a residue field in Sh(X)\mathrm{Sh}(X) (i.e. every non-unit is zero). This can be used to give an internal proof of the fact that 𝒪 X\mathcal{O}_X-modules of finite type over a reduced scheme are locally free iff their rank is constant (by internalizing the constructive proof of the linear algebra fact that finitely generated modules over residue fields are free, provided the minimal number of elements needed to generate the module exists as a natural number).


For instance the dual Speck[ϵ](ϵ 2)Spec k[\epsilon](\epsilon^2) of the ring of dual numbers is not reduced, since it is the point with an infinitesimal extension added to it. Its reduction is the point itself. Generally, formal schemes are not reduced.

Revised on February 6, 2015 01:09:50 by Anonymous Coward (