Extensions of Riemann surfaces in topological algebras (Q1966334)

Let \(A\) be a unital commutative, complete, semi-simple locally \(m\)-convex algebra such that for every \(a\in A\) the spectrum \(\text{Sp}_A(a)\subseteq \mathbb{C}\) is compact, and such that the map \(a\mapsto \text{Sp}_A(a)\) is upper semicontinuous. The author proves that every strongly analytic manifold modeled on \(A\) is embedded, as an open strongly analytic submanifold, into a principal extension of a Riemann surface. The paper is very technical. Fortunately, every notion appearing above is carefully defined.