Toric varieties whose canonical divisors are divisible by their dimensions (Q874830)

Let \(X\) be an \(n\)-dimensional, projective, toric \(\mathbb{Q}\)-Gorenstein variety. If \(K_X\) is a \(N\)-th multiple (with \(N\in\mathbb{Q}_{>0}\)) inside \(\text{Pic} X\), then it follows from the author's paper [Tohoku Math. J., II. Ser. 55, No. 4, 551--564 (2003; Zbl 1078.14077)] that \(N\leq n\) unless \(X=\mathbb{P}^n\). As a sequel to [loc. cit.], the present paper is devoted to the next extremal case, namely to \(N=n\). If \(X\) is \(\mathbb{Q}\)-factorial, then this equality implies that either \(X=\mathbb{P}_{\mathbb{P}^1}(\oplus_i\mathcal O(q_i))\) is a projective bundle or that \(X=\mathbb{P}(1,1,2,\ldots,2)\). In the non-\(\mathbb{Q}\)-factorial case, \(X\) equals the target space of the flopping contraction of \(\mathbb{P}_{\mathbb{P}^1}(\mathcal O^{n-2}\oplus\mathcal O(1)^2)\).