A fiber of a morphism of schemes (or a member of a family) whose local rings are not reduced, i.e., they contain nonzero nilpotent elements. The underlying topological space may coincide with a reduced fiber while scheme-theoretically the fiber has multiplicity or embedded nilpotent structure.

Principle

Nonreducedness signals hidden infinitesimal thickness: geometrically it records multiplicities, nilpotent directions or failure of the scheme to be reduced. It often arises from lack of flatness, from taking special fibers at singular parameters, or from torsion in the structure sheaf.

Demonstration

Simple example: the family Spec(k[ε]/(ε^2)) over Spec k has a single nonreduced fiber with coordinate ring k[ε]/(ε^2). More geometric instances occur when a flat family degenerates and the special fiber acquires embedded nilpotent structure (for example, a double structure on a divisor).

Misapplication

Treating a nonreduced fiber as if it were a reduced variety (for instance using only its topological points or treating multiplicity as irrelevant) leads to incorrect counts (multiplicity of intersection) and wrong deformation theoretic conclusions. Ignoring nonreducedness when checking smoothness or applying cohomological base change is another common misuse.

Consequence

Recognizing nonreduced fibers forces one to work scheme-theoretically: record multiplicities, use derived or infinitesimal methods, check flatness and formation of higher Tor, and possibly pass to reductions or to completions. Arithmetic and geometric invariants (intersection multiplicities, vanishing cycles) are affected and must be computed with the nonreduced structure in mind.

Reversal

Reduced fiber: the local rings have no nilpotents and the scheme equals its reduced subscheme; many classical geometric intuitions (smoothness, transverse intersection counts) are valid. In the reversed case one can apply simpler geometric and cohomological tools.

Boundary

The notion is scheme-theoretic: over fields a nonreduced fiber is visible in coordinate rings, but over general bases one must consider nilpotents in the structure sheaf, torsion, and flatness hypotheses. Nonreducedness is distinct from singularity: a fiber may be reduced yet singular, and nonreduced fibers can appear even when the underlying reduced locus is smooth.

Semantic Tension

Tension exists between the topological viewpoint (points and reduced underlying spaces) and the scheme-theoretic viewpoint (nilpotents and infinitesimal structure). Practitioners sometimes conflate nonreducedness with pathological behaviour broadly, but it specifically captures infinitesimal thickness rather than mere singularity.

Synthesis

A Nonreduced Fiber is a scheme-theoretic fiber carrying nilpotent structure; it encodes multiplicities and infinitesimal directions that affect deformation theory, intersection theory, and cohomological behavior. Proper handling requires scheme-theoretic techniques—checking flatness, tracking torsion, using reductions or derived tools—rather than relying solely on the reduced underlying set.