Neighboring mapping points theorem

DOI10.2140/AGT.2023.23.3043MaRDI QIDQ6188360zbMATH OpenOpenAlexFDO

Authors A. V. Malyutin, Oleg R. Musin

Publication date 11 January 2024

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Borsuk-Ulam theoremHopf theoremKKM lemmatopological Radon theorem

Mathematics Subject Classification ID

Fixed points and coincidences in algebraic topology (55M20) Degree, winding number (55M25) Homotopy extension properties, cofibrations in algebraic topology (55P05)

Abstract: We introduce and study a new family of extensions for the Borsuk-Ulam and topological Radon type theorems. The defining idea for this new family is to replace requirements of the form `a subset that is large in some sense goes to a singleton' with requirements of the milder form `a subset that is large in some sense goes to a subset that is small in some sense'. This approach covers the case of mappings m-sphere to n-space with m<n and extends to wider classes of spaces.

Review text

The authors introduce and study a new family of theorems extending the class of Borsuk-Ulam and topological Radon type theorem. The defining idea for this new family is to replace requirements of the form ``the image of a subset that is large in some sense is a singleton with requirements of the milder form ``the image of a subset that is large in some sense is a subset that is small in some sense. This approach covers the case of mapping \(S^m\rightarrow \mathbb{R}^n\) with \(m<n\) and extends to wider classes of spaces. The main theorems are as follows: \textbf{Theorem 4}: Let \(f\) be a continuous map of the boundary \(\partial\Delta^n\) of the n-dimensional complex \(\Delta^n\) to a contractible metric space \(M\). Then a set of spherical \(f\)-neighbors intersects all facets of \(\Delta^n\). \textbf{Theorem 6}: Let \(C\) be a KKM cover of the \(n\)-sphere \(S^n\), and let \(f:\mathbb{S}^n\rightarrow M\) be a continuous map to a contractible metric space \(M\).Then a set of sphertical \(f\)-neighbors intersects all elements of \(C\). \textbf{Theorem 19}: Let \(X\) be a compact normal space, Let \(M\) be a contractible metric space and let \(f:X\rightarrow M\) be a continuous map. Then, for any non-nullhomotopic cover \(C\) of \(X\), a set of spherical \(f\)-neighbors intersects at least \(rk(C)+1\) elements of \(C\). In particular, for any principal cover, a set of sphertical \(f\)-neighbors intersects all elements of the cover. \textbf{Theorem 36}: Let \(A\) be a compact normal space, Let \(C\) be a closed cover of A, and let \([C]\) be the corresponding homotopy class in \([A,N(C)]\), where \(N(C)\) is the nerve. Let \(Z\) be a normal space containing \(A\) as a subspace. If the triple \((Z,A,[C])\) is Eilenberg-Pontryagin, with \(EP\) rank \(rk(Z,A,[C])>0\), then for any metric space \(M\) and any continuous map \(f:A\rightarrow M\) that extends to a continuous map \(Z\rightarrow M\), a set of spherical \(f\)-neighbors intersects at least \(rk(Z,A,[c])+1\) elements of \(C\). The authors also give a open problem: \textbf{Question}: which of the other versions of topological Helly theorem give sufficient conditions for principal and non-nullhomotopic covers?

Recommendations

• An elementary deduction of the topological Radon theorem from Borsuk-Ulam
• Borsuk-Ulam type theorems. I
• A topological central point theorem
• A generalization of antipodal point theorems for set-valued mappings
• scientific article; zbMATH DE number 3714566

Cites work

• A new topological Helly theorem and some transversal results
• A survey on the square peg problem
• A topological central point theorem
• Cobordism classes of maps and covers for spheres
• Filling Riemannian manifolds
• Geometric and algebraic combinatorics. Abstracts from the workshop held February 1--7, 2015
• Homotopical effects of dilatation
• Homotopy invariants of covers and KKM-type lemmas
• scientific article; zbMATH DE number 3915223 (Why is no real title available?)
• scientific article; zbMATH DE number 1059780 (Why is no real title available?)
• scientific article; zbMATH DE number 1979695 (Why is no real title available?)
• scientific article; zbMATH DE number 3214278 (Why is no real title available?)
• scientific article; zbMATH DE number 3378273 (Why is no real title available?)
• scientific article; zbMATH DE number 3062695 (Why is no real title available?)
• KKM type theorems with boundary conditions
• Metric thickenings, Borsuk-Ulam theorems, and orbitopes
• On generalizations of Borsuk's homotopy extension theorem
• On the Circumradius of a Bounded Set
• On the distortion of knots on embedded surfaces
• On the facial structure of convex polytopes
• On the Question of Genericity of Hyperbolic Knots
• Spheres and symmetry: Borsuk's antipodal theorem
• The Borsuk homotopy extension theorem without the binormality condition
• The distortion of a knotted curve
• The Jung theorem for spherical and hyperbolic spaces
• The width and diameter of a simplex
• Topological methods in combinatorial geometry
• Tverberg's Theorem at 50: Extensions and Counterexamples
• Tverberg’s theorem is 50 years old: A survey
• Using the Borsuk-Ulam theorem. Lectures on topological methods in combinatorics and geometry. Written in cooperation with Anders Björner and Günter M. Ziegler
• When Soap Bubbles Collide

Cited in

(2)

• Hopf-type theorems for f-neighbors
• The connectivity of Vietoris-Rips complexes of spheres

This page was built for publication: Neighboring mapping points theorem

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