Veronese-Einbettung

In der algebraischen Geometrie, einem Teilgebiet der Mathematik, bezeichnet die Veronese-Einbettung eine Einbettung projektiver Räume in höherdimensionale projektive Räume.

Konstruktion

Es seien $d$ und $n$ natürliche Zahlen und $N={\tbinom {n+d}{d}}-1$ .

Die Veronese-Einbettung

\nu _{d}\colon P^{n}\to P^{N}

ist dadurch definiert, dass $\left[x_{0}:\ldots :x_{n}\right]$ auf alle Monome vom Grad $d$ in lexikographischer Reihenfolge abgebildet wird.

Also zum Beispiel für $n=1$ :

\nu _{d}(\left[x_{0}:x_{1}\right])=\left[x_{0}^{d}:x_{0}^{d-1}x_{1}:x_{0}^{d-2}x_{1}^{2}:\ldots :x_{1}^{d}\right]

oder für $d=2$ :

\nu _{2}(\left[x_{0}:\ldots :x_{n}\right])=\left[x_{0}^{2}:x_{0}x_{1}:\ldots :x_{0}x_{n}:x_{1}^{2}:\ldots :x_{1}x_{n}:\ldots :x_{n}^{2}\right]

.

Durch die Veronese-Abbildung werden die zwischen den Variablen ursprünglich bestehenden polynomiellen Gleichungen in lineare Gleichungen umgewandelt. Dies ist oft nützlich, weil lineare Gleichungen leichter zu behandeln sind. Ein Beispiel ist etwa die Anwendung des Lefschetz-Hyperebenensatzes auf Hyperflächen im projektiven Raum: Hyperflächen lassen sich mittels der Veronese-Einbettung in Hyperebenen überführen, auf die der Hyperebenensatz angewandt werden kann.

Regularität

Das Bild der Veronese-Einbettung ist eine projektive Varietät. Die Veronese-Einbettung ist eine reguläre Abbildung und hat eine reguläre Umkehrabbildung.

Wenn $Y\subset P^{n}$ eine projektive Varietät ist, dann ist $\nu _{d}(Y)\subset P^{N}$ ebenfalls eine projektive Varietät.

Rationale Normale Kurven

Für $n=1$ werden die Bilder der Veronese-Einbettung als rationale normale Kurven bezeichnet.

Beispiele

$d=1$ : Man erhält die projektive Gerade $P^{1}$ .
$d=2$ : Man erhält die Parabel $\left[x^{2}:xy:y^{2}\right]$ , in affinen Koordinaten $(y,y^{2})$ .
$d=3$ : Man erhält die getwistete Kubik $\left[x^{3}:x^{2}y:xy^{2}:y^{3}\right]$ , in affinen Koordinaten $(y,y^{2},y^{3})$ .

Äquivarianz

Die Veronese-Einbettung $\nu _{d}\colon \mathbb {R} P^{1}\to \mathbb {R} P^{d}$ ist äquivariant bezüglich der irreduziblen Darstellung $SL(2,\mathbb {R} )\to SL(d+1,\mathbb {R} )$ .

Allgemeiner gibt es für $\iota \colon \Gamma \subset SL(2,\mathbb {R} )$ und für jede Hitchin-Darstellung, d. h. jede Deformation der Komposition der irreduziblen Darstellung mit $\iota$ , eine äquivariante hyperkonvexe Kurve $\mathbb {R} P^{1}\to \mathbb {R} P^{n}$ . Diese ist im Allgemeinen aber nicht durch Polynome gegeben, sondern nur Hölder-stetig.