On the rational cohomology of mapping spaces and their realization problem
2
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Let $f:X\rightarrow Y$ be a map between simply connected CW-complexes of finite type with $X$ finite. In this paper, we prove that the rational cohomology of mapping spaces map$(X,Y;f)$ contains a polynomial algebra over a generator of degree $N$, where $ N= $ max$ \lbrace i, \pi_{i }(Y)\otimes \mathbb{Q}\neq 0 \rbrace$ is an even number. Moreover, we are interested in determining the rational homotopy type of map$\left( \mathbb{S}^{n}, \mathbb{C} P^{m};f\right) $ and we deduce its rational cohomology as a consequence. The paper ends with a brief discussion about the realization problem of mapping spaces.
Abstract
Let $f:X\rightarrow Y$ be a map between simply connected CW-complexes of finite type with $X$ finite. In this paper, we prove that the rational cohomology of mapping spaces map$(X,Y;f)$ contains a polynomial algebra over a generator of degree $N$, where $ N= $ max$ \lbrace i, \pi_{i }(Y)\otimes \mathbb{Q}\neq 0 \rbrace$ is an even number. Moreover, we are interested in determining the rational homotopy type of map$\left( \mathbb{S}^{n}, \mathbb{C} P^{m};f\right) $ and we deduce its rational cohomology as a consequence. The paper ends with a brief discussion about the realization problem of mapping spaces.
참고문헌 (18)
- M. Amann, "On fibrations with formal elliptic fibers", Adv. Math, 231(3-4), pp.2048~2068 (2012)[DOI]
- U. Buijs, "L∞ rational homotopy of mapping spaces", Rev. Mat. Complut, 26(2), pp.573~588 (2013)[DOI]
- U. Buijs, "The rational homotopy Lie algebra of function spaces", Comment. Math. Helv, 83(4), pp.723~739 (2008)[DOI]
- U. Buijs, "Rational Homotopy type of free and pointed mapping spaces between spheres", Proceedings of Ukrainian Mathematical Society, 6, pp.130~139 (2013)
- O. Cornea, "Lusternik-Schnirelmann category, Mathematical Surveys and Monographs, 103" (2003), Amer. Math. Soc
- A. Dold, "Principal quasi-fibrations and fibre homotopy equivalence of bundles", Illinois J. Math, 3, pp.285~305 (1959)[DOI]
- Y. F´elix, "Rational homotopy theory, Graduate Texts in Mathematics, 205" (2001), Springer
- A. Haefliger, "Rational homotopy of the space of sections of a nilpotent bundle", Trans. Amer. Math. Soc, 273(2), pp.609~620 (1982)[DOI]
- M. R. Hilali, "Spaces realized and non-realized as Dold-Lashof classifying spaces", J. Geom. Symmetry Phys, 50, pp.29~56 (2018)[DOI]
- P. J. Hilton, "Localization of nilpotent groups and spaces, North-Holland Mathematics Studies, No. 15, Notas de Matem´atica, No. 55" (1975), North-Holland
- G. Lupton, "Rationalized evaluation subgroups of a map and the rationalized G-sequence", arXiv. math, 2003
- G. Lupton, "Rationalized evaluation subgroups of a map. I. Sullivan models, derivations and G-sequences", J. Pure Appl. Algebra, 209(1), pp.159~171 (2007)[DOI]
- G. Lupton, "Criteria for components of a function space to be homotopy equivalent", Math. Proc. Cambridge Philos. Soc, 145(1), pp.95~106 (2008)[DOI]
- G. Lupton, "The universal fibration with fibre X in rational homotopy theory", J. Homotopy Relat. Struct, 15(2), pp.351~368 (2020)[DOI]
- J. M. Møller, "Rational homotopy of spaces of maps into spheres and complex projective spaces", Trans. Amer. Math. Soc, 292(2), pp.721~732 (1985)[DOI]
- S. B. Smith, "The homotopy theory of function spaces: a survey", arXiv.1009.0804, ~
- J. D. Stasheff, "A classification theorem for fibre spaces", Topology, 2, pp.239~246 (1963)[DOI]
- D. P. Sullivan, "Infinitesimal computations in topology", Inst. Hautes ´Etudes Sci. Publ. Math., (47), pp.269~331 (1977)