\(\frac{n}{3}\)-neighbourly moment-angle complexes and their unstable splittings (Q2398327)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(\frac{n}{3}\)-neighbourly moment-angle complexes and their unstable splittings
scientific article

    Statements

    \(\frac{n}{3}\)-neighbourly moment-angle complexes and their unstable splittings (English)
    0 references
    0 references
    0 references
    15 August 2017
    0 references
    Let \(K\) be a simplicial complex on the vertex set \([n]=\{1,2,\dots,n\}\), and let \(\mathcal{Z}_K\) denote the moment-angle complex of \(K\). Then \(K\) is called \(k\)-neighbourly if every subset of \(k\) or less vertices in \([n]\) is a face of \(K\). A ring \(R=\mathbf{k}[v_1,\cdots ,v_n]/I\) is called \textit{Golod over} \(\mathbf{k}\) if the multipication and higher Massey products in \(\mathrm{Tor}^+_{\mathbf{k}[v_1,\cdots ,v_n]}(R,\mathbf{k})\) vanish, where \(\mathbf{k}\) is a commutative ring and \(I\) is a homogenous ideal in \(\mathbf{k}[v_1,\cdots ,v_n]\). Similarly, \(K\) is said to be \textit{Golod over} \(\mathbf{k}\) if its Stanley-Reisner ring \(\mathbf{k}[K]\) is Golod over \(\mathbf{k}\). In particular, a simplicial complex \(K\) is called \textit{Golod} if it is Golod over \(\mathbf{k}\) for all fields \(\mathbf{k}\) or \(\mathbf{k}=\mathbb{Z}\), and this is equivalent to the condition that all the cup products and Massey products of positive degree elements in \(H^*(\mathcal{Z}_K;\mathbf{k})\) are trivial for all fields \(\mathbf{k}\) or \(\mathbf{k}=\mathbb{Z}\). Now recall the conjecture that a moment-angle complex \(\mathcal{Z}_K\) is a co-\(H\)-space if \(K\) is Golod. It is known that \(\mathcal{Z}_K\) is a co-\(H\)-space iff there is a homotopy equivalence \(\mathcal{Z}_K\simeq \bigvee_{I\subset [n]}\Sigma^{| I| +1} | K_I|\), where \(K_I\) denotes the full subcomplex of \(K\) on the vertex set \(I\). In this paper, the authors consider the combinatorial condition that \(\mathcal{Z}_K\) is a co-\(H\)-space, and they prove that if \(K\) is \(\frac{n}{3}\)-neighbourly, \(\mathcal{Z}_K\) is a co-\(H\)-space iff the natural map \[ \Sigma^{| I\cup J|}\iota_{I,J}: \Sigma^{| I\cup J|}| K_{I\cup J}|\to \Sigma^{| I\cup J|}| K_I*K_J| \] is null-homotopic for each disjoint non-empty \(I\), \(J\subsetneq [n]\).
    0 references
    polyhedral product
    0 references
    moment-angle complex
    0 references
    toric topology
    0 references
    Stanley-Reisner ring
    0 references
    Golod ring
    0 references
    neighborly simplicial complex
    0 references
    co-\(H\)-space
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references