The complement of polyhedral product spaces and the dual simplicial complexes (Q1748105)

For an abstract simplicial complex \(K\) on \([m]=\{1,2,\ldots ,m\}\) and a sequence of topological pairs \((\underline{X},\underline{A})=\{(X_k,A_k)\}_{k=1}^m,\) let \(\mathcal{Z}(K;\underline{X},\underline{A})\) denote the polyhedral product space of \((\underline{X},\underline{A})\) with respect to \(K\) defined by \( \mathcal{Z}(K;\underline{X},\underline{A})=\bigcup_{\tau\in K} D(\tau), \) where \(D(\tau)= \{(x_1,\ldots ,x_m)\in X_1\times\cdots \times X_m: x_k\in A_k\text{ if }k\notin \tau\}.\) Similarly, let \(\mathcal{S}(K;\underline{X},\underline{A})\) denote the polyhedral joint product space defined by \(\mathcal{S}(K;\underline{X},\underline{A})=\bigcup_{\tau\in K}S(\tau)\), where \(S(\tau)= \{(x_1,\ldots ,x_m)\in X_1*X_2*\cdots * X_m: x_k\in A_k\text{ if }k\notin \tau\}.\) In particular, when \(K\) is an abstract simplicial complex with vertex set \(\subset S\not=\emptyset\), we denote by \(K^{\circ}\) the dual of \(K\) relative to \(S\), which is given by \(K^{\circ}=\{S\setminus \sigma : \sigma\subset S,\sigma\notin K\}\). In this paper, the author studies the basic properties of complements of polyhedral product spaces, dual complexes and polyhedral joint product spaces. As an application, he computes the universal algebra of polyhedral joint product spaces under certain split conditions and he also determines the Alexander duality isomorphism on some special type of polyhedral product spaces.