show/hide this revision's text 10 deleted 349 characters in body

A type $II_{1}$ factor $\mathcal{M}$ is solid if for every diffuse von Neumann subalgebra $\mathcal{A}$ of $\mathcal{M}$, the relative commutant $\mathcal{A}'\cap \mathcal{M}$ is injective. (See Ozawa's excellent paper: http://arxiv.org/abs/math/0302082)

A type $II_{1}$ factor $M$ with trace $\tau$ has Property $\Gamma$ if for every finite subset ${ x_{1}, x_{2},..., x_{n} } \subseteq M$ and each $\epsilon >0$, there is a unitary element $u$ in $M$ with $\tau (u)=0$ and $||ux_{j}-x_{j}u||_{2}<\epsilon$ for all $1 \leq j \leq n$. (Here $||T||_2=(\tau(T^{*}T))^{1/2}$ for $T\in M$.)

We say that a type $II_{1}$ factor $M$ with trace $\tau$ is $\Gamma$-solid if for every diffuse von Neumann subalgebra $\mathcal{A}$ of $\mathcal{M}$, the relative commutant $\mathcal{A}'\cap \mathcal{M}$ has property $\Gamma$.

Since every injective von Neumann algebra has property $\Gamma$, the notion of $\Gamma$-solidity is weaker than that of solidity.

Is every $\Gamma$-solid factor solid?

This is a somewhat dumb attempt at weakening solidity. My feeling is that a useful weakening of solidity shouldn't be possible. (Certain weakenings exist, though, as pointed out below by Owen.) Is there an intelligent way to weaken the notion of solidity for von Neumann algebras? (I concede that there really isn't an intelligent reason to try to!)

show/hide this revision's text 9 added 56 characters in body; added 10 characters in body; [made Community Wiki]

A type $II_{1}$ factor $\mathcal{M}$ is solid if for every diffuse von Neumann subalgebra $\mathcal{A}$ of $\mathcal{M}$, the relative commutant $\mathcal{A}'\cap \mathcal{M}$ is injective. (See Ozawa's excellent paper: http://arxiv.org/abs/math/0302082)

A type $II_{1}$ factor $M$ with trace $\tau$ has Property $\Gamma$ if for every finite subset ${ x_{1}, x_{2},..., x_{n} } \subseteq M$ and each $\epsilon >0$, there is a unitary element $u$ in $M$ with $\tau (u)=0$ and $||ux_{j}-x_{j}u||_{2}<\epsilon$ for all $1 \leq j \leq n$. (Here $||T||_2=(\tau(T^{*}T))^{1/2}$ for $T\in M$.)

We say that a type $II_{1}$ factor $M$ with trace $\tau$ is $\Gamma$-solid if for every diffuse von Neumann subalgebra $\mathcal{A}$ of $\mathcal{M}$, the relative commutant $\mathcal{A}'\cap \mathcal{M}$ has property $\Gamma$.

Since every injective von Neumann algebra has property $\Gamma$, the notion of $\Gamma$-solidity is weaker than that of solidity.

Is every $\Gamma$-solid factor solid?

This is a somewhat dumb attempt at weakening solidity. My feeling is that a useful weakening of solidity shouldn't be possible. (Certain weakenings exist, though, as pointed out below by Owen.) Is there an intelligent way to weaken the notion of solidity for von Neumann algebras? (I concede that there really isn't an intelligent reason to try to!)

show/hide this revision's text 8 removed idiotic suggestion

A type $II_{1}$ factor $\mathcal{M}$ is solid if for every diffuse von Neumann subalgebra $\mathcal{A}$ of $\mathcal{M}$, the relative commutant $\mathcal{A}'\cap \mathcal{M}$ is injective. (See Ozawa's excellent paper: http://arxiv.org/abs/math/0302082)

A type $II_{1}$ factor $M$ with trace $\tau$ has Property $\Gamma$ if for every finite subset ${ x_{1}, x_{2},..., x_{n} } \subseteq M$ and each $\epsilon >0$, there is a unitary element $u$ in $M$ with $\tau (u)=0$ and $||ux_{j}-x_{j}u||_{2}<\epsilon$ for all $1 \leq j \leq n$. (Here $||T||_2=(\tau(T^{*}T))^{1/2}$ for $T\in M$.)

We say that a type $II_{1}$ factor $M$ with trace $\tau$ is $\Gamma$-solid if for every diffuse von Neumann subalgebra $\mathcal{A}$ of $\mathcal{M}$, the relative commutant $\mathcal{A}'\cap \mathcal{M}$ has property $\Gamma$.

Since every injective von Neumann algebra has property $\Gamma$, the notion of $\Gamma$-solidity is weaker than that of solidity.

Is every $\Gamma$-solid factor solid?

I think the answer may be no. What happens if you tensor a solid factor with a non-injective McDuff factor, for example $\mathcal{M} \otimes (\mathcal{M}\otimes \mathcal{R})$, with $\mathcal{M}$ solid? The resulting thing cannot be solid, since it has a noninjective subfactor with property $\Gamma$. Can this resulting thing be $\Gamma$-solid? (If this is so, then a $\Gamma$-solid factor can have property $\Gamma$!) We then may ask whether every $\Gamma$-solid factor has property $\Gamma$.

This is a somewhat dumb attempt at weakening solidity. My feeling is that a useful weakening of solidity shouldn't be possible. Is there an intelligent way to weaken the notion of solidity for von Neumann algebras? (I concede that there really isn't an intelligent reason to try to!)

    Post Undeleted by Anton Geraschenko♦♦
    Post Deleted by Jon Bannon
show/hide this revision's text 7 added 94 characters in body; added 230 characters in body
show/hide this revision's text 6 added 131 characters in body; added 6 characters in body
show/hide this revision's text 5 added 8 characters in body; added 67 characters in body; added 1 characters in body
show/hide this revision's text 4 added 111 characters in body; added 135 characters in body
show/hide this revision's text 3 added 404 characters in body; deleted 592 characters in body
show/hide this revision's text 2 added 184 characters in body
show/hide this revision's text 1