A classification of toric varieties with few generators (Q1115497)

A d-dimensional toric variety is a T-invariant subvariety of a T-invariant completion of the torus \(T=(k^*)^ d\) (k can be \({\mathbb{C}}\) or any algebraically closed field). Such a variety can be described by a fan, a finite system of cones in \({\mathbb{R}}^ d\) spanned by integer lattice points. In the paper a classification of complete smooth toric varieties with arbitrary dimension but relatively few generators is obtained. All 3-dimensional smooth toric varieties with up to 8 ``generators'' have been previously classified by T. Oda. Let \(X_ d(a_ 1,...,a_ r)\) be the toric d-variety corresponding to a certain fan in \({\mathbb{R}}^ d\), defined in {\S}2. The main result is the following theorem: Every complete nonsingular toric d-variety with \(d+2\) generators is isomorphic to precisely one of the varieties \(X_ d(a_ 1,...,a_ t)\). Among those varieties, precisely those with \(a_ 1=a_ 2=...=a_{r- 1}=0\) and \(a_ r=1\) can be further blown down to \({\mathbb{P}}^ d.\) Furthermore the following properties of the varieties above are shown. 1.i) All varieties \(X_ d(a_ i,...,a_ r)\) are projective; ii) A variety \(X_ d(a_ 1,...,a_ r)\) is a Fano variety if and only if \(\sum_{i=1,...,r}a_ i<d-r+1.\) 2. The variety \(X_ d(a_ 1,...,a_ r)\) is isomorphic to the variety given by the following system of equations with homogeneous coordinates in \({\mathbb{P}}_{sr}\times {\mathbb{P}}_{s-1}\) \((={\mathbb{P}}[x_ 0,x_{11},...,x_{s1},s_{12},...,x_{s2},...,x_{1r},...,x_{sr}]\times {\mathbb{P}}[y_ 1,...,y_ s]):\) \(x_{mi}y^{ai/n}=x_{ni}y^{ai/m}\) for all triples (m,n,i) such that \(1\leq i\leq r\); \(1\leq m,n\leq s\); \(m\neq n.\) 3. There exists a compact smooth toric d-variety X which can be obtained from both \(X_ d(a_ 1,...,a_ r)\) and \({\mathbb{P}}^ d\) by a sequence of equivariant blow-ups. It should be noted that the property 3 settles affirmatively a stronger version of a conjecture of Oda and Miyake, previously proved by Danilov and Ewald.