Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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$?

share|improve this question
add comment

2 Answers 2

up vote 3 down vote accepted

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$.

share|improve this answer
Thanks, Andreas! In fact, if $\delta$ takes value in compact operators then it is $0$ on the whole $M$. Thanks for the fast clarification! –  Kate Juschenko Jan 13 '11 at 14:21
What is the precise theorem? Does this hold for $H = L^2(M,\tau)$? –  Andreas Thom Jan 13 '11 at 14:25
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)$. –  Kate Juschenko Jan 13 '11 at 14:39
Thanks for the reference. –  Andreas Thom Jan 13 '11 at 14:42
add comment

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.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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