The universal central extension of the holomorphic current algebra (Q1434241): Difference between revisions

Given a commutative, unital associative topological Fréchet algebra~\(A\), there exists a universal differential module, i.e., a Fréchet space \(\Omega^1(A)\), together with a continuous \(A\)-module structure \(A\times \Omega^1(A)\to\Omega^1(A)\) and a (continuous) derivation \(d\colon A\to \Omega^1(A)\) which is universal in the sense that for any Fréchet \(A\)-module~\(M\) and derivation \(D\colon A\to M\), there is a unique continuous homomorphism \(\alpha \colon \Omega^1(A)\to M\) such that \(D=\alpha\circ d\) (see \textit{P. Maier}, in: [Geometry and analysis on finite- and infinite-dimensional Lie groups, Banach center publications Warszawa, Banach Cent. Publ. 55, 61-76 (2002; Zbl 1045.17008)]). The authors consider the case where \(A={\mathcal O}(X)\) is the Fréchet algebra of holomorphic functions on a Stein manifold~\(X\), or more generally on a Riemannian domain~\(X\) over a Stein manifold. The main result (Theorem~3.3) identifies the universal differential module for \({\mathcal O}(X)\); it is the Fréchet \({\mathcal O}(X)\)-module \(\Omega^1(X)\) of holomorphic \(1\)-forms on~\(X\), together with the de Rham differential \(d\colon {\mathcal O}(X)\to \Omega^1(X)\). An application in infinite-dimensional Lie theory is given: For each simple finite-dimensional complex Lie algebra~\({\mathfrak k}\), the Fréchet space \(\Omega^1(X)/d({\mathcal O}(X))\) is shown to be the kernel of the universal central extension \(\hat{{\mathfrak g}}\) of the Fréchet-Lie algebra \({\mathfrak g}:= {\mathcal O}(X,{\mathfrak k})\cong {\mathcal O}(X)\otimes {\mathfrak k}\) (Theorem~3.6). A cocycle describing the universal central extension \(0\to \Omega^1(X)/d({\mathcal O}(X)) \to \hat{{\mathfrak g}}\to {\mathfrak g}\to 0\) is described explicitly. Similar results are obtained for the locally convex topological algebra \({\mathcal O}(K)\) of germs of holomorphic functions around a compact subset \(K\subseteq {\mathbb C}^n\). Remark. The proof of Theorem~3.3 applies as stated only if holomorphic functions separate points on \(X\), but this condition was sucessfully removed in an addendum to the paper. Remark~3.4 only applies to Riemannian domains on which holomorphic functions separate points.