Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formality of function spaces   Let $X$ be a nilpotent space such that there exists $p\geq 1$ with
$H^p(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>p$. Let $Y$ be a
m-connected space with $m\geq p+1$ and $H^*(Y,\mathbb Q)$ is finitely generated
as algebra. We assume that $X$ is formal and there exists $p$ odd such that
$H^p(X,\mathbb Q) \ne 0$. We prove that if the space $\mathcal F(X,Y)$ of
continuous maps from $X$ to $Y$ is formal, then $Y$ has the rational homotopy
type of a product of Eilenberg Mac Lane spaces. At the opposite, we exhibit an
example of a formal space $\mathcal F(S^2,Y)$ where $Y$ is not rationally
equivalent to a product of Eilenberg Mac Lane spaces.

35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
1
The categories of this paper are: cs
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph