$σ$-有限 von Neumann 代数的 BMO 空间与 $SU_q(2)$ 上的 Fourier-Schur 乘子
BMO spaces of $σ$-finite von Neumann algebras and Fourier-Schur multipliers on $SU_q(2)$
Martijn Caspers, Gerrit Vos
备注：
This version corrects a mistake in the appendix; in particular, we no longer construct a predual for BMO but only for the associated row and column spaces. For the published version the corrections are included in an erratum
We consider semi-group BMO spaces associated with an arbitrary $σ$-finite von Neumann algebra $(\mathcal{M}, φ)$. We prove that the associated row and column BMO spaces always admit a predual, extending results from the finite case. Consequently, we can prove that the semi-group BMO spaces considered are Banach spaces and they interpolate with $L_p$ as in the commutative situation, namely $[\mathrm{BMO}(\mathcal{M}), L_p^\circ(\mathcal{M})]_{1/q} \approx L_{pq}^\circ(\mathcal{M})$. We then study a new class of examples. We introduce the notion of Fourier-Schur multiplier on a compact quantum group and show that such multipliers naturally exist for $SU_q(2)$.
We consider semi-group BMO-spaces associated with arbitrary von Neumann algebras and prove interpolation theorems. This extends results by Junge-Mei for the tracial case. We give examples of multipliers on free Araki-Woods algebras and in particular we find $L_\infty \rightarrow {\rm BMO}$ multipliers. We also provide $L_p$-bounds for a natural generalization of the Hilbert transform.
We construct Markov semi-groups $\mathcal{T}$ and associated BMO-spaces on a finite von Neumann algebra $(\mathcal{M}, τ)$ and obtain results for perturbations of commutators and non-commutative Lipschitz estimates. In particular, we prove that for any $A \in \mathcal{M}$ self-adjoint and $f: \mathbb{R} \rightarrow \mathbb{R}$ Lipschitz there is a Markov semi-group $\mathcal{T}$ such that for $x \in \mathcal{M}$, \[ \Vert [f(A), x] \Vert_{{\rm BMO}(\mathcal{M}, \mathcal{T})} \leq c_{abs} \Vert f' \Vert_\infty \Vert [A, x] \Vert_\infty. \] We obtain an analogue of this result for more general v…
We investigate Fourier multipliers on the compact dual of arbitrary discrete groups. Our main result is a Hörmander-Mihlin multiplier theorem for finite-dimensional cocycles with optimal smoothness condition. We also find Littlewood-Paley type inequalities in group von Neumann algebras, prove $L_p$ estimates for noncommutative Riesz transforms and characterize $L_\infty \to \mathrm{BMO}$ boundedness for radial Fourier multipliers. The key novelties of our approach are to exploit group cocycles and cross products in Fourier multiplier theory in conjunction with BMO spaces associated to semigrou…
A few years ago, Richard Kadison thoroughly analysed the diagonals of projection operators on Hilbert spaces and asked the following question: Let $\mathcal{A}$ be a masa in a type $II_1$ factor $\mathcal{M}$ and let $A \in \mathcal{A}$ be a positive contraction. Letting $E$ be the canonical normal conditional expectation from $\mathcal{M}$ to $\mathcal{A}$, can one find a projection $P \in \mathcal{M}$ so that [E(P) = A?] In a later paper, Kadison and Arveson, as an extension, conjectured a Schur-Horn theorem in type $II_1$ factors. In this paper, I give a proof of this conjecture of Arveson …
In this paper, we introduce Frobenius von Neumann algebras and study quantum convolution inequalities. In this framework, we unify quantum Young's inequality on quantum symmetries such as subfactors, and fusion bi-algebras studied in quantum Fourier analysis. Moreover, we prove quantum entropic convolution inequalities and characterize the extremizers in the subfactor case. We also prove quantum smooth entropic convolution inequalities. We obtain the positivity of comultiplications of subfactor planar algebras, which is stronger than the quantum Schur product theorem. All these inequalities pr…
Let $\mathcal{M}$ be a semifinite von Nemann algebra equipped with an increasing filtration $(\mathcal{M}_n)_{n\geq 1}$ of (semifinite) von Neumann subalgebras of $\mathcal{M}$. For $0<p <\infty$, let $\mathsf{h}_p^c(\mathcal{M})$ denote the noncommutative column conditioned martingale Hardy space and $\bmo^c(\M)$ denote the column \lq\lq little\rq\rq \ martingale BMO space associated with the filtration $(\mathcal{M}_n)_{n\geq 1}$. We prove the following real interpolation identity: if $0<p <\infty$ and $0<θ<1$, then for $1/r=(1-θ)/p$, \[ \big(\mathsf{h}_p^c(\mathcal{M}), \bmo^c(\mathcal{M})\…
We consider the Schur-Horn problem for normal operators in von Neumann algebras, which is the problem of characterizing the possible diagonal values of a given normal operator based on its spectral data. For normal matrices, this problem is well-known to be extremely difficult, and in fact, it remains open for matrices of size greater than $3$. We show that the infinite dimensional version of this problem is more tractable, and establish approximate solutions for normal operators in von Neumann factors of type I$_\infty$, II and III. A key result is an approximation theorem that can be seen as…
Let (M,μ) be a sigma-finite measure space. Let (T_t) be a semigroup of positive preserving maps on (M,μ) with standard assumptions. We prove a H_1-BMO duality theory with assumptions only on T_t. The BMO is defined as spaces of functions f such that the L_\infty norm of sup_tT_t|f-T_tf|^2 is finite. The H1 is defined by square functions of P. A. Meyer's gradient form. Our argument does not rely on any geometric/metric structure of M nor on the kernel of the semigroups of operators. This abstract argument allows to extend our main results to the noncommutative setting, e.g. the case where L_\in…
We define the Schur multipliers of a separable von Neumann algebra M with Cartan masa A, generalising the classical Schur multipliers of $B(\ell^2)$. We characterise these as the normal A-bimodule maps on M. If M contains a direct summand isomorphic to the hyperfinite II_1 factor, then we show that the Schur multipliers arising from the extended Haagerup tensor product $A \otimes_{eh} A$ are strictly contained in the algebra of all Schur multipliers.
We consider the tensor product of the completely depolarising channel on $d\times d$ matrices with the map of Schur multiplication by a $k \times k$ correlation matrix and characterise, via matrix theory methods, when such a map is a mixed (random) unitary channel. When $d=1$, this recovers a result of O'Meara and Pereira, and for larger $d$ is equivalent to a result of Haagerup and Musat that was originally obtained via the theory of factorisation through von Neumann algebras. We obtain a bound on the distance between a given correlation matrix for which this tensor product is nearly mixed un…
Consider a completely bounded Fourier multiplier phi of a locally compact group G, and take 1 <= p <= infinity. One can associate to phi a Schur multiplier on the Schatten classes S_p(L^2 G), as well as a Fourier multiplier on Lp(LG), the non-commutative Lp-space of the group von Neumann algebra of G. We prove that the completely bounded norm of the Schur multiplier is not greater than the completely bounded norm of the Lp-Fourier multiplier. When G is amenable we show that equality holds, extending a result by Neuwirth and Ricard to non-discrete groups. For a discrete group G and in the speci…
We describe majorization between selfadjoint operators in a $σ$-finite II$_\infty$ factor $(\mathcal{M},τ)$ in terms of simple spectral relations. For a diffuse abelian von Neumann subalgebra $\mathcal{A}\subset \mathcal{M}$ with trace-preserving conditional expectation $E_{\mathcal{A}}$, we characterize the closure in the measure topology of the image through $E_{\mathcal{A}}$ of the unitary orbit of a selfadjoint operator in $\mathcal{M}$ in terms of majorization (i.e., a Schur-Horn theorem). We also obtain similar results for the contractive orbit of positive operators in $\mathcal{M}$ and …
Motivated by Ball, Li, Timotin and Trent's Schur-Agler class version of commutant lifting theorem, we introduce a class, denoted by $\mathcal{P}_n(\mathcal{H})$, of $n$-tuples of commuting contractions on a Hilbert space $\mathcal{H}$. We always assume that $n \geq 3$. The importance of this class of $n$-tuples stems from the fact that the von Neumann inequality or the existence of isometric dilation does not hold in general for $n$-tuples, $n \geq 3$, of commuting contractions on Hilbert spaces (even in the level of finite dimensional Hilbert spaces). Under some rank-finiteness assumptions, w…
Let $E$ be a $W^{\ast}$-correspondence over a von Neumann algebra $M$ and let $H^{\infty}(E)$ be the associated Hardy algebra. If $σ$ is a faithful normal representation of $M$ on a Hilbert space $H$, then one may form the dual correspondence $E^σ$ and represent elements in $H^{\infty}(E)$ as $B(H)$-valued functions on the unit ball $\mathbb{D}(E^σ)^{\ast}$. The functions that one obtains are called Schur class functions and may be characterized in terms of certain Pick-like kernels. We study these functions and relate them to system matrices and transfer functions from systems theory. We use …
Let $G$ be a locally compact unimodular group, and let $ϕ$ be some function of $n$ variables on $G$. To such a $ϕ$, one can associate a multilinear Fourier multiplier, which acts on some $n$-fold product of the non-commutative $L_p$-spaces of the group von Neumann algebra. One may also define an associated Schur multiplier, which acts on an $n$-fold product of Schatten classes $S_p(L_2(G))$. We generalize well-known transference results from the linear case to the multilinear case. In particular, we show that the so-called `multiplicatively bounded $(p_1,\ldots,p_n)$-norm' of a multilinear Sch…
We extend Agler's notion of a function algebra defined in terms of test functions to include products, in analogy with the practice in real algebraic geometry, and hence the term preordering in the title. This is done over abstract sets and no additional property, such as analyticity, is assumed. Realization theorems give several equivalent ways of characterizing the unit ball (referred to as the Schur-Agler class) of the function algebras. These typically include, in Agler's terminology, a model (here called an Agler decomposition), a transfer function representation, and an analogue of the v…
We study Schur-type upper triangular forms for elements, T, of von Neumann algebras equipped with faithful, normal, tracial states. These were introduced in a paper of Dykema, Sukochev and Zanin; they are based on Haagerup-Schultz projections. We investigate when the s.o.t.-quasinilpotent part of this decomposition of T is actually quasinilpotent. We prove implications involving decomposability and strong decomposability of T. We show this is related to norm convergence properties of the sequence |T^n|^{1/n} which, by a result of Haagerup and Schultz, is known to converge in strong operator to…
Arazy's conjecture concerning Schur multipliers: revisited and resolved
Institute for Advanced Study in Mathematics of HIT, Harbin Institute of Technology（哈尔滨工业大学数学高等研究院）；School of Mathematics and Statistics, University of NSW（新南威尔士大学数学与统计学院）
In this paper we solve three problems in noncommutative harmonic analysis which are related to endpoint inequalities for singular integrals. In first place, we prove that an $L_2$-form of Hörmander's kernel condition suffices for the weak type (1,1) of Calderón-Zygmund operators acting on matrix-valued functions. To that end, we introduce an improved CZ decomposition for martingale filtrations in von Neumann algebras, and apply a very simple unconventional argument which notably avoids pseudolocalization. In second place, we establish as well the weak $L_1$ endpoint for matrix-valued CZ operat…
Let A_i be a family of unital C*-algebras, respectively, of von Neumann algebras and phi: N_0 \to C. We show that if a Hankel matrix related to phi is trace-class, then there exists a unique completely bounded map M_phi on the reduced free product of the A_i, which acts as an radial multiplier. Hereby we generalize a result of Wysoczański for Herz-Schur multipliers on reduced group C*-algebras for free products of groups.
Let $\mathcal{A}$ be a $C^*$-algebra, and consider the Banach algebra $\mathcal{A} \otimes_γ\mathcal{A}$, where $\otimes_γ$ denotes the projective Banach space tensor product; if $\mathcal{A}$ is commutative, this is the Varopoulos algebra $V_\mathcal{A}$. It has been an open problem for more than 35 years to determine precisely when $\mathcal{A} \otimes_γ\mathcal{A}$ is Arens regular. Even the situation for commutative $\mathcal{A}$, in particular the case $\mathcal{A} = \ell_\infty$, has remained unsolved. We solve this classical question for arbitrary $C^*$-algebras by using von Neumann alg…
Classical Hecke operators on Maass forms are unitarely equivalent, up to a commuting phase, to completely positive maps on II$_1$ factors, associated to a pair of isomorphic subfactors, and an intertwining unitary. This representation is obtained through a quantized representation of the Hecke operators. in this representation, the Hecke operators act on the Berezin's quantization, deformation algebra of the fundamental domain of $\PSL(2,\Z)$ in the upper halfplane. The Hecke operators are inheriting from the ambient, non-commutative algebra on which they act, a rich structure of matrix inequa…
Let $\mathbb{G}$ be a locally compact quantum group with dual $\widehat{\mathbb{G}}$. Suppose that the left Haar weight $φ$ and the dual left Haar weight $\widehatφ$ are tracial, e.g. $\mathbb{G}$ is a unimodular Kac algebra. We prove that for $1<p\le 2 \le q<\infty$, the Fourier multiplier $m_{x}$ is bounded from $L_p(\widehat{\mathbb{G}},\widehatφ)$ to $L_q(\widehat{\mathbb{G}},\widehatφ)$ whenever the symbol $x$ lies in $L_{r,\infty}(\mathbb{G},φ)$, where $1/r=1/p-1/q$. Moreover, we have \begin{equation*} \|m_{x}:L_p(\widehat{\mathbb{G}},\widehatφ)\to L_q(\widehat{\mathbb{G}},\widehatφ)\|\l…
In this paper we use the description of free group factors as the von Neumann algebras of Berezin's deformation of the upper half-plane, modulo PSL$(2,{\Bbb Z})$. The derivative, in the deformation parameter, of the product in the corresponding algebras, is a positive Hochschild 2-cocycle, defined on a dense subalgebra. By analyzing the structure of the cocycle we prove that there is a generator $\cal L$ for a quantum dynamical semigroup that implements the cocycle on a strongly dense subalgebra. For $x$ in the dense subalgebra, ${\cal L}(x)$ is the (diffusion) operator $$ {\cal L}(x)=Λ(x)-(1/…
We undertake a detailed study of the sets of multiplicity in a second countable locally compact group $G$ and their operator versions. We establish a symbolic calculus for normal completely bounded maps from the space $\mathcal{B}(L^2(G))$ of bounded linear operators on $L^2(G)$ into the von Neumann algebra $VN(G)$ of $G$ and use it to show that a closed subset $E\subseteq G$ is a set of multiplicity if and only if the set $E^* = \{(s,t)\in G\times G : ts^{-1}\in E\}$ is a set of operator multiplicity. Analogous results are established for $M_1$-sets and $M_0$-sets. We show that the property o…
