A decomposition lemma for elementary tensors (Q2481709)

The author studies the question of whether an exact sequence \(0\rightarrow F \rightarrow G@>q>>H\rightarrow 0\) remains exact after tensorizing with a \((DF)\)-space \(E\). The crucial point is a decomposition lemma for elementary tensors needing no extra assumptions like nuclearity or hilbertizability. For the above problem, this leads to the following result: if \(0\rightarrow F \rightarrow G@>q>>H\rightarrow 0\) is an exact sequence of Fréchet spaces where \(E\) is nuclear and satisfies D. Vogt's condition \((\Omega)\), then \[ 0\rightarrow E\widetilde{\bigotimes}_\pi F \rightarrow E\widetilde{\bigotimes}_\pi G@>{\text{id}\otimes q}>> E\widetilde{\bigotimes}_\pi H\rightarrow 0 \] is exact for any weakly acyclic \((LB)\)-space satisfying D. Vogt's condition \((A)\). This directly applies to the vector valued solvability of linear partial differential equations.