No abstract uploaded!

No abstract uploaded!

We give a necessary and sufficient condition on the cost function so that the map solution of Monge’s optimal transportation problem is continuous for arbitrary smooth positive data. This condition was first introduced by Ma, Trudinger and Wang [24], [30] for a priori estimates of the corresponding Monge–Ampère equation. It is expressed by a socalled$cost-sectional curvature$being non-negative. We show that when the cost function is the squared distance of a Riemannian manifold, the cost-sectional curvature yields the sectional curvature. As a consequence, if the manifold does not have non-negative sectional curvature everywhere, the optimal transport map$cannot be continuous$for arbitrary smooth positive data. The non-negativity of the cost-sectional curvature is shown to be equivalent to the connectedness of the contact set between any cost-convex function (the proper generalization of a convex function) and any of its supporting functions. When the cost-sectional curvature is uniformly positive, we obtain that optimal maps are continuous or Hölder continuous under quite weak assumptions on the data, compared to what is needed in the Euclidean case. This case includes the quadratic cost on the round sphere.

We consider amalgamated free product II_{1}factors$M$=$M$_{1*$B$}$M$_{2*$B$}… and use “deformation/rigidity” and “intertwining” techniques to prove that any relatively rigid von Neumann subalgebra$Q$⊂$M$can be unitarily conjugated into one of the$M$_{$i$}’s. We apply this to the case where the$M$_{$i$}’s are w-rigid II_{1}factors, with$B$equal to either$C$, to a Cartan subalgebra$A$in$M$_{$i$}, or to a regular hyperfinite II_{1}subfactor$R$in$M$_{$i$}, to obtain the following type of unique decomposition results, àla Bass–Serre: If$M$= ($N$_{1 * C}N_{2*$C$}…)^{$t$}, for some$t$> 0 and some other similar inclusions of algebras$C$⊂$N$_{$i$}then, after a permutation of indices, ($B$⊂$M$_{$i$}) is inner conjugate to ($C$⊂$N$_{$i$})^{$t$}, for all$i$. Taking$B$=$C$and $ M_{i} = {\left( {L{\left( {Z^{2} \rtimes F_{2} } \right)}} \right)}^{{t_{i} }} $ , with {$t$_{$i$}}_{$i$⩾1}=$S$a given countable subgroup of$R$_{+}^{*}, we obtain continuously many non-stably isomorphic factors$M$with fundamental group $ {\user1{\mathcal{F}}}{\left( M \right)} $ equal to$S$. For$B$=$A$, we obtain a new class of factors$M$with unique Cartan subalgebra decomposition, with a large subclass satisfying $ {\user1{\mathcal{F}}}{\left( M \right)} = {\left\{ 1 \right\}} $ and Out(M) abelian and calculable. Taking$B$=$R$, we get examples of factors with $ {\user1{\mathcal{F}}}{\left( M \right)} = {\left\{ 1 \right\}} $ , Out($M$) =$K$, for any given separable compact abelian group$K$.

No abstract uploaded!