Borsuk--Ulam property for graphs II: The $\mathbb{Z}_n$-action
Abstract
For a finite group and connected topological spaces and such that is endowed with a free left -action , we provide a geometric condition in terms of the existence of a commutative diagram of spaces (arising from the triple ) to decide whether the Borsuk--Ulam property holds for based homotopy classes , as well as for free homotopy classes . Here, a homotopy class is said to satisfy the Borsuk--Ulam property if, for each of its representatives , there exists an -orbit where fails to be injective. Our geometric characterization is attained by constructing an -equivariant map from to the classical configuration space . We derive an algebraic condition from the geometric characterisation, and show that the former one is in fact equivalent to the latter one when and are aspherical. We then specialize to the 1-dimensional case, i.e., when is an arbitrary connected graph, is cyclic, and is either an interval, a circle, or their wedge sum. The graph-braid-group ingredient in our characterizations is then effectively controlled through the use of discrete Morse theory.
Keywords
Cite
@article{arxiv.2411.01054,
title = {Borsuk--Ulam property for graphs II: The $\mathbb{Z}_n$-action},
author = {Daciberg Lima Gonçalves and Jesús González},
journal= {arXiv preprint arXiv:2411.01054},
year = {2024}
}
Comments
22 pages