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

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6760635
Language Label Description Also known as
default for all languages
No label defined
    English
    \(\frac{n}{3}\)-neighbourly moment-angle complexes and their unstable splittings
    scientific article; zbMATH DE number 6760635

      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