
For a rightangled Coxeter system $(W,S)$ and $q>0$, let $\mathcal{M}_q$ be
the associated Hecke von Neumann algebra, which is generated by selfadjoint
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 noninjective, 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
nonhyperbolic rightangled Coxeter groups such that $\mathcal{M}_q$ does not
possess a Cartan subalgebra.

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 FimaVergnioux 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
CiprianiSauvageot.

We consider semigroup BMOspaces associated with arbitrary von Neumann
algebras and prove interpolation theorems. This extends results by JungeMei
for the tracial case. We give examples of multipliers on free ArakiWoods
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 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 nonequal generator masas in the $q$deformed Gaussian von Neumann
algebras are shown to be mutually nonunitarily conjugate.

Let $f: \mathbb{R}^d \to\mathbb{R}$ be a Lipschitz function. If $B$ is a
bounded selfadjoint operator and if $\{A_k\}_{k=1}^d$ are commuting bounded
selfadjoint 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 selfadjoint operators
such that $X_kY_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_kY_k\_1.$$

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 GrohRaynaud ultrapower $\prod_{j, \omega} \mathcal{M}_j$. We prove
results about TomitaTakesaki modular theory and consider ultraproducts of
spatial derivatives. This extends results by AndoHaagerup 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.

We prove that the Connes embedding problem is stable under graph products.

Let $\mathcal{M}$ be a semifinite von Neumann algebra and let $f: \mathbb{R}
\rightarrow \mathbb{C}$ be a Lipschitz function. If $A,B\in\mathcal{M}$ are
selfadjoint 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 selfadjoint operators such that $XY\in L_1(\mathcal{M}),$ then
$$\f(X)f(Y)\_{1,\infty}\leq c_{abs}\f'\_{\infty}\XY\_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 a von Neumann algebra equipped with a
faithful normal state $\varphi$ is shown to imply existence of unital,
$\varphi$preserving and KMSsymmetric 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.

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, semifinite, 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 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_1factors, the Haagerup property, exactness and under suitable
conditions the property of Rapid Decay for quantum groups.

Suppose that f is a Lipschitz function on the real numbers with Lipschitz
constant smaller or equal to 1. Let A be a bounded selfadjoint 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/(p1). 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 selfadjoint operators, for which we prove the analogous result. The case
described here in the abstract follows as a special case.

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
"almostinvariant" under conjugation by finite subsets of H. Let $m: G \to
\mathbb{C}$ be a bounded continuous symbol giving rise to an Lpbounded Fourier
multiplier (not necessarily cbbounded) on the group von Neumann algebra of G
for some $1 \le p \le \infty$. Then, $m_{\mid_H}$ yields an Lpbounded 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.

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.

We study weak amenability for locally compact quantum groups in the sense of
Kustermans and Vaes. In particular, we focus on nondiscrete 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
CowlingHaagerup 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.

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 noncommutative Lpspace 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 LpFourier multiplier. When G
is amenable we show that equality holds, extending a result by Neuwirth and
Ricard to nondiscrete 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
NeuwirthRicard result to nonamenable groups.

We prove that the $L^1$algebra of any nonKac type compact quantum group
does not satisfy operator biflatness. Since operator amenability implies
operator biflatness, this result shows that any coamenable, nonKac 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 coamenable 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.

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.

Using interpolation properties of noncommutative L^pspaces associated with
an arbitrary von Neumann algebra, we define a L^pFourier 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^psetting and show that the
Fourier transform turns the convolution product into a product.

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 DufloMoore operators for the quantum group
analogue of the normaliser of SU(1,1) in $SL(2,\mathbb{C}$).

A decade ago, Isham and Butterfield proposed a topostheoretic 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 socalled 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 nlevel system. We also determine the pertinent nonprobabilisitic
stateproposition pairing (or valuation) and give a very natural
topostheoretic reformulation of the KochenSpecker Theorem. The essential
point is that the logical structure of a quantum nlevel 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).