Wedge operations and a new family of projective toric manifolds (Q2357010)

The authors start by noting that Bott manifolds are toric manifolds over the boundary complex of the cube \(I^n\) and generalized Bott manifolds are toric manifolds over the boundary complex of a product of simplices. Here they study toric manifolds over the boundary complex of an \(m\)-gon \((m\geq 2)\) in the sequel. Let \(P_m(J)\) be the simplicial complex obtained by a series of wedge operations of an \(m\)-gon where \(J\) is a tuple of positive integers. In this paper the authors classify toric manifolds over \(P_m(J)\). The main theorem of the paper is the following. Theorem. Every toric manifold over \(P_m(J)\) is projective for any \(m\geq 3\) and an \(m\)-tuple \(J\in {\mathbb Z}_+^m\). It is noted that a toric variety is projective if and only if the corresponding fan is strongly polytopal, that is if \(\Sigma\) is a simplicial fan, then there is a simplicial polytope \(P\) such that \(0\) belongs to the relative interior of \(P\) and each cone of \(\Sigma\) is spanned by a proper face of \(P\). Recall \textit{G. C. Shephard}'s criterion [Isr. J. Math. 9, 257--262 (1971; Zbl 0207.52202)] whether a complete simplicial fan \(\Sigma\) is strongly polytopal. If \(\hat\Sigma\) is a Shephard diagram of \(\Sigma\) and \(S(\hat\Sigma)\) denotes the intersection of all cofaces \(\hat C\) for faces \(C\) of \(\Sigma\). Then \(S(\hat\Sigma)\neq \emptyset\) if and only if a toric manifold over \(P_m(J)\) is projective. A non-singular projective toric variety is called a projective toric manifold. The authors show \(S(\hat\Sigma)\neq \emptyset\) using the classification of toric manifolds over \(P_m(J)\). Toric manifolds of Picard number \(3\) are shown to be projective by \textit{P. Kleinschmidt} and \textit{B. Sturmfels} [Topology 30, No. 2, 289--299 (1991; Zbl 0739.14032)] and their classification is given by \textit{V. V. Batyrev} [Tohoku Math. J. (2) 43, No. 4, 569--585 (1991; Zbl 0792.14026)]. With the fact that every generalized Bott manifold is projective, the above theorem generalizes their results.