Eine schematheschn Schnittmenge von Unterschemata, die nilpotente Elemente oder eingebettete Komponenten trägt, die über die zugrundeliegende mengenmäßige Schnittmenge hinausgehen; die Schnittmenge als Objekt in der Kategorie der Schemata (bzw. Ringe) ist nicht reduziert.

Prinzip

Schematische Operationen bewahren algebraische Struktur (Vielfachheiten, Nilpotente, eingebettete Komponenten), die der mengenmäßige Ort ausblendet; Schnittmengen sind in der Strukturgarbe des umgebenden Schemas zu berechnen, nicht nur als abgeschlossene Mengen.

Demonstration

Zwei Ebenenkurven, gegeben durch f und g, können mit Vielfachheit schneiden: z. B. in Spec k[x,y] definiert das Ideal (f,g) einen lokalen Ring mit Nilpotenten oder einer eingebetteten Komponente, wie bei der Schnittmenge einer doppelten Geraden (x^2) mit der Geraden (x), wodurch bei x=0 nilpotente Struktur entsteht.

Fehlanwendung

Die schematheschn Schnittmenge durch die mengenmäßige ersetzen und nilpotente bzw. eingebettete Anteile beim Berechnen von Schnittvielfachheiten ignorieren, was zu falschen Vielfachheitszählungen oder zum Wegfall von Obstruktionsklassen führt.

Konsequenz

Die korrekte Erkennung einer nichtreduzierten Schnittmenge erfasst Vielfachheiten und eingebettete Komponenten, die für Schnitttheorie, Deformationsberechnungen und zur Erkennung von Überschuss-Schnitten oder Nicht-Transversalität nötig sind.

Umkehrung

Die Umkehr ist die reduzierte (oder mengenmäßige) Schnittmenge, bei der man das reduzierte induzierte Unterschema auf der gemeinsamen abgeschlossenen Menge nimmt und Nilpotente sowie eingebettete Struktur verwirft.

Abgrenzung

Gilt für Schnitte in algebraischer Geometrie und kommutativer Algebra — Schemata, Unterschemata und Ideale; trifft nicht zu für rein mengenmäßige Schnitte topologischer Räume oder wenn ausschließlich mit reduzierten Schemata gearbeitet wird.

Semantische Spannung

Spannung zwischen mengenmäßiger Schnittmenge (Punkte als Ort) und schemathescher Schnittmenge (algebraische Struktur mit Vielfachheiten und Nilpotenten); ebenso Spannung zwischen korrektem Schnitt und Überschuss-Schnitt.

Synthese

Eine nichtreduzierte Schnittmenge ist die schemathesche Schnittmenge, die algebraische Vielfachheiten und eingebettete Komponenten kodiert, die im zugrundeliegenden Ort fehlen — unverzichtbar, wenn Schnittvielfachheiten, Obstruktionen oder nicht-transverse Phänomene geometrische oder deformationstheoretische Aussagen beeinflussen.