# Torische Varietät

Eine torische Varietät ist eine spezielle algebraische Varietät und damit ein Objekt aus der algebraischen Geometrie, einem Teilgebiet der Mathematik. Das Studium torischer Varietäten wird auch als torische Geometrie bezeichnet. Torische Varietäten haben die Besonderheit, dass eine enge Verbundenheit zur konvexen Geometrie besteht.

## Definitionen
### Algebraischer Torus

Ein algebraischer Torus $T$ über $\mathbb {C}$ ist eine algebraische Gruppe, die isomorph zu einer algebraischen Gruppe der Form $\mathbb {C} ^{\ast }\times \dotsb \times \mathbb {C} ^{\ast }$ ist.
Die Charaktere von $T$ sind Morphismen $\chi \colon T\rightarrow \mathbb {C} ^{*}$, die gleichzeitig Gruppenhomomorphismen sind. Die Charaktere bilden eine freie abelsche Gruppe $M$. Analog dazu sind die 1-Parameter Untergruppen von $T$ definiert als die Morphismen $\lambda \colon \mathbb {C} ^{*}\rightarrow T$, die Gruppenhomorphismen sind. Diese bilden ebenfalls eine freie abelsche Gruppe $N$ und es gibt eine natürliche bilineare Abbildung $\langle ~,~\rangle \colon M\times N\rightarrow \mathbb {Z}$ mit welcher man $N$ mit ${\text{Hom}}_{\mathbb {Z} }(M,\mathbb {Z} )$ und $M$ mit ${\text{Hom}}_{\mathbb {Z} }(N,\mathbb {Z} )$ identifizieren kann. Man erhält einen kanonischen Isomorphismus $N\otimes _{\mathbb {Z} }\mathbb {C} ^{*}\cong T$ via $u\otimes t\mapsto \lambda ^{u}(t)$.
Im Falle $T=(\mathbb {C} ^{*})^{n}$ lässt sich zeigen, dass alle Charaktere von der Form
    $\chi ^{m}\colon (\mathbb {C} ^{*})^{n}\rightarrow \mathbb {C} ^{*},(t_{1},\dots ,t_{n})\mapsto t_{1}^{a_{1}}\cdots t_{n}^{a_{n}}{\text{ mit }}m=(a_{1},\dots a_{n})\in \mathbb {Z} ^{n}$
und alle 1-Parameter Untergruppen von der Form
    $\lambda ^{u}\colon \mathbb {C} ^{*}\rightarrow (\mathbb {C} ^{*})^{n},t\mapsto (t^{b_{1}},\dots ,t^{b_{n}}){\text{ mit }}u=(b_{1},\dots b_{n})\in \mathbb {Z} ^{n}$
sind. In diesem Fall gilt $M\cong \mathbb {Z} ^{n}$ und $N\cong \mathbb {Z} ^{n}$ und die bilineare Abbildung ist das Skalarprodukt.

### Torische Varietäten als torische Einbettungen

Eine torische Varietät ist eine irreduzible algebraische Varietät $X$, die einen algebraischen Torus $T$ als eine Zariski-offene Teilmenge enthält, sodass die Gruppenverknüpfung des Torus sich zu einer algebraischen Gruppenoperation $T\times X\to X$ des Torus auf der ganzen Varietät fortsetzen lässt. Hierbei meint algebraisch, dass die Gruppenoperation durch einen Morphismus algebraischer Varietäten gegeben ist.
Bei manchen Autoren wird zusätzlich verlangt, dass eine torische Varietät normal ist. Dabei heißt eine algebraische Varietät normal, falls in jedem Punkt der Varietät der lokale Ring ein normaler Ring ist.

## Konstruktionen affiner torischer Varietäten

Aus obiger abstrakten Definition ist nicht ersichtlich wie die Verbindung zur konvexen Geometrie entstehen. Im folgenden Abschnitt sind drei äquivalente Konstruktionen affiner torischer Varietäten aufgeführt. Das heißt, man erhält jede affine torische Varietät durch jede der folgenden Konstruktionen.

### 1. Konstruktion

Es sei $T$ ein Torus mit Charaktergitter $M$. Man betrachte eine endliche Teilmenge ${\mathfrak {A}}=\{m_{1},\dots ,m_{s}\}\subseteq M$ mit den zugehörigen Charakteren $\chi ^{m_{i}}\colon T\rightarrow \mathbb {C} ^{*}$. Definiere die Abbildung
    $\Phi _{\mathfrak {A}}:T\rightarrow \mathbb {C} ^{s},\quad \Phi _{\mathfrak {A}}(t)=(\chi ^{m_{1}}(t),\dots ,\chi ^{m_{s}}(t))$
und $Y_{\mathfrak {A}}$ als den Zariski-Abschluss von ${\text{Im}}(\Phi _{\mathfrak {A}})$. Dann ist $Y_{\mathfrak {A}}$ eine affine torische Varietät, deren Torus das von ${\mathfrak {A}}$ erzeugte Untergitter $\mathbb {Z} {\mathfrak {A}}$ als Charaktergitter besitzt. Die Dimension von $Y_{\mathfrak {A}}$ ist gleich dem Rang des Gitters $\mathbb {Z} {\mathfrak {A}}$.

### 2. Konstruktion
#### Polyedrische Gitterkegel

Sei $N$ ein Gitter, das heißt eine freie abelsche Gruppe von endlichem Rang. Ein konvexer rationaler polyedrischer $N$-Kegel ist ein konvexer Kegel im Vektorraum $N_{\mathbb {R} }=N\otimes _{\mathbb {Z} }\mathbb {R}$, der von endlich vielen Vektoren aus $N$ erzeugt wird. Im Folgenden sprechen wir kurz von einem $N$-Kegel.
Jedem $N$-Kegel $\sigma$ kann ein dualer Kegel $\sigma ^{\vee }$ zugeordnet werden. Dazu betrachtet man zum dualen Gitter $M=Hom(N,\mathbb {Z} )$ den dualen Vektorraum $M_{\mathbb {R} }=M\otimes _{\mathbb {Z} }\mathbb {R}$ und definiert $\sigma ^{\vee }=\{u\in M|\langle u,v\rangle \geq 0~\forall v\in \sigma \}$.

#### Torische Varietäten aus Gitterkegeln

Einem $N$-Kegel $\sigma$ wird zunächst sein dualer Kegel $\sigma ^{\vee }$ zugeordnet. Zu diesem betrachtet man die kommutative Halbgruppe $S_{\sigma }=\sigma ^{\vee }\cap M$. Es stellt sich heraus (Lemma von Gordan), dass diese Halbgruppe endlich erzeugt ist und die Monoidalgebra $\mathbb {C} [S_{\sigma }]$ daher eine endlich erzeugte kommutative $\mathbb {C}$-Algebra ist. Das Maximalspektrum $U_{\sigma }:={\text{Specm}}(\mathbb {C} [S_{\sigma }])$ dieser Algebra hat dann die Struktur einer affinen torischen Varietät.
Der Torus von $U_{\sigma }$ ist $T_{N}:=N\otimes _{\mathbb {Z} }\mathbb {C} ^{*}$genau dann, wenn $\sigma$ ein spitzer Kegel ist. Des Weiteren lässt sich zeigen, dass $U_{\sigma }$ dann sogar normal ist.

### 3. Konstruktion

Sei $L\subseteq \mathbb {Z} ^{s}$ein Untergitter.
* Ein Ideal der Form $I_{L}=\langle x^{\alpha }-x^{\beta }:\alpha ,\beta \in \mathbb {N} ^{s}{\text{ und }}\alpha -\beta \in L\rangle$ heißt Gitterideal.
* Gitterideale, die Primideale sind, heißen torische Ideale.
Sei $I$ ein torisches Ideal. Dann ist $V(I)$ eine affine torische Varietät.
Für eine torische Varietät $Y_{\mathfrak {A}}$, die wie in der 1. Konstruktion gegeben ist. Dann gibt es eine induzierte Abbildung ${\hat {\Phi }}_{\mathfrak {A}}:\mathbb {Z} ^{s}\rightarrow M,\quad e_{i}\mapsto m_{i}$. Der Kern dieser Abbildung $L:={\text{ker}}({\hat {\Phi }}_{\mathfrak {A}})$ ist ein Untergitter von $\mathbb {Z} ^{s}$ und es gilt: $I_{L}=I(Y_{\mathfrak {A}})$.

## Beispiele
### Neilsche Parabel als affine torische Varietät

Die Neilsche Parabel $C=V(x^{3}-y^{2})\subseteq \mathbb {C} ^{2}$ ist eine affine torische Varietät. Denn sie enthält den Torus $\mathbb {C} ^{*}$ als offene Teilmenge:
    $C\setminus \{0\}=C\cap (\mathbb {C} ^{*})^{2}=\{(t^{2},t^{3}):t\in \mathbb {C} ^{*}\}\cong \mathbb {C} ^{*}$.
Für ${\mathfrak {A}}=\{2,3\}\subset \mathbb {Z}$ und
    $\Phi _{\mathfrak {A}}\colon \mathbb {C} ^{*}\rightarrow \mathbb {C} ^{2},\quad t\mapsto (t^{2},t^{3})$
erhält man: $C=Y_{\mathfrak {A}}={\overline {{\text{Im}}(\Phi _{\mathfrak {A}})}}$.
Betrachtet man die von ${\mathfrak {A}}$ erzeugte affine Halbgruppe $S=\mathbb {N} {\mathfrak {A}}=\{0,2,3,\dots \}$, dann gilt ${\text{Specm}}(\mathbb {C} [S])=C$. Da $C$ allerdings nicht normal ist, kann $S$ nicht von der Form $S=\sigma ^{\vee }\cap \mathbb {Z}$ sein, wobei $\sigma$ ein spitzer Kegel ist.
Das Verschwindungsideal $(x^{3}-y^{2})\in \mathbb {C} [x,y]$ ist ein torisches Ideal zu dem von $(3,0),(0,2)\in \mathbb {Z} ^{2}$ erzeugten Gitter.

### Torische Varietät zu einem Kegel

Es sei der Kegel $\sigma ={\text{cone}}(e_{1},e_{2},e_{1}+e_{2}+2e_{3})\subseteq \mathbb {R} ^{3}$ gegeben. Dann ist der duale Kegel gegeben durch $\sigma ^{\vee }={\text{cone}}(e_{3},2e_{1}-e_{3},2e_{2}-e_{3})$. Nun bestimmt man die Erzeuger der affinen Halbgruppe
$S=\sigma ^{\vee }\cap \mathbb {Z} ^{3}$. Also eine Menge ${\mathfrak {A}}$, sodass $\mathbb {N} {\mathfrak {A}}=\sigma ^{\vee }\cap \mathbb {Z} ^{3}$ gilt.
Man erhält
    ${\mathfrak {A}}=\left\{\left({\begin{array}{c}1\\0\\0\\\end{array}}\right)\left({\begin{array}{c}0\\1\\0\\\end{array}}\right)\left({\begin{array}{c}0\\0\\1\\\end{array}}\right)\left({\begin{array}{c}1\\1\\-1\\\end{array}}\right)\left({\begin{array}{c}2\\0\\-1\\\end{array}}\right)\left({\begin{array}{c}0\\2\\-1\\\end{array}}\right)\right\}$.
Damit ist die torische Varietät $V$ zum Kegel $\sigma$ gegeben als $V={\text{Specm}}(\mathbb {C} [S])={\overline {{\text{Im}}(\Phi _{\mathfrak {A}})}}$, wobei
    $\Phi _{\mathfrak {A}}:(\mathbb {C} ^{*})^{3}\rightarrow \mathbb {C} ^{6},\quad (t_{1},t_{2},t_{3})\mapsto (t_{1},t_{2},t_{3},t_{1}t_{2}t_{3}^{-1},t_{1}^{2}t_{3}^{-1},t_{2}^{2}t_{3}^{-1})$.
Es lässt berechnen, dass das Verschwindungsideal von folgender Form ist: $I(V)=\langle x_{3}x_{4}-x_{1}x_{2},x_{3}x_{5}-x_{1}^{2},x_{3}x_{6}-x_{2}^{2}\rangle \subset \mathbb {C} [x_{1},\dots ,x_{6}]$.

## Konstruktion projektiver torischer Varietäten

Es sei $\pi \colon \mathbb {C} ^{s-1}\setminus \{0\}\rightarrow \mathbb {P} _{\mathbb {C} }^{s-1}$ die Quotientenabbildung. Wie im affinen Fall betrachtet man eine Torus $T$ mit Charaktergitter $M$ und eine endliche Teilmenge ${\mathfrak {A}}=\{m_{1},\dots ,m_{s}\}\subseteq M$. Die Abbildung $\Phi _{\mathfrak {A}}$ kann auch als Abbildung nach $(\mathbb {C} ^{*})^{s}$ aufgefasst werden:
    $\Phi _{\mathfrak {A}}:T\rightarrow (\mathbb {C} ^{*})^{s},\quad t\mapsto (\chi ^{m_{1}}(t),\dots ,\chi ^{m_{s}}(t))$.
Dann ist Zariski-Abschluss des Bildes der Abbildung $\pi \circ \Phi _{\mathfrak {A}}$ eine projektive torische Varietät $X_{\mathfrak {A}}:={\overline {{\text{Im}}(\pi \circ \Phi _{\mathfrak {A}})}}\subseteq \mathbb {P} _{\mathbb {C} }^{s-1}$.

### Verschwindungsideal projektiver torischer Varietäten

Sei $X_{\mathfrak {A}}$ wie oben gegeben und ${\hat {\Phi }}_{\mathfrak {A}}:\mathbb {Z} ^{s}\rightarrow M,\quad e_{i}\mapsto m_{i}$ die induzierte Abbildung zwischen den Gitter, $L:={\text{ker}}({\hat {\Phi }}_{\mathfrak {A}})$ der Kern dieser Abbildung. $I_{L}$ ist genau dann das Verschwindungsideal von $X_{\mathfrak {A}}$, falls $I_{L}$ homogen ist.

### Torische Varietäten aus Gitterpolytopen

Sei $M$ ein Gitter. Ein Polytop $P$ heißt Gitterpolytop, falls es die konvexe Hülle einer Teilmenge $S\subseteq M$ ist, also
    $P={\text{conv}}(S)=\left\{\sum _{u\in S}\lambda _{u}u:\lambda _{u}\geq 0,\sum _{u\in S}\lambda _{u}=1\right\}$.
Ein Gitterpolytop heißt sehr ampel, wenn für alle Ecken $m\in P$ die Halbgruppe $S=\mathbb {N} (P\cap M-m)=\mathbb {N} \{m'-m:m'\in P\cap M\}$ gesättigt ist, d. h., aus $ks\in S$ folgt schon $s\in S$ für jedes $0\neq k\in \mathbb {N}$.
Für ein sehr amples Gitterpolytop $P\subseteq M$ mit ${\text{dim}}(P)={\text{rang}}(M)$ wählt man ${\mathfrak {A}}:=P\cap M$ und erhält eine torische Varietät $X_{\mathfrak {A}}$. Für ein allgemeines Gitterpolytop $P'$ von maximaler Dimension lässt sich zeigen, dass ein $k\in \mathbb {N}$ existiert, sodass $kP'$ sehr ampel ist. Die torische Varietät zu $P'$ ist dann definiert als $X_{(kP')\cap M}$.

## Eigenschaften projektiver torischer Varietäten

Sei $P={\text{conv}}(m_{1},\dots ,m_{s})\subseteq M\otimes _{\mathbb {Z} }\mathbb {R}$ ein Gitterpolytop von maximaler Dimension und $X_{P\cap M}\subseteq \mathbb {P} _{\mathbb {C} }^{s-1}$ die zugehörige Varietät. Bezeichne mit $\mathbb {C} ^{s-1}\cong U_{i}=\mathbb {P} _{\mathbb {C} }^{s-1}\setminus V(x_{i})$ die affinen Karten von $\mathbb {P} _{\mathbb {C} }^{s-1}$.
* Es gilt: $X_{P\cap M}\cap U_{i}=U_{\sigma _{i}}={\text{Specm}}(\mathbb {C} [\sigma _{i}^{\vee }\cap M])$, wobei $\sigma _{i}={\text{cone}}(P\cap M-m_{i})^{\vee }\subseteq N\otimes \mathbb {R}$. Man erhält also für jede Ecke des Polytops einen affinen Teil der projektiven Varietät. Betrachtet man den sogenannten normal fan zum Polytop $P$ enthält dieser bereits alle Informationen über die Struktur von $X_{P\cap M}$, ohne dass eine Einbettung in $\mathbb {P} _{\mathbb {C} }^{s-1}$ nötig wäre. Dies führt zum Begriff der abstrakten Varietät.
* Die Varietät $X_{P\cap M}$ ist genau dann glatt, wenn $P$ ein glattes Polytop ist. Dabei heißt ein Polytop $P$ glatt, wenn die Erzeuger der Strahlen ${\text{cone}}(E-v)$ eine Teilmenge einer Basis von $M$ bilden, wobei $E$ eine Seite von $P$ ist, die $v$ enthält.