Hilbert-Samuel-Polynom

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Das Hilbert-Samuel-Polynom ist ein Begriff aus den mathematischen Teilgebieten der kommutativen Algebra und der algebraischen Geometrie. Es wird dort in der Dimensionstheorie und in der Berechnung der Schnittpunkte gebraucht. Während der Grad für die Dimensionstheorie wichtig ist, spielen die Koeffizienten für die Schnitttheorie der algebraischen Geometrie eine Rolle. Benannt wurde es nach David Hilbert und Pierre Samuel.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe Kommutative Algebra.

Definitionen[Bearbeiten]

Es sei

R = \bigoplus_{n\in \mathbb N}R_n

ein graduierter Ring mit folgenden Eigenschaften:

  1. R_0 ist ein R_0-Modul von endlicher Länge
  2. R wird als Ring von R_0 und endlich vielen Elementen a_1,\dots,a_r erzeugt.
  3. M sei ein graduierter endlicher R-Modul.

Dann wird die Funktion

f \colon \N \to \N
f \colon n \mapsto l_{R_0} \left( \bigoplus_{i=0}^{n-1}M_i \right)

Hilbert-Samuel-Funktion genannt

Unter den Voraussetzungen der Definition (und mit diesen Bezeichnungen) gilt folgender Satz:

  • Für große n ist die Hilbert-Samuel-Funktion ein Polynom P[X] aus \Bbb Q[X]. Es ist grad(P[X]) \le r und der höchste Koeffizient von P[X] ist positiv.

Das bedeutet, dass es ein :P[X] \in \Q[X] und ein :k \in \N gibt, sodass für alle n>k gilt:

f(n)=P(n)

Dieses Polynom heißt das Hilbert-Samuel-Polynom

Dimensionstheorie[Bearbeiten]

Ist A ein lokaler Ring mit maximalem Ideal m, und

\mathrm{gr}_m(A):=\bigoplus_{n\in \mathbb N}m^n/m^{n+1}

der graduierte Ring zu diesem Ideal. Dann gilt für den Grad des Hilbertpolynoms \mathrm{P}_m(\mathrm{gr}_m(A)) dieses Ringes (betrachtet als Modul über sich selbst):

\mathrm{grad}(\mathrm{P}_m(\mathrm{gr}_m(A))) = \mathrm{dim}(A)

(\mathrm{dim}(A) ist die Krulldimension des Ringes)

Literatur[Bearbeiten]