• ### Absence of Cartan subalgebras for right-angled Hecke von Neumann algebras(1601.00593)

Feb. 12, 2019 math.OA, math.QA
For a right-angled Coxeter system $(W,S)$ and $q>0$, let $\mathcal{M}_q$ be the associated Hecke von Neumann algebra, which is generated by self-adjoint operators $T_s, s \in S$ satisfying the Hecke relation $(\sqrt{q}\: T_s - q) (\sqrt{q} \: T_s + 1) = 0$ as well as suitable commutation relations. Under the assumption that $(W, S)$ is irreducible and $\vert S \vert \geq 3$ it was proved by Garncarek that $\mathcal{M}_q$ is a factor (of type II$_1$) for a range $q \in [\rho, \rho^{-1}]$ and otherwise $\mathcal{M}_q$ is the direct sum of a II$_1$-factor and $\mathbb{C}$. In this paper we prove (under the same natural conditions as Garncarek) that $\mathcal{M}_q$ is non-injective, that it has the weak-$\ast$ completely contractive approximation property and that it has the Haagerup property. In the hyperbolic factorial case $\mathcal{M}_q$ is a strongly solid algebra and consequently $\mathcal{M}_q$ cannot have a Cartan subalgebra. In the general case $\mathcal{M}_q$ need not be strongly solid. However, we give examples of non-hyperbolic right-angled Coxeter groups such that $\mathcal{M}_q$ does not possess a Cartan subalgebra.
• ### Gradient forms and strong solidity of free quantum groups(1802.01968)

Feb. 13, 2018 math.OA, math.QA
Consider the free orthogonal quantum groups $O_N^+(F)$ and free unitary quantum groups $U_N^+(F)$ with $N \geq 3$. In the case $F = {\rm id}_N$ it was proved both by Isono and Fima-Vergnioux that the associated finite von Neumann algebra $L_\infty(O_N^+)$ is strongly solid. Moreover, Isono obtains strong solidity also for $L_\infty(U_N^+)$ . In this paper we prove for general $F \in GL_N(\mathbb{C})$ that the von Neumann algebras $L_\infty(O_N^+(F))$ and $L_\infty(U_N^+(F))$ are strongly solid. A crucial part in our proof is the study of coarse properties of gradient bimodules associated with Dirichlet forms on these algebras and constructions of derivations due to Cipriani--Sauvageot.
• ### Harmonic analysis and BMO-spaces of free Araki-Woods factors(1708.09578)

Feb. 12, 2018 math.OA, math.FA
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.
• ### On MASAs in $q$-deformed von Neumann algebras(1704.02804)

April 10, 2017 math.OA
We study certain $q$-deformed analogues of the maximal abelian subalgebras of the group von Neumann algebras of free groups. The radial subalgebra is defined for Hecke deformed von Neumann algebras of the Coxeter group $(\mathbb{Z}/{2\mathbb{Z}})^{\star k}$ and shown to be a maximal abelian subalgebra which is singular and with Puk\'anszky invariant $\{\infty\}$. Further all non-equal generator masas in the $q$-deformed Gaussian von Neumann algebras are shown to be mutually non-unitarily conjugate.
• ### Weak type operator Lipschitz and commutator estimates for commuting tuples(1703.03089)

March 9, 2017 math.OA
Let $f: \mathbb{R}^d \to\mathbb{R}$ be a Lipschitz function. If $B$ is a bounded self-adjoint operator and if $\{A_k\}_{k=1}^d$ are commuting bounded self-adjoint operators such that $[A_k,B]\in L_1(H),$ then $$\|[f(A_1,\cdots,A_d),B]\|_{1,\infty}\leq c(d)\|\nabla(f)\|_{\infty}\max_{1\leq k\leq d}\|[A_k,B]\|_1,$$ where $c(d)$ is a constant independent of $f$, $\mathcal{M}$ and $A,B$ and $\|\cdot\|_{1,\infty}$ denotes the weak $L_1$-norm. If $\{X_k\}_{k=1}^d$ (respectively, $\{Y_k\}_{k=1}^d$) are commuting bounded self-adjoint operators such that $X_k-Y_k\in L_1(H),$ then $$\|f(X_1,\cdots,X_d)-f(Y_1,\cdots,Y_d)\|_{1,\infty}\leq c(d)\|\nabla(f)\|_{\infty}\max_{1\leq k\leq d}\|X_k-Y_k\|_1.$$
• ### Weight theory for ultraproducts(1605.07435)

May 30, 2016 math.OA, math.FA
For a family of von Neumann algebras $\mathcal{M}_j$ equipped with normal weights $\varphi_j$ we define the ultraproduct weight $(\varphi_j)_\omega$ on the Groh--Raynaud ultrapower $\prod_{j, \omega} \mathcal{M}_j$. We prove results about Tomita-Takesaki modular theory and consider ultraproducts of spatial derivatives. This extends results by Ando--Haagerup and Raynaud for the state case. We give some applications to noncommutative $L^p$-spaces and indicate how ultraproducts of weights appear naturally in transference results for Schur and Fourier multipliers. Using ideas from complex interpolation with respect to ultraproduct weights, we give a new proof of a theorem by Raynaud which shows that $\prod_{j, \omega} L^p(\mathcal{M}_j) \simeq L^p(\prod_{j, \omega} \mathcal{M}_j )$. We complement the paper by showing that spatial derivatives take a natural form in terms of noncommutative $L^p$-spaces.
• ### Connes embeddability of graph products(1506.01873)

June 5, 2015 math.OA
We prove that the Connes embedding problem is stable under graph products.
• ### Weak type commutator and Lipschitz estimates: resolution of the Nazarov-Peller conjecture(1506.00778)

June 2, 2015 math.OA
Let $\mathcal{M}$ be a semi-finite von Neumann algebra and let $f: \mathbb{R} \rightarrow \mathbb{C}$ be a Lipschitz function. If $A,B\in\mathcal{M}$ are self-adjoint operators such that $[A,B]\in L_1(\mathcal{M}),$ then $$\|[f(A),B]\|_{1,\infty}\leq c_{abs}\|f'\|_{\infty}\|[A,B]\|_1,$$ where $c_{abs}$ is an absolute constant independent of $f$, $\mathcal{M}$ and $A,B$ and $\|\cdot\|_{1,\infty}$ denotes the weak $L_1$-norm. If $X,Y\in\mathcal{M}$ are self-adjoint operators such that $X-Y\in L_1(\mathcal{M}),$ then $$\|f(X)-f(Y)\|_{1,\infty}\leq c_{abs}\|f'\|_{\infty}\|X-Y\|_1.$$ This result resolves a conjecture raised by F. Nazarov and V. Peller implying a couple of existing results in perturbation theory.
• ### The Haagerup approximation property for von Neumann algebras via quantum Markov semigroups and Dirichlet forms(1404.6214)

Nov. 20, 2014 math.OA
The Haagerup approximation property for a von Neumann algebra equipped with a faithful normal state $\varphi$ is shown to imply existence of unital, $\varphi$-preserving and KMS-symmetric approximating maps. This is used to obtain a characterisation of the Haagerup approximation property via quantum Markov semigroups (extending the tracial case result due to Jolissaint and Martin) and further via quantum Dirichlet forms.
• ### The Haagerup property for arbitrary von Neumann algebras(1312.1491)

Nov. 20, 2014 math.OA, math.FA
We introduce a natural generalization of the Haagerup property of a finite von Neumann algebra to an arbitrary von Neumann algebra (with a separable predual) equipped with a normal, semi-finite, faithful weight and prove that this property does not depend on the choice of the weight. In particular this defines the Haagerup property as an intrinsic invariant of the von Neumann algebra. We also show that such a generalized Haagerup property is preserved under taking crossed products by actions of amenable locally compact groups. Our results are motivated by recent examples from the theory of discrete quantum groups, where the Haagerup property appears a priori only with respect to the Haar state.
• ### Graph products of operator algebras(1411.2799)

Nov. 11, 2014 math.OA, math.QA
Graph products for groups were defined by Green in her thesis as a generalization of both Cartesian and free products. In this paper we define the corresponding graph product for reduced and maximal C*-algebras, von Neumann algebras and quantum groups. We prove stability properties including permanence properties of II_1-factors, the Haagerup property, exactness and under suitable conditions the property of Rapid Decay for quantum groups.
• ### The best constants for operator Lipschitz functions on Schatten classes(1209.3948)

Aug. 28, 2014 math.OA, math.FA
Suppose that f is a Lipschitz function on the real numbers with Lipschitz constant smaller or equal to 1. Let A be a bounded self-adjoint operator on a Hilbert space H. Let 1<p<infinity and suppose that x in B(H) is an operator such that the commutator [A, x] is contained in the Schatten class S_p. It is proved by the last two authors, that then also [f(A), x] is contained in S_p and there exists a constant C_p independent of x and f such that || [f(A), x] ||_p <= C_p || [A,x] ||_p. The main result of this paper is to give a sharp estimate for C_p in terms of p. Namely, we show that C_p ~ p^2/(p-1). In particular, this gives the best estimates for operator Lipschitz inequalities. We treat this result in a more general setting. This involves commutators of n self-adjoint operators, for which we prove the analogous result. The case described here in the abstract follows as a special case.
• ### Noncommutative de Leeuw theorems(1407.2449)

July 9, 2014 math.CA, math.OA, math.FA
Let H be a subgroup of some locally compact group G. Assume H is approximable by discrete subgroups and G admits neighborhood bases which are "almost-invariant" under conjugation by finite subsets of H. Let $m: G \to \mathbb{C}$ be a bounded continuous symbol giving rise to an Lp-bounded Fourier multiplier (not necessarily cb-bounded) on the group von Neumann algebra of G for some $1 \le p \le \infty$. Then, $m_{\mid_H}$ yields an Lp-bounded Fourier multiplier on the group von Neumann algebra of H provided the modular function $\Delta_H$ coincides with $\Delta_G$ over H. This is a noncommutative form of de Leeuw's restriction theorem for a large class of pairs (G,H), our assumptions on H are quite natural and recover the classical result. The main difference with de Leeuw's original proof is that we replace dilations of gaussians by other approximations of the identity for which certain new estimates on almost multiplicative maps are crucial. Compactification via lattice approximation and periodization theorems are also investigated.
• ### Generalisations of the Haagerup approximation property to arbitrary von Neumann algebras(1404.2716)

April 10, 2014 math.OA, math.FA
The notion of the Haagerup approximation property, originally introduced for von Neumann algebras equipped with a faithful normal tracial state, is generalized to arbitrary von Neumann algebras. We discuss two equivalent characterisations, one in terms of the standard form and the other in terms of the approximating maps with respect to a fixed faithful normal semifinite weight. Several stability properties, in particular regarding the crossed product construction are established and certain examples are introduced.
• ### Weak amenability of locally compact quantum groups and approximation properties of extended quantum SU(1,1)(1306.4558)

Sept. 19, 2013 math.OA, math.QA
We study weak amenability for locally compact quantum groups in the sense of Kustermans and Vaes. In particular, we focus on non-discrete examples. We prove that a coamenable quantum group is weakly amenable if there exists a net of positive, scaling invariant elements in the Fourier algebra A(G) whose representing multipliers form an approximate identity in C_0(G) that is bounded in the M_0A(G) norm; the bound being an upper estimate for the associated Cowling-Haagerup constant. As an application, we find the appropriate approximation properties of the extended quantum SU(1,1) group and its dual. That is, we prove that it is weakly amenable and coamenable. Furthermore, it has the Haagerup property in the quantum group sense, introduced by Daws, Fima, Skalski and White.
• ### Schur and Fourier multipliers of an amenable group acting on non-commutative Lp-spaces(1303.0135)

Sept. 18, 2013 math.OA, math.FA
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 special case when p > 2 is an even integer, we show the following. If there exists a map between Lp(LG) and an ultraproduct of Lp(M) \otimes S_p(L^2 G) that intertwines the Fourier multiplier with the Schur multiplier, then G must be amenable. This is an obstruction to extend the Neuwirth-Ricard result to non-amenable groups.
• ### Operator biflatness of the $L^1$-algebras of compact quantum groups(1301.2069)

April 8, 2013 math.OA, math.FA
We prove that the $L^1$-algebra of any non-Kac type compact quantum group does not satisfy operator biflatness. Since operator amenability implies operator biflatness, this result shows that any co-amenable, non-Kac type compact quantum group gives a counter example to the conjecture that $L^1(\Gb)$ is operator amenable if and only if $\Gb$ is amenable and co-amenable for any locally compact quantum group $\Gb$. The result also implies that the $L^1$-algebra of a locally compact quantum group is operator biprojective if and only if $\Gb$ is compact and of Kac type.
• ### Spherical Fourier Transforms on Locally Compact Quantum Gelfand Pairs(1104.2459)

Sept. 6, 2011 math.OA, math.QA
We study Gelfand pairs for locally compact quantum groups. We give an operator algebraic interpretation and show that the quantum Plancherel transformation restricts to a spherical Plancherel transformation. As an example, we turn the quantum group analogue of the normaliser of SU(1,1) in $SL(2,\mathbb{C}$) together with its diagonal subgroup into a pair for which every irreducible corepresentation admits at most two vectors that are invariant with respect to the quantum subgroup. Using a $\mathbb{Z}_2$-grading, we obtain product formulae for little $q$-Jacobi functions.
• ### The L^p-Fourier transform on locally compact quantum groups(1008.2603)

July 24, 2011 math.OA, math.QA
Using interpolation properties of non-commutative L^p-spaces associated with an arbitrary von Neumann algebra, we define a L^p-Fourier transform 1 <= p <= 2 on locally compact quantum groups. We show that the Fourier transform determines a distinguished choice for the interpolation parameter as introduced by Izumi. We define a convolution product in the L^p-setting and show that the Fourier transform turns the convolution product into a product.
• ### Modular properties of matrix coefficients of corepresentations of a locally compact quantum group(1003.2278)

April 11, 2011 math.OA, math.QA
We give a formula for the modular operator and modular conjugation in terms of matrix coefficients of corepresentations of a quantum group in the sense of Kustermans and Vaes. As a consequence, the modular autmorphism group of a unimodular quantum group can be expressed in terms of matrix coefficients. As an application, we determine the Duflo-Moore operators for the quantum group analogue of the normaliser of SU(1,1) in $SL(2,\mathbb{C}$).
• ### Intuitionistic quantum logic of an n-level system(0902.3201)

April 1, 2009 quant-ph
A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (see arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup through the concrete example of the C*-algebra of complex n by n matrices. This leads to an explicit expression for the pointfree quantum phase space and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen--Specker Theorem. The essential point is that the logical structure of a quantum n-level system turns out to be intuitionistic, which means that it is distributive but fails to satisfy the law of the excluded middle (both in opposition to the usual quantum logic).