Dilation properties of measurable Schur multipliers and Fourier multipliers (Q2160364)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dilation properties of measurable Schur multipliers and Fourier multipliers |
scientific article |
Statements
Dilation properties of measurable Schur multipliers and Fourier multipliers (English)
0 references
3 August 2022
0 references
A famous theorem of Akcoglu asserts that positive contractions on classical \(L^p\)spaces, \(1<p<\infty\), admit an isometric dilation, as follows: for any measure space \((\Sigma ,\mu)\) for \(1<p<\infty\) and for any positive contraction \(T : L^p(\Sigma )\to L^p(\Sigma )\), there exist a measure space \((\Sigma ^{\prime},\mu^{\prime})\), two contractions \(J: L^p(\Sigma )\to L^p(\Sigma ^{\prime})\) and \(Q: L^p(\Sigma ^{\prime})\to L^p(\Sigma )\) and an invertible isometry \(U: L^p(\Sigma ^{\prime})\to L^p(\Sigma ^{\prime})\) such that \(T^k=QU^k J\) for all integer \(k\geq 0\). A natural question is to extend such a dilation property on non-commutative \(L^p\) spaces associated with a semi-finite von Neumann algebra. Let \((\mathcal N,\tau)\) be a tracial von Neumann algebra, that is, \(\mathcal N\) is a von Neumann algebra on a complex Hilbert space \(H\) with a faithful normal semi-finite trace \(\tau\). We say that an operator \(T: (\mathcal N,\tau)\to (\mathcal N,\tau)\) is absolutely dilatable if there exist a tracial von Neumann algebra \(\mathcal N^{\prime},\tau^{\prime})\), a trace preserving one-to-one \(*\)-homomorphism \(J: (\mathcal N,\tau)\to (\mathcal N^{\prime},\tau^{\prime})\) and a trace preserving \(*\)-automorphism \(U:(\mathcal N^{\prime}\to (\mathcal N^{\prime},\tau^{\prime})\) such that \(T^k= J_1^* U^k J\) for all integers \(k\geq 0\), where \(J_1: L^1(\mathcal N,\tau)\to L^1(\mathcal N^{\prime},\tau^{\prime})\) is the operator induced by \(J\). In the paper under review, the author found new dilatation results on non-commutative \(L^p\) spaces. Let \(\Sigma\) be a \(\sigma\)-finite measure space with respect to a measure denoted by \(dt\). Let \(S^2(L^2(\Sigma))\) be the space of all Hilbert-Schmidt operators on \(L^2(\Sigma)\). We recall that for any \(f\in L^2(\Sigma^2)\), we may define a bounded operator \[ S_f: L^2(\Sigma)\to L^2(\Sigma), \ \ S_f(h)=\int_{\Sigma}f(\cdot,t)dt. \] Note that \(S_f\) is a Hilbert-Schmidt operator, and that the mapping \(f\to S_f\) is a unitary from \(L^2(\Sigma^2)\) onto \(S^2(L^2(\Sigma))\). For any \(\varphi\in L^{\infty}(\Sigma^2)\), we denote by \(M_{\varphi}: S^2(L^2(\Sigma))\to S^2(L^2(\Sigma)) \) the operator defined by \[M_{\varphi}(S_f)=S_{\varphi f},\ \ \ f\in L^2(\Sigma^2).\] If there exists \(C>0\) such that \[ \|M_{\varphi}(S)\|_{B(L^2(\Sigma))}\leq C\|S\|_{B(L^2(\Sigma))},\ \ S\in S^2(L^2(\Sigma))),\] then \(M_{\varphi}\) is said to be a measurable Schur multiplier on \(B(L^2(\Sigma))\). The first main result is the following. Theorem A. Let \(\Sigma \) be a \(\sigma\)-finite measure space. Let\(\varphi\in L^{\infty}(\Sigma^2)\) and assume that \(M_{\varphi}\) is a self-adjoint, unital, positive Schur multiplier on \(B(L^2(\Sigma))\). Then \(M_{\varphi}\) absolutely dilatable. On the other hand, let \(G \) be a unimodular locally compact group and \(VN(G)\) the the group von Neumann algebra of \(G\) generated by \(\{\lambda(s):s\in G\}\), where \((\lambda(s)f)(t)=f(s^{-1}t)\), \(\forall f\in L^2(G)\). We say that a \(w^*\)-continuous operator \(T: VN(G)\to VN(G)\) is a Fourier multiplier, if there exists a bounded continuous function \(u:G\to\mathbb C\) such that for all \(s\in G\), \(T(\lambda(s))=u(s)\lambda(s)\). We write \(T=T_u\). The second main result is the following. Theorem B. Let \(T_u:VN(G)\to VN(G)\) be a self-adjoint, unital, completely positive Fourier multiplier. Then \(T_u\) is absolutely dilatable. Furthermore, multivariable versions of Theorems A and B are also obtained.
0 references
dilation
0 references
Schur multipliers
0 references
Fourier multipliers
0 references
completely positive maps
0 references
0 references
0 references
0 references
0 references