English

$L^{2}$-Wasserstein distances of tracial $W^{*}$-algebras and their disintegration problem

Operator Algebras 2018-08-08 v2

Abstract

We introduce L2L^{2}-Wasserstein distances on densities of tracial WW^{*}-algebras based on a Benamou-Brenier formulation, replacing multiplication by densities with multiplication operators arising as the logarithmic mean under a functional calculus. Furthermore, we concern ourselves with L2L^{2}-Wasserstein distances induced by decomposed derivations on CC^{*}-algebras of continuous sections of a K(H)\mathcal{K}(H)-bundle vanishing at infinity. We prove a distintegration theorem for such distances, introduce mean entropic curvature bounds in case HH is finite-dimensional and show control of these by the essential infimum of the entropic curvature bounds on the fibres. To conclude, we give sufficient conditions for disintegrating arbitrary L2L^{2}-Wasserstein distances for unital CC^{*}-algebras that are Morita equivalent to a commutative unital CC^{*}-algebra.

Keywords

Cite

@article{arxiv.1806.01073,
  title  = {$L^{2}$-Wasserstein distances of tracial $W^{*}$-algebras and their disintegration problem},
  author = {David F. Hornshaw},
  journal= {arXiv preprint arXiv:1806.01073},
  year   = {2018}
}

Comments

51 pages, 2 figures. Streamlined exposition and corrected minor mistakes. Proposition 2.3 (old version) was replaced by Subsection 3.2 (new version) and an assumption that vertical gradients decompose into fibre gradients was added. Vertical gradients have become a special case of the setting of Subsection 2.4. Much of the fourth section has thus been re-worked