Small covers over wedges of polygons (Q2330986)

For the boundary complex \(P_m\) of a regular \(m\)-gon, with \(m\geq 3\), and an \(m\)-tuple \(J\) of positive integers, let \(P_m(J)\) denote the simplicial complex obtained by a sequence of simplicial wedges from \(P_m\). Small covers of \(P_m(J)\), introduced in general by [\textit{M. W. Davis} and \textit{T. Januszkiewicz}, Duke Math. J. 62 No. 2, 417--451 (1991; Zbl 0733.52006)] are classified by characteristic functions that assign to each facet of \(P_m(J)\) an element of \({\mathbb Z}_2^m\) satisfying non-singularity conditions. Moreover, two characteristic functions are D-J equivalent if one can be obtained from the other by composition with an invertible \(n\times n\) matrix with entries in \({\mathbb Z}_2\). In order to classify D-J equivalence classes over \(P_m(J)\) the authors use two combinatorial constructions introduced in [\textit{S. Choi} and \textit{H. Park}, Can. J. Math. 69, No. 4, 767--789 (2017; Zbl 1388.14139)]. The first one is the \textit{diagram} \(D(P_m(J))\) whose \textit{nodes} are the D-J classes over \(P_m(J)\), its \textit{edges} are the D-J classes over wedges on vertices of \(P_m(J)\) and its \textit{realizable squares} are the wedges over pairs of distinct vertices of \(P_m(J)\). The second one, the \textit{realizable puzzles} over \(P_m(J)\) are the color-preserving pseudo-graph homomorphisms \(G(J)\rightarrow D(P_m(J))\) where \(G(J)\) is the edge-colored graph with \(m\) colors and determined by the polytope \(\Delta^{j_1-1}\times \cdots\times \Delta^{j_m-1}\), where \(j_i\) are the entries of \(J\) and \(\Delta^{j_i-1}\) is the \((j_i-1)\)-dimensional simplex. In [\textit{S. Choi} and \textit{H. Park}, Can. J. Math. 69, No. 4, 767--789 (2017; Zbl 1388.14139)] the authors proved that there is a one-to-one correspondence between D-J classes over \(P_m(J)\) and realizable puzzles over \(P_m(J)\). Moreover, in [\textit{S. Choi} and \textit{H. Park}, Isr. J. Math. 219, No. 1, 353--377 (2017; Zbl 1379.57043)] the authors classified all toric manifolds over \(P_m(J)\) and showed that all of them are projective. The main results of the paper under review complete the classification quoted above, first providing a description of the diagram \(D(P_m)\). This is achieved in Section 3 of the paper. Next, describing the realizable puzzles over \(P_m(J)\), and this is achieved in Theorem 4.1 of Section 4 of the paper, which gives a classification of small covers over \(P_m(J)\) up to D-J equivalence. As a by-product the authors obtain the number of small covers over \(P_m(J)\) in Corollary 4.2. Finally, the authors obtain a classification of real toric manifolds over \(P_m(J)\) in Theorem 5.4 in terms of realizable puzzles.