Begriff aus der algebraischen Geometrie.

Ein (algebraischer) Torus ist eine lineare algebraische Gruppe T ≃ k^*n, d. h., \begin{eqnarray}T=\text{Spec}\ k\left[{t}_{1},\ldots,{t}_{n},\ \ \ \ {({t}_{1},\ldots,{t}_{n})}^{-1}\right]\end{eqnarray} (Gruppenschema). Eine torische Varietät ist eine algebraische Varietät V, auf der ein Torus T „fast transitiv und frei“ operiert.

Genauer: Es gibt einen offenen, dichten T-Orbit, der zu T isomorph ist. Beispielsweise sind affine oder projektive Räume torisch durch die Wirkung der Gruppe T ⊂ GL(n) bzw. T ⊂ PGL(n + 1) der Diagonalmatrizen, ebenso gewichtete projektive Räume (projektives Spektrum), und in gewissem Sinne kann man torische Varietäten als Verallgemeinerung gewichteter projektiver Räume sehen. Die Geometrie torischer Varietäten hängt aufs engste mit der Kombinatorik konvexer Polyeder zusammen.

Heute geht man meist von Gitterpolytopen oder polyhedralen Kegeln aus, um torische Varietäten zu definieren. Ausgangspunkt ist ein Gitter M (dies entspricht der Gruppe \(\text{Hom}({{\mathbb{G}}}_{m}\text{,}\ T\text{)}\) der einparametrigen Untergruppe) und sein duales Gitter \(\check{M}=\text{Hom}(M,{\mathbb{Z}})\) (dies entspricht der Gruppe der Charaktere \(\text{Hom}(T,\ {{\mathbb{G}}}_{m}\text{)}\)), sowie die reellen Vektorräume V = M ⊗ ℝ und deren Duale \(\check{V}=\check{M}\otimes {\mathbb{R}}\). Dann ist \(T=\text{Spec}\ k[\check{M}]\) (\(k[\check{M}]\) die Gruppenalgebra der Gruppe \(\check{M}\) über k), und affine torische Varietäten werden durch bestimmte Unterhalbgruppen \(\check{M}(\sigma)\subset M\) bestimmt, bzw. ihre Halbgruppenalgebra wird als \(X(\sigma)=\text{Spec}\ k[\check{M}(\sigma)]\) (Schema) definiert, mit der aus dem Algebrahomomorphismus \begin{eqnarray}\begin{array}{rll}k[\check{M}(\sigma)] & \to & k[\check{M}]\otimes k[\check{M}(\sigma)]\\ {t}^{\chi} & \mapsto & {t}^{\chi}\otimes {t}^{\chi}\end{array}\end{eqnarray} resultierenden Gruppenwirkung T × X(σ) → X(σ). (Wir schreiben hier t^χ für das Element \(\chi \in \check{M}\), aufgefaßt als Element der Gruppenalgebra \(k[\check{M}]\).)

Zur Definition affiner torischer Varietäten beschränkt man sich nun auf Unterhalbgruppen, die durch spitze konvexe Gitterkegel σ ⊂ V, d. h. Kegel der Form \begin{eqnarray}\sigma ={{\mathbb{R}}}_{+}{v}_{1}+\cdots +{{\mathbb{R}}}_{+}{v}_{s}=\langle {v}_{1},\ldots,{v}_{s}\rangle \end{eqnarray} mit Gitterpunkten v_j ∈ M und σ ∩ −σ = {0}, definiert sind als \(\check{M}(\sigma)=\check{\sigma}\cap \check{M}\), wobei \begin{eqnarray}\check{\sigma}=\left\{u\in \check{V}|\langle u,v\rangle \ge 0\ \text{f}\mathrm{\ddot{u}}\text{r}\ \text{alle}\ v\in \sigma \right\}.\end{eqnarray}

Zum Nachweis der Tatsache, daß X(σ) eine Varietät ist, muß gezeigt werden, daß die Halbgruppe \(\check{M}(\sigma)\) endlich erzeugt ist (Gordons Lemma). Die Eigenschaft „spitz“ gewährleistet, daß die Einbettung \(k[\check{M}(\sigma)]\subset k[\check{M}]\) eine offene Einbettung induziert. Ist τ ⊂ σ, so ist \(k[\check{M}(\sigma)]\subset k[\check{M}(\tau)]\), also erhält man einen birationalen Morphismus X(τ) → X(σ), und für den Fall, daß τ Seite von σ ist (Schnitt von σ mit einer Hyperebene, die durch eine Gleichung χ = 0, \(\chi \in \check{\sigma}\), definiert ist), ist dies eine offene Einbettung.

Aus der speziellen Form der Halbgruppe \(\check{M}(\sigma)\) kann man folgern, daß die Varietäten normal sind, sogar Cohen-Macaulaysch (d. h., alle lokalen Ringe \({{\mathcal{O}}}_{X(\sigma),x}\) sind Cohen-Macaulay-Ringe). X(σ) ist genau dann glatt, wenn σ ein Erzeugendensystem {v₁, …, v_s} besitzt, das sich zu einer Basis des Gitters M ergänzen läßt.

Beliebige torische Varietäten werden durch endliche Mengen Σ von spitzen konvexen Gitterkegeln definiert, Σ soll dabei folgende Bedingungen erfüllen:

Eine Klasse von Beispielen erhält man aus konvexen Gitterpolytopen Δ ⊂ V, die den Nullpunkt als inneren Punkt enthalten. Man setze Σ_Δ = {σ | σ ist Kegel über einer echten Seite von Δ}. X_Δ = X(Σ_Δ) ist dann eine projektive torische Varietät mit einem T-invarianten amplen Divisor H. Auf diese Weise erhält man alle projektiven torischen Varietäten mit T-invariantem amplen Divisor H aus konvexen Gitterpolytopen.