A. Ya. Helemskii
Abstract:A proto-quantum space is a (general) matricially normed space in the sense of Effros and Ruan presented in a `matrix-free' language. We show that these spaces have a special (projective) tensor product possessing the universal property with respect to completely bounded bilinear operators. We study some general properties of this tensor product (among them a kind of adjoint associativity), and compute it for some tensor factors, notably for $L_1$ spaces. In particular, we obtain what could be called the proto-quantum version of the Grothendieck theorem about classical projective tensor products by $L_1$ spaces. At the end, we compare the new tensor product with the known projective tensor product of operator spaces, and show that the standard construction of the latter is not fit for general proto-quantum spaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the construction and property study of the special tensor product of **proto - quantum spaces**. Specifically, the author A. Ya. Helemskii explored whether these proto - quantum spaces have a special (projective) tensor product, which has a universal property with respect to the class of completely bounded bilinear operators. The following is an overview of the main content of the paper:
### Research Background
- **Matricially Normed Spaces** is an important concept introduced by Effros and Ruan, and this type of space is still of wide interest without assuming Ruan's second axiom.
- **Proto - Quantum Spaces** refer to general matricially normed spaces represented in a "non - coordinate" or "matrix - free" language.
### Main Contributions
1. **Construction of Tensor Product**:
- The author defined a new tensor product, called **projective tensor product**, denoted as \( \otimes_{\text{pop}} \).
- This tensor product has a universal property for proto - quantum spaces, that is, it has a universal property with respect to the class of completely bounded bilinear operators.
2. **Property Study**:
- The author studied some basic properties of this tensor product, including an adjoint associativity.
- Calculated the tensor product under certain tensor factors, especially for the case of \( L^1 \) spaces.
3. **Comparison and Application**:
- Compared the newly - defined tensor product with the known projective tensor product of operator spaces, and pointed out that the standard construction of the latter is not suitable for general proto - quantum spaces.
- Proved that for all proto - quantum spaces \( E \) and \( F \), we have:
\[
L^1(X, E) \hat{\otimes}_{\text{pop}} L^1(Y, F) \simeq L^1(X \times Y, E \hat{\otimes}_{\text{pop}} F)
\]
- where \( \simeq \) represents a complete isometric isomorphism.
4. **Generalization of Grothendieck's Theorem**:
- For \( p \)-convex proto - quantum spaces \( E \) (especially \( L^p \) spaces) and the complex plane (regarded as an \( L^p \) space), we have:
\[
L^1(X, \mathbb{C}) \hat{\otimes}_{\text{pop}} E \simeq L^1(X, E)
\]
- This result can be regarded as the version of Grothendieck's theorem on the tensor product of \( L^1 \) spaces in proto - quantum spaces.
### Conclusion
Through the above research, the author showed that the projective tensor product of proto - quantum spaces is not only of theoretical importance but also has wide - ranging significance in practical applications. In particular, this tensor product provides new tools and methods for dealing with completely bounded bilinear operators.