5
$\begingroup$

Are there any example of $II_1$-factor $M$ with maximal abelian von Neumann subalgebra $A$ and non-zero derivation $\delta:M\rightarrow B(H)$ such that $\delta(a)=0$ for every $a\in A$?

$\endgroup$

2 Answers 2

3
$\begingroup$

Let $M= L \mathbb F_2$ and $H = \ell^2 \mathbb F_2$, where $\mathbb F_2 = \langle a,b \rangle$ is the free group on two generators and $B(H)$ is a bimodule via the left and right multiplication with the left-regular representation $\lambda \colon L \mathbb F_2 \to B(\ell^2 \mathbb F_2)$.

Define $\delta(x) = [x,\lambda(a)]$. Then, $\lambda(a^{\pm1})'' \subset L \mathbb F_2$ is a MASA (as can be shown) and $\delta$ vanishes on it. However, $\delta(\lambda(b)) \neq 0$ so that $\delta$ does not vanish on $L \mathbb F_2$.

$\endgroup$
3
  • $\begingroup$ Thanks, Andreas! In fact, if $\delta$ takes value in compact operators then it is $0$ on the whole $M$. Thanks for the fast clarification! $\endgroup$ Jan 13, 2011 at 14:21
  • $\begingroup$ What is the precise theorem? Does this hold for $H = L^2(M,\tau)$? $\endgroup$ Jan 13, 2011 at 14:25
  • $\begingroup$ It is the following: $\delta: M \rightarrow K(H)$ is a derivation of $II_1$-factor and A - MASA, if $\delta|_{A}=0$ then $\delta=0$. (it is contained in the proofs of Popa, JFA 1987). In particular it holds for $H=L^2(M, \tau)$. $\endgroup$ Jan 13, 2011 at 14:39
2
$\begingroup$

Sorry to be naive but why can't you just represent $M$ on a separable Hilbert space and take the inner derivation induced by any non-central element in the masa? This maps into $M\subset B(H)$, vanishes on the masa, but is non-trivial on $M$ because the element is non-central.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.