The polarization constant of finite dimensional complex spaces is one

TL;DR

This paper proves that the polarization constant of finite-dimensional complex Banach spaces equals one, impacting the understanding of analytic functions and polarization properties in complex spaces, with contrasting results in real spaces.

Contribution

It establishes that the polarization constant is one for finite-dimensional complex spaces and explores related geometric and polynomial norm properties.

Findings

Polarization constant equals one for finite-dimensional complex spaces.

Convergence properties of analytic functions are influenced by this polarization constant.

Relations between polarization constants and polynomial nuclear norms are identified.

Abstract

The polarization constant of a Banach space $X$ is defined as $$\mathbf c(X):= \limsup\limits_{k\rightarrow \infty} \mathbf c(k, X)^\frac{1}{k},$$ where $\mathbf c(k, X)$ stands for the best constant $C>0$ such that $ \Vert \overset{\vee}{P} \Vert \leq C \Vert P \Vert$ for every $k$-homogeneous polynomial $P \in \mathcal P(^kX)$. We show that if $X$ is a finite dimensional complex space then $\mathbf 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 with the geometry of $X$ for $\mathbf c(2,X)=1$ to hold. Additionally we link polarization's constants with certain estimates of the nuclear norm of the product of polynomials.