\documentclass[leqno]{article} \usepackage[frenchb,english]{babel} %\usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage{amsmath} \usepackage{amssymb} \usepackage{amsfonts} \usepackage{enumerate} \usepackage{vmargin} \usepackage[all]{xy} \usepackage{mathrsfs} \usepackage{mathtools} \usepackage{lmodern} \usepackage{slashed} \usepackage[colorlinks=true,linkcolor=blue,pagebackref=true]{hyperref}% %\usepackage{comment} \setmarginsrb{3cm}{3cm}{3.5cm}{3cm}{0cm}{0cm}{1.5cm}{3cm} %\setmarginsrb{1} {2} {3} {4} {5} {6} {7} {8} %1 est la marge gauche %2 est la marge en haut %3 est la marge droite %4 est la marge en bas %5 fixe la hauteur de l'entête %6 fixe la distance entre l'entête et le texte %7 fixe la hauteur du pied de page %8 fixe la distance entre le texte et le pied de page %\setmarginsrb{3cm}{3cm}{2.5cm}{2cm}{0cm}{0cm}{1.5cm}{4cm} \usepackage{comment} \usepackage{accents} %\begin{document} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %doublehat \newlength{\dhatheight} \newcommand{\doublehat}[1]{% \settoheight{\dhatheight}{\ensuremath{\hat{#1}}}% \addtolength{\dhatheight}{-0.2ex}% \hat{\vphantom{\rule{1pt}{\dhatheight}}% \smash{\hat{#1}}}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \footskip1.3cm \newcommand{\A}{\ensuremath{\mathcal{A}}} \newcommand{\Cbb}{\ensuremath{\mathbb{C}}} \newcommand{\C}{\mathrm{C}} %\newcommand{\D}{\ensuremath{\mathcal{D}}} \newcommand{\D}{\mathrm{D}} \newcommand{\E}{\ensuremath{\mathbb{E}}} \newcommand{\F}{\mathcal{F}} \newcommand{\N}{\ensuremath{\mathbb{N}}} \newcommand{\B}{\mathrm{B}} %Bounded operators \let\H\relax %\H ne fait plus rien ! \newcommand{\H}{\mathrm{H}} \newcommand{\I}{\mathrm{I}} %matrice identit\'e \newcommand{\II}{\mathrm{II}} %type II \newcommand{\K}{\ensuremath{\mathbb{K}}} \newcommand{\KP}{\ensuremath{\mathbb{KP}}} \let\L\relax %\L ne fait plus rien ! \newcommand{\L}{\mathrm{L}} \let\O\relax %\O ne fait plus rien ! \newcommand{\J}{\mathcal{J}} %involution \newcommand{\O}{\ensuremath{\mathbb{O}}} \let\P\relax %\P ne fait plus rien ! %\newcommand{\P}{\mathcal{P}} %algebre des poly trigo \newcommand{\P}{\mathsf{P}} %Peirce \newcommand{\Q}{\mathrm{Q}} \newcommand{\IV}{\mathrm{IV}} %type IV \newcommand{\V}{\mathrm{V}} %type V \newcommand{\VI}{\mathrm{VI}} %type VI \newcommand{\SG}{\mathrm{SG}} %Sierpinski gasket \newcommand{\BMO}{\mathrm{BMO}} %Bounded mean oscillation \newcommand{\Mult}{\mathrm{Mult}} \newcommand{\scr}{\mathscr} \newcommand{\SU}{\mathrm{SU}} \newcommand{\Tron}{\mathcal{T}} \newcommand{\SO}{\mathrm{SO}} \newcommand{\Aut}{\mathrm{Aut}} %automorphism \newcommand{\QG}{\ensuremath{\mathbb{G}}} \newcommand{\M}{\mathrm{M}} \newcommand{\CAR}{\mathrm{CAR}} %CAR algebra \newcommand{\CB}{\mathrm{CB}} %completely bounded \newcommand{\diag}{\mathrm{diag}} %diagonal \newcommand{\RCD}{\mathrm{RCD}} \newcommand{\dist}{\mathrm{d}} \newcommand{\meas}{\mu} \newcommand{\CC}{\mathrm{CC}} \newcommand{\HS}{\mathrm{HS}} \newcommand{\absco}{\mathrm{absco}} %absolute convex hull \newcommand{\NP}{\mathrm{NP}} \newcommand{\PPT}{\mathrm{PPT}} \newcommand{\inv}{\diamond} \newcommand{\Mat}{\ensuremath{\mathbb{M}}} % \let\div\relax \newcommand{\div}{\mathrm{div}} \let\cal\relax \newcommand{\cal}{\mathcal} \newcommand{\conv}{\mathrm{conv}} \newcommand{\Z}{\ensuremath{\mathbb{Z}}} \newcommand{\Zc}{\mathrm{Z}} \newcommand{\R}{\ensuremath{\mathbb{R}}} %\newcommand{\C}{\mathrm{C}} \newcommand{\T}{\ensuremath{\mathbb{T}}} \newcommand{\U}{\mathcal{U}} \newcommand{\W}{\mathrm{W}} \newcommand{\sgn}{\mathrm{sgn}} \let\j\relax %\ker ne fait plus rien ! \newcommand{\j}{\frak{j}} \let\S\relax %\ker ne fait plus rien ! \newcommand{\S}{\mathrm{S}} %espace des états \newcommand{\vect}{\ensuremath{\mathop{\rm Span\,}\nolimits}} %\newcommand{\tr}{\ensuremath{\mathop{\rm Tr}\nolimits}} \newcommand{\clos}{\ensuremath{\mathop{\rm closure\,}\nolimits}} \newcommand{\Id}{\mathrm{Id}} \newcommand{\PL}{\mathrm{PL}} \newcommand{\VN}{\mathrm{VN}} %von Neumann \newcommand{\Asym}{\mathrm{Asym}} %matrices antisymetriques \newcommand{\Sym}{\mathrm{Sym}} %Symmetric \newcommand{\Reg}{\mathrm{Reg}} %regular \newcommand{\la}{\langle} \newcommand{\ra}{\rangle} \newcommand{\EA}{\mathrm{EA}} %entanglement assisted \newcommand{\CPAP}{\mathrm{CPAP}} \newcommand{\CD}{\mathrm{CD}} \newcommand{\flip}{\mathrm{flip}} \newcommand{\CBAP}{\mathrm{CBAP}} \newcommand{\MK}{\mathrm{MK}} %Monge-Kantorovitch distance \newcommand{\CCAP}{\mathrm{CBAP}} \newcommand{\ccb}{\mathrm{ccb}} %co-completely bounded \newcommand{\cocb}{\mathrm{cocb}} \renewcommand{\leq}{\ensuremath{\leqslant}} \renewcommand{\geq}{\ensuremath{\geqslant}} \newcommand{\qed}{\hfill \vrule height6pt width6pt depth0pt} \newcommand{\bnorm}[1]{ \big\| #1 \big\|} \newcommand{\Bnorm}[1]{ \Big\| #1 \Big\|} \newcommand{\bgnorm}[1]{ \bigg\| #1 \bigg\|} \newcommand{\Bgnorm}[1]{ \Bigg\| #1 \Bigg\|} \newcommand{\norm}[1]{\left\Vert#1\right\Vert} \newcommand{\Wa}{\mathcal{W}} %Walsch \newcommand{\mk}{\medskip} \newcommand{\xra}{\xrightarrow} \newcommand{\co}{\colon} \newcommand{\otp}{\widehat{\ot}} \newcommand{\otpb}{\hat{\ot}} \newcommand{\ot}{\otimes} \newcommand{\ovl}{\overline} \newcommand{\otvn}{\ovl\ot} %\DeclareMathOperator{\sgn}{\mathrm{sgn}} %signature \newcommand{\ul}{\mathcal{U}} \newcommand{\dec}{\mathrm{dec}} \newcommand{\pdec}{\mathrm{pdec}} \newcommand{\reg}{\mathrm{reg}} \newcommand{\Dec}{\mathrm{Dec}} \newcommand{\cb}{\mathrm{cb}} \newcommand{\fin}{\mathrm{fin}} %nombre de coefficients fini \newcommand{\TRO}{\mathrm{TRO}} \newcommand{\Ch}{\mathrm{Ch}} \newcommand{\PDec}{\mathrm{PDec}} \newcommand{\QWEP}{\mathrm{QWEP}} \newcommand{\dsp}{\displaystyle} \newcommand{\op}{\mathrm{op}} %opposed structure \let\i\relax %\i ne fait plus rien ! \newcommand{\i}{\mathrm{i}} \let\j\relax %\j ne fait plus rien ! \newcommand{\j}{\mathrm{j}} %j quaternions \let\k\relax %\k ne fait plus rien ! \newcommand{\k}{\mathrm{k}} %k quaternions \newcommand{\loc}{\mathrm{loc}} \newcommand{\ov}{\overset} \newcommand{\sa}{\mathrm{sa}} \newcommand{\JW}{\mathrm{JW}} \newcommand{\JC}{\mathrm{JC}} \newcommand{\JB}{\mathrm{JB}} \newcommand{\kR}{\mathfrak{R}} \newcommand{\JBW}{\mathrm{JBW}} \newcommand{\Vol}{\mathrm{Vol}} \newcommand{\fix}{\mathrm{fix}} \newcommand{\ORNP}{\mathrm{ORNP}}%Radon-Nykodym operator space \newcommand{\MD}{\mathrm{MD}} %multiplicative domain \newcommand{\LMD}{\mathrm{LMD}} %left multiplicative domain \newcommand{\RMD}{\mathrm{RMD}} %left multiplicative domain \newcommand{\w}{\mathrm{w}} %weak \newcommand{\wo}{\mathrm{wo}} %weak operator \newcommand{\leftsupp}{{\mathrm{leftsupp}}} \newcommand{\epsi}{\varepsilon} \renewcommand{\d}{\mathop{}\mathopen{}\mathrm{d}} %op\'erateur diff\'erentiel \newcommand{\e}{\mathrm{e}} %constante e \renewcommand{\d}{\mathop{}\mathopen{}\mathrm{d}} \newcommand{\bra}[1]{\langle{#1}|} \newcommand{\ket}[1]{|{#1}\rangle} \newcommand{\Pol}{\mathrm{Pol}} %Espce des polynomes groupes quantiques \def\kb{ \ket \bra } \newcommand{\proj}[1]{ | #1 \kb #1|} \DeclareMathOperator{\Span}{span} %sev engendre \DeclareMathOperator{\Lip}{\mathrm{Lip}} %Lipschitz \DeclareMathOperator{\lip}{\mathrm{lip}} %lipschitz \DeclareMathOperator{\aut}{Aut} %automorphisme \DeclareMathOperator{\supp}{supp} %support \DeclareMathOperator{\Fix}{Fix} %fixed subspace \DeclareMathOperator{\tr}{Tr} %trace \DeclareMathOperator{\Tr}{Tr} %trace \let\ker\relax %\ker ne fait plus rien ! \DeclareMathOperator{\ker}{Ker} %range \DeclareMathOperator{\Ran}{Ran} %range \DeclareMathOperator{\dom}{dom} %domaine \DeclareMathOperator{\rank}{rank} %domaine \let\Re\relax %\Re ne fait plus rien \DeclareMathOperator{\Re}{Re} %partie r\'eelle \let\Im\relax %\Im ne fait plus rien \DeclareMathOperator{\Im}{Im} %partie imaginaire \DeclareMathOperator{\card}{card} %cardinal \DeclareMathOperator{\Irr}{Irr} %Irreductible \DeclareMathOperator{\Rep}{Rep} %Irreductible \DeclareMathOperator{\Ind}{Ind} %induced \DeclareMathOperator*{\esssup}{esssup} \DeclareMathOperator*{\Lie}{Lie} \DeclareMathOperator{\diam}{diam} \DeclareMathOperator{\Sp}{Sp} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% presentation \selectlanguage{english} \newtheorem{thm}{Theorem}[section] \newtheorem{defi}[thm]{Definition} \newtheorem{prop}[thm]{Proposition} \newtheorem{conj}[thm]{Conjecture} \newtheorem{quest}[thm]{Question} \newtheorem{Property}[thm]{Property} \newtheorem{cor}[thm]{Corollary} \newtheorem{lemma}[thm]{Lemma} \newtheorem{fact}[thm]{Fact} \newtheorem{remark}[thm]{Remark} \newtheorem{example}[thm]{Example} \newtheorem{prob}[thm]{Problem} \newenvironment{proof}[1][]{\noindent {\it Proof #1} : }{\hbox{~}\qed \smallskip } %\newenvironment{proof1.1}[1][]{\noindent {\it Proof of Theorem 1.1 #1} : }{\hbox{~}\qed %\smallskip %} % %\newenvironment{proof3.2}[1][]{\noindent {\it Proof of Theorem 3.2 #1} : }{\hbox{~}\qed %\smallskip %} \usepackage{tocloft} \setlength{\cftbeforesecskip}{0pt} \numberwithin{equation}{section} \usepackage[nottoc,notlot,notlof]{tocbibind}%biblio dans sommaire %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %Biblio: ce paragraphe permet de reduire l'espacement entre les items bibliographiques \let\OLDthebibliography\thebibliography \renewcommand\thebibliography[1]{ \OLDthebibliography{#1} \setlength{\parskip}{0pt} \setlength{\itemsep}{0pt plus 0.3ex} } %reallywidehat %\usepackage{scalerel} \newcommand\reallywidehat[1]{\arraycolsep=0pt\relax% \begin{array}{c} \stretchto{ \scaleto{ \scalerel*[\widthof{\ensuremath{#1}}]{\kern-.5pt\bigwedge\kern-.5pt} {\rule[-\textheight/2]{1ex}{\textheight}} %WIDTH-LIMITED BIG WEDGE }{\textheight} % }{0.5ex}\\ % THIS SQUEEZES THE WEDGE TO 0.5ex HEIGHT #1\\ % THIS STACKS THE WEDGE ATOP THE ARGUMENT \rule{-1ex}{0ex} \end{array} } \begin{document} \selectlanguage{english} \title{\bfseries{A modular theory of contractive projections on Banach spaces with applications to noncommutative $\L^p$-spaces}} \date{} \author{\bfseries{C\'edric Arhancet}}% %Coulhon-Varopulos dimension, curvature,and functional calculus %On the spectral dimension of spectral triples %associated to Markov semigroups of operators \maketitle %Levi geometry, modular deweighting and contractive projections on noncommutative $\mathrm{L}^p$-spaces %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{abstract} We develop a differential-geometric approach to contractive projections on complex Banach spaces based on Levi forms of plurisubharmonic functions. We show that if a projection $P$ contracts a $\mathrm{C}^2$ plurisubharmonic function $\Phi$, then, at any point of its range, the Levi form of $\Phi$ defines a tangent Hilbertian geometry for which $P$ becomes an orthogonal projection. When the range is finite-dimensional and the relevant Levi forms are nondegenerate, comparing the Levi geometries associated with different points leads naturally to positive relative operators and associated one-parameter groups. We apply this framework to tracial noncommutative $\mathrm{L}^4$-spaces. Exploiting the cubic form of the duality mapping, we characterize contractive projections by a Jordan triple orthogonality property and prove that a projection on $\mathrm{L}^4(\mathcal{M})$ is $2$-contractive if and only if it is completely contractive. When the ambient von Neumann algebra is finite-dimensional, we identify the relative operator associated with the left and right tangent forms on the range with a restriction of an inverse square root of a modular operator on a linking von Neumann algebra. This entails that the range of any $2$-contractive projection is completely isometric to a rectangular noncommutative $\mathrm{L}^4$-space associated with a $\mathrm{W}^*$-ternary ring of operators. As a consequence, every such projection is contractively decomposable. Finally, for every $1 < p < \infty$ with $p \neq 2$, we prove that every finite-rank $2$-contractive projection on a tracial noncommutative $\mathrm{L}^p$-space is completely contractive. For $p > 2$, we obtain a weighted ternary description of its range in terms of a finite-dimensional $\mathrm{W}^*$-$\mathrm{TRO}$. \end{abstract} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \makeatletter \renewcommand{\@makefntext}[1]{#1} \makeatother \footnotetext{ %The authors are supported by the research program ANR-18-CE40-0021 (project HASCON).\\ 2020 {\it Mathematics subject classification:} 46L51, 17C65, 47B01, 46L07. % 46L51 Noncommutative measure and integration % 46M35 Abstract interpolation of topological vector spaces [See also 46B70] % 46L07 Operator spaces and completely bounded maps [See also 47L25] % 43A22 Homomorphisms and multipliers of function spaces on groups, semigroups, etc. % 43A15 Lp-spaces and other function spaces on groups, semigroups, etc. % 47D03 Groups and semigroups of linear operators For nonlinear operators. % 58B34 Noncommutative geometry (à la Connes) % 81P45 Quantum information, communication, networks (quantum-theoretic aspects) % 94A40 Channel models (including quantum) in information and communication theory %46B70 Interpolation between normed linear spaces %46L70 Nonassociative selfadjoint operator algebras %17C65 Jordan structures on Banach spaces and algebras %46L10 General theory of von Neumann algebra47B01 %47B01 Operators on Banach spaces %46B20 Geometry and structure of normed linear spaces \\ {\it Key words}: contractive projections, Banach spaces, plurisubharmonic functions, noncommutative $\L^p$-spaces, Levi forms, duality mappings, ternary rings of operators, complete contractivity.} %noncommutative $L^p$-spaces, operator spaces { \hypersetup{linkcolor=blue} \tableofcontents } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{Introduction} \label{sec:Introduction} The study of contractive projections and contractively complemented subspaces is one of the classical themes of the isometric theory of Banach spaces. Given a Banach space $X$ and a closed subspace $Y\subset X$, the basic problem is to decide whether there exists a projection $P\co X\to X$ such that \begin{equation} P^2=P,\qquad \Ran P=Y,\qquad \norm{P}_{X \to X} \leq 1, \end{equation} and, when such a projection exists, to understand both the intrinsic geometry of $Y$ and the structure of $P$. These two questions are closely related. Indeed, on a smooth Banach space, a subspace can be the range of at most one projection of norm one, see \cite{CoS70}. Since noncommutative $\L^p$-spaces are smooth for $1