Hilbert-Funktion

In der algebraischen Geometrie gibt die Hilbert-Funktion Informationen über die Anzahl der Hyperflächen zu einem gegebenen Grad. Für hinreichend große Argumente stimmt sie mit einem als Hilbert-Polynom bezeichneten Polynom überein.

Hilbert-Funktion

Sei $X\subset P^{n}$ eine projektive Varietät mit Verschwindungsideal

$I(X)\subset K\left[Z_{0},\ldots ,Z_{n}\right]$.

Für $d\geq 1$ sei

$I(X)_{d}=I(X)\cap K\left[Z_{0},\ldots ,Z_{n}\right]_{d}$

der homogene Anteil vom Grad $d$. Der Koordinatenring $S(X)$ ist dann ein graduierter Ring

$S(X)=\bigoplus _{d\geq 0}S(X)_{d}$

mit $S(X)_{d}=K\left[Z_{0},\ldots ,Z_{n}\right]_{d}/I(X)_{d}$.

Die Dimension von $I(X)_{d}$ gibt die Anzahl der unabhängigen, $X$ enthaltenden Hyperflächen vom Grad $d$. Die Hilbert-Funktion $h_{X}$ ist definiert durch

$h_{X}(d)=\dim S(X)_{d}$,

sie gibt also die Kodimension von $I(X)_{d}$.

Beispiele

• Sei $X=\left\{\left[1\colon 0\colon 0\right],\left[0\colon 1\colon 0\right],\left[0\colon 0\colon 1\right]\right\}\subset P^{2}$. Dann ist $h_{X}(d)=3$ für alle $d\geq 1$.
• Sei $X=\left\{\left[1\colon 0\colon 0\right],\left[0\colon 1\colon 0\right],\left[1\colon 1\colon 0\right]\right\}\subset P^{2}$. Dann ist $h_{X}(1)=2$ und $h_{X}(d)=3$ für alle $d\geq 2$.
• Sei $X\subset P^{n}$ eine aus $m$ Punkten bestehende Menge. Dann ist $h_{X}(d)=m$ für $d\geq m-1$.
• Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X\subset P^2} eine durch ein homogenes Polynom vom Grad Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k} gegebene Kurve. Dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h_X(d)=d\cdot k-\frac{1}{2}k(k-3)} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d\ge k} .

Hilbert-Polynom

Satz: Zu jeder projektiven Varietät Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X\subset P^n} gibt es ein Polynom Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H_X\in \Q\left[d\right]} vom Grad Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \dim(X)} , so dass

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H_X(d)=h_X(d)}

für alle hinreichend großen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d\in\Z} gilt.

Das Polynom Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H_X} heißt das Hilbert-Polynom der Varietät Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} .

Siehe auch

• Hilbert-Schema

Literatur

• D. Eisenbud: Commutative algebra. With a view toward algebraic geometry, Graduate Texts in Mathematics 150, Springer-Verlag New York, ISBN 0-387-94268-8

Weblinks

• D. Plaumann: Hilbert polynomials