Abstract
We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers b and d there exists an integer h(b, d) such that the following holds. If \(\mathcal{F}\) is a finite family of subsets of \(\mathbb{R}^{d}\) such that \(\tilde{\beta }_{i}\left (\bigcap \mathcal{G}\right ) \leq b\) for any \(\mathcal{G} \subsetneq \mathcal{F}\) and every 0 ≤ i ≤ ⌈d∕2⌉− 1 then \(\mathcal{F}\) has Helly number at most h(b, d). Here \(\tilde{\beta }_{i}\) denotes the reduced \(\mathbb{Z}_{2}\)-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these ⌈d∕2⌉ first Betti numbers allow for families with unbounded Helly number.
Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex K, some well-behaved chain map \(C_{{\ast}}(K) \rightarrow C_{{\ast}}(\mathbb{R}^{d})\).
Dedicated to the memory of Jiří Matoušek, wonderful teacher, mentor, collaborator, and friend.
An extended abstract of this work was presented at the 31st International Symposium on Computational Geometry [21].
PP, ZP and MT were partially supported by the Charles University Grant GAUK 421511. ZP was partially supported by the Charles University Grant SVV-2014-260103. ZP and MT were partially supported by the ERC Advanced Grant No. 267165 and by the project CE-ITI (GACR P202/12/G061) of the Czech Science Foundation. UW was partially supported by the Swiss National Science Foundation (grants SNSF-200020-138230 and SNSF-PP00P2-138948). Part of this work was done when XG was affiliated with INRIA Nancy Grand-Est and when MT was affiliated with Institutionen för matematik, Kungliga Tekniska Högskolan, then IST Austria.
This is a preview of subscription content, log in via an institution.
Notes
- 1.
By definition, a homology cell is a topological space X all of whose (reduced, singular, integer coefficient) homology groups are trivial, as is the case if \(X = \mathbb{R}^{d}\) or X is a single point. Here and in what follows, we refer the reader to standard textbooks like [26, 42] for further topological background and various topological notions that we leave undefined.
- 2.
The choice of \(\mathbb{Z}_{2}\) as the ring of coefficient ring has two reasons. On the one hand, we work with the van Kampen obstruction to prove certain non-embeddability results, and the obstruction is naturally defined either for integer coefficients or over \(\mathbb{Z}_{2}\) (it is a torsion element of order two). On the other hand, the Ramsey arguments used in our proof require working over a fixed finite ring of coefficients to ensure a finite number of color classes (cf. Claim 1).
- 3.
We remark that this construction can be further improved (at the cost of simplicity). For example, for d = 3, it is possible to find a geometric simplicial complex \(\Gamma _{3}^{{\prime}}\) with six vertices (instead of five) with properties analogous to \(\Gamma _{3}\): Consider a simplex \(\Delta \subseteq \mathbb{R}^{3}\) with vertices v 1, v 2, v 3 and v 4. Let b the barycenter of this simplex and we set v 5 to be the barycenter of the triangle v 1 v 2 b and v 6 to be the barycenter of v 3 v 4 b. Finally, we set \(\Gamma _{3}^{{\prime}}\) to be the subdivision of \(\Delta\) with vertices v 1, …, v 6 and with maximal simplices 1245, 1235, 3416, 3426, 5613, 5614, 5623, and 5624 where the label ABCD stands for conv { v A , v B , v C , v D }. One can check that this indeed yields a simplicial complex with the required properties. See the 1-skeleton of \(\Gamma _{3}^{{\prime}}\) in Fig. 1. We believe that an analogous example can be also constructed for d ≥ 4.
- 4.
We also remark that our condition can be verified algorithmically since Betti numbers are easily computable, at least for sufficiently nice spaces that can be represented by finite simplicial complexes, say. By contrast, it is algorithmically undecidable whether a given 2-dimensional simplicial complex is 1-connected, see, e.g., the survey [50].
- 5.
An open good cover is a finite family of open subsets of \(\mathbb{R}^{d}\) such that the intersection of any sub-family is either empty or is contractible (and hence, in particular, a homology cell).
- 6.
The role of nerves is implicit in Amenta’s proof but becomes apparent when compared to an earlier work of Wegner [60] that uses similar ideas.
- 7.
- 8.
This requires f and C 1, C 2, …, C n to be generic in the sense that the number of minima of f over ∩ i ∈ I C i is bounded uniformly for I ⊆ {1, 2, …, n}.
- 9.
There is also a version of the Van Kampen obstruction with integer coefficients, which in general yields more precise information regarding embeddability than the \(\mathbb{Z}_{2}\)-version, but we will not need this here. We refer to [37] for further background.
- 10.
- 11.
We recall that a chain map γ: C ∗ → D ∗ between chain complexes is simply a sequence of homomorphisms γ n : C n → D n that commute with the respective boundary operators, γ n−1 ∘ ∂ C = ∂ D ∘γ n .
- 12.
If we consider augmented chain complexes with chain groups also in dimension − 1, then being nontrivial is equivalent to requiring that the generator of \(C_{-1}(K)\cong \mathbb{Z}_{2}\) (this generator corresponds to the empty simplex in K) is mapped to the generator of \(C_{-1}(\mathbf{R})\cong \mathbb{Z}_{2}\).
- 13.
The induced chain map is defined as follows: We assume that we have fixed a total ordering of the vertices of K. For a p-simplex σ of K, the ordering of the vertices induces a homeomorphism \(h_{\sigma }: \vert \Delta _{p}\vert \rightarrow \vert \sigma \vert \subseteq \vert K\vert\). The image f ♯ (σ) is defined as the singular p-simplex f ∘ h σ .
- 14.
Here, we use subscripts and superscripts on the boundary operators to emphasize which dimension and which chain complex they belong to; often, these indices are dropped and one simply writes φ −ψ = ∂η + η∂.
- 15.
We also recall that if f, g X → Y are (equivariantly) homotopic then the induced chain maps are (equivariantly) chain homotopic. Moreover, chain homotopic maps induce identical maps in homology and cohomology.
- 16.
We stress that we work with the cellular chain complex for X.
- 17.
We remark that a classical result due to Haefliger and Weber [25, 59] asserts that if dimK ≤ (2d − 3)∕3 (the so-called metastable range) then the existence of an equivariant map from \(\widetilde{K}\) to \(\mathbb{S}^{d-1}\) is also sufficient for the existence of an embedding \(K\hookrightarrow \mathbb{R}^{d}\) (outside the metastable range, this fails); see [ 49] for further background.
- 18.
We stress that this does not mean that there is only one homotopy class of continuous maps \(\overline{K} \rightarrow \mathbb{R}\mathbb{P}^{\infty }\); indeed, there exist such maps that do not come from equivariant maps \(\widetilde{K} \rightarrow \mathbb{S}^{\infty }\), for instance the constant map that maps all of \(\overline{K}\) to a single point.
- 19.
In fact, it is known that \(H^{{\ast}}(\mathbb{R}\mathbb{P}^{\infty })\) is isomorphic to the polynomial ring \(\mathbb{Z}_{2}[\xi ]\), that \(H^{{\ast}}(\mathbb{R}\mathbb{P}^{d})\cong \mathbb{Z}_{2}[\xi ]/(\xi ^{d+1})\), and that \(\overline{i}^{{\ast}}\) is just the quotient map.
- 20.
Recall that a set is k-connected if it is connected and has vanishing homotopy in dimension 1 to k.
- 21.
See Definition 10.
- 22.
We could require that γ ′ sends every vertex to a point in \(U_{\overline{\Psi (S)}}\), i.e. is a chain map induced by a map, and simply argue that since \(U_{\overline{\Psi (S)}}\) has at most b connected components, any b + 1 vertices of \(\Delta _{s}\) contains some pair that can be connected inside \(U_{\overline{\Psi (S)}}\). This argument does not, however, work in higher dimension. Since Sect. 4.2 is meant as an illustration of the general case, we choose to follow the general argument.
- 23.
β ♯ is the chain map induced by β restricted to chains of dimension at most (k − 1).
References
N. Alon, G. Kalai, Bounding the piercing number. Discrete Comput. Geom. 13, 245–256 (1995)
N. Alon, I. Bárány, Z. Füredi, D.J. Kleitman. Point selections and weak epsilon-nets for convex hulls. Combin. Probab. Comput. 1, 189–200 (1992)
N. Amenta, Helly-type theorems and generalized linear programming. Discrete Comput. Geom. 12, 241–261 (1994)
N. Amenta, A short proof of an interesting Helly-type theorem. Discrete Comput. Geom. 15, 423–427 (1996)
E.G. Bajmóczy, I. Bárány, On a common generalization of Borsuk’s and Radon’s theorem. Acta Math. Acad. Sci. Hungar. 34(3–4), 347–350 (1979)
M. Bestvina, M. Kapovich, B. Kleiner, Van Kampen’s embedding obstruction for discrete groups. Invent. Math. 150(2), 219–235 (2002)
A. Björner, Nerves, fibers and homotopy groups. J. Combin. Theory Ser. A 102(1), 88–93 (2003)
K. Borsuk, On the imbedding of systems of compacta in simplicial complexes. Fundamenta Mathematicae 35, 217–234 (1948)
G.E. Bredon, Sheaf Theory. Volume 170 of Graduate Texts in Mathematics, 2nd edn. (Springer, New York, 1997)
O. Cheong, X. Goaoc, A. Holmsen, S. Petitjean, Hadwiger and Helly-type theorems for disjoint unit spheres. Discrete Comput. Geom. 1–3, 194–212 (2008)
E. Colin de Verdiere, G. Ginot, X. Goaoc, Helly numbers of acyclic families. Adv. Mathe. 253, 163–193 (2014)
H. Debrunner, Helly type theorems derived from basic singular homology. Am. Math. Mon. 77, 375–380 (1970)
J. de Loera, S. Petrović, D. Stasi, Random sampling in computational algebra: Helly numbers and violator spaces. http://arxiv.org/abs/1503.08804
M. Deza, P. Frankl, A Helly type theorem for hypersurfaces. J. Combin. Theory Ser. A 45, 27–30 (1987)
J. Dugundji, A duality property of nerves. Fundamenta Mathematicae 59, 213–219 (1966)
J. Eckhoff, Helly, Radon and Carathéodory type theorems, in Handbook of Convex Geometry, ed. by P.M. Gruber, J.M. Wills (North Holland, Amsterdam/New York, 1993), pp. 389–448
J. Eckhoff, K.-P. Nischke, Morris’s pigeonhole principle and the Helly theorem for unions of convex sets. Bull. Lond. Math. Soc. 41, 577–588 (2009)
B. Farb, Group actions and Helly’s theorem. Adv. Math. 222, 1574–1588 (2009)
A.I. Flores, Über die Existenz n-dimensionaler Komplexe, die nicht in den \(\mathbb{R}^{2n}\) topologisch einbettbar sind. Ergeb. Math. Kolloqu. 5, 17–24 (1933)
X. Goaoc, I. Mabillard, P. Paták, Z. Patáková, M. Tancer, U. Wagner, On generalized Heawood Inequalities for manifolds: a Van Kampen-Flores-type nonembeddability result, in 31st International Symposium on Computational Geometry (SoCG 2015), Dagstuhl, ed. by L. Arge, J. Pach. Volume 34 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, pp. 476–490
X. Goaoc, P. Paták, Z. Patáková, M. Tancer, U. Wagner, Bounding Helly numbers via Betti numbers, in 31st International Symposium on Computational Geometry (SoCG 2015), Dagstuhl, ed. by L. Arge, J. Pach. Volume 34 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, pp. 507–521
R. González-Diaz, P. Real, Simplification techniques for maps in simplicial topology. J. Symb. Comput. 40, 1208–1224 (2005)
J.E. Goodman, A. Holmsen, R. Pollack, K. Ranestad, F. Sottile, Cremona convexity, frame convexity, and a theorem of Santaló. Adv. Geom. 6, 301–322 (2006)
B. Grünbaum, On common transversals. Archiv der Mathematik 9, 465–469 (1958)
A. Haefliger, Plongements différentiables dans le domaine stable. Comment. Math. Helv. 37, 155–176 (1962/1963)
A. Hatcher, Algebraic Topology (Cambridge University Press, Cambridge, 2002)
E. Helly, Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. Jahresbericht Deutsch. Math. Verein. 32, 175–176 (1923)
E. Helly, Über Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten. Monaths. Math. und Physik 37, 281–302 (1930)
G. Kalai, Combinatorial expectations from commutative algebra, in Combinatorial Commutative Algebra, ed. by I. Peeva, V. Welker, vol. 1, no. 3 (Oberwolfach Reports, 2004), pp. 1729–1734
G. Kalai, R. Meshulam, Leray numbers of projections and a topological Helly-type theorem. J. Topol. 1, 551–556 (2008)
M. Katchalski, A conjecture of Grünbaum on common transversals. Math. Scand. 59(2), 192–198 (1986)
D. Kozlov, Combinatorial Algebraic Topology. Volume 21 of Algorithms and Computation in Mathematics (Springer, Berlin, 2008)
D.G. Larman, Helly type properties of unions of convex sets. Mathematika 15, 53–59 (1968)
H. Maehara, Helly-type theorems for spheres. Discrete Comput. Geom. 4(1), 279–285 (1989)
J. Matoušek, A Helly-type theorem for unions of convex sets. Discrete Comput. Geom. 18, 1–12 (1997)
J. Matoušek, Using the Borsuk–Ulam Theorem (Springer, Berlin, 2003)
S.A. Melikhov, The van Kampen obstruction and its relatives. Proc. Steklov Inst. Math. 266(1), 142–176 (2009)
J. Milnor, Construction of universal bundles, II. Ann. Math. 63(3), 430–436 (1956)
J. Milnor, On the Betti numbers of real varieties. Proc. Am. Math. Soc. 15, 275–280 (1963)
L. Montejano, A new topological Helly theorem and some transversal results. Discrete Comput. Geom. 52(2), 390–398 (2014)
T.S. Motzkin, A proof of Hilbert’s Nullstellensatz. Mathematische Zeitschrift 63, 341–344 (1955)
J.R. Munkres, Elements of Algebraic Topology (Addison-Wesley, Menlo Park, 1984)
C.M. Petty, Equilateral sets in Minkowski spaces. Proc. Am. Math. Soc. 29, 369–374 (1971)
R. Rado, A theorem on general measure. J. Lond. Math. Soc. s1–21(4), 291–300 (1946)
F.P. Ramsey, On a problem in formal logic. Proc. Lond. Math. Soc. 30, 264–286 (1929)
C.P. Rourke, B.J. Sanderson, Introduction to Piecewise-Linear Topology (Springer, New York, 1972). Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 69
M. Sharir, E. Welzl, A combinatorial bound for linear programming and related problems, in Proceedings of the 9th Symposium on Theoretical Aspects of Computer Science (1992), pp. 569–579
P. Shvartsman, The Whitney extension problem and Lipschitz selections of set-valued mappings in jet-spaces. Trans. Am. Math. Soc. 360, 5529–5550 (2008)
A.B. Skopenkov, Embedding and knotting of manifolds in Euclidean spaces, in Surveys in Contemporary Mathematics. Volume 347 of London Mathematical Society Lecture Note Series (Cambridge University Press, Cambridge, 2008), pp. 248–342
R.I. Soare, Computability theory and differential geometry. Bull. Symb. Log. 10(4), 457–486 (2004)
J. Sosnovec, Draft of Bachelor’s thesis (2015)
K.J. Swanepoel, Helly-type theorems for hollow axis-aligned boxes. Proc. Am. Math. Soc. 127, 2155–2162 (1999)
K.J. Swanepoel, Helly-type theorems for homothets of planar convex curves. Proc. Am. Math. Soc. 131, 921–932 (2003)
M. Tancer, Intersection patterns of convex sets via simplicial complexes: a survey, in Thirty Essays on Geometric Graph Theory, ed. by J. Pach (Springer, New York, 2013), pp. 521–540
R. Thom, Sur l’homologie des variétés algébriques réelles, in Differential and Combinatorial Topology, ed. by S.S. Cairns (Princeton University Press, Princeton, 1965), pp. 255–265
H. Tverberg, Proof of Grünbaum’s conjecture on common transversals for translates. Discrete Comput. Geom. 4, 191–203 (1989)
E.R. van Kampen, Komplexe in euklidischen Räumen. Abh. Math. Sem. Univ. Hamburg 9, 72–78 (1932)
U. Wagner, Minors in random and expanding hypergraphs, in Proceedings of the 27th Annual Symposium on Computational Geometry (SoCG) (2011), pp. 351–360
C. Weber, Plongements de polyèdres dans le domaine métastable. Comment. Math. Helv. 42, 1–27 (1967)
G. Wegner, d-collapsing and nerves of families of convex sets. Archiv der Mathematik 26, 317–321 (1975)
R. Wenger, Helly-type theorems and geometric transversals, in Handbook of Discrete & Computational Geometry, 2nd edn., ed. by J.E. Goodman, J. O’Rourke (CRC Press LLC, Boca Raton, 2004), chapter 4, pp. 73–96
G.M. Ziegler, Lectures on Polytopes. Volume 152 of Graduate Texts in Mathematics (Springer, New York, 1995)
Acknowledgements
We would like to express our immense gratitude to Jiří Matoušek, not only for raising the problem addressed in the present paper and valuable discussions about it, but, much more generally, for the privilege of having known him, as our teacher, mentor, collaborator, and friend. Through his tremendous depth and insight, and the generosity with which he shared them, he greatly influenced all of us.
We further thank Jürgen Eckhoff for helpful comments on a preliminary version of the paper, and Andreas Holmsen and Gil Kalai for providing us with useful references.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International publishing AG
About this chapter
Cite this chapter
Goaoc, X., Paták, P., Patáková, Z., Tancer, M., Wagner, U. (2017). Bounding Helly Numbers via Betti Numbers. In: Loebl, M., Nešetřil, J., Thomas, R. (eds) A Journey Through Discrete Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-319-44479-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-44479-6_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44478-9
Online ISBN: 978-3-319-44479-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)