English

Borsuk--Ulam property for graphs II: The $\mathbb{Z}_n$-action

Algebraic Topology 2024-11-05 v1

Abstract

For a finite group HH and connected topological spaces XX and YY such that XX is endowed with a free left HH-action τ\tau, we provide a geometric condition in terms of the existence of a commutative diagram of spaces (arising from the triple (X,Y;τ)(X,Y;\tau)) to decide whether the Borsuk--Ulam property holds for based homotopy classes α[X,Y]0\alpha\in[X,Y]_0, as well as for free homotopy classes α[X,Y]\alpha\in[X,Y]. Here, a homotopy class α\alpha is said to satisfy the Borsuk--Ulam property if, for each of its representatives fαf\in\alpha, there exists an HH-orbit where ff fails to be injective. Our geometric characterization is attained by constructing an HH-equivariant map from XX to the classical configuration space FH(Y)F_{|H|}(Y). We derive an algebraic condition from the geometric characterisation, and show that the former one is in fact equivalent to the latter one when XX and YY are aspherical. We then specialize to the 1-dimensional case, i.e., when XX is an arbitrary connected graph, HH is cyclic, and YY 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