Hyperfläche/Multiplizität/Generischer Schnitt/Bemerkung

Aus Wikiversity

Zu einem Punkt ist nach Fakt die Vielfachheit von an auf einer generischen Geraden durch den Punkt gleich dem Untergrad von in dem Punkt. Der Untergrad wird dabei bestimmt, indem man um den Punkt entwickelt, also den Punkt in den Nullpunkt verschiebt. Wenn unendlich ist, so hat diese Zahl eine unmittelbare geometrische Bedeutung, nämlich eben die Vielfachheit des Schnittes. Diese Bedeutung ist der historische Ausgangspunkt für das Konzept Multiplizität, das ein wichtiges Singularitätsmaß ist, wie Fakt zeigt. Eine algebraisch solidere Beschreibung dieser Invariante, die nicht nur für Hyperflächen funktioniert und die nur vom lokalen Ring der Varietät im Punkt abhängt, beruht auf der Hilbertfunktion von graduierten Moduln.