Satz von Cayley-Bacharach

Zwei Kubiken (rot und blau, hier speziell jeweils drei Geraden) schneiden sich in neun Punkten. Jede weitere Kubik (schwarz), die durch acht dieser neun Punkte geht, enthält bereits den neunten Punkt.

Der Satz von Cayley-Bacharach ist ein mathematischer Satz aus dem Gebiet der algebraischen Geometrie. Er macht eine Aussage darüber, dass in bestimmten Fällen algebraische Kurven, die durch einen Teil der Schnittpunkte zweier weiterer algebraischer Kurven gehen, bereits alle diese Schnittpunkte enthalten. Insbesondere enthält eine kubische Kurve, die durch acht von neun Schnittpunkten zweier weiterer Kubiken geht, auch den letzten Schnittpunkt. Formuliert und bewiesen wurde diese Aussage erstmals von Michel Chasles, benannt wird der Satz meist nach Arthur Cayley und Isaak Bacharach, die Verallgemeinerungen der Aussage vorschlugen oder bewiesen.

Aussage

In Chasles’ Formulierung besagt der Satz das Folgende:

Schneiden sich zwei kubische Kurven in der projektiven Ebene in neun verschiedenen Punkten, so enthält jede kubische Kurve, die durch acht dieser Punkte geht, auch den neunten.

Nach dem Satz von Bézout ist dabei 9 die maximal mögliche Zahl verschiedener Schnittpunkte, sofern die beiden Kurven keine gemeinsame Komponente besitzen. Über einem algebraisch abgeschlossenen Körper wird diese Maximalzahl immer erreicht, wenn die Punkte alle verschieden sind.

Eine Verallgemeinerung des Satzes stammt von Cayley. In der ursprünglichen Fassung fehlen bei ihm allerdings wichtige Bedingungen, auch sein Beweis enthielt mehrere Lücken. Bacharach konnte aufbauend auf Arbeiten von Alexander von Brill und Max Noether diese Mängel beheben und stellte in seiner Antrittsvorlesung 1881 eine korrekte Verallgemeinerung vor. In einer späteren Publikation formulierte er die Verallgemeinerung folgendermaßen:

Schneiden sich zwei algebraische Kurven der Ordnungen $d_{1}$ und $d_{2}$ in verschiedenen Punkten, so enthält jede algebraische Kurve der Ordnung mit $k\geq d_1$ , $k\geq d_2$ und $k\leq d_1+d_2-3$ , die durch alle bis auf ${d_1+d_2-k-1 \choose 2}$ dieser Punkte geht, auch diese restlichen Punkte; es sei denn, dass diese ${d_1+d_2-k-1 \choose 2}$ Punkte auf einer Kurve der Ordnung liegen.

Für d_1=d_2=k=3 ergibt sich gerade Chasles’ Satz.

Beweisidee

Ist $\Gamma$ eine Menge von Punkten der projektiven Ebene, so bilden die Polynome eines bestimmten Grades , die in allen Punkten von $\Gamma$ verschwinden, einen Vektorraum. Die Kodimension dieses Vektorraums im Vektorraum aller Polynome vom Grad gibt an, wie sehr $\Gamma$ die Wahl einer algebraischen Kurve vom Grad durch die Punkte einschränkt.

Für Punkte in allgemeiner Lage erwartet man, dass diese Kodimension mit der Zahl der Punkte übereinstimmt, denn jeder Punkt stellt eine lineare Bedingung an das Polynom.

Der Vektorraum aller homogenen Polynome in drei Variablen von Grad hat die Dimension ${d+2\choose 2}$ , im Fall für Kubiken also Dimension 10. Bezeichnet $\Gamma$ die Menge der neun Schnittpunkte und $\Gamma'\subset\Gamma$ eine 8-elementige Teilmenge, so erwartet man also für $\Gamma'$ eine Kodimension von 8. Aber auch für $\Gamma$ ergibt sich eine Kodimension von maximal 8, da es mit den beiden Polynomen, die die beiden gegebenen Kubiken definieren, bereits zwei linear unabhängige Polynome gibt, die in allen Punkten von $\Gamma$ verschwinden.

Tatsächlich kann man zeigen, dass die Kodimension für $\Gamma$ und $\Gamma'$ übereinstimmen und damit jede Kubik durch die Punkte von $\Gamma'$ bereits durch alle Punkte von $\Gamma$ geht.

Anwendungen

Sätze von Pappos und Pascal

Satz von Pascal

Sowohl der Satz von Pappos als auch der Satz von Pascal sind Spezialfälle des Satzes von Cayley-Bacharach. Sind $P_1, \dots, P_6$ sechs Punkte auf einem Kegelschnitt, so bilden die drei Geraden $P_{1}P_{2}$ , $P_{3}P_{4}$ und P_5P_6 einerseits und P_2P_3 , P_4P_5 und P_6P_1 andererseits zwei Kubiken, die sich in neun Punkten schneiden, nämlich in $P_1, \dots, P_6$ sowie in den drei Schnittpunkten P_7 , P_8 und P_9 . Der Kegelschnitt bildet zusammen mit der Geraden durch P_7 und P_8 ebenfalls eine Kubik, diese geht durch acht der Punkte, nach dem Satz von Cayley-Bacharach also auch durch P_9 . Damit sind P_7 , P_8 und P_9 kollinear, dies ist gerade der Satz von Pascal. Analog lässt sich auch der Satz von Pappos herleiten.

Gruppenoperation auf elliptischen Kurven

Addition von Punkten auf einer elliptischen Kurve

Mit Hilfe des Satzes von Cayley-Bacharach lässt sich leicht das Assoziativgesetz für die Addition auf elliptischen Kurven beweisen: Seien , und drei Punkte auf einer elliptischen Kurve, der Punkt, der das neutrale Element darstellt. Dann bilden die drei Geraden , O(P+Q) und P(Q+R) eine Kubik, ebenso die drei Geraden , O(Q+R) und R(P+Q) . Die Schnittpunkte dieser beiden Kubiken sind , , , , P+Q , Q+R , -P-Q (auf den Geraden O(P+Q) und ), -Q-R (auf den Geraden und O(Q+R) ), sowie der Schnittpunkt von P(Q+R) und R(P+Q) . Die elliptische Kurve enthält die ersten acht Punkte, also auch den letzten. Dieser muss daher -P-(Q+R)=-R-(P+Q) sein, womit (P+Q)+R=P+(Q+R) gilt.

Basierend auf einem Artikel in:

Wikipedia.de