English

Manifold pathologies and Baire-1 functions as cohomotopy groups

Geometric Topology 2024-05-10 v1 Algebraic Topology General Topology Metric Geometry

Abstract

A slight extension of a construction due to Calabi-Rosenlicht (and later Gabard, Baillif and others) produces a typically non-metrizable nn-manifold P\mathbb{P} by gluing two copies of the open upper half-space H++\mathbb{H}_{++} in Rn\mathbb{R}^n along the disjoint union of the spaces of rays within H++\mathbb{H}_{++} originating at points ranging over a subset SRn1S\subseteq \mathbb{R}^{n-1} of the boundary Rn1=H++\mathbb{R}^{n-1}=\partial\overline{\mathbb{H}_{++}}. The fundamental group π1(P)\pi_1(\mathbb{P}) is free on the complement S×S^{\times} of any singleton in SS\ne\emptyset, and the main result below is that the first cohomotopy group π1(P)\pi^1(\mathbb{P}), regarded as a space of functions S×ZS^{\times}\to \mathbb{Z}, is precisely the additive group of integer-valued Baire-1 functions on S×S^{\times}. This occasions a detour on characterizations (perhaps of independent interest) of Baire-1 real-valued functions on a metric space (B,d)(B,d) as various types of non-tangential boundary limits of continuous functions on B×R>0B\times \mathbb{R}_{>0}.

Keywords

Cite

@article{arxiv.2405.05276,
  title  = {Manifold pathologies and Baire-1 functions as cohomotopy groups},
  author = {Alexandru Chirvasitu},
  journal= {arXiv preprint arXiv:2405.05276},
  year   = {2024}
}

Comments

12 pages + references

R2 v1 2026-06-28T16:21:09.440Z