arXiv++ Combinatorics

Suppose $k$ is a positive integer and $\mathcal{X}$ is a $k$-fold packing of the plane by infinitely many arc-connected compact sets, which means that every point of the plane belongs to at most $k$ sets. Suppose there is a function $f(n)=o(n^2)$ with the property that any $n$ members of $\mathcal{X}$ determine at most $f(n)$ holes, which means that the complement of their union has at most $f(n)$ bounded connected components. We use tools from extremal graph theory and the topological Helly theorem to prove that $\mathcal{X}$ can be decomposed into at most $p$ ($1$-fold) packings, where $p$ is a constant depending only on $k$ and $f$.

Let $\mathcal F$ be a family of compact convex sets in $\mathbb R^d$. We say that $\mathcal F $ has a \emph{topological $ρ$-transversal of index $(m,k)$} ($ρ<m$, $0<k\leq d-m$) if there are, homologically, as many transversal $m$-planes to $\mathcal F$ as $m$-planes containing a fixed $ρ$-plane in $\mathbb R^{m+k}$. Clearly, if $\mathcal F$ has a $ρ$-transversal plane, then $\mathcal F$ has a topological $ρ$-transversal of index $(m,k),$ for $ρ<m$ and $k\leq d-m$. The converse is not true in general. We prove that for a family $\mathcal F$ of $ρ+k+1$ compact convex sets in $\mathbb R^d$ a topological $ρ$-transversal of index $(m,k)$ implies an ordinary $ρ$-transversal. We use this result, together with the multiplication formulas for Schubert cocycles, the Lusternik-Schnirelmann category of the Grassmannian, and different versions of the colorful Helly theorem by Bárány and Lovász, to obtain some geometric consequences.

We demonstrate that the topological Helly theorem and the algebraic Auslander-Buchsbaum may be viewed as different versions of the same phenomenon. Using this correspondence we show how the colorful Helly theorem of I.Barany and its generalizations by G.Kalai and R.Meshulam translates to the algebraic side. Our main results are algebraic generalizations of these translations, which in particular gives a syzygetic version of Hellys theorem.

A simplicial complex K is called d-representable if it is the nerve of a collection of convex sets in R^d; K is d-collapsible if it can be reduced to an empty complex by repeatedly removing a face of dimension at most d-1 that is contained in a unique maximal face; and K is d-Leray if every induced subcomplex of K has vanishing homology of dimension d and larger. It is known that d-representable implies d-collapsible implies d-Leray, and no two of these notions coincide for d greater or equal to 2. The famous Helly theorem and other important results in discrete geometry can be regarded as results about d-representable complexes, and in many of these results "d-representable" in the assumption can be replaced by "d-collapsible" or even "d-Leray". We investigate "dimension gaps" among these notions, and we construct, for all positive integers d, a 2d-Leray complex that is not (3d-1)-collapsible and a d-collapsible complex that is not (2d-2)-representable. In the proofs we obtain two results of independent interest: (i) The nerve of every finite family of sets, each of size at most d, is d-collapsible. (ii) If the nerve of a simplicial complex K is d-representable, then K embeds in R^d.

We prove a new fractional Helly theorem for families of sets obeying topological conditions. More precisely, we show that the nerve of a finite family of open sets (and of subcomplexes of cell complexes) in R^d is k-Leray where k depends on the dimension d and the homological intersection complexity of the family. This implies fractional Helly number k+1 for families F. Moreover, we obtain a topological (p,q)-theorem. Our result contains the (p,q)-theorem for good covers of Alon, Kalai, Matousek, and Meshulam (2003) as a special case. The proof uses a spectral sequence argument. The same method is then used to reprove a homological version of a nerve theorem of Bjoerner.