The polarization constant of a Banach space X is defined as

\[{\text{c}}(X){\text{ }}{\text{ }}\mathop {\lim }\limits_{k \to \infty } {\text{ }}\sup {\text{c}}{(k,X)^{\frac{1}{k}}},\]

where \[{\text{c}}(k,X)\] stands for the best constant \[C > 0\] such that \[\mathop P\limits^ \vee \leqslant CP\] for every k-homogeneous polynomial \[P \in \mathcal{P}{(^k}X)\]. We show that if X is a finite dimensional complex space then \[{\text{c}}(X) = 1\]. We derive some consequences of this fact regarding the convergence of analytic functions on such spaces.

The result is no longer true in the real setting. Here we relate this constant with the so-called Bochnak’s complexification procedure.

We also study some other properties connected with polarization. Namely, we provide necessary conditions related to the geometry of X for \[c(2,X) = 1\] to hold. Additionally we link polarization constants with certain estimates of the nuclear norm of the product of polynomials.

We describe new construction principles for infinite-dimensional Lie groups. In particular, given any measure space $\left( X,\,\sum ,\,\mu \right)$ and (possibly infinite-dimensional) Lie group $G$, we construct a Lie group ${{L}^{\infty }}\left( X,G \right)$, which is a Fréchet-Lie group if $G$ is so. We also show that the weak direct product $\prod{_{i\in I}^{*}{{G}_{i}}}$ of an arbitrary family ${{\left( {{G}_{i}} \right)}_{i\in I}}$ of Lie groups can be made a Lie group, modelled on the locally convex direct sum ${{\oplus }_{i\in I}}L\left( {{G}_{i}} \right)$ .