Schnittzahl (Algebraische Geometrie)

In der algebraischen Geometrie ist die Schnittzahl, Vielfachheit oder Schnittmultiplizität eine Eigenschaft eines Schnittpunktes zweier ebener algebraischer Kurven. Es ist eine positive, ganze Zahl, die angibt, wie oft ein Schnittpunkt in bestimmten Kontexten gezählt werden muss.

Anschaulich misst die Schnittzahl, wie "eng" die beiden Kurven sich im Schnittpunkt berühren. So ist z. B. die Schnittzahl der beiden Kurven <math>y=x</math> und <math>y=x^2</math> im Ursprung 1, während die beiden Kurven <math>y=x^3</math> und <math>y=x^4</math> im Ursprung die Schnittzahl 3 haben.

Definition

Sei <math>k</math> ein algebraisch abgeschlossener Körper und seien <math>F</math> und <math>G</math> ebene affine algebraische Kurven in <math>k^2</math>. Die Schnittzahl von <math>F</math> und <math>G</math> im Punkt <math>P \in k^2</math> wird mit <math>I(P, F \cap G)</math> bezeichnet und ist definiert durch:

<math>I(P, F \cap G) := \dim_k \left( \mathcal{O}_P(k^2) / (F, G) \right)</math>

Dabei bezeichnet <math>\mathcal{O}_P(k^2)</math> den im Punkt <math>P</math> lokalisierten Ring der regulären Funktionen <math>\mathcal{O}(k^2)</math> der affinen Varietät <math>k^2</math>.

<math>F</math> und <math>G</math> schneiden sich eigentlich in <math>P</math>, wenn sie keine gemeinsame Komponente haben, die <math>P</math> enthält.
<math>F</math> und <math>G</math> schneiden sich transversal in <math>P</math>, wenn <math>P</math> ein Einfachpunkt beider Kurven ist und die Tangenten beider Kurven in diesem Punkt verschieden sind.

Eigenschaften

Die Schnittzahl weist folgende Eigenschaften auf:

Falls sich <math>F</math> und <math>G</math> in <math>P</math> eigentlich schneiden, ist <math>I(P, F \cap G)</math> eine nicht-negative ganze Zahl, ansonsten ist <math>I(P, F \cap G) = \infty</math>.
<math>I(P, F \cap G) = 0 \Longleftrightarrow P \not\in F \cap G</math>. Es ist <math>I(P, F \cap G)</math> nur von den Komponenten von <math>F</math> und <math>G</math> abhängig, welche durch <math>P</math> gehen.
Sei <math>T</math> eine affine Koordinatentransformation von <math>k^2</math> mit <math>T(Q) = P</math>, dann gilt: <math>I(P, F \cap G) = I(Q, F \circ T \cap G \circ T)</math>
<math>I(P, G \cap F) = I(P, F \cap G)</math>
<math>I(P, F \cap G) \geq m_P(F) \cdot m_P(G)</math> mit Gleichheit genau dann, wenn <math>F</math> und <math>G</math> in <math>P</math> keine gemeinsamen Tangenten haben.
Falls <math>F = \prod_{i=1}^n F_i^{r_i}</math> und <math>G = \prod_{i=1}^m G_j^{s_j}</math>, dann gilt: <math>I(P, F \cap G) = \sum_{i, j} r_i s_j I(P, F_i \cap G_j)</math>
<math>I(P, F \cap G) = I(P, F \cap (G + AF)) \quad \forall A \in \mathcal{O}(k^2)</math>
Wenn <math>P</math> ein Einfachpunkt von <math>F</math> ist, dann gilt <math>I(P, F \cap G) = \mathrm{ord}_P^F(G)</math>.
Wenn <math>F</math> und <math>G</math> keine gemeinsamen Komponenten haben, so gilt: <math>\sum_{P \in k^2} I(P, F \cap G) = \dim_k\left(\mathcal{O}(k^2) / (F,G) \right)</math>

Durch diese Eigenschaften ist die Schnittzahl zugleich eindeutig bestimmt.

Beispiel

Sei <math>k</math> ein algebraisch abgeschlossener Körper von Charakteristik <math>0</math> und <math>F = (X-1)(Y^2-X^3)^2</math> sowie <math>G = (X-1)^2(Y^2-X^3-X^2)</math>. Man findet folgende Schnittpunkte:

<math>(1,y), \; y \in k</math>. In diesem Fall liegen die Punkte in einer gemeinsamen Komponente <math>X-1</math> von <math>F</math> und <math>G</math>, also gilt: <math>I((1, y), F \cap G) = \infty</math>
<math>(0,0)</math>: Unter Benutzung der Eigenschaften der Schnittzahl berechnet man:

Satz von Bézout

Durch Einführen homogener Koordinaten lässt sich Definition der Schnittzahl auf projektive ebene Kurven ausdehnen. Der Satz von Bézout besagt dann, dass für projektive ebene Kurven <math>F, G</math> ohne gemeinsame Komponenten gilt:

<math>\sum_{P \in \mathbb{P}^2(k)} I(P, F \cap G) = \deg F \cdot \deg G</math>

Hierbei ist <math>\deg H</math> der Grad des homogenen Polynoms, das die projektive Kurve <math>H</math> definiert.

Beschränkt man sich auf affine ebene Kurven ohne gemeinsame Komponenten, gilt hingegen nur die Ungleichung:

Verallgemeinerung

Eine Verallgemeinerung auf Varietäten höherer Dimensionen ist möglich, siehe dazu das mit dem Leroy P. Steele Prize ausgezeichnete Werk „Intersection Theory“ von William Fulton.

Siehe auch

Schnittzahl

Literatur

William Fulton: Algebraic Curves. An Introduction to Algebraic Geometry. Mathematics lecture note series, 30. Benjamin/Cummings, New York 1969, ISBN 0-201-51010-3
William Fulton: Intersection Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete. Folge 3. Springer, Berlin 1998, ISBN 3-540-62046-X