Homotopy invariants of mappings to the circle
- 17 Downloads
Homotopy classes of mappings of a space X to the circle T form an Abelian group B(X) (the Bruschlinsky group). If a: X → T is a continuous mapping, then [a] denotes the homotopy class of a, and I r (a): (X × T) r → \( \mathbb{Z} \) is the indicator function of the rth Cartesian power of the graph of a. Let C be an Abelian group and let f: B(X) → C be a mapping. By definition, f has order not greater than r if the correspondence I r (a) → f([a]) extends to a (partly defined) homomorphism from the Abelian group of Z-valued functions on (X × T) r to C. It is proved that the order of f equals the algebraic degree of f. (A mapping between Abelian groups has degree at most r if all of its finite differences of order r +1 vanish.) Bibliography: 2 titles.
Keywords
Russia Continuous Mapping Finite Difference Abelian Group Simplicial GroupReferences
- 1.S. S. Podkorytov, “Order of a function on the Bruschlinsky group,” Zap. Nauchn. Semin. POMI, 261, 222–22 (1999).Google Scholar
- 2.S. S. Podkorytov, “Order of a function on the Bruschlinsky group of a two-dimensional polyhedron,” Zap. Nauchn. Semin. POMI, 353, 181–190 (2008).MathSciNetGoogle Scholar