Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 15/latex
\setcounter{section}{15}
\zwischenueberschrift{Die Multiplizität}
Es sei
\mavergleichskettedisp
{\vergleichskette
{f
}
{ \in} { K [X_1 , \ldots , X_n ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit der homogenen Zerlegung
\zusatzklammer {in der Standardgraduierung} {} {}
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { \sum_d f_d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{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
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{ K^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aussieht. Ein Extremfall ist, dass die Gerade ganz auf $V(f)$ liegt, das kann bei
\mavergleichskette
{\vergleichskette
{f
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {was wir annehmen} {} {}
nicht für alle Geraden gelten
\zusatzklammer {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
\definitionsverweis {affin-linearen}{}{}
Abbildung
\maabbeledisp {\alpha} { K } { K^n
} {t} { t \begin{pmatrix} a_1 \\\vdots\\ a_n \end{pmatrix} + \begin{pmatrix} b_1 \\\vdots\\ b_n \end{pmatrix}
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} a_1 \\\vdots\\ a_n \end{pmatrix}
}
{ \neq} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir betrachten die Hintereinanderschaltung
\mathdisp {K \stackrel{\alpha}{\longrightarrow} K^n \stackrel{f}{\longrightarrow} K} { . }
Daraus sieht man, dass für einen Punkt
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann
\mavergleichskettedisp
{\vergleichskette
{\alpha(t)
}
{ =} { V(f)
}
{ =} {f^{-1}(0)
}
{ } {
}
{ } {
}
}
{}{}{}
gilt, wenn $t$ eine Nullstelle des Polynoms
\mathl{f ( \alpha_1 , \ldots , \alpha_n)}{} in der einen Variablen $t$ ist. Den Durchschnitt von $G$ mit
\mathl{V(f)}{} erhält man also dadurch, dass man die Nullstellen von
\mathl{f { \left( \alpha_1 , \ldots , \alpha_n \right) }}{} beschreibt. Der Extremfall
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V(f)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt genau dann vor, wenn die Einsetzung
\mavergleichskette
{\vergleichskette
{f_\alpha
}
{ \defeq }{ f \circ \alpha
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das Nullpolynom ist. Andernfalls hat nach
Korollar 19.9 (Lineare Algebra (Osnabrück 2017-2018))
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.
\inputbeispiel{}
{
Wir betrachten die Neilsche Parabel
\mavergleichskette
{\vergleichskette
{V { \left( X^2-Y^3 \right) }
}
{ \subseteq }{ K^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und bestimmen die Durchschnitte mit den Geraden
\mathl{G_\alpha}{,} die durch
\mavergleichskettedisp
{\vergleichskette
{ \alpha(t)
}
{ =} { \begin{pmatrix} a_1 \\a_2 \end{pmatrix} t + \begin{pmatrix} b_1 \\b_2 \end{pmatrix}
}
{ =} { \begin{pmatrix} a_1t+b_1 \\a_2t+b_2 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{}
parametrisiert sind. Die Einsetzung ergibt die Bedingung
\mavergleichskettedisp
{\vergleichskette
{-a_2^3 t^3 + { \left( a_1^2 -3a_2^2b_2 \right) } t^2 + { \left( 2a_1b_1 -3a_2b_2^2 \right) } t + b_1^ 2-b_2^3
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für $t$. Bei
\mavergleichskette
{\vergleichskette
{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
\mavergleichskettedisp
{\vergleichskette
{ \alpha(t)
}
{ =} { \begin{pmatrix} 2 t+ 1 \\1t+1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
führt beispielsweise zu
\mavergleichskettedisp
{\vergleichskette
{- 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
\mavergleichskettedisp
{\vergleichskette
{ \beta(t)
}
{ =} { \begin{pmatrix} t+ 1 \\t+1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
führt hingegen zu
\mavergleichskettedisp
{\vergleichskette
{- t^3 -2 t^2 - t
}
{ =} { - t { \left( t + 1 \right) }^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit der doppelten Nullstelle bei
\mavergleichskette
{\vergleichskette
{t
}
{ = }{-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine Gerade durch den Nullpunkt kann man als
\mavergleichskettedisp
{\vergleichskette
{ \alpha(t)
}
{ =} { \begin{pmatrix} a_1 \\a_2 \end{pmatrix} t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ansetzen, was zur Bedingung
\mavergleichskettedisp
{\vergleichskette
{ -a_2^3t^3 +a_1^2t^2
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
führt. Hierbei ist
\mavergleichskettedisp
{\vergleichskette
{t
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
stets eine zumindest doppelte Nullstelle und bei
\mavergleichskette
{\vergleichskette
{a_1
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sogar eine dreifache Nullstelle.
}
Das folgende Lemma beschreibt den Grad der eingesetzten Polynome $f_\alpha$?
\inputfaktbeweis
{Polynom/Geradeneinsetzung/Formel/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein von $0$ verschiedenes Polynom vom
\definitionsverweis {Grad}{}{}
$m$. Es sei
\mavergleichskette
{\vergleichskette
{\alpha (t)
}
{ = }{ at +b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Parametrisierung einer Geraden im $K^n$.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{f_\alpha
}
{ =} {f \circ \alpha
}
{ =} { \sum_{ j = 0}^m g_j( a_1 , \ldots , a_n, b_1 , \ldots , b_n ) t^j
}
{ } {
}
{ } {
}
}
{}{}{}
mit Polynomen $g_j$ in den $2n$ Variablen
\mathl{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$.}
\faktzusatz {}
\faktzusatz {}
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { \sum_{d = 0}^m f_d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{f_d
}
{ =} { \sum_{\nu :\, \betrag { \, \nu \, } = d} c_\nu X^\nu
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Einsetzung für ein Monom $X^\nu$ ergibt nach dem Distributivgesetz
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \alpha_1^{\nu_1} \cdots \alpha_n^{\nu_n}
}
{ =} { { \left( a_1t+b_1 \right) }^{\nu_1} \cdots { \left( a_nt +b_n \right) }^{\nu_n}
}
{ =} { a_1^{\nu_1 } \cdots a_n^{\nu_n} t^{\nu_1 + \cdots + \nu_n} + \sum_{j = 0}^{ \betrag { \, \nu \, } -1 } h_j(a_1 , \ldots , a_n,b_1 , \ldots , b_n) t^j
}
{ } {
}
{ } {
}
}
{}
{}{}
mit Polynomen $h_j$ in den
\mathl{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
\definitionsverweis {Leitkoeffizient}{}{}
\zusatzklammer {vorausgesetzt, dass dieser Term nicht $0$ ist} {} {,}
ist
\mavergleichskettedisp
{\vergleichskette
{ \sum_{ \betrag { \, \nu \, } = m} c_\nu a^\nu
}
{ =} { f_m(a_1 , \ldots , a_n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{f_m
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es
\zusatzklammer {bei $K$ unendlich} {} {}
Punkte
\mavergleichskette
{\vergleichskette
{(a_1 , \ldots , a_n)
}
{ \in }{ K^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{f_m (a_1 , \ldots , a_n)
}
{ \neq} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und dies gilt auf der Zariski-offenen Menge
\mathl{V(f_m)}{} im Parameterraum.
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.
\inputdefinition
{}
{
Zu einem Polynom
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ R[X_1 , \ldots , X_n ]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {über einem
\definitionsverweis {kommutativen Ring}{}{} $R$} {} {}
mit
\definitionsverweis {homogener Zerlegung}{}{}
\mavergleichskette
{\vergleichskette
{f
}
{ = }{ \sum_d f_d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man den minimalen Grad $d$ mit
\mavergleichskette
{\vergleichskette
{f_d
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der
\definitionswort {Untergrad}{}
von $f$.
}
Wie wirkt sich der Untergrad auf das Schnittverhalten mit Geraden aus?
\inputfaktbeweis
{Hyperfläche/K unendlich/Untergrad/Geradenschnitt durch Punkt/Vielfachheit/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein von $0$ verschiedenes Polynom vom
\definitionsverweis {Untergrad}{}{}
$k$. Es sei
\mavergleichskette
{\vergleichskette
{\alpha (t)
}
{ = }{ at
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Parametrisierung einer Geraden im $K^n$ durch den Nullpunkt.}
\faktfolgerung {Dann ist
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Nullstelle von
\mathl{f \circ \alpha}{,} dessen
\definitionsverweis {Vielfachheit}{}{}
zumindest $k$ ist
\zusatzklammer {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$.}
\faktzusatz {}
\faktzusatz {}
}
{
Sei
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { f_k +f_{k+1} + \cdots + f_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{f_k
}
{ = }{ \sum_{ \betrag { \, \nu \, } = k} c_\nu X^\nu
}
{ \neq }{0
}
{ }{
}
{ }{
}
}
{}{}{.}
Wie aus dem Beweis zu
Lemma 15.2
im homogenen Fall
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
ersichtlich ist, hängen die homogenen Komponenten der Einsetzung nur von den homogenen Komponenten von $f$ ab. Insbesondere ist
\mavergleichskettedisp
{\vergleichskette
{ (f \circ \alpha)_k
}
{ =} { f_k \circ \alpha
}
{ =} { \sum_{ \betrag { \, \nu \, } = k } c_\nu a^\nu t^k
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ (f \circ \alpha)_\ell
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{\ell
}
{ < }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit ist $0$ eine zumindest $k$-fache Nullstelle von
\mathl{f \circ \alpha}{,} und genau dann eine $k$-fache Nullstelle, wenn der Koeffizient
\mathl{\sum_{ \betrag { \, \nu \, } = k } c_\nu a^\nu t^k}{} nicht $0$ ist. Diese Bedingung ist auf einer nichtleeren offenen Teilmenge des $K^n$ erfüllt.
Die Aussage im vorstehenden Satz, dass eine Eigenschaft
\zusatzklammer {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.
\inputfaktbeweis
{Hyperfläche/K unendlich/Untergrad/Glatt/Schnittverhalten/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {unendlicher Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein von $0$ verschiedenes Polynom mit
\mavergleichskette
{\vergleichskette
{f(0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktuebergang {Dann sind folgende Aussagen äquivalent.}
\faktfolgerung {\aufzaehlungdrei{$0$ ist ein
\definitionsverweis {glatter Punkt}{}{}
von $f$.
}{Der
\definitionsverweis {Untergrad}{}{}
von $f$ ist $1$.
}{Für eine nichtleere
\definitionsverweis {Zariski-offene}{}{}
Teilmenge
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{K^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist für jede Gerade $at$ mit Richtungsvektor
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die $0$ eine einfache Nullstelle des Polynoms
\mathl{f (a_1t , \ldots , a_n t )}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Äquivalenz von (i) und (ii) folgt unmittelbar, da die \definitionsverweis {Jacobi-Matrix}{}{} im Nullpunkt direkt aus dem linearen Term von $f$ ablesbar ist. Die Äquivalenz von (ii) und (iii) ergibt sich aus Satz 15.4, da der Durchschnitt von zwei nichtleeren offenen Teilmengen im $K^n$ nichtleer ist.
Wir besprechen nun Besonderheiten des Schnittverhaltens mit Geraden über den komplexen Zahlen. Eine wichtige Rolle spielt dabei die sogenannte
Stetigkeit der Nullstellen.
\inputfaktbeweis
{Hyperfläche/Multiplizität/Geradenschnitt/C/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathbb C} [X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein von $0$ verschiedenes Polynom vom
\definitionsverweis {Untergrad}{}{}
$k$.}
\faktfolgerung {Dann gibt es offene Ballumgebungen
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \in} { U { \left( 0,c \right) }
}
{ \subseteq} { U { \left( 0,d \right) }
}
{ \subseteq} { {\mathbb C}^n
}
{ } {
}
}
{}{}{}
und eine nichtleere Zariski-offene Menge
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{ {\mathbb C}^{n}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass alle affin-linearen Geraden
\mathl{at+b}{,} die durch
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
parametrisert sind und die den Ball
\mathl{U { \left( 0,c \right) }}{} treffen, innerhalb von
\mathl{U { \left( 0,d \right) }}{} die Hyperfläche
\mathl{V(f)}{} mit Gesamtvielfachheit $k$ schneiden.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei $m$ der Grad von $f$ und $k$ der Untergrad von $f$. Es sei
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{ {\mathbb C}^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Zariski-offene Menge mit der Eigenschaft, dass die Einsetzungen
\mathl{f \circ \alpha}{} zu den Geraden durch den Nullpunkt
\mathl{\begin{pmatrix} a_1 \\ \vdots\\ a_n \end{pmatrix} t}{} zum Parametertupel
\mavergleichskettedisp
{\vergleichskette
{ \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
Lemma 15.2
und
Satz 15.4.
Das normierte eingesetzte Polynom hat die Gestalt
\mathdisp {\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
\mathl{(a_1 , \ldots , a_n,0 , \ldots , 0)}{} mit
\mavergleichskette
{\vergleichskette
{ (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
\mavergleichskette
{\vergleichskette
{\epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{\delta
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der Eigenschaft, dass jedes normierte Polynom vom gleichen Grad, das
\zusatzklammer {durch $U$ parametrisiert ist und} {} {}
die Koeffizientenbedingungen
\mavergleichskettedisp
{\vergleichskette
{ \betrag { { \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) } } }
}
{ \leq} { \delta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{j
}
{ = }{ 0 , \ldots , m-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt, in
\mathl{U { \left( 0, \epsilon \right) }}{} mindestens $k$ Nullstellen mit Gesamtvielfachheit $k$ besitzt. Da diese rationalen Koeffizientenfunktionen
\mathl{g_j/g_m}{} stetig sind, gibt es zu jedem
\mavergleichskette
{\vergleichskette
{(a_1 , \ldots , a_n)
}
{ \in }{ U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{s
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass für
\mavergleichskettedisp
{\vergleichskette
{ 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
\mathl{a't+b}{} daher die Schnittbedingung erfüllen, dass sie in der $\epsilon$-Umgebung des Nullpunktes insgesamt zumindest $k$ Schnittpunkte haben.
\inputbemerkung
{}
{
Zu einem Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{V(f)
}
{ \subseteq }{ K^n
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach
Satz 15.4
die Vielfachheit von $f$ an $P$ auf einer generischen Geraden durch den Punkt $P$ gleich dem Untergrad von $f$ in dem Punkt. Der Untergrad wird dabei bestimmt, indem man $f$ um den Punkt $P$ entwickelt, also den Punkt in den Nullpunkt verschiebt. Wenn $K$ 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 \stichwort {Multiplizität} {,} das ein wichtiges Singularitätsmaß ist, wie
Korollar 15.5
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 $P$ abhängt, beruht auf der Hilbertfunktion von graduierten Moduln.
}