Analytic cohomology in Fréchet spaces (Q2386762): Difference between revisions

The author studies analytic cohomology in a class of Fréchet spaces. The Fréchet spaces are a class of `generalised sequence spaces' obtained by taking a function \(p\colon {\mathbb R}\times {\mathbb N}\to (0,\infty)\) such that for each integer \(n\) the function \(t\to \log p(t,n)\) is convex. The Fréchet spaces are now defined by considering the set \(X\) of all \(x: {\mathbb N}\to {\mathbb C}\) such that \(\| x\| _\theta:=\sum_{n=1}^\infty p(\theta,n)| x(n)| <\infty\) for all real \(\theta\) endowed with the topology generated by the \(\| \cdot\| _\theta\). The class generated includes the Banach space \(\ell_1\), the space of rapidly decreasing sequences, \(s\), and the Fréchet nuclear space \({\mathcal H}({\mathbb C})\). The author shows that given any pseudoconvex open subset \(\Omega\) of such a Banach space and \(\mathcal F\), a sheaf of holomorphic germs on \(X\) with values in a Fréchet space \(F\), the cohomology groups \(H^q(\Omega,{\mathcal F})\) are all \(0\) for \(q\geq 1\). To obtain these results, the author uses an exhaustion of the domain by a covering of sets which consist of a product of a finite-dimensional set and a fixed infinite-dimensional set. The finite-dimensional theory guarantees that the corresponding cohomology groups are \(0\) for \(q\geq 1\). Central to his proof is a result from [\textit{L. Lempert}, Commun. Anal. Geom. 11, No. 1, 1--15 (2003; Zbl 1085.46030), see the preceding review] which states that given any space \(X\) as described above, any \(0<r<R\) and any real \(\theta\), then any holomorphic function on \(\{x\in X:\| x\| _\theta<R\}\) can be uniformly approximated by entire holomorphic functions on \(\{x\in X:\| x\| _\theta<r\}\).