Holomorphic mappings on \(C^{(I)}\), \(I\) uncountable (Q1306274)

The author considers \(\mathbb{C}\)-valued polynomials and holomorphic functions on the direct sum \(\mathbb{C}^{(I)}\), where \(I\) is uncountable. In addition to the standard locally convex direct sum topology \(\tau_{lc}\), the space \(\mathbb{C}^{(I)}\) is also considered with the finer box topology \(\tau_b\), generated by all sets of the form \(\bigoplus_{i\in I}U_i\), where each \(U_i\subset \mathbb{C}\) is open. As the author notes, \(\mathbb{C}^{(I)}\) is of special interest since it is the only known example of a complete barrelled space which is not polynomially Mackey. By modifying several arguments in [\textit{H. Jarchow}, ``Locally convex spaces'', Stuttgart (1981; Zbl 0466.46001)], the author proves the following: Let \(\tau\) be a topology between \(\tau_b\) and \(\tau_{lc}\) and let \(n\in\mathbb{N}\). Then \[ ({\mathcal P}(^n(\mathbb{C}^{(I)}, \tau)), \tau_0)= ({\mathcal P}(^n(\mathbb{C}^{(I)}, \tau)), \tau_\omega) \] if and only if \(I\) has cardinality less than the first measurable cardinal. He also shows an analogous result for holomorphic functions: For \(\tau\) as above, \(({\mathcal H}(\mathbb{C}^{(I)}, \tau),\tau_0)= ({\mathcal H}(\mathbb{C}^{(I)}, \tau),\tau_\delta)\) if and only if \(I\) has cardinality less than the first measurable cardinal. [For unexplained notation and background, see \textit{S. Dineen}, ``Complex analysis on infinite-dimensional spaces'' (1999)].