Some remarks on the cohomology of Krichever-Novikov algebras (Q1283211)

\textit{I. M. Krichever} and \textit{S. P. Novikov} studied the algebra of meromorphic vector fields on a compact Riemann surface \(\Sigma\) (of genus \(g\)) which are holomorphic outside two fixed points as a generalization of the Virasoro algebra to higher genus [Funkts. Anal. Prilozh. 21, No. 2, 46--63 (1987; Zbl 0634.17010); ibid. 21, No. 4, 47--61 (1987; Zbl 0659.17012)]. This was extended by the reviewer to a finite number of possible position of poles [Lett. Math. Phys. 20, 33--46 (1990; Zbl 0703.30039)]. To construct and classify central extensions the knowledge of the Lie algebra cohomology of these algebras is of importance. The article gives results on their cohomology. Let \(\Sigma_r\) be the open Riemann surface obtained from \(\Sigma\) by removing \(r\) points. Denote by \(\text{Hol}(\Sigma_r)\) the Lie algebra of holomorphic vector fields on \(\Sigma_r\) with its standard Fréchet topology. The algebra \(\text{Mer}(\Sigma_r)\) of meromorphic vector fields on \(\Sigma\) which are holomorphic on \(\Sigma_r\) is a subalgebra. It is shown in the article, that it is a dense subalgebra (with respect to the Fréchet topology). Furthermore it is shown that on the level of continuous cohomology one has an isomorphism \[ H^p_{\text{cont}}(\text{Hol}(\Sigma_r))\cong H^p_{\text{cont}} (\text{Mer}(\Sigma_r)). \] The former cohomology is known by a result of \textit{N. Kawazumi} [Ann. Inst. Fourier 43, 655--712 (1993; Zbl 0782.57019)]. It can be given as a graded exterior algebra with even generators of degree 2 corresponding to the generators of \(H_1(\Sigma_r)\) and one odd generator of degree 3. In particular, the spaces of the continuous cohomology are all finite-dimensional and the second cohomology for the case of two points is \((2g+1)\)-dimensional. This shows the conjectures of Feigin and Novikov in the context of continuous cohomology. From the text of the erratum: There is a mistake in the statement of the main lemma. It should read: Lemma 1. Let \(\Sigma_r=\Sigma\setminus\{p_1,\dots,p_r\}\) be an open Riemann surface of finite type. Suppose that \(\Sigma_r\) is trivializable, i.e. that the algebraic tangent bundle of the corresponding affine curve is trivial. Then \(\overline {\text{Mer }(\Sigma_r)}=\text{Hol }(\Sigma_r)\), in other words, in the topology of uniform convergence on the compact sets \(K_n\), a function with essential singularities at the points \(p_k\) may be approximated by functions with poles at the points.