About the lifting of smooth functions (Q1822002)

The paper is concerned with the following question: let T be a continuous linear map from E into F (locally convex spaces) and let \(f: \Omega\to F\) be a smooth function on an open subset \(\Omega\) of \({\mathbb{R}}^ n\). Can f be lifted to E, i.e. does there exist a smooth \(g: \Omega\to E\) such that \(f=T\circ f?\) This question is related to the computation of cohomology spaces appearing in the theory of group representations. We prove that the lifting property holds true when E is a strictly webbed space and F is a Frechet space. The assumption on F is rather restrictive. It can be completely avoided by replacing ''smooth'' by ''fast smooth'': \(f: \Omega\to F\) is fast smooth if, for every \(x\in \Omega\), there exist a neighborhood \(\omega\) of x and a Banach disk D of F such that \(f: \Omega \to F_ D\) is smooth.