No label defined (Q3975786)

Let \(\omega\) be a convex polyhedral rational (with respect to an \(r\)- dimensional lattice) cone in \(\mathbb{R}^ r\), \(\Gamma(\omega)\) be a set of faces of \(\omega\). A subset \(\Sigma\subset \Gamma(\omega)\) is called a complex, if each face \(\tau\in \Sigma\) is also an element of \(\Sigma\). The Stanley-Reisner scheme associated with the complex \(\Sigma\) is the scheme \({\mathcal S}(\Sigma)=\operatorname{Spec} \text{k} [\Sigma']/I(\Sigma)\), where \(\Sigma'\) is the set of \(I\)-simplices of \(\Sigma\); \(\text{k}[\Sigma']\) is the ring of polynomials over a field \(\text{k}\), generated by \(\Sigma'\); \(I(\Sigma)\) is the ideal of \(\hbox{k}[\Sigma']\), generated by \(\xi_ 1\cdot\xi_2\cdots \xi_k \), where the span \(\langle \xi_1,\ldots,\xi_k\rangle\) is not contained in \(\Sigma\). The complex \(\Sigma\subset \Gamma(\omega)\) is an abstract simplicial complex and the corresponding triangulation \(\Delta(\Sigma)\) of a manifold \(V_\Sigma\) can be constructed. If \(\Delta(\Sigma)\) is a triangulation of a \(k\)-homological sphere, \(\Sigma\) is called a \(k\)- spherical complex and the Stanley-Reisner scheme is called a \(k\)-spherical subscheme. The sheaves \(\mathcal E^i(\mathcal S)=\text{Ext}^i_{\mathcal O_{\mathcal S}}(L^{\mathcal S}_ \cdot ,{\mathcal O}_{\mathcal S})\), where \(\mathcal S\) is a \(k\)-spherical subscheme and \(L^{\mathcal S}_ \cdot\) is the cotangent complex of the manifold, are examined by \textit{M.-N. Ishida} and \textit{T. Ota} [Tôhoku Math. J. (2) 33, 337--381 (1981; Zbl 0456.14005)]. If \(\dim {\mathcal S}\leq 4\), there is a finite number of manifolds \({\mathcal S}\) which satisfy \(\mathcal E^2(\mathcal S)=0\) [\textit{S. Lichtenbaum} and \textit{M. Schlessinger}, Trans. Am. Math. Soc. 128, 41--70 (1967; Zbl 0156.27201); \textit{D. A. Mel'nikov}, ``Degeneration of toric varieties and triangulations of the three-dimensional sphere.'' (Russian) in: Algebra, logic and number theory, Moscow, 63--65 (1986)]. Note that \({\mathcal E}^ 2({\mathcal S})\) contains obstructions to deformations of \(\mathcal S\). In this paper an infinite series of 5-dimensional spherical manifolds \({\mathcal S}_ n\), which satisfy \({\mathcal E}^ 2({\mathcal S}_ n)=0\), is constructed. By means of the operation of suspension, this result is obtained in higher dimensions, too. [For the entire collection see Zbl 0685.00001.]