arXiv++ Combinatorics

Let $K_4$ be the complete graph on four vertices. Let $f$ be a continuous map of $K_4$ to the plane such that $f$-images of non-adjacent edges are disjoint. For any vertex $v \in K_4$ take the winding number of the $f$-image of the cycle $K_4 - v$ around $f(v)$. It is known that the sum of these four integers is odd. We construct examples showing that this is the only relation between these four numbers.

A map $f: K \to \mathbb{R}^d$ of a simplicial complex is an almost embedding if $f(σ) \cap f(τ) = \varnothing$ whenever $σ, τ$ are disjoint simplices of $K$. Fix integers $d,k \geqslant 2$ such that $k+2 \leqslant d \leqslant\frac{3k}2+1$. Assuming that the "preimage of a cycle is a cycle" we prove $\mathbf{NP}$-hardness of the algorithmic problem of recognition of almost embeddability of finite $k$-dimensional complexes in $\mathbb{R}^d$. Assuming that $\mathbf{P} \ne \mathbf{NP}$ (and that the "preimage of a cycle is a cycle") we prove that the embedding obstruction is incomplete for $k$-dimensional complexes in $\mathbb{R}^d$ using configuration spaces. Our proof generalizes the Skopenkov-Tancer proof of this result for $d = \frac{3k}{2} + 1$.