A short proof of the Patak-Tancer theorem on non-embeddability of $k$-complexes in $2k$-manifolds
In 2019 P. Patak and M. Tancer obtained the following higher-dimensional generalization of the Heawood inequality on embeddings of graphs into surfaces. We present a short well-structured proof accessible to non-specialists in the field. Let $Δ_n^k$ be the union of $k$-dimensional faces of the $n$-dimensional simplex. Theorem. (a) If $Δ_n^k$ PL embeds into the connected sum of $g$ copies of the Cartesian product $S^k\times S^k$ of two $k$-dimensional spheres, then $g\ge\dfrac{n-2k-1}{k+2}$. (b) If $Δ_n^k$ PL embeds into a closed $(k-1)$-connected PL $2k$-manifold $M$, then $(-1)^k(χ(M)-2)\ge\dfrac{n-2k-1}{k+1}$.