  In this work we prove the existence and uniqueness of the optimal transport
map for $L^p$-Wasserstein distance with $p>1$, and particularly present an
explicit expression of the optimal transport map for the case $p=2$. As an
application, we show the existence of geodesics connecting probability measures
satisfying suitable condition on path groups and loop groups.
