https://hal.archives-ouvertes.fr/hal-01744156Goaoc, XavierXavierGoaocLIGM - Laboratoire d'Informatique Gaspard-Monge - UPEM - Université Paris-Est Marne-la-Vallée - ENPC - École des Ponts ParisTech - ESIEE Paris - Fédération de Recherche Bézout - CNRS - Centre National de la Recherche ScientifiqueMabillard, IsaacIsaacMabillardIST Austria - Institute of Science and Technology [Austria] - IST AustriaPaták, PavelPavelPatákEinstein Institute of Mathematics - HUJ - The Hebrew University of JerusalemPatáková, ZuzanaZuzanaPatákováHUJ - The Hebrew University of JerusalemTancer, MartinMartinTancerKAM - Department of Applied Mathematics [Prague] - CU - Charles University [Prague]Wagner, UliUliWagnerIST Austria - Institute of Science and Technology [Austria] - IST AustriaOn Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-type Nonembeddability ResultHAL CCSD2017Heawood InequalityEmbeddingsVan Kampen–FloresManifolds[INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG]Goaoc, XavierDISCRETE AND CONVEX GEOMETRY: CHALLENGES, METHODS, APPLICATIONS - DISCONV - - EC:FP7:ERC2011-04-01 - 2017-03-31 - 267165 - VALID - 2018-03-27 10:46:192022-10-03 16:26:042018-03-27 10:46:19enJournal articles10.1007/s11856-017-1607-71The fact that the complete graph $K_5$ does not embed in the plane has been generalized in two independent directions. On the one hand, the solution of the classical \emph{Heawood problem} for graphs on surfaces established that the complete graph $K_n$ embeds in a closed surface $M$ (other than the Klein bottle) if and only if $(n-3)(n-4)\leq 6b_1(M)$, where $b_1(M)$ is the first $\Z_2$-Betti number of $M$. On the other hand, van Kampen and Flores proved that the $k$-skeleton of the $n$-dimensional simplex (the higher-dimensional analogue of $K_{n+1}$) embeds in $\R^{2k}$ if and only if~$n \le 2k+1$. Two decades ago, K\"uhnel conjectured that the $k$-skeleton of the $n$-simplex embeds in a compact, $(k-1)$-connected $2k$-manifold with $k$th $\Z_2$-Betti number $b_k$ only if the following \emph{generalized Heawood inequality} holds: $\binom{n-k-1}{k+1} \le \binom{2k+1}{k+1}b_k$. This is a common generalization of the case of graphs on surfaces as well as the van Kampen--Flores theorem. In the spirit of K\"uhnel's conjecture, we prove that if the $k$-skeleton of the $n$-simplex embeds in a compact $2k$-manifold with $k$th $\Z_2$-Betti number $b_k$, then $n \le 2b_k\binom{2k+2}{k} + 2k + 4$. This bound is weaker than the generalized Heawood inequality, but does not require the assumption that $M$ is $(k-1)$-connected. Our results generalize to maps without $q$-covered points, in the spirit of Tverberg's theorem, for $q$ a prime power. Our proof uses a result of Volovikov about maps that satisfy a certain homological triviality condition.