Let $(\mathcal{A},\tau_\mathcal{A})$ and $(\mathcal{B},\tau_\mathcal{B})$ be semifinite von Neumann algebras with normal semifinite faithful traces $\tau_\mathcal{A}$ and $\tau_\mathcal{B}$. I defined a map $\phi$ on $\tau_\mathcal{A}$-finite projections of $\mathcal{A}$ such that $\phi(e+f)=\phi...

I suggest deleting the tag decomposition-theorem. I would guess that the tag was intended to be about the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber. It seems unnecessary to have a whole tag just dedicated to this theorem (perverse-sheaves should suffice). What's worse, most po...