No label defined (Q4949906)

This paper studies holomorphic maps in so-called convergence spaces. Ordinarily, one considers holomorphic maps \(f:U\to V\) between open sets of, say, Banach or Fréchet spaces, or between analytic subsets of such. There are, however, some natural maps which could be considered as holomorphic that do not fall in the above type: an example is as follows. Let \({\mathcal O}({\mathbb C})\) be the Fréchet algebra of all entire functions \({\mathbb C}\to {\mathbb C}\) endowed with the compact-open topology. Let \(U\) be the set of invertible entire functions, i.e., the set of units of \({\mathcal O}({\mathbb C})\), and consider the inversion map \(f:U\to U\), which sends a function \(w(z)\) to the function \(1/w(z)\). This \(f\) ought to qualify as holomorphic, but its domain \(U\) has empty interior in \({\mathcal O}({\mathbb C})\), and neither is it closed in \({\mathcal O}({\mathbb C})\), let alone an analytic subset. To deal with this \(f\) and similar examples, a theory based on so-called categorical differentiation and convergence vector spaces was built. The topic of the paper under review is whether exponential laws hold for holomorphic maps in this general framework, i.e., can one `curry' in this infinite-dimensional setting, say, a two-variable holomorphic function \((x,y)\mapsto f(x,y)\) and regard it as a one-variable holomorphic function \(x\mapsto(y\mapsto f(x,y))\) with values in a function space of holomorphic functions of one variable \(y\)? The answer given is Yes, and is formulated as Theorem 3.6, whose statement being over a full page in length is too long to be reproduced here. The proofs rely on the fundamental theorem of calculus for functions on a segment in \({\mathbb R}\) with values in vector spaces, and the use of categorical language and commutative diagrams. To read the paper thoroughly, one would need to look at its forerunners: cf. the author and \textit{L. D. Nel} [Appl. Categ. Structures 1, 233-245 (1993; Zbl 0793.46024)], \textit{S. Bjon} and \textit{M. Lindström} [Monatsh. Math. 101, 11-26 (1986; Zbl 0579.46031)], and \textit{L. D. Nel} [Monatsh. Math. 110, 145-166 (1990; Zbl 0721.58007)].