Natural symmetric tensor norms (Q655458): Difference between revisions

Given a normed space \(E\) and a positive integer \(n\), \(\bigotimes_{n,s}E\) denotes the subspace of \(E\otimes E\otimes\cdots \otimes E\) (\(n\) times) spanned tensors of the form \(x\otimes x\otimes\cdots\otimes x\) where \(x\) in \(E\). \textit{K. Floret} [``Natural norms on symmetric tensor products of normed spaces'', Note Mat. 17, 153--188 (1997; Zbl 0961.46013)] defined the \(n\)-fold projective \(s\)-tensor norm \(\pi_ {n,s}\) by \(\pi_{n,s}(\theta)=\inf\{\sum_{k=1}^m|\lambda_k|:\theta=\sum_{k=1}^m \lambda_k x_k\otimes\cdots\otimes x_k, \|x_k\|=1\}\) and the \(n\)-fold injective \(s\)-tensor norm, \(\epsilon_{n,s}\) by \(\epsilon_{n,s}\left(\sum_{k=1}^m\lambda_k x_k\otimes\cdots\otimes x_k\right)=\sup\{\left|\sum_{k=1}^m\lambda_k \phi(x_k)^n \right|:\phi\in E',\|\phi\|=1\}\). An \(s\)-tensor norm of order \(n\), \(\alpha\), is an assignment to each Banach space \(E\), of a norm on \(\bigotimes_{n,s}E\) such that \(\epsilon_{n,s}\leq\alpha\leq \pi_{n,s}\) and whenever \(T: E\to F\) is a bounded linear map then \(\otimes_{n,s}T:\bigotimes_{n,s}E\to \bigotimes_{ n,s}F\) given by \(\otimes_{n,s}T(x\otimes\cdots\otimes x)=T(x)\otimes\cdots \otimes T(x)\) and extended by linearity, has norm \(\|T\|^n\). An \(s\)-tensor norm is said to be projective (resp. injective) if it preserves quotients (resp. subspaces). An \(s\)-tensor norm is said to be natural if it can be obtained from the injective \(s\)-tensor norm, \(\epsilon_{n,s}\), through a combination of the operations of duality, injective hull and projective hull. The authors prove that there are four natural \(s\)-tensor norms of order \(2\) while for \(n\geq 3\) there are six natural \(s\)-tensor norms. They also show that when \(A\) is a Banach algebra there are only two natural \(s\)-tensor norms which make \(\bigotimes_{n,s}A\) into a Banach algebra.