Local face rings and diffeomorphisms of quasitoric manifolds (Q1625464)

Let \({\mathcal{Q}}\) be the category of quasitoric pairs. The objects of this category are pairs \((M,p)\), where \(M\) is a quasitoric manifold and \(p\) is a fixed point under the torus action on \(M\). The morphisms are based maps that are continuous with respect to a topology that depends on the submanifolds of \(M\). The category of quasitoric manifolds is a subcategory of \({\mathcal{Q}}\). The authors define local versions of the Stanley-Reisner ring and the left higher derived functors of the indecomposable functor. As an application the authors consider certain quasitoric manifolds \(M_1\) and \(M_2\) that are diffeomorphic to \({\#}_4{\mathbb{C}}P^3\) with orbit spaces the double vertex truncated prism studied in [\textit{V. M. Buchstaber} et al., Russ. Math. Surv. 72, No. 2, 199--256 (2017; Zbl 1383.57038); translation from Usp. Mat. Nauk 72, No. 2, 3--66 (2017)]. They show that the pairs \((M_1, p_1)\) and \((M_2, p_2)\) are not equivalent in \({\mathcal{Q}}\) for any choice of \(p_1\) and \(p_2\).