Table of Contents
Fetching ...

2-positive contractive projections on noncommutative $\mathrm{L}^p$-spaces

Cédric Arhancet, Yves Raynaud

Abstract

We prove the first theorem on projections on general noncommutative $\mathrm{L}^p$-spaces associated with non-type I von Neumann algebras where $1 \leqslant p < \infty$. This is the first progress on this topic since the seminal work of Arazy and Friedman [Memoirs AMS 1992] where the problem of the description of contractively complemented subspaces of noncommutative $\mathrm{L}^p$-spaces is explicitly raised. We show that the range of a 2-positive contractive projection on an arbitrary noncommutative $\mathrm{L}^p$-space is completely order isometrically isomorphic to some noncommutative $\mathrm{L}^p$-space. This result is sharp and is even new for Schatten spaces $S^p$. Our approach relies on non-tracial Haagerup's noncommutative $\mathrm{L}^p$-spaces in an essential way, even in the case of a projection acting on a Schatten space and is unrelated to the methods of Arazy and Friedman.

2-positive contractive projections on noncommutative $\mathrm{L}^p$-spaces

Abstract

We prove the first theorem on projections on general noncommutative -spaces associated with non-type I von Neumann algebras where . This is the first progress on this topic since the seminal work of Arazy and Friedman [Memoirs AMS 1992] where the problem of the description of contractively complemented subspaces of noncommutative -spaces is explicitly raised. We show that the range of a 2-positive contractive projection on an arbitrary noncommutative -space is completely order isometrically isomorphic to some noncommutative -space. This result is sharp and is even new for Schatten spaces . Our approach relies on non-tracial Haagerup's noncommutative -spaces in an essential way, even in the case of a projection acting on a Schatten space and is unrelated to the methods of Arazy and Friedman.

Paper Structure

This paper contains 21 sections, 25 theorems, 114 equations.

Key Result

Theorem 1.1

Consider a von Neumann algebra $\mathcal{M}$. Suppose that $1 \leqslant p < \infty$. Let $P \colon \mathrm{L}^p(\mathcal{M}) \to \mathrm{L}^p(\mathcal{M})$ be a 2-positive contractive projection.

Theorems & Definitions (28)

  • Theorem 1.1: Main Theorem
  • Lemma 2.1
  • Lemma 2.2
  • Lemma 2.3
  • Lemma 2.4
  • Lemma 3.1
  • Remark 3.2
  • Proposition 4.1
  • Theorem 5.1
  • Proposition 6.1
  • ...and 18 more