Whether N arising from a vNOE coupling is *-closed
Determine whether the subset N = {a ∈ A : a ⊗ 1 ∈ V} defined via a vNOE coupling is closed under the *-operation; equivalently, show whether N is a *-subalgebra of A, where V is the L^2(A ⊗ Q)-closure of the linear span of {φ(b) x : b ∈ B, x ∈ Q} for a normal *-homomorphism φ : B → A ⊗ Q satisfying E_Q ∘ φ = τ_B.
Sponsor
References
We do not know if N is a $*$-subalgebra.
— Von Neumann Orbit Equivalence
(2409.15535 - Ishan et al., 23 Sep 2024) in Remark following Lemma ‘special subalgebra of A via coupling’, Section ‘Von Neumann orbit equivalence for tracial von Neumann algebras’