1: \begin{abstract}

2: We investigate the stability of the Wasserstein distance, a metric

3: structure on the space of probability measures arising from the theory

4: of optimal transport, under metric ultralimits. We first show that

5: if $(X_{i},d_{i})_{i\in\mathbb{N}}$ is a sequence of metric spaces

6: with metric ultralimit $(\hat{X},\hat{d})$, then the $p$-Wasserstein

7: space $(\mathcal{P}_{p}(\hat{X}),W_{p})$ embeds isometrically in

8: a canonical fashion into the metric ultralimit of the sequence of

9: $p$-Wasserstein spaces $(\mathcal{P}_{p}(X_{i}),W_{p})$. Second,

10: using a notion of ultralimit of metric measure spaces modeled on the

11: one introduced by Elek, we use the machinery of ultralimits of Wasserstein

12: spaces to prove that an ultralimit of $CD(K,\infty)$ spaces is a

13: $CD(K,\infty)$ space. This provides a new proof that the $CD(K,\infty)$

14: property is stable under pointed measured Gromov convergence. Along

15: the way, we establish some basic results on how the Loeb measure construction

16: interacts with Wasserstein distances as well as integral functionals,

17: which may be of independent interest.

18: \end{abstract}

19: