We characterise the embeddability of simply connected locally 3-connected 2-dimensional simplicial complexes in 3-space in a way analogous to Kuratowski's characterisation of graph planarity, by excluded minors. This answers questions of Lovász, Pardon and Wagner.
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Trend · papers per month
This paper is the last paper in a series of five papers. Building on earlier papers in this series, we prove an analogue of Kuratowski's characterisation of graph planarity for three dimensions. More precisely, a simply connected 2-dimensional simplicial complex embeds in 3-space if and only if it has no obstruction fr…
Study gives bounds on filling radius for Riemannian manifolds.
This paper is purely expositional. The statement of the Kuratowski graph planarity criterion is simple and well-known. However, its classical proof is not easy. In this paper we present the Makarychev proof (with further simplifications by Prasolov, Telishev, Zaslavski and the author) which is possibly the simplest. In…
Classifies critical complexes for embedding in 3-sphere.
The study characterizes embeddable 2-complexes in 3-space.
This paper consists of two parts. In the first one we study the behaviour of medial axes (skeletons) of closed sets in a connected complete Riemannian manifold under deformations. The second one is devoted to a similar study of conflict sets. We apply a new approach to the deformation process. Instead of …
The abstract discusses convergence properties of Lipschitz functions and sets defined by equations.
Researchers found all embeddings of Kuratowski graphs on a double torus.
We determine the set of Busemann points of an arbitrary finite-dimensional normed space. These are the points of the horofunction boundary that are the limits of "almost-geodesics". We prove that all points in the horofunction boundary are Busemann points if and only if the set of extreme sets of the dual unit ball is …
We introduce dual matroids of 2-dimensional simplicial complexes. Under certain necessary conditions, duals matroids are used to characterise embeddability in 3-space in a way analogous to Whitney's planarity criterion. We further use dual matroids to extend a 3-dimensional analogue of Kuratowski's theorem to the class…
We show that the Kuratowski imbedding of a Riemannian manifold in L^\infty, exploited in Gromov's proof of the systolic inequality for essential manifolds, admits an approximation by a (1+C)-bi-Lipschitz (onto its image), finite-dimensional imbedding for every C>0. Our key tool is the first variation formula thought of…
With any (open or closed) cover of a space T we associate certain homotopy classes of maps T into n-spheres. These homotopy invariants can be considered as obstructions for extensions of covers of a subspace A to a space X. We using these obstructions for generalizations of the classic KKM (Knaster-Kuratowski-Mazurkiew…
For any collection of graphs we find the minimal dimension d such that the product of these graphs is embeddable into the d-dimensional Euclidean space. In particular, we prove that the n-th powers of the Kuratowsky graphs are not embeddable into the 2n-dimensional Euclidean space. This is a solution of a problem of Me…
A topology on a set is the same as a projection (i.e. an idempotent linear operator) satisfying for all . That's a good way to summarize Kuratowski's closure operator. Basic geometry on a set is a dot product . Its equivalent form is an or…
Criteria for embedding simplicial complexes into manifolds, reducing a topological problem to algebra.
We offer the following explanation of the statement of the Kuratowski graph planarity criterion and of 6/7 of the statement of the Robertson-Seymour-Thomas intrinsic linking criterion. Let us call a cell complex 'dichotomial' if to every cell there corresponds a unique cell with the complementary set of vertices. Then …
NOs can learn any finite collection of classes in functional data.