Embeddings of k-complexes into 2k-manifolds

DOI10.1007/S00454-023-00595-WarXiv1904.02404OpenAlexW2931164736MaRDI QIDQ6204767FDOQ6204767

Authors: Pavel Paták, Martin Tancer 

Publication date: 2 April 2024

Published in: Discrete \& Computational Geometry (Search for Journal in Brave)

Abstract: We improve the bound on K"uhnel's problem to determine the smallest $n$ such that the $k$-skeleton of an $n$-simplex $Delt{a}_n^{(k)}$ does not embed into a compact PL $2k$-manifold $M$ by showing that if $Delt{a}_n^{(k)}$ embeds into $M$, then $$. As a consequence we obtain improved Radon and Helly type results for set systems in such manifolds. Our main tool is a new description of an obstruction for embeddability of a $k$-complex $K$ into a compact PL $2k$-manifold $M$ via the intersection form on $M$. In our approach we need that for every map $fcolonKoM$ the restriction to the $(k-1)$-skeleton of $K$ is nullhomotopic. In particular, this condition is satisfied in interesting cases if $K$ is $(k-1)$-connected, for example a $k$-skeleton of $n$-simplex, or if $M$ is $(k-1)$-connected. In addition, if $M$ is $(k-1)$-connected and $kgeq3$, the obstruction is complete, meaning that a $k$-complex $K$ embeds into $M$ if and only if the obstruction vanishes. For trivial intersection forms, our obstruction coincides with the standard van Kampen obstruction. However, if the form is non-trivial, the obstruction is not linear but rather 'quadratic' in a sense that it vanishes if and only if certain system of quadratic diophantine equations is solvable. This may potentially be useful in attacking algorithmic decidability of embeddability of $k$-complexes into PL $2k$-manifolds.

Full work available at URL: https://arxiv.org/abs/1904.02404

Recommendations

• scientific article
• scientific article; zbMATH DE number 3080938
• scientific article; zbMATH DE number 3407754
• Eine Bemerkung zum Satz von Vitali über Konvergenz von Funktionenfolgen: Dem stets hilftsbereiten Herrn Kollegen H. L. Schmid, gewidmet
• scientific article; zbMATH DE number 1839786
• Holomorphic mappings of complex manifolds
• scientific article; zbMATH DE number 5593209
• On \(\varepsilon\)-representations
• scientific article

zbMATH Keywords

manifoldembeddingHelly type theoremvan Kampen obstructionKühnel problem

Mathematics Subject Classification ID

Combinatorial aspects of simplicial complexes (05E45) Embeddings and immersions in topological manifolds (57N35) Helly-type theorems and geometric transversal theory (52A35) Embeddings and immersions in PL-topology (57Q35) Obstruction theory in algebraic topology (55S35)

Cites Work

• Helly-type theorems for line transversals to disjoint unit balls
• Graphs on surfaces
• The self-intersections of a smooth \(n\)-manifold in \(2n\)-space
• Title not available (Why is that?)
• SOLUTION OF THE HEAWOOD MAP-COLORING PROBLEM
• Partition numbers for trees and ordered sets
• Towards an implementation of the 3D visibility skeleton
• Title not available (Why is that?)
• Title not available (Why is that?)
• Transversal numbers for hypergraphs arising in geometry
• Title not available (Why is that?)
• Obstructions to the imbedding of a complex in a euclidean space. I: The first obstruction
• Non-additivity of strong homology
• Symmetric and Alternate Matrices in An Arbitrary Field, I
• A Linear Time Algorithm for Embedding Graphs in an Arbitrary Surface
• The 9-vertex complex projective plane
• Title not available (Why is that?)
• Title not available (Why is that?)
• Toward a theory of crossing numbers
• Hardness of embedding simplicial complexes in \(\mathbb R^d\)
• The van Kampen obstruction and its relatives
• Van Kampen's embedding obstruction is incomplete for 2-complexes in \(\mathbb{R}^ 4\)
• Über wesentlich unplättbare Kurven im dreidimensionalen Raume
• Embedding and knotting of manifolds in Euclidean spaces
• Komplexe in euklidischen Räumen
• An obstruction to embedding a simplicial \(n\)-complex into a 2\(n\)-manifold
• On the van Kampen-Flores theorem
• Bounding Helly Numbers via Betti Numbers
• Strong Hanani–Tutte on the Projective Plane
• Clustered planarity testing revisited
• A Helly-type theorem for unions of convex sets
• Intersections and embeddings of polyhedra
• On generalized Heawood inequalities for manifolds: a van Kampen-Flores-type nonembeddability result
• A 15-vertex triangulation of the quaternionic projective plane
• Radon numbers and the fractional Helly theorem
• Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4
• Simple realizability of complete abstract topological graphs simplified
• The $\mathbb{Z}_2$-genus of Kuratowski minors
• Title not available (Why is that?)

This page was built for publication: Embeddings of \(k\)-complexes into \(2k\)-manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6204767)