The homotopy type of the complement of a coordinate subspace arrangement (Q884325): Difference between revisions

For a subset \(\sigma =\{i_1,\dots ,i_k\}\subset [n]=\{1,2,\cdots ,n\},\) let \(L_{\sigma}\subset \mathbb C^n\) denote the complex coordinate subspace given by \(L_{\sigma}=\{(z_1,\dots ,z_n)\in \mathbb C^n\mid z_{i_1}=\cdots =z_{i_k}=0\},\) and let \({\mathcal A}\) be the complex coordinate subspace arrangement \(\{L_{\sigma_1},\cdots ,L_{\sigma_r}\mid \sigma_i\subset [n]\}\). In this case, let \(U({\mathcal A})=\mathbb C^n\setminus \bigcup_{i=1}^rL_{\sigma_i}\) denote the complement of the coordinate subspace arrangement \({\mathcal A}\). When \(K\) is a simplicial complex on the vertex set \([n]\), we also denote by \({\mathcal CA}(K)\) the complex coordinate subspace arrangement given by \({\mathcal CA}(K)=\{L_{\sigma}\mid \sigma\notin K\}\) and by \(U(K)\) the associated complement defined by \(U(K)=\mathbb C^n\setminus \bigcup_{\sigma\in K}L_{\sigma}\). Similarly, for a simplicial complex \(K\) with vertex set \([n]\), let \(DJ(K)\) and \({\mathcal Z}_K\) denote the Davis-Januszkiewicz space and the moment-angle complex defined by \(DJ(K)=\bigcup_{\sigma\in K}BT^{\sigma}\) and \({\mathcal Z}_K=\bigcup_{\sigma\in K}B_{\sigma}\), where \(BT^{\sigma}=\{(x_1,\dots ,x_n)\in BT^n=(\mathbb C \text{P}^{\infty})^n \mid x_i=*\text{ if }i\notin \sigma\}\) and \(B_{\sigma}=\{(z_1,\dots ,z_n)\in (D^2)^n\mid | z_i| =1 \text{ if } i\notin \sigma\}\). It is known that there is a homotopy equivalence \(U(K)\simeq {\mathcal Z}_K\) and that there is a homotopy fibration sequence \({\mathcal Z}_K\to DJ(K)\to BT^n.\) For a simplicial complex \(K\) with vertex set \([n]\) and a commutative ring \(R\) with unit, let \(R[K]\) denote the Stanley-Reisner ring defined by \(R[K]=R[v_1,\dots ,v_n]/{\mathcal T}_K\), where \(\deg (v_i)=2\) and \({\mathcal T}_K\) is the homogeneous ideal generated by all square free monomials \(v^{\sigma}=v_{i_1}\dots v_{i_s}\) such that \(\{i_1,\cdots ,i_s\}\notin K\). In this paper, the authors study the homotopy types of the complement \(U(K)\) and they investigate when \(U(K)\) (and \({\mathcal Z}_K\)) is homotopy equivalent to a wedge of spheres. In particular, they show that \(U(K)\) is homotopy equivalent to a wedge of spheres if \(K\) is a shifted complex, and they obtain the combinatorial operations on simplicial complexes with respect to the homotopy types of the moment-angle complexes. Moreover, they also obtain an upper bound on the Poincaré series \(P(k[K])\) (\(k\): field), and they show that \(k[K]\) is a Golod ring if \({\mathcal Z}_K\) is homotopy equivalent to a wedge of spheres.