# Hyperfläche/Multiplizität/Generischer Schnitt/Einführung/Textabschnitt

Es sei
    $f\in K[X_{1},\ldots ,X_{n}]\,$
mit der homogenen Zerlegung (in der Standardgraduierung)
    $f=\sum _{d}f_{d}\,.$
Es sei $f(0)=0$, d.h. der konstante Term $f_{0}$ sei $0$.
Wir interessieren uns dafür, wie das Schnittverhalten von $V(f)$ mit einer Geraden $G\subseteq K^{n}$ aussieht. Ein Extremfall ist, dass die Gerade ganz auf $V(f)$ liegt, das kann bei $f\neq 0$ (was wir annehmen) nicht für alle Geraden gelten (bei einem unendlichen Körper). Eine jede Gerade lässt sich durch einen Aufpunkt und einen Richtungsvektor parametrisieren, d.h. sie ist das Bild einer affin-linearen Abbildung
    $\alpha \colon K\longrightarrow K^{n},\,t\longmapsto t{\begin{pmatrix}a_{1}\\\vdots \\a_{n}\end{pmatrix}}+{\begin{pmatrix}b_{1}\\\vdots \\b_{n}\end{pmatrix}}$
mit
    ${\begin{pmatrix}a_{1}\\\vdots \\a_{n}\end{pmatrix}}\neq 0\,.$
Wir betrachten die Hintereinanderschaltung
    $K{\stackrel {\alpha }{\longrightarrow }}K^{n}{\stackrel {f}{\longrightarrow }}K.$
Daraus sieht man, dass für einen Punkt $t\in K$ genau dann
    $\alpha (t)=V(f)=f^{-1}(0)\,$
gilt, wenn $t$ eine Nullstelle des Polynoms $f(\alpha _{1},\ldots ,\alpha _{n})$ in der einen Variablen $t$ ist. Den Durchschnitt von $G$ mit $V(f)$ erhält man also dadurch, dass man die Nullstellen von $f{\left(\alpha _{1},\ldots ,\alpha _{n}\right)}$ beschreibt. Der Extremfall $G\subseteq V(f)$ liegt genau dann vor, wenn die Einsetzung $f_{\alpha }:=f\circ \alpha$ das Nullpolynom ist. Andernfalls hat nach Fakt die Einsetzung maximal so viele Nullstellen, wie der Grad des eingesetzten Polynoms angibt. Über einem algebraisch abgeschlossenen Körper stimmt die Anzahl der mit Vielfachheiten gezählten Nullstellen mit dem Grad überein.

## Beispiel

Wir betrachten die Neilsche Parabel $V{\left(X^{2}-Y^{3}\right)}\subseteq K^{2}$ und bestimmen die Durchschnitte mit den Geraden $G_{\alpha }$, die durch
    $\alpha (t)={\begin{pmatrix}a_{1}\\a_{2}\end{pmatrix}}t+{\begin{pmatrix}b_{1}\\b_{2}\end{pmatrix}}={\begin{pmatrix}a_{1}t+b_{1}\\a_{2}t+b_{2}\end{pmatrix}}\,$
parametrisiert sind. Die Einsetzung ergibt die Bedingung
    $-a_{2}^{3}t^{3}+{\left(a_{1}^{2}-3a_{2}^{2}b_{2}\right)}t^{2}+{\left(2a_{1}b_{1}-3a_{2}b_{2}^{2}\right)}t+b_{1}^{2}-b_{2}^{3}=0\,$
für $t$. Bei $a_{2}=0$ hat dies den Grad $2$, andernfalls den Grad $3$. Die Nullstellen dieses Polynoms und ihre Vielfachheiten variieren mit den Parametern der Gerade. Die Gerade
    $\alpha (t)={\begin{pmatrix}2t+1\\1t+1\end{pmatrix}}\,$
führt beispielsweise zu
    $-t^{3}+t^{2}+t=-t{\left(t-{\frac {{\sqrt {5}}+1}{2}}\right)}{\left(t-{\frac {-{\sqrt {5}}+1}{2}}\right)}\,$
mit drei einfachen Nullstellen, die Gerade
    $\beta (t)={\begin{pmatrix}t+1\\t+1\end{pmatrix}}\,$
führt hingegen zu
    $-t^{3}-2t^{2}-t=-t{\left(t+1\right)}^{2}\,$
mit der doppelten Nullstelle bei $t=-1$. Eine Gerade durch den Nullpunkt kann man als
    $\alpha (t)={\begin{pmatrix}a_{1}\\a_{2}\end{pmatrix}}t\,$
ansetzen, was zur Bedingung
    $-a_{2}^{3}t^{3}+a_{1}^{2}t^{2}=0\,$
führt. Hierbei ist
    $t=0\,$
stets eine zumindest doppelte Nullstelle und bei $a_{1}=0$ sogar eine dreifache Nullstelle.
Das folgende Lemma beschreibt den Grad der eingesetzten Polynome $f_{\alpha }$?

## Lemma

Es sei $K$ ein Körper und $f\in K[X_{1},\ldots ,X_{n}]$ ein von $0$ verschiedenes Polynom vom Grad $m$. Es sei $\alpha (t)=at+b$ die Parametrisierung einer Geraden im $K^{n}$.
Dann ist
mit Polynomen $g_{j}$ in den $2n$ Variablen $a_{i},b_{i}$. Insbesondere hat $f\circ \alpha$ höchstens den Grad $m$. Wenn $K$ ein unendlicher Körper ist, so haben außerhalb einer algebraisch definierten Teilmenge des $K^{2n}$ die Einsetzungen den Grad $m$.

### Beweis

Es ist
    $f=\sum _{d=0}^{m}f_{d}\,$
mit
    $f_{d}=\sum _{\nu :\,\vert {\,\nu \,}\vert =d}c_{\nu }X^{\nu }\,.$
Die Einsetzung für ein Monom $X^{\nu }$ ergibt nach dem Distributivgesetz
    ${\begin{aligned}\alpha _{1}^{\nu _{1}}\cdots \alpha _{n}^{\nu _{n}}&={\left(a_{1}t+b_{1}\right)}^{\nu _{1}}\cdots {\left(a_{n}t+b_{n}\right)}^{\nu _{n}}\\&=a_{1}^{\nu _{1}}\cdots a_{n}^{\nu _{n}}t^{\nu _{1}+\cdots +\nu _{n}}+\sum _{j=0}^{\vert {\,\nu \,}\vert -1}h_{j}(a_{1},\ldots ,a_{n},b_{1},\ldots ,b_{n})t^{j}\end{aligned}}$
mit Polynomen $h_{j}$ in den $a_{i},b_{i}$. Die Monome von einem bestimmten Grad tragen nach der Einsetzung zu diesem Grad und zu den kleineren Graden bei, aber nicht zu einem höheren Grad. Daher hat $f_{\alpha }$ maximal den Grad $m$ und sein Leitkoeffizient (vorausgesetzt, dass dieser Term nicht $0$ ist), ist
    $\sum _{\vert {\,\nu \,}\vert =m}c_{\nu }a^{\nu }=f_{m}(a_{1},\ldots ,a_{n})\,.$
Wegen $f_{m}\neq 0$ gibt es (bei $K$ unendlich) Punkte $(a_{1},\ldots ,a_{n})\in K^{n}$ mit
    $f_{m}(a_{1},\ldots ,a_{n})\neq 0\,,$
und dies gilt auf der Zariski-offenen Menge $V(f_{m})$ im Parameterraum.
$\Box$
Das vorstehende Argument zeigt insbesondere, dass bei Geraden durch dem Nullpunkt, die man ja mit Aufpunkt $0$ ansetzen kann, die homogenen Komponenten der Einsetzungen sich direkt aus den homogenen Komponenten von $f$ ergeben.

## Definition

Zu einem Polynom $f\in R[X_{1},\ldots ,X_{n}]$ (über einem kommutativen Ring $R$) mit homogener Zerlegung $f=\sum _{d}f_{d}$ nennt man den minimalen Grad $d$ mit $f_{d}\neq 0$ der Untergrad von $f$.
Wie wirkt sich der Untergrad auf das Schnittverhalten mit Geraden aus?

## Satz

Es sei $K$ ein Körper und $f\in K[X_{1},\ldots ,X_{n}]$ ein von $0$ verschiedenes Polynom vom Untergrad $k$. Es sei $\alpha (t)=at$ die Parametrisierung einer Geraden im $K^{n}$ durch den Nullpunkt.
Dann ist $0\in K$ eine Nullstelle von $f\circ \alpha$, dessen Vielfachheit zumindest $k$ ist (was den Fall, dass $f\circ \alpha$ das Nullpolynom ist, mit einschließen mag). Wenn $K$ ein unendlicher Körper ist, so ist die Vielfachheit dieser Nullstelle außerhalb einer algebraisch definierten Teilmenge des $K^{n}$ genau $k$.

### Beweis

Sei
    $f=f_{k}+f_{k+1}+\cdots +f_{m}\,$
mit $f_{k}=\sum _{\vert {\,\nu \,}\vert =k}c_{\nu }X^{\nu }\neq 0$. Wie aus dem Beweis zu Fakt im homogenen Fall ($b=0$) ersichtlich ist, hängen die homogenen Komponenten der Einsetzung nur von den homogenen Komponenten von $f$ ab. Insbesondere ist
    $(f\circ \alpha )_{k}=f_{k}\circ \alpha =\sum _{\vert {\,\nu \,}\vert =k}c_{\nu }a^{\nu }t^{k}\,$
und $(f\circ \alpha )_{\ell }=0$ für $\ell <k$. Somit ist $0$ eine zumindest $k$-fache Nullstelle von $f\circ \alpha$, und genau dann eine $k$-fache Nullstelle, wenn der Koeffizient $\sum _{\vert {\,\nu \,}\vert =k}c_{\nu }a^{\nu }t^{k}$ nicht $0$ ist. Diese Bedingung ist auf einer nichtleeren offenen Teilmenge des $K^{n}$ erfüllt.
$\Box$
Die Aussage im vorstehenden Satz, dass eine Eigenschaft (nämlich das Schnittverhalten) für alle Geraden gilt, die durch eine nichtleere Zariski-offene Menge parametrisiert werden, drückt man häufig durch die Formulierung aus, dass sie für die generische Gerade gilt. Man sagt dann kurz, dass $f$ auf der generischen Gerade durch den Nullpunkt die Vielfachheit $k$ besitzt. Entsprechende Formulierungen gibt es nicht nur für Geraden, sondern generell für Objekte, die durch einen affinen Parameterraum oder eine affine Varietät parametrisiert werden.

## Korollar

Es sei $K$ ein unendlicher Körper und $f\in K[X_{1},\ldots ,X_{n}]$ ein von $0$ verschiedenes Polynom mit $f(0)=0$. Dann sind folgende Aussagen äquivalent.

### Beweis

Die Äquivalenz von (i) und (ii) folgt unmittelbar, da die Jacobi-Matrix im Nullpunkt direkt aus dem linearen Term von $f$ ablesbar ist. Die Äquivalenz von (ii) und (iii) ergibt sich aus Fakt, da der Durchschnitt von zwei nichtleeren offenen Teilmengen im $K^{n}$ nichtleer ist.
$\Box$
Wir besprechen nun Besonderheiten des Schnittverhaltens mit Geraden über den komplexen Zahlen. Eine wichtige Rolle spielt dabei die sogenannte Stetigkeit der Nullstellen.

## Satz

Es sei $f\in {\mathbb {C} }[X_{1},\ldots ,X_{n}]$ ein von $0$ verschiedenes Polynom vom Untergrad $k$.
Dann gibt es offene Ballumgebungen
und eine nichtleere Zariski-offene Menge $U\subseteq {\mathbb {C} }^{n}$ derart, dass alle affin-linearen Geraden $at+b$, die durch $a\in U$ parametrisert sind und die den Ball $U{\left(0,c\right)}$ treffen, innerhalb von $U{\left(0,d\right)}$ die Hyperfläche $V(f)$ mit Gesamtvielfachheit $k$ schneiden.

### Beweis

Es sei $m$ der Grad von $f$ und $k$ der Untergrad von $f$. Es sei $U\subseteq {\mathbb {C} }^{n}$ eine Zariski-offene Menge mit der Eigenschaft, dass die Einsetzungen $f\circ \alpha$ zu den Geraden durch den Nullpunkt ${\begin{pmatrix}a_{1}\\\vdots \\a_{n}\end{pmatrix}}t$ zum Parametertupel
    ${\begin{pmatrix}a_{1}\\\vdots \\a_{n}\end{pmatrix}}\in U\,$
den Grad $m$ und den Untergrad $k$ besitzen. Eine solche Menge gibt es aufgrund von Fakt und Fakt. Das normierte eingesetzte Polynom hat die Gestalt
    $\sum _{j=0}^{m}{\frac {g_{j}(a_{1},\ldots ,a_{n},b_{1},\ldots ,b_{n})}{g_{m}(a_{1},\ldots ,a_{n},b_{1},\ldots ,b_{n})}}t^{j}$
wobei $g_{m}$ auf $U$ nullstellenfrei und unabhängig von den $b_{i}$ ist. Für einen fixierten Parameter $(a_{1},\ldots ,a_{n},0,\ldots ,0)$ mit $(a_{1},\ldots ,a_{n})\in U$ besitzt dieses Polynom in $0$ eine Nullstelle der Vielfachheit $k$. Nach dem Satz über die Stetigkeit der Nullstellen gibt es zu jedem $\epsilon >0$ ein $\delta >0$ mit der Eigenschaft, dass jedes normierte Polynom vom gleichen Grad, das (durch $U$ parametrisiert ist und) die Koeffizientenbedingungen
    $\vert {{\frac {g_{j}(a_{1},\ldots ,a_{n},0,\ldots ,0)}{g_{m}(a_{1},\ldots ,a_{n},0,\ldots ,0)}}-{\frac {g_{j}(a_{1}',\ldots ,a_{n}',b_{1},\ldots ,b_{n})}{g_{m}(a'_{1},\ldots ,a'_{n},b_{1},\ldots ,b_{n})}}}\vert \leq \delta \,$
für alle $j=0,\ldots ,m-1$ erfüllt, in $U{\left(0,\epsilon \right)}$ mindestens $k$ Nullstellen mit Gesamtvielfachheit $k$ besitzt. Da diese rationalen Koeffizientenfunktionen $g_{j}/g_{m}$ stetig sind, gibt es zu jedem $(a_{1},\ldots ,a_{n})\in U$ ein $s>0$ derart, dass für
    $d{\left((a_{1},\ldots ,a_{n},0,\ldots ,0),(a_{1}',\ldots ,a_{n}',b_{1},\ldots ,b_{n})\right)}\leq s\,$
die zugehörigen Koeffizientenfunktionen diese Abstandsbedingung und die zugehörigen Geraden $a't+b$ daher die Schnittbedingung erfüllen, dass sie in der $\epsilon$-Umgebung des Nullpunktes insgesamt zumindest $k$ Schnittpunkte haben.
$\Box$