Leray numbers of tolerance complexes

DOI10.1007/S00493-023-00044-5MaRDI QIDQ6081410zbMATH OpenOpenAlexFDO

Authors Min-Ki Kim, Alan Lew

Publication date 4 October 2023

Published in Combinatorica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2109.03030

zbMATH Keywords

d-collapsibilityLeray numbersimplicial complextolerant Helly theorems

Mathematics Subject Classification ID

Combinatorial aspects of simplicial complexes (05E45) Helly-type theorems and geometric transversal theory (52A35) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: Let $K$ be a simplicial complex on vertex set $V$. $K$ is called $d$-Leray if the homology groups of any induced subcomplex of $K$ are trivial in dimensions $d$ and higher. $K$ is called $d$-collapsible if it can be reduced to the void complex by sequentially removing a simplex of size at most $d$ that is contained in a unique maximal face. We define the $t$-tolerance complex of $K$, $mathcal{T}_t(K)$, as the simplicial complex on vertex set $V$ whose simplices are formed as the union of a simplex in $K$ and a set of size at most $t$. We prove that for any $d$ and $t$ there exists a positive integer $h(t,d)$ such that, for every $d$-collapsible complex $K$, the $t$-tolerance complex $mathcal{T}_t(K)$ is $h(t,d)$-Leray. The definition of the complex $mathcal{T}_t(K)$ is motivated by results of Montejano and Oliveros on "tolerant" versions of Helly's theorem. As an application, we present some new tolerant versions of the colorful Helly theorem.

Review text

The authors first present some basic facts about simplicial complexes, simplicial homology, relative homology and collapsibility and prove (using Mayer-Vietoris exact sequence and Leray's Nerve theorem) some auxiliary topological, hereditary \(d\)-collapsibility results used later in the manuscript.\par The main result is theorem 1.5: ``\(K\) is a \(d\)-collapsible complex, \(t \ge 0\) an integer. Then the \(t\)-tolerance complex of \(K\), \(T_k(K)\) is \(h(t,d)\)-Leray. The authors prove that for any \(d\) and \(t\) there exists a positive integer \(h(t,d)\) such that for every \(d\)-collapsible complex \(K\), the \(t\)-tolerance complex \(K\), \(T_t(K)\) is \(h(t,d)\)-Leray.\par As an application, the authors prove Theorem 1.6: ``For \(K\) a 2-collapsible complex, \(T_1(K)\) is 5-Leray. The authors also present as application some new tolerant versions of the colourful Helly theorem.

Recommendations

• RELATIVE LERAY NUMBERS VIA SPECTRAL SEQUENCES
• Dimension gaps between representability and collapsibility
• A topological colorful Helly theorem
• Extensions of the colorful Helly theorem for d-collapsible and d-Leray complexes
• Leray numbers of projections and a topological Helly-type theorem

Cited in

(1)

• Extensions of the colorful Helly theorem for d-collapsible and d-Leray complexes

This page was built for publication: Leray numbers of tolerance complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6081410)