Optimal transport on completely integrable toric manifolds

TL;DR

This paper demonstrates that solutions to the transported Monge-Ampere problem on complex compact toric manifolds can be established using the real optimal transportation theory, simplifying previous approaches.

Contribution

It bridges complex Monge-Ampere equations on toric manifolds with real optimal transportation theory, providing a new, streamlined proof of existence and uniqueness.

Findings

Existence and uniqueness of solutions established

Connections between complex and real optimal transport theories

Simplified proof approach for Monge-Ampere problems

Abstract

We show that existence and uniqueness of solutions to transported Monge-Ampere problem on complex compact toric manifold follows easily from the real theory of optimal transportation.

Equations

$$-d⟨m(p),t⟩={\omega }_p(t^{\#},\cdot )$$

$$M{A}_g(\varphi )=\mu$$

$$g(m_{\varphi })MA(\varphi )=\mu ,$$

$$u^{\ast }(p):=\underset{x\in {\mathbb{R}}^n}{\sup }\{⟨x,p⟩-u(x)\}.$$

$$y\in \partial u(x)\iff \forall z\in {\mathbb{R}}^{n}u(x)+⟨y,z-x⟩\le u(z).$$

$$x\cdot p=u(x)+u^{\ast }(p)\iff p\in \partial u(x)\iff x\in \partial u^{\ast }(p).$$

$$\partial \varphi (B(x,\delta ))\subseteq \partial \varphi (x)+B(0,ϵ),$$

$$\text{graph}(\partial u)=\{(x,p)|\exists (x_n,p_n)\in {\mathbb{R}}^n\times {\mathbb{R}}^n:p_n\in \partial u_n(x_n)$$

$$\text{and}(x_n,p_n)\to (x,p)\}.$$

$$S_n(y)\subset S_n(x)+B(0,ϵ)\text{for all}y\in V\cap X.$$

$${\varphi }_P(x):=\underset{p\in P}{\sup }⟨x,p⟩.$$

$$\nu [A]=\mu [T^{-1}(A)].$$

$${\int }_{{\mathbb{R}}^d}|x-T(x){|}^{2}d\mu .$$

$$\int {\chi }_{A}d\nu ={\int }_{A}d\nu ={\int }_{(\nabla \varphi {)}^{-1}(A)}d\mu =\int {\chi }_A\circ \nabla \varphi d\mu$$

$$\int fd\nu =\int f\circ \nabla \varphi d\mu .$$

$$\int f(\nabla \varphi (x))d\mu =\int f(\nabla \varphi (x))g(\nabla \varphi (x))\det D^2\varphi dx$$

$$M{A}_g^{\mathbb{R}}(\varphi ):=g(\nabla \varphi (x))\det D^2\varphi =\mu$$

$$\omega {|}_{X_0}=2i\partial \bar{\partial }F$$

$$\frac{\partial F}{\partial x}+c,$$

$$F_v\circ L=F_0\circ L+v,$$

$$M{A}^{\mathbb{C}}(v)[A]:={\int }_A(\omega +i\partial \bar{\partial }v{)}^n$$

$$M{A}^{\mathbb{R}}(F)[B]:=|\partial F(B)|$$

$$M{A}^{\mathbb{R}}(F)[B]:={\int }_B\det (D^{2}F).$$

$${\int }_{X_0}(f\circ L)M{A}^{\mathbb{C}}(\varphi )=\frac{n!}{(2\pi {)}^n}{\int }_{{\mathbb{R}}^n}fM{A}^{\mathbb{R}}(F_{\varphi }).$$

$$M{A}_g(\varphi )=g({\mu }_{\varphi })MA(\varphi ).$$

$${\int }_{X}M{A}_g(\varphi )={\int }_{P}g(p)dp=1$$

$$M{A}_g({\varphi }_j)\to M{A}_g(\varphi )$$

$$M{A}_g^{\mathbb{R}}(u)=\mu$$

$${\int }_{{\mathbb{R}}^n}f(x)g(\nabla u(x))M{A}^{\mathbb{R}}(u)={\int }_{P}f(\nabla u^{\ast }(p))g(p)dp={\int }_{{\mathbb{R}}^n}fd\mu$$

$${\int }_{{\mathbb{R}}^n}fd\mu ={\int }_{P}f(\nabla \varphi (p))g(p)dp={\int }_{P}f(\nabla u^{\ast }(p))g(p)dp.$$

$$F^{\ast }(p)-F_n^{\ast }(p)=\underset{x\in {\mathbb{R}}^n}{\sup }\{⟨x,p⟩-F(x)\}+\underset{x\in {\mathbb{R}}^n}{\inf }\{F_n(x)-⟨x,p⟩\}\le F_n(x^{\ast })-F(x^{\ast }).$$

Full text

Introduction

Let $(X,\omega)$ be a compact Kähler manifold of real dimension $2n$, i.e. $X$ is a complex manifold and one can find a hermitian metric on it whose fundemental form $\omega$ is closed, thus making $(X,\omega)$ into a symplectic manifold. We assume that $X$ is toric - there is a real torus $T^{k}$ acting on it by automorphisms of $\omega$. Such an action also generates a Lie algebra homomorphism from the Lie algebra of the torus $\mathfrak{t}\simeq\mathbb{R}^{k}$ into the Lie algebra of the vector fields of $X$. This action can be extended to the holomorphic action of complexified torus $T_{c}^{k}\simeq(\mathbb{C}^{*})^{k}$. We also assume that the action is completely integrable and effective. That is, we want the torus to be of greatest possible dimension ($k=n$) and we want the trivial automorphism to only come from the identity element. Lastly, we want the action to be Hamiltonian, so we assume that there is a moment map: an action invariant function $m:X\rightarrow(\mathbb{R}^{n})^{*}$, with $(\mathbb{R}^{n})^{*}$ being the Lie algebra dual to $\mathfrak{t}$, such that for every element $t\in\mathbb{R}^{n}$

[TABLE]

with $t^{\#}$ being the vector field generated by $t$ and $\langle m(p),t\rangle$ being the value of the linear form $m(p)$ at $t$.

In this setting one can prove that the image of $X$ through $m$ is a compact convex polytope in $\mathbb{R}^{n}$ with non-empty interior. Moreover this image does not depend on the choice of particular $\omega$ in an invariant cohomology class.

Suppose a probability measure with density $1/C<g(p)<C$ is given on a moment polytope $P$ for some toric Kähler manifold $(X,\omega)$ with completely integrable torus action. Following the preprint [3] one can define a notion of complex transported Monge-Ampère measure $MA_{g}$ on $X$ which corresponds to the Monge-Ampère measure that appears in the theory of optimal transportation of measures. Then the natural question to ask is whether the equation

[TABLE]

has a unique (up to an additive constant) solution for any invariant measure $\mu$ that does not put any mass on polar sets, i.e. the sets that are $-\infty$ loci of plurisubharmonic functions. This is a technical assumption that comes up when one tries to define a Monge-Ampère operator for singualr functions. A partial answer to the above question is provided in [3] where the authors prove the existence of solutions and uniqueness for a subclass of measures.

In the setting sketched above we prove the following theorem:

Theorem**.**

For any invariant probability measure $\mu$ that does not put mass on polar sets there is an invariant $\phi\in PSH(X,\omega)$ such that

[TABLE]

where $m_{\phi}$ is a moment map for the torus action induced by $\phi$.

As already suggested in [3] the proof follows from the result of McCann [7], although not in a straightforward way. The only gap to fill from there is to ensure that appropriate notions of convergence for real and complex solution coincide. Towards this end we prove the following lemma:

Lemma**.**

If a unifiormly Lipschitz sequence of convex functions $F_{n}$ converges in a monotone way to a convex function $F$, then their Legendre transforms $F^{*}_{n}$ converge to $F^{*}$ in $W^{1,\infty}_{loc}$.

As already mentioned, in the real setting this is a well studied equation that appears in the theory of optimal transportation. In the complex case, it comes up as an equation for Kähler-Ricci solitons on Fano varieties, although in that case the action might not be completely integrable.

Acknowledgement

The author would like to thank Sławomir Dinew for his guidance. The author was supported by Polish National Science Centre grant 2018/29/N/ST1/02817.

1 Background material

1.1 Convex functions

Here we want to recall a few facts about convex functions. For a convex function $u:\mathbb{R}^{n}\rightarrow\mathbb{R}\cup\{+\infty\}$ we define its domain as the convex set $\{x\;:\;u(x)<\infty\}$ and denote it as $\text{dom}(u)$. For convenience we exclude the function $u\equiv+\infty$ from the set of convex functions.

For any convex function $u$ on $\mathbb{R}^{n}$ its Legendre transform is defined by

[TABLE]

It is a crucial notion in convex analysis. It is not hard to show that the Legendre transform $u^{*}$ is a convex lower semicontinuous function.

The multivalued subgradient of $u$ is a set-valued map defined on $\text{int}(\text{dom}(u)$) that attaches to a point the set of slopes of supporting planes at that point, namely

[TABLE]

Since $u$ is convex $\partial u$ is always non-empty on $\text{int}(\text{dom}(u))$. It is single-vauled iff $u$ is differentiable at $x$ and at this point it is equal to $\nabla u(x)$.

The notion of a subgradient is closely related to the notion of a Legendre trasform through the following equivalences

[TABLE]

From this, one can see that in the case of a smooth strictly convex function the gradient of the function and of its Legendre transform are each other’s bijective inverses.

The most important fact concerning the differentiability of convex functions is the following one:

Theorem 1.1** (Rademacher’s Theorem).**

Any convex function is differentiable on a subset of full measure of its domain.

The set of differentiability of $u$ will be denoted by $\text{dom}(\nabla u)$.

Finally, we list the properties of convex subgradients that will be of use to us.

Proposition 1.2** (Closedness of subgradients, [8, Theorem 24.4]).**

For any convex function $u$ the graph of $\partial u$ is a closed subset of $\mathbb{R}^{n}\times\mathbb{R}^{n}$.

Proposition 1.3** (Boundedness of subgradients, [8, Corollary 24.5.1]).**

Pick any $x\in\text{int}\,(\text{dom}(\phi))$, then for any positive $\epsilon$ there is a positive $\delta$ such that

[TABLE]

with $B(x,\delta)$ denoting the ball centered at $x$, with the radius $\delta$.

This gives us the following corollary:

Corollary 1.4**.**

For any convex function $u$ and for any compact subset $K$ of $int\,(\text{dom}(u))$ the set $\partial u(K)$ is bounded.

Proof.

Indeed, pick an $\epsilon$ and take appropriate $\delta_{x}$-balls at points $x$ in $K$. This gives a covering of $K$. The only thing left to show is that at $x\notin\text{dom}(\nabla u)$ the subgradient $\partial u(x)$ is still bounded. But $x$ is in $\text{int}(\text{dom}(u))$, if the subgradient would be unbounded then $u$ would get arbitrarily big arbitrarily close to $x$, which cannot be since $x$ lies a positive distance away from the boundary of $\text{dom}(u)$. ∎

Lemma 1.5**.**

Let $u,v$ be two convex functions defined on some convex set $C$ with non-empty interior. If $\{\nabla u=\nabla v\}$ is a subset of full measure of $C$ then $u\equiv v$ in $\text{int}(C)$ modulo additive constant.

Proof.

If $\rho_{\epsilon}$ is the standard mollifier then it is easy to verify that $u\ast\rho_{\epsilon}$ and $v\ast\rho_{\epsilon}$ are convex in $C^{\epsilon}$ smooth and convegre locally uniformly to $u$ and $v$ respectively. Where the set $C^{\epsilon}$ is the domain of definition of mollified function, i.e. $\{x\in C\;|\;\text{dist}(x,\partial C)>\epsilon\}$. By smoothness, the almost everywhere equality of their gradients implies their equality everywhere and thus $u\ast\rho_{\epsilon}$ and $v\ast\rho_{\epsilon}$ must converge to the same function up to a constant. ∎

1.1.1 Convergence of convex functions

The following facts about the convergence of convex functions will be of use. The most natural notion is the following.

Lemma 1.6**.**

If a sequence of convex functions $\{u_{k}\}$ converges locally uniformly to a function $u$, then $u$ is convex.

We would also like to say something about the convergence of subgradients.

Definition**.**

We say that the sequence of subgradients $\partial u_{n}$ converges graphically to subgradient $\partial u$ if their graphs converge as sets, i.e.

[TABLE]

The following theorem of Attouch is a fundamental result concerning the graphical convergence of subgradients.

Theorem 1.7** ([9, Theorem 12.35]).**

For convex, lower semicontinuous functions $f_{n}$ and $f$ the following are equivalent:

$f_{n}\rightarrow f$* locally uniformly,* 2. 2.

$\partial f_{n}\rightarrow\partial f$* graphically and for some choice of $p_{n}\in\partial f_{n}(x_{n})$ and $p\in\partial f(x)$ such that $(x_{n},p_{n})\rightarrow(x,p)$ one has $f_{n}(x_{n})\rightarrow f(x)$.*

Remark**.**

The first part of the orginal theorem is expressed in terms of “epigraphical” convergence, but is equivalent to locally uniform convergence (see [9, Theorem 7.17]).

Finally, we would like to describe the relationship between the graphical convergence and pointwise convergence, for this we need the following definition:

Definition**.**

The sequence of set-valued maps $S_{n}$ is equicontinuous at point $x$ with respect to subset $X$ if for each positive $\epsilon$ there is a neighbourhood $V$ of $x$ such that for almost every $n$

[TABLE]

The sequence is equicontinuous with respect to $X$ if it is equicontinuous at each point of $X$.

Remark**.**

In [9] the above notion is called the asymptotic equi-outer-semicontinuity. Since we don’t need other notions of equicontinuity we will just call that one the equicontinuity.

Now the deisired relationship is the following:

Theorem 1.8** ([9, Theorem 5.40]).**

For the sequnece of set-valued maps $S_{n}$, the map $S$ and a set $X$ any pair of the the following conditions implies the third:

$S_{n}$* is equicontinuous with respect to $X$,* 2. 2.

$S_{n}$* converges graphically to $S$ relative to $X$,* 3. 3.

$S_{n}$* converges pointwise to $S$ relative to $X$.*

1.1.2 The class of globally Lipschitz convex functions

Definition**.**

By support function of a bounded convex set $P$ contatining zero we mean the function

[TABLE]

If the set $P$ is bounded then $\phi_{P}$ is finite everywhere.

Definition**.**

We will denote by $\mathcal{P}$ the space of convex functions dominated by $\phi_{P}$, i.e. the set $\{u-\text{convex}\;|\;\exists\,C:\;u\leq\phi_{P}+C\}$. This is the set of convex functions whose Legendre transform is $+\infty$ outisde $P$. The subset of $\mathcal{P}$ consisting of functions that also dominate $\phi_{P}$ will be denoted by $\mathcal{P}_{+}$, in other words $\mathcal{P}_{+}=\{u\in\mathcal{P}\;|\;\exists\,C:\;u-C\geq\phi_{P}\}$. Both sets can be equipped with the topology of pointwise convergence, which is equivalent to the topology of locally uniform convergence, by the virtue of uniform Lipschitz constant for all $\mathcal{P}$.

The set $\mathcal{P}_{+}$ is dense in $\mathcal{P}$. Moreover the approximating sequence can be chosen as nice as possible.

Lemma 1.9** ([2, Lemma 2.2]).**

Every $\phi\in\mathcal{P}$ can be approximated by decreasing seqence of smooth strictly convex functions from $\mathcal{P}_{+}$.

1.2 Optimal transport and Monge-Ampère equation

We say that the function $T:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}$ transports probability measure $\mu$ to probability measure $\nu$ if for any Borel set $A$ the following equality holds

[TABLE]

Alternatively we say that $T$ pushes $\mu$ forward to $\nu$ and denote the push-froward measure by $T_{\#}\mu$.

In general there will be a lot of such maps, so it is natural to put some optimality constraints on them. The best understood contraint and in some cases the natural one is minimizing the quadratic cost, i.e. the transport map should minimize the following functional

[TABLE]

In general there might not be a solution and if it exists it might not be unique, some regularity assumptions for the measures must be added. For example, one can assume that the measures have finite second moments and $\mu$ is absolutely continuous. In that case the solution exists and has a form of $T=\nabla\phi$ for some convex function $\phi$. For thorough discussion of this problem, the reader might consult [10].

Supposing that a solution exists, by the trasport condition we get

[TABLE]

That can easily be generalized to get that for any $f\in C_{b}(\mathbb{R}^{n})$

[TABLE]

Here $C_{b}(\mathbb{R}^{n})$ denotes the set of continuous and bounded functions on $\mathbb{R}^{n}$.

Suppose now that $d\nu=g(x)dx$ for some density $g(x)$ and $\phi$ is a $C^{2}$ function. By change of variables formula we get that

[TABLE]

and that provides one with a notion of solution to the transported Monge-Ampère equation

[TABLE]

as long as the optimal transport map exists.

As we mentioned, for any two probability measures the optimal transport solution might not exist. However, under a mild regularity assumption it is still possible to transport one to another through a subgradient of convex function, so that the condition (1) is still satisfied. This is the content of the following important theorem.

Theorem 1.10** (McCann [7]).**

Let $\mu,\nu$ be probability measures on $\mathbb{R}^{n}$ and suppose that $\mu$ vanishes on Borel subsets of $\mathbb{R}^{n}$ of Hausdorff diemnsion $n-1$. Then there exists a convex function $\psi$ on $\mathbb{R}^{n}$ whose subgradient $\partial\psi$ pushes $\mu$ forward to $\nu$. $\partial\psi$ is uniquely deterined $\mu$-almost everywhere.

Of course the assumption on the null sets of $\mu$ can not be abandoned. For example if $\mu=\delta_{x}$ and $\nu$ is not a point measure, then if $A$ is such a set that $0<\nu[A]<1$ one gets that for any convex function $\phi$, $\nu[A]\neq\mu[(\partial\phi)^{-1}(A)]$ since the latter must always be either 0 or 1.

1.3 Torus action

As in the intrduction we are interested in completely integrable Kähler manifolds. In this setting the following results provide the correspondence between the Kähler geometry and convex functions.

Proposition 1.11** ([5]).**

There is an open dense subset $X_{0}\subset X$ where the action of $T_{c}^{n}$ is free, making $X_{0}$ diffeomorphic to $(\mathbb{C}^{*})^{n}$. Every invariant Kähler form $\omega$ on $X$ has a Kähler potential on $X_{0}$, i.e.

[TABLE]

for some $F$.

The set $X\setminus X_{0}$ is given as a vanishing set of some holomorphic vector fields, so it must be analytic.

If we introduce coordinates on $X_{0}$ coming from $(\mathbb{C}^{*})^{n}$ by $L:e^{x+iy}\rightarrow x+iy$, the invariance of potential means that the function $F$ from the previous proposition depends only on $x$ variable in $\mathbb{R}^{n}$ and positive definiteness means that $F$ must be convex. Moreover, nothing in the proof actually requires the form to be smooth, so the conclusion easily extends to forms with more singular coefficients, thus asserting that every closed positive and invarinat $(1,1)$-current in the cohomolgy class $[\omega]$ will admits a convex potential.

Proposition 1.12**.**

For the symplectic form $\omega$ as above, the moment map is

[TABLE]

with $c$ being any constant vector in $\mathbb{R}^{n}$.

Finally, we recall the theorem of Atiyah [1], Guillemin and Sternberg [6]:

Theorem 1.13**.**

The image of $X$ through the moment map is a compact convex polytope in $\mathbb{R}^{n}$.

In the case of completely integrable actions the polytopes that can arise as images of moment maps are called Delzant polytopes. Conversely for each Delzant polytope there exists a Kähler manifold with completely integrable torus action and a moment map that maps to this polytope.

1.4 Toric pluripotential theory

The class of plurisubharmonic functions that are torus invariant will be denoted by $PSH_{tor}(X,\omega)=\{\phi\in PSH(X,\omega)\;|\;\forall z\in X,t\in T^{n}\;|\;\phi(t\cdot z)=\phi(z)\}$. The results of the preovious section imply that to each such function corresponds a convex function on $\mathbb{R}^{n}$.

More precisely, if set $X_{0}$ are coordinate map $L$ are as in the previous subsection then for any $v\in PSH_{tor}(X,\omega)$ the form $\omega_{v}=\omega+i\partial\bar{\partial}v$ is still invariant and closed there, so restricting to $X_{0}$ there is a convex $F_{v}$ function given by

[TABLE]

with $F_{0}\circ L$ being the potential for $\omega$. Of course if use the formula above to produce a plurisubharmonic function it will only be defined on $X_{0}$, but since $X\setminus X_{0}$ is analytic, the function will extend to the whole $X$.

Not every convex function can be a potential for an invariant Kähler form. If $P$ is the Delzant polytope of the manifold $(X,\omega)$ then the following Propostion holds (see e.g. [4] for a proof).

Proposition 1.14**.**

The following are equivalent:

$v\in PSH_{tor}(X)$, 2. 2.

$F_{v}\in\mathcal{P}$.

Finally, the two Monge-Ampère measures coincide up to a constant. Specifically, the complex Monge-Ampère measure is defined as

[TABLE]

and the real measure as

[TABLE]

for Borel sets $A,B$ in $\mathbb{C}^{n}$ and $\mathbb{R}^{n}$ respectively. Here $|\cdot|$ is the Lebesgue measure. For $C^{2}$ convex functions it coincides with the measure

[TABLE]

For invariant plurisubharmonic funtion the two concepts are connected through the following proposition.

Proposition 1.15**.**

Let $\phi\in PSH_{tor}(X)$, we identify $X_{0}$ with $(\mathbb{C}^{*})^{n}$. Then for any $f\in C_{b}(\mathbb{R}^{n})$

[TABLE]

The proof is just a straightforward computation (see e.g. [4]) in the smooth case and then the application of classical convergence theorems for convex and plurisubharmonic functions.

1.4.1 g-Monge-Ampère measure

Following the preprint [3] we define the complex $g$-Monge-Ampère measure or the complex transported Monge-Ampère measure as

[TABLE]

From the Proposition 1.12 and the definition of the real transported Monge-Ampère measure it is not hard to see that 1.15 extends for smooth functions to transported measures. In the more general case, especially with the torus of smaller rank, the definition becomes more intricate.

If we denote by $\mathcal{E}_{g}$ the set of all $PSH_{tor}$ functions with full $MA_{g}$ mass, i.e. those functions for which

[TABLE]

then the following crucial continuity statement holds:

Theorem 1.16** ([3], Theorem 2.7).**

If $\phi_{j}$ is a sequence in $\mathcal{E}_{g}$ decreasing to $\phi$ in $\mathcal{E}_{g}$ then

[TABLE]

in the weak topology of measures.

2 Full rank existence and uniqueness

Given a probability measure $g(p)dp$ on $P$ and any probability measure $\mu$ on $\mathbb{R}^{n}$, we would like to solve the equation

[TABLE]

in some appropriate sense. One can not apply McCann’s theorem directly since for example $\mu=\delta_{x}$ would prevent the existence of the transport map, thus we must use the regularity of $g$.

Suppose that we have a smooth strictly convex solution $u$, so that every term in $MA_{g}^{\mathbb{R}}(u)$ is well-defined and moreover so is $\nabla u^{*}$. By the fact that for any $x$ and any $p$, $\nabla u(\nabla u^{*}(p))=p$ and $\nabla u^{*}(\nabla u(x))=x$ we define the solution through the change of variables formula. Thus

[TABLE]

and a function $u\in\mathcal{P}$ such that the second equality holds for any contiunous bounded function $f$ is defined to be a solution.

The fact that there is such a solution follows easily from McCann’s theorem. Suppose that $\phi$ is the convex function whose gradient transports $g(p)dp$ (understood as a measure on $\mathbb{R}^{n}$) to $\mu$. By the regularity of $g$ and McCann’s theorem it must exist. Then $\nabla\phi$ is defined $g(p)dp$-almost everywhere and since $P$ is convex we can take $\phi$ to be $+\infty$ outside of $P$. Thus after possibly fixing $\phi$ on $\partial P$ so that it is lower semi-continuous, its Legendre transform $\phi^{*}$ becomes unique and defined everywhere on $\mathbb{R}^{n}$ and thus belongs to the class $\mathcal{P}$ since by lower semicontinuity $\phi^{**}=\phi$. The convex function $u=\phi^{*}$ is the unique (up to additive constant) solution to the transported Monge-Ampère problem in the class $\mathcal{P}$. Indeed, since $\nabla\phi$ transports $g(p)dp$ to $\mu$ it means that for any $f\in C_{b}(\mathbb{R}^{n})$

[TABLE]

If there was to be another solution $v$ in the class $\mathcal{P}$ then its Legendre transform would have been $+\infty$ on the complement of $P$ and lower semicontinuous on its boundary and it would induce a transport of $g(p)dp$ to $\mu$, so by McCann’s uniqueness theorem $\nabla u^{*}=\nabla v^{*}$ $g\,dp$-almost everywhere, and since $g>0$, by Lemma 1.5 we get $u^{*}=v^{*}$ (mod $\mathbb{R}$) everywhere on $\text{int}(P)$.

Remark on uniqueness.

Of course the uniqueness statement becomes false if we allow functions outside of class $\mathcal{P}$. Suppose that $\mu=\delta_{0}$, then the solution is obviously $u=\phi_{P}$, so that $u^{*}\equiv 0$ on $P$. But now adding to $u$ any convex function $v$ such that $\min v=v(0)$ would also give a solution, since $(u+v)^{*}\equiv 0$ on $P$.

Example**.**

Finally, we would like to point out that if the assumptions of McCann’s theorem are not satisfied for at least one of the measures there might not be a weak solution. For example, if $\mu=\delta_{[-1,1]\times\{0\}}$ and $\nu=\delta_{\{0\}\times[-1,1]}$ are measures on $\mathbb{R}^{2}$, then it is impossible to find a solution. Indeed, the only candidate is $u(x,y)=|y|$ and it is easy to see that it can not be the solution since $u^{*}|_{\{0\}\times[-1,1]}\equiv 0$.

2.1 The complex case

Corollary 2.1**.**

The solution to the real problem in $\mathbb{R}^{n}$ induces a unique solution to the $g$-Monge-Ampère problem on toric manifolds.

Proof.

Firstly, we notice that the fact that $\mu$ does not put any mass on pluripolar sets implies that $X\setminus X_{0}$ as an analytic set has no mass. Thus we can restrict the problem to $X_{0}$. Moreover, since the measure is invariant, it can be interpreted as a measure on $\mathbb{R}^{n}$ also denoted by $\mu$.

Suppose now we have a real solution $F_{\phi}$ for the measure $\mu$, then one suspects that $\phi=(F_{\phi}-F_{0})\circ L$ would be the solution for the corresponding invariant measure. Indeed, $F_{\phi}$ is in $\mathcal{P}$, so it must correspond to some invariant psh function. Moreover, for smooth strictly convex functions the formula (2) obiously translates by Proposition 1.15 to the complex setting. Finally, by Lemma 1.9 there exists a decreasing sequence $F_{n}$ of smooth strictly convex functions that decreases to $F_{\phi}$, so by smoothness and Theorem 1.16 $MA^{\mathbb{R}}_{g}(F_{n})=MA^{\mathbb{C}}_{g}(F_{n}-F_{0})$ converges weakly to $MA^{\mathbb{C}}_{g}(F_{\phi})$. Thus the only thing left to show is that $MA^{\mathbb{R}}_{g}(F_{n})$ converges weakly to $\mu$.

Take $f\in C_{b}(\mathbb{R}^{n})$ and put $f_{n}:=f\circ\nabla F^{*}_{n}$. We would like to show that $f_{n}$ converge almost everywhere to $f$. That would give us the desired assertion by the dominated convergence.

First, let us prove that decreasing convergence of $F_{n}$ implies locally uniform convergence of $F_{n}^{*}$. Indeed, since $F_{n}$’s are uniformly Lipschitz, their pointwise convergence implies locally uniform convergence. Now $F\leq F_{n}$ implies $F^{*}_{n}\leq F^{*}$, take $p\in\text{int}P$ and suppose that the supremum in $F^{*}(p)$ is realized by $x^{*}$, thus

[TABLE]

Thus $F_{n}^{*}$ converges pointwise to $F^{*}$. If $K\subseteq\text{int}(P)$ is compact then by Proposition 1.2 and Corollary 1.4 $\partial F^{*}(K)$ is compact and for every $q\in K$ the supremum in $F^{*}(q)$ is realized by some $y^{*}$ in $\partial F^{*}(q)$, thus the convergence is locally uniform.

Now, we will show that $F^{*}_{n}$ converging locally uniformly to $F^{*}$ implies that $\nabla F_{n}^{*}$ converges to $\nabla F^{*}$ almost everywhere and that would finish the proof. To do that we want to employ the Theorems 1.7 and 1.8 restricted to $\text{dom}(\nabla F^{*})$. Thus the only thing left to show is the equicontinuity of $\nabla F^{*}_{n}$’s with respect to $\text{dom}(\nabla F^{*})$.

In order to prove this we will first prove the following lemma:

Lemma 2.2**.**

$\nabla F^{*}_{n}$* are locally bounded independently of $n$.*

Proof.

Take any point $x\in\text{int}P\cap\text{dom}(\nabla F^{*})$ and pick a positive $\delta$ such that $B(x,\delta)$ is relatively compact in $\text{int}P$. By the boundedness of the subgradient (Corollary 1.4) there exists a positive $M$ such that

[TABLE]

Now pick a positive $\eta$, starting from some $n$ we get that $0\leq F^{*}-F^{*}_{n}\leq\eta$ over $B(x,\delta)$. We claim that $\nabla F_{n}^{*}(B(x,\delta/2))\subset B(\nabla F^{*}(x),M+C)$ holds for some constant $C$, independent of $F^{*}_{n}$.

Indeed, by convexity it is enough to estimate the gradients on the boundary of $B(x,\delta/2)$. Take a point $y\in\partial B(x,\delta/2)$ such that $|\nabla F^{*}_{n}(y)|$ achieves maximum over $\partial B(x,\delta/2)$. The vector $\nabla F^{*}_{n}(y)$ must be pointed to the outside of $B(x,\delta/2)$ or at least be tangent to it. The “boundary” steepset case is $F^{*}_{n}(y)=F^{*}(y)-\eta$, $F^{*}$ growing at best possible rate from $y$ and tangent plane at $F^{*}_{n}(y)$ touching $F^{*}$ at the boundary of $B(x,\delta)$, then $\nabla F^{*}_{n}(y)$ would become the steepest if that happened over shortest possible interval which would be of length $\delta/2$. Thus finally $|\nabla F^{*}_{n}(y)|\leq\eta+p\delta/2$, where $p$ is the length of the longest vector in $B(\nabla F^{*}(x),M)$. ∎

With the Lemma in hand the rest of the proof is straightforward. Suppose the sequence is not equicontinuous at some point $x_{0}\in\text{int}P\cap\text{dom}(\nabla F^{*})$. Thus there is a positive $\epsilon$ such that for any $k$ there is $y_{k}\in B(x_{0},1/k)\cap\text{dom}(\nabla F^{*})$ such that

[TABLE]

with $n(k)$ being some subsequence of $\mathbb{N}$. But by above lemma the set $p_{k}=\{\nabla F^{*}_{n(k)}(y_{k})\}$ is bounded, thus there must be a convergent subsequence, conviniently also named $p_{k}$, such that $p_{k}\xrightarrow{k\rightarrow\infty}p$. But the set $q_{k}=\{\nabla F^{*}_{n(k)}(x_{0})\}$ is also bounded thus a subsequence must converge to some $q$ such that $|q-p|\geq\epsilon$. Thus we have two subsequences $(y_{k},p_{k})$ and $(x_{0}.q_{k})$. By graphical convergence both of them must converge to some point in $\partial F^{*}(x_{0})$, but this set is a singleton and that is a contradiction. ∎