English

Relative phantom maps

Algebraic Topology 2020-07-20 v3

Abstract

The de Bruijn-Erd\H{o}s theorem states that the chromatic number of an infinite graph equals the maximum of the chromatic numbers of finite subgraphs. Such a determinativeness by finite subobjects appears in the definition of a phantom map which is classical in algebraic topology. The topological method in combinatorics connects these two, which leads us to define the relative version of a phantom map: a map f ⁣:XYf\colon X\to Y is called a relative phantom map to a map φ ⁣:BY\varphi\colon B\to Y if the restriction of ff to any finite subcomplex of XX lifts to BB through φ\varphi, up to homotopy. There are two kinds of maps which are obviously relative phantom maps: (1) the composite of a map XBX\to B with φ\varphi; (2) a usual phantom map XYX\to Y. A relative phantom map of type (1) is called trivial, and a relative phantom map out of a suspension which is a sum of (1) and (2) is called relatively trivial. We study the (relative) triviality of relative phantom maps and in particular, we give rational homology conditions for the (relative) triviality.

Keywords

Cite

@article{arxiv.1710.00475,
  title  = {Relative phantom maps},
  author = {Kouyemon Iriye and Daisuke Kishimoto and Takahiro Matsushita},
  journal= {arXiv preprint arXiv:1710.00475},
  year   = {2020}
}

Comments

19 pages. This is the final version. Corollary 6.14 in the previous version is false, and is deleted