The polarization constant of finite dimensional complex spaces is one

Abstract

AbstractThe 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.