Benutzer:Dingida/Projektive Quadriken/latex

\zwischenueberschrift{Projektive Quadriken}

In diesem Vortrag betrachten wir den projektiven Abschluss von Quadriken, dabei sei $K$ ein Körper mit $char(K)\ne 2$.

Jede Hyperebene eines projektiven Raumes kann man durch eine homogene lineare Gleichung beschreiben. Nullstellenmenge quadratischer Gleichungen heißen Quadriken. Eine Quadrik ist, in Abhängigkeit von der Anzahl der Variablen, eine Kurve, Fläche oder Hyperfläche zweiter Ordnung. Ihre Gleichung entsteht durch Nullsetzen einer quadratischen Funktion.

\inputdefinition
{Homogenen Polynom}
{Das Polynom $P \in K \lbrack X_0, \ldots, X_n \rbrack$ heißt
\betonung{homogen}{,} von Grad zwei in den unbestimmten $X_0,\ldots, X_n$ mit Koeffizienten $\alpha_{ij}$ aus einem Körper $K$, wenn $P$ die Darstellung \einrueckung{$P(X_0, \ldots, X_n)=\sum_{0\le i\le j\le n }\alpha_{ij}X_iX_j$} besitzt. }

Ein homogenes Polynom ist also dadurch gekenzeichnet, dass alle darin vorkommenden Monome denselben Grad – im Fall eines quadratischen Polynoms also den Grad 2 – besitzen.

\inputbeispiel{ }
{ Das Polynom $P_1=X^2_0+2X_1X_0+X^2_1$ ist homogen, das Polynom $P_2=X^2_0+2X_1X_0+X^2_1+X_0+1$ jedoch nicht.
}

\inputdefinition
{Kegel}
{Eine Teilmenge $C \subset K^{n+1}$ heißt
\betonung{Kegel}{,} wenn für jedes $(x_0 ,\ldots, x_n) \in C$ und $\lambda \in K$ auch $(\lambda x_0 ,\ldots, \lambda x_n) \in C$ gilt. }

Geometrisch bedeutet dies, dass $C$ die Vereinigung von Geraden durch $0$ ist. Diese Gerade nennt man
\betonung{Mantellinien}{} des Kreises. Der Kegel ist ein Gebilde im dreidimensionalen affinen Raum. Der Kreis, die Ellipse und die Parabel sind unterschiedliche Ausschnitte von gleichem Objekt. Der Kegel ist das wahre Objekt, welches eine projektive Quadrik beschreibt. Der Kegel ist ein Gebilde aus Geraden. Der Kegelschnitt ist der affine Ausschnitt.

\inputbeispiel{ }
{ Ist $P(t_0,t_1,t_2)=t^2_0-t^2_1-t^2_2$, so ist \einrueckung{$C=\lbrace (x_0,x_1,x_2)\in \R^3:x^2_0-x^2_1-x^2_2=0 \rbrace$} ein Kreiskegel.
}

\inputdefinition
{Projektive Quadrik}
{Eine Teilmenge $Q {\subset \mathbb P_n(K)}$ heißt
\betonung{projektive Quadrik}{,} (oder
\betonung{Hyperfläche zweiter Ordnung}{,}) wenn ein homogenes Polynom $P \in K \lbrack X_0, \ldots, X_n \rbrack$ vom Grad zwei existiert, so dass gilt
\mathdisp {Q= \lbrace (x_0: \ldots :x_n) \in \mathbb P_n(K) : P(x_0, \ldots , x_n)=0 \rbrace} {.}
}

Hier ist zu bemerken, dass für $\lambda \in K^*$ jedes homogene Polynom $P \in K \lbrack X_0, \ldots, X_n\rbrack$ die Gleichung $P (\lambda x_0, \ldots , \lambda x_n) = \lambda^2P(x_0, \ldots , x_n)=0$ erfüllt. Daher gilt \einrueckung{$P(\lambda x_0, \ldots , \lambda x_n)=0 \Longleftrightarrow P(x_0, \ldots , x_n) =0$.} Aus diesem Grund entspricht der Nullstellenmenge eines homogenen Polynoms in $K \lbrack X_0, \ldots, X_n \rbrack$ auch eindeutig eine Teilmenge des projektiven Raumes $\mathbb{P}_n(K)$, das heißt,dass die Menge \einrueckung{$\lbrace (x_0: \ldots :x_n); P(x_0, \ldots , x_n) =0 \rbrace$} ist wohldefiniert. Dies ist für allgemeine Polynome aus $K \lbrack X_0, \ldots, X_n \rbrack$ nicht dem Fall. So enthält zum Beispiel die Nullstellenmenge des inhomogenen Polynoms $X^2_0 - X_1=0$ den Punkt $(1,1)$, aber keinen der Punkte $(\lambda,\lambda) \text{ für } \lambda\notin \lbrack 0,1 \rbrack$.

Wenn man eine Gerade $H\subset \mathbb{P}_2(\R)$ entfernt, dann erhält man einen affinen Raum und dann einen affinen Rest der Quadrik $Q$, der ganz davon abhängt, welche Gerade man als auszeichnet hat.




\inputbemerkung
{{{{2}}}}
{ Wir wollen jetzt zeigen, dass man durch Entfernen einer geeigneten projektiven Gerade in $\mathbb{P}_2$ als affinen Anteil von $Q$ \aufzaehlungdrei{ einen Kreis }{ eine Hyperbel }{ eine Parabel } erhält.

Sei $Q$ die durch die Gleichung $x^2_0-x^2_1-x^2_2=0$ gegebene projektive Quadrik in $\mathbb{P}_2(\R)$. Die Gleichung $x^2_0-x^2_1-x^2_2=0$ beschreibt einen Kreiskegel in $\R^3$. Die affinen Anteile von $Q$ lassen sich als die Summe von $Q$ mit den entsprechenden projektiven Geraden veranschaulichen. \aufzaehlungdrei{Sei $H=\lbrace (x_0: x_1 :x_2)\in \mathbb{P}_2(\R): x_0=0 \rbrace$.Dann ist $Q\cap H=\emptyset$ und wir betrachten die kanonische Einbettung \einrueckung{$i:\R^2 \longrightarrow \mathbb{P}_2(\R) \setminus H,(x_1,x_2) \longmapsto (1: x_1: x_2)$.} Dann ist \einrueckung{$i^{-1}(Q)=\lbrace (x_1,x_2)\in \R^2: x^2_1+x^2_2=1 \rbrace$.} Dies ist ein Kreis. Geometrisch kann man sich diesen als Schnitt des Kreiskegels mit der Hyperfläche $x_0=1$ vorstellen.

}{Im Fall $H =\lbrace (x_0: x_1 :x_2)\in \mathbb{P}_2(\R) : x_1=0 \rbrace$ besteht $Q\cap H$ aus zwei Punkte. Wir betrachten die Affinität \einrueckung{$i:\R^2 \longrightarrow \mathbb{P}_2(\R) \setminus H, (x_0,x_2) \longmapsto (x_0: 1: x_2)$.} Dann ist \einrueckung{$i^{-1}(Q)=\lbrace (x_0,x_2)\in \R^2: x^2_0-x^2_2=1 \rbrace$.} Dies ist eine Hyperbel in $\R^2$, die man sich als Schnitt von $K$ mit der Hyperebene $x_1=1 \text{ also }\R^3$ veranschaulichen kann.

}{Sei $H=\lbrace (x_0: x_1 :x_2)\in \mathbb{P}_2(\R): x_0+x_2=0 \rbrace$. In diesem Fall hat ist $Q\cap H$ ein Punkt, wir haben wieder eine Affinität \einrueckung{$i:\R^2 \longrightarrow \mathbb{P}_2(\R)\setminus H, (x_1,x_2) \longmapsto ((1: x_2):x_1-x_2)$.} Wir erhalten \einrueckung{$i^{-1}(Q)=\lbrace (x_1,x_2)\in \R^2: x_2^2+2x_1=1 \rbrace$.} Dies ist eine Parabel. Im $\R^3$ entsteht sie als Schnitt des Kegels $K$ mit der Ebene $x_0 +x_2=1$. }

An den Bildern kann man sehen, wie bei Zentralprojektionen aus einem Kreis eine Hyperbel oder Parabel entstehen kann. Man stellt sich die Spitze des Kreises als Projektionszentrum und die Mantellinie als Projektionsstrahlen vor.

Die projektive Ebene besteht aus allen Geraden im affinen Raum, die durch den Nullpunkt gehen. Ein Punkt in der projektiven Ebene entspricht also einer Geraden durch den Nullpunkt im affinen Raum. Wenn man den Kegel betrachtet, dann hat man eine Menge von Geraden. Und die Menge dieser Geraden ist in der projektiven Ebene eine Teilmenge, die aussieht wie ein Kreis. Im affinen Raum wird jede Gerade in der projektiven Ebene als ein Punkt gedacht. Die Punkte in $\mathbb{P}_2$ sind die Geraden in $\mathbb{A}^3$. }

Ganz allgemein besteht ein enger Zusammenhang zwischen Quadriken und symmetrischen Bilinearformen. Wir werden sehen wie sich projektive Quadriken $Q\in \mathbb{P}_n$ durch symmetrische Bilinearformen \einrueckung{$\Phi: K^{n+1} \times K^{n+1} \longrightarrow K$} beschreiben.

\inputbemerkung
{{{{2}}}}
{ Es sei $P(X_0, X_1, X_2)= \sum_{i\le j}\alpha_{ij}X_i\cdot X_j$ ein homogenes Polynom zweiten Grades mit Koeffizienten $\alpha_{ij}\in K$ gegeben. Wir definieren dazu eine symmetrische Matrix $A =(a_{ij})\in M((n+1) \times (n+1);K)$ durch \einrueckung{$a_{ij}:= \begin{cases}

 \alpha_{ij}  & \text{ für }  i=j,\\
 \frac {1}{2}\alpha_{ij} & \text{ für }  i < j,\\
 \frac {1}{2}\alpha_{ji} & \text{ für }  i > j. 

\end{cases}$}

wobei $0 \le i, j \le n$ ist. Dann ist $A=(a_{ij})$ eine symmetrische Matrix, definiert also eine symmetrische Bilinearform auf $K^{n+1}$. Für jeden Spaltenvektor $x=(x_0 , \ldots, x_n)^T\in K^{n+1}$ gilt \einrueckung{$x^TAx=\sum_{i\le j} \alpha_{ij}X_iX_j=P(x)$.} Zu jeder Quadrik $Q=\mathbb P(C)\subset \mathbb P_n(K)$ gibt es also eine symmetrische Matrix $A \in M((n+1)\times(n+1);K)$, so dass \einrueckung{$Q= \lbrace x=(x_0: \ldots :x_n)^T\in \mathbb P_n(K):x^TAx=0 \rbrace$.} Dabei ist die Matrix $A$ nur bis auf einen Faktor $\rho \in K^*$ eindeutig bestimmt. Umgekehrt gehört zu jeder symmetrischen Bilinearform \einrueckung{$\Phi: K^{n+1} \times K^{n+1} \longrightarrow K$,} eine quadratische Form \einrueckung{$q=K^{n+1}\longrightarrow K, \,\,\ x \longmapsto \Phi (x,x)$} und damit eine projektive Quadrik \einrueckung{$Q=\lbrace (x_0: \ldots: x_n)^T:\Phi(x,x)=0 \rbrace$.} }

Wir werden sehen, dass Quadriken unter Projektivitäten invariant bleiben, dass also für jede Quadrik $Q \subset \mathbb{P}_n(K)$ und jede Projektivität $f: \mathbb{P}_n(K) \longrightarrow \mathbb{P}_n(K)$ auch $f(Q)$ eine Quadrik ist.

\inputfaktbeweis
{Benutzer:Abrankov/Projektive Quadriken/Projektivitäten invariant bleiben/}
{Lemma}
{}
{Sei $f: \mathbb{P}_n(K) \longrightarrow \mathbb{P}_n(K)$ eine Projektivität und $Q \subset \mathbb{P}_n(K)$ eine Quadrik, so ist auch $f(Q)\subset \mathbb{P}_n(K)$ eine Quadrik.

}
{Benutzer:Abrankov/Projektive Quadriken/Projektivitäten invariant bleiben//Beweis

}

\inputbeispiel{ }
{ Es sei \einrueckung{$Q= \lbrace (x_0:x_1:x_2) \in \mathbb{P}_2(\R):x^2_0 - x^2_1 - x^2_2 =0 \rbrace$} und es sei die Projektivität $f$ gegeben durch die Matrix \einrueckung{$S=\begin{pmatrix} 0 & 2 & 0 \\ 1 & 0 & 1 \\ 2 & 1 & 0\end{pmatrix}$.} Es ist \einrueckung{$A=\begin{pmatrix} 1 & 0 & 0 \\ 0 & -1 & 0 \\ 0 & 0 & -1 \end{pmatrix} \,\,\, \text{ und } \,\,\, S^{-1}= \frac{1}{4} \begin{pmatrix} -1 & 0 & 2 \\ 2 & 0 & 0 \\ 1 & 4 & -2 \end{pmatrix}$.} Dann ist \einrueckung{$(S^{-1})^T=\frac{1}{4}\begin{pmatrix} -1 & 2 & 1 \\ 0 & 0 & 4 \\ 2 & 0 & -2 \end{pmatrix}$} und \einrueckung{$(S^{-1})^T\cdot A=\frac{1}{4}\begin{pmatrix} -1 & 2 & 1 \\ 0 & 0 & 4 \\ 2 & 0 & -2 \end{pmatrix}\cdot \begin{pmatrix} 1 & 0 & 0 \\ 0 & -1 & 0 \\ 0 & 0 & -1\end{pmatrix}=\frac{1}{4}\begin{pmatrix}-1 & -2 & -1 \\ 0 & 0 & -4 \\ 2 & 0 & 2 \\ \end{pmatrix}$,} also \einrueckung{$(S^{-1})^T\cdot A\cdot S^{-1}= \frac{1}{4} \begin{pmatrix} -1 & -2 & -1 \\ 0 & 0 & -4 \\ 2 & 0 & 2 \end{pmatrix} \cdot \frac{1}{4} \begin{pmatrix} -1 & 0 & 2 \\ 2 & 0 & 0 \\ 1 & 4 & 2 \end{pmatrix}=\frac{1}{16} \begin{pmatrix} -4 & -4 & 0 \\ -4 & -16 & 8 \\ 0 & 8 & 0 \end{pmatrix}$} und wenn man die Matrix hat, kann man wieder die Gleichung kriegen. \einrueckung{$f(Q)= \lbrace (x_0:x_1:x_2) \in \mathbb{P}(\R): X^2_0 + 8x^2_1 +4x_0x_1 - 8x_1x_2=0\rbrace$.}
}

Wie wir gesehen haben, können sich die Gleichungen von Quadriken bei der Anwendung von Projektivitäten ändern. Die projektiv-geometrischen Eigenschaften bleiben aber erhalten.

\inputdefinition
{Geometrisch äquivalent}
{Zwei Quadriken $Q,Q^\prime \in \mathbb{P}_n(K)$ heißen
\betonung{projektiv äquivalent}{} oder
\betonung{geometrisch äquivalent}{,} wenn es eine Projektivität $f:\mathbb{P}_n(K)\longrightarrow \mathbb{P}_n(K)$ mit $Q ^\prime =f(Q)$ gibt. Bezeichnung: $Q \sim Q^\prime$ }

\inputbeispiel{ }
{ Die beiden Quadriken \einrueckung{$Q= \lbrace (x_0: x_1 :x_2) \in \mathbb{P}_2(\R): x^2_0-x^2_1-x^2_2=0 \rbrace$} und \einrueckung{$Q^\prime \lbrace ((x_0: x_1 :x_2) \in \mathbb{P}_2(\R): x^2_1-x^2_2=0 \rbrace$} sind nicht geometrisch äquivalent, denn $Q^\prime$ besteht aus zwei Geraden und $Q$ enthält keine Gerade.
}

Bevor wir uns den Satz über die projektive Hauptachsentransformation anschauen, werden wir ein Hilfsatz benötigen.

\inputfaktbeweis
{Benutzer:Abrankov/Projektive Quadriken/Hauptachsentransformation/Hilfsatz/Fakt}
{Satz}
{Hilfsatz}
{Sei $K$ ein Körper mit $char K\ne2$, $V$ ein (endlich-dimensionaler) K-Vektorraum und $s$ eine symmetrische Bilinearform auf $V$. Dann gibt es eine Basis $(v_1,\ldots,v_n)$ von $V$ mit

\einrueckung{$s(v_i,v_j)=0 \text{ für } i\ne j$.} }
{Benutzer:Abrankov/Projektive Quadriken/Hauptachsentransformation/Hilfsatz/Fakt/Beweis

}

Wir werden uns den Satz über die projektive Hauptachsentransformation anschauen. Hauptachsentransformation bedeutet in diesem Zusammenhang, eine Quadrik mittels einer Projektivität auf eine geometrisch äquivalente Quadrik abzubilden, die durch eine besonders einfache standardisierte Gleichung beschrieben wird, in der keine gemischten Variablen mehr vorkommen. Der Satz über die Hauptachsentransformation besagt, dass sich jede projektive Quadrik dergestalt auf Hauptachsen transformieren lässt. Er ermöglicht es daher, zu jeder Klasse geometrisch äquivalenter Quadriken einen eindeutigen Repräsentanten in Hauptachsenform anzugeben, was bei der Klassifikation von Quadriken eine tragende Rolle spielt. Der Satz besitzt für komplexe und reelle Quadriken jeweils eine eigene Formulierung. Genau besagt er:

\inputfaktbeweis
{Benutzer:Abrankov/Projektive Quadriken/Fakt}
{Satz}
{projektive Hauptachsentransformation}
{\aufzaehlungzwei {Zu jeder Quadrik $Q \subset \mathbb{P}_n(\R)$ gibt es eine geometrisch äquivalente Quadrik

\einrueckung{$Q ^\prime =\lbrace (x_0: \ldots :x_n)\in \mathbb{P}_n(\R) :x^2_0 + \ldots + x^2_k - x^2_{k+1} - \ldots - x^2_m=0 \rbrace, \,\,\ \text{ wobei } \,\,\ -1 \le k \le m \le n$.}

} {Zu jeder Quadrik $Q \subset \mathbb{P}_n({\mathbb C})$ gibt es eine geometrisch äquivalente Quadrik \einrueckung{$Q ^\prime=\lbrace (x_0: \ldots :x_n)\in \mathbb{P}_n({\mathbb C}):x^2_0 + \ldots + x^2_m=0 \,\,\ \text{ wobei } \,\,\ -1 \le m \le n$.} }

Die äquivalente matrizentheoretische Formulierung lautet

\aufzaehlungzwei {Zu jeder symmetrischen Matrix $A \in M ((n+1) \times (n+1),\R)$ gibt es eine eindeutig bestimmte Zahl, $k$ mit $-1 \le m, \,\, k \le n$ und $k+1 \ge m-k$ und eine invertierbare Matrix $S \in GL ({n+1},\R)$, so dass \einrueckung{$S^{-1}AS=\begin{pmatrix} E_{l+1} & 0 & 0 \\ 0 & -E_{k-l} & 0 \\ 0 & 0 & 0\end{pmatrix}$} gilt. } {Zu jeder symmetrischen Matrix $A \in M ((n+1) \times (n+1),{\mathbb C})$ gibt es eine eindeutig bestimmte Zahl, $m \le k$ und eine invertierbare Matrix $S \in GL ({n+1},{\mathbb C})$ mit \einrueckung{$S^{-1}AS=\begin{pmatrix} E_k & 0 \\ 0 & 0 \end{pmatrix}$} gilt. } }
{Benutzer:Abrankov/Projektive Quadriken/Fakt/Beweis

}