Ein Schema, dessen Strukturgarbe nichtverschwindende nilpotente Abschnitte enthält, beziehungsweise ein Schema mit lokalen Ringen, die nicht reduziert sind; geometrische Punkte können eingebettete infinitesimale Struktur über dem zugrundeliegenden topologischen Raum tragen.

Prinzip

Nichtreduziertheit erfasst infinitesimale oder eingebettete algebraische Struktur: nilpotente Elemente in lokalen Ringen kodieren Dicke, Multiplizität oder erste‑Ordnung‑Infinitesimalrichtungen, die auf der reduzierten Unterlage unsichtbar sind.

Demonstration

Spec(k[x]/(x^2)) ist ein grundlegendes nichtreduziertes Schema: der zugrundeliegende topologische Raum ist ein einzelner Punkt, doch der Koordinatenring enthält das nilpotente x, sodass Funktionen und Tangentialinformation ein infinitesimales Nachbarschaftsstadium erster Ordnung widerspiegeln statt eines gewöhnlichen reduzierten Punkts.

Fehlanwendung

Nichtreduziert mit nicht irreduzibel zu verwechseln ist falsch: Ein nichtreduziertes Schema kann topologisch irreduzibel sein und dennoch nilpotente Struktur tragen; Irreduzibilität bezieht sich auf die Zerlegung des topologischen Raums, nicht auf das Vorhandensein von Nilpotenten.

Konsequenz

Nichtreduzierte Schemata erfordern angepasste Formulierungen vieler Theoreme: Dimensionen, Multiplizitäten, Tangentialräume und Deformationstheorien müssen Nilpotente berücksichtigen; Schnittmultiplikationen und Garbenkohomologie können von den reduzierten Fällen abweichen.

Umkehrung

Ein reduziertes Schema hat keine nichtverschwindenden nilpotenten Abschnitte in seiner Strukturgarbe; seine lokalen Ringe sind reduziert und geometrische sowie algebraische Invarianten stimmen mit denen überein, die auf dem zugrundeliegenden topologischen Raum berechnet werden.

Abgrenzung

Der Begriff gehört zur Schemata‑Theorie und algebraischen Geometrie; er schließt gewöhnliche Varietäten oder Schemata aus, die als reduziert angenommen werden, und viele vertraute Resultate setzen Reduktion voraus, sofern Nilpotente nicht ausdrücklich behandelt werden.

Semantische Spannung

Es besteht eine Spannung zwischen topologischer Punktintuition und algebraischer Realität: Ein nichtreduzierter Punkt sieht topologisch gleich aus wie ein reduzierter Punkt, trägt jedoch zusätzliche algebraische 'Dicke'; die Unterscheidung von infinitesimaler Struktur und echter geometrischer Multiplizität ist entscheidend.

Synthese

Ein nichtreduziertes Schema ist ein algebraischer Raum, dessen lokale Ringe Nilpotente enthalten, wodurch infinitesimale oder Multiplizitätsdaten kodiert werden, die auf der zugrundeliegenden Topologie unsichtbar sind und Verfeinerungen von Dimension, Tangenten‑ und Schnittbegriffen erzwingen.