Abstract:We study several classes of Banach bimodules over a II$_1$ factor $M$, endowed with topologies that make them "smooth" with respect to $L^p$-norms implemented by the trace on $M$. Letting $M\subset \B= \B(L^2M)$, and $2\leq p < \infty$, we consider: $(1)$ the space $\B(p)$, obtained as the completion of $\B$ in the norm \[ \vertiii{T}_p := \sup \{|\varphi(T)| \mid \varphi \in \B^*, \sup\{|\varphi(xYz)| \mid Y\in (\B)_1, x, z \in M\cap (L^pM)_1\} \leq 1 \}; \] $(2)$ the subspace $\K(p)\subset \B(p)$, obtained as the closure in $\B(p)$ of the space of compact operators $\K(L^2M)$; $(3)$ the space $\K_p\subset \B$ of operators that are $\vertiii{ \, \cdot \, }_p$-limits of bounded sequences of operators in $\K(L^2M)$. We prove that $\K_p$ are all equal to the {\it $\tau$-rank-completion} of $\K(L^2M)$ in $\B$, defined by \begin{align} \text{\rm q}\K_M:= \{K\in \B(L^2M) \mid & \exists K_n \in \K(L^2M), p_n\in \mathcal P(M), \nonumber \\ & \lim_n \|p_n(K-K_n)p_n\|= 0, \lim_n\tau(1-p_n)=0\}. \nonumber \end{align} We show that any separable II$_1$ factor $M$ admits non-inner derivations into $\text{\rm q}\K_M$, but that any derivation $\delta:M \rightarrow \text{\rm q}\K_M$ is a pointwise limit in $\tau$-rank-metric of inner derivations.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the properties of the 1 - cohomology space on the II_1 factor algebra M and its special bimodule B. Specifically, the authors studied several classes of Banach bimodules, which become "smooth" under certain topologies, especially with respect to the Lp - norm realized by the trace τ. The core contributions of the paper are as follows:
1. **Definition and Construction**: Defined several important spaces, such as B(p), K(p) and Kp. These spaces are all constructed through the completion process under specific norms, where the norms involved are based on the combination of the Lp - norm and the trace τ. In particular, K(p) is the closure of the compact operator space K(L2M) in B(p), and Kp is the intersection of K(p) and B(L2M).
2. **Equivalence Proof**: Proved that for all p ≥ 2, all Kp spaces are actually the same, and they are all equal to the closure qKM of K(L2M) under the so - called τ - rank metric. This result reveals that the spaces for different p values actually have the same structure, which is an important theoretical discovery.
3. **Existence of Non - Inner Derivations**: Proved that any separable II_1 factor M has non - inner derivations into qKM. This means that in some cases, the 1 - cohomology space H1(M, qKM) is non - zero, which provides a new perspective for understanding the structure and properties of II_1 factors.
4. **Continuity and Convergence of Derivations**: Further explored the properties of derivations from M to qKM, especially their continuity and convergence under a certain topology. The authors proved that any such derivation can be represented as the limit of a sequence of finite - rank operators, which provides a specific framework for understanding the properties of these derivations.
### Formula Display
- **Lp - norm**:
\[
\|y\|_p=\tau(|y|^p)^{1 / p}, \quad y \in M
\]
- **B(p) - norm**:
\[
\|T\|_p=\sup \{|\phi(T)| \mid \phi \in (B^*(p))_1\}
\]
- **τ - rank metric**:
\[
q_M(S, T)=\inf \{\tau(1 - p)+\|p(T - S)p\| \mid p \in P(M)\}
\]
- **Existence of Non - Inner Derivations**:
\[
\text{For any separable II}_1\text{ factor }M, \exists \delta: M \to qKM \text{ is non - inner}
\]
### Conclusion
By introducing new classes of "smooth" bimodules and related 1 - cohomology spaces, the paper provides new tools for understanding the structure of II_1 factors. These results are not only of great theoretical significance, but also provide a solid foundation for subsequent research.