English

Rational formality of function spaces

Algebraic Topology 2007-06-21 v1

Abstract

Let XX be a nilpotent space such that there exists N1N\geq 1 with HN(X,Q)0H^N(X,\mathbb Q) \ne 0 and Hn(X,Q)=0H^n(X,\mathbb Q)=0 if n>Nn>N. Let YY be a m-connected space with mN+1m\geq N+1 and H(Y,Q)H^*(Y,\mathbb Q) is finitely generated as algebra. We assume that the odd part of the rational Hurewicz homomorphism: πodd(X)QHodd(X,Q)\pi_{odd}(X)\otimes \mathbb Q\to H_{odd}(X,\mathbb Q) is non-zero. We prove that if the space F(X,Y)\mathcal F(X,Y) of continuous maps from XX to YY is rationally formal, then YY has the rational homotopy type of a finite product of Eilenberg Mac Lane spaces. At the opposite, we exhibit an example of a rationally formal space F(S2,Y)\mathcal F(S^2,Y) where YY is not rationally equivalent to a product of Eilenberg Mac Lane spaces.

Keywords

Cite

@article{arxiv.0706.2977,
  title  = {Rational formality of function spaces},
  author = {Micheline Vigue-Poirrier},
  journal= {arXiv preprint arXiv:0706.2977},
  year   = {2007}
}
R2 v1 2026-06-21T08:40:17.028Z