Compound invariants and embeddings of Cartesian products (Q4946758)

Recall that if \(A=(a_{ip})_{i,p\in\mathbb{N}}\) is a matrix of real numbers such that \(0\leq a_{ip}\leq a_{i,p+1},\) then the Köthe space \(K(A)\) is the Fréchet space of all sequences \(x=(x_i)\) of scalars such that \(|x|_p:=\sum_i|x_i|a_{ip}<\infty\) for all \(p\in\mathbb{N}\) generated by the semi-norms \(|~|_p.\) For any sequence \(a=(a_k)\) of positive numbers the Köthe spaces \[ E_0(a):= K\left(\exp\left(-{1\over p}a_k\right)\right)\quad \text{and}\quad E_\infty(a):= K\left(\exp\left(p a_k\right)\right) \] are called, respectively, finite and infinite power series spaces. \noindent New compound geometric invariants are constructed in order to characterize complemented embeddings of Cartesian products of power series spaces. As a corollary of the main result the authors get that Bessaga's conjecture holds for the same class of sequence spaces. \textit{C. Bessaga} [Studia Math. 31, 307-318 (1968; Zbl 0182.45301)] conjectured that if \(X\) is a Köthe space and \(E\) is a complemented subspace of \(X\) with absolute basis \((x_i),\) then the sequence \((x_i)\) is quasi-equivalent to a subsequence of the canonical basis of \(X.\)