Locally effective objects and algebraic topology
Algebraic topology consists of associating invariants are of an algebraic nature, describing certain topological properties. For example, since Poincaré, it is known how to associate the group π1(X,x 0 to a topological space X and to one of its points x 0; this group is called the Poincaré group or the first homotopy group of the space X based on x 0. This group is null if and only if the space X is simply connected at x 0; in another case, the group measures the lack of simple connectivity. Many other groups can be associated to a topological space, evaluating certain properties of this space: homology groups,K-theory groups,etc.
KeywordsTopological Space Spectral Sequence Chain Complex Homology Group Finite Type
Unable to display preview. Download preview PDF.
- J. Frank Adams. On the Cobar construction. Proceedings of the National Academy of Sciences of the U.S.A., 1956, vol. 42, pp 409–412.Google Scholar
- H. J. Baues. Geometry of loop spaces and the cobar construction. Memoirs of the American Mathematical Society, 1980, vol. 230.Google Scholar
- Clemens Berger. Une version effective du théorème de Hurewicz. Thèse Institut Fourier, Grenoble, 1991.Google Scholar
- Billera, Kapranov, Sturmfels. Convex geometry and a conjecture of Baues in the theory of loop spaces. Preprint.Google Scholar
- Daniel M. Kan. A combinatorial definition of homotopy groups. Commentarli Mathematici Helvetici, vol. 67, pp 282–312.Google Scholar
- J. Peter May. Simplicial objects in algebraic topology. Van Nostrand, 1967.Google Scholar
- Julio Rubio, Francis Sergeraert. An algorithm for the automatic calculation of the homology groups of iterated loop spaces. To appear.Google Scholar
- Rolf Schön. Effective algebraic topology. Memoirs of the American Mathematical Society, 1991, vol. 451.Google Scholar
- Francis Sergeraert. The computability problem in algebraic topology. To appear in Advances in Mathematics.Google Scholar