{"title":"Extensions of the colorful Helly theorem for d-collapsible and d-Leray complexes","authors":"Minki Kim, Alan Lew","doi":"10.1017/fms.2024.23","DOIUrl":null,"url":null,"abstract":"<p>We present extensions of the colorful Helly theorem for <span>d</span>-collapsible and <span>d</span>-Leray complexes, providing a common generalization to the matroidal versions of the theorem due to Kalai and Meshulam, the ‘very colorful’ Helly theorem introduced by Arocha, Bárány, Bracho, Fabila and Montejano and the ‘semi-intersecting’ colorful Helly theorem proved by Montejano and Karasev.</p><p>As an application, we obtain the following extension of Tverberg’s theorem: Let <span>A</span> be a finite set of points in <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240328020016659-0471:S2050509424000239:S2050509424000239_inline1.png\"><span data-mathjax-type=\"texmath\"><span>${\\mathbb R}^d$</span></span></img></span></span> with <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240328020016659-0471:S2050509424000239:S2050509424000239_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$|A|>(r-1)(d+1)$</span></span></img></span></span>. Then, there exist a partition <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240328020016659-0471:S2050509424000239:S2050509424000239_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$A_1,\\ldots ,A_r$</span></span></img></span></span> of <span>A</span> and a subset <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240328020016659-0471:S2050509424000239:S2050509424000239_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$B\\subset A$</span></span></img></span></span> of size <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240328020016659-0471:S2050509424000239:S2050509424000239_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$(r-1)(d+1)$</span></span></img></span></span> such that <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240328020016659-0471:S2050509424000239:S2050509424000239_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$\\cap _{i=1}^r \\operatorname {\\mathrm {\\text {conv}}}( (B\\cup \\{p\\})\\cap A_i)\\neq \\emptyset $</span></span></img></span></span> for all <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240328020016659-0471:S2050509424000239:S2050509424000239_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$p\\in A\\setminus B$</span></span></img></span></span>. That is, we obtain a partition of <span>A</span> into <span>r</span> parts that remains a Tverberg partition even after removing all but one arbitrary point from <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240328020016659-0471:S2050509424000239:S2050509424000239_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$A\\setminus B$</span></span></img></span></span>.</p>","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":null,"pages":null},"PeriodicalIF":1.2000,"publicationDate":"2024-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Forum of Mathematics Sigma","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/fms.2024.23","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We present extensions of the colorful Helly theorem for d-collapsible and d-Leray complexes, providing a common generalization to the matroidal versions of the theorem due to Kalai and Meshulam, the ‘very colorful’ Helly theorem introduced by Arocha, Bárány, Bracho, Fabila and Montejano and the ‘semi-intersecting’ colorful Helly theorem proved by Montejano and Karasev.
As an application, we obtain the following extension of Tverberg’s theorem: Let A be a finite set of points in ${\mathbb R}^d$ with $|A|>(r-1)(d+1)$. Then, there exist a partition $A_1,\ldots ,A_r$ of A and a subset $B\subset A$ of size $(r-1)(d+1)$ such that $\cap _{i=1}^r \operatorname {\mathrm {\text {conv}}}( (B\cup \{p\})\cap A_i)\neq \emptyset $ for all $p\in A\setminus B$. That is, we obtain a partition of A into r parts that remains a Tverberg partition even after removing all but one arbitrary point from $A\setminus B$.
期刊介绍:
Forum of Mathematics, Sigma is the open access alternative to the leading specialist mathematics journals. Editorial decisions are made by dedicated clusters of editors concentrated in the following areas: foundations of mathematics, discrete mathematics, algebra, number theory, algebraic and complex geometry, differential geometry and geometric analysis, topology, analysis, probability, differential equations, computational mathematics, applied analysis, mathematical physics, and theoretical computer science. This classification exists to aid the peer review process. Contributions which do not neatly fit within these categories are still welcome.
Forum of Mathematics, Pi and Forum of Mathematics, Sigma are an exciting new development in journal publishing. Together they offer fully open access publication combined with peer-review standards set by an international editorial board of the highest calibre, and all backed by Cambridge University Press and our commitment to quality. Strong research papers from all parts of pure mathematics and related areas will be welcomed. All published papers will be free online to readers in perpetuity.