We formulate the Riemannian calculus of the probability set embedded with L^2-Wasserstein metric. This is an initial work of transport information geometry. Our investigation starts with the probability simplex (probability manifold) supported on vertices of a finite graph. The main idea is to embed the probability manifold as a submanifold of the positive measure space with a nonlinear metric tensor. Here the nonlinearity comes from the linear weighted Laplacian operator. By this viewpoint, we establish torsion-free Christoffel symbols, Levi-Civita connections, curvature tensors, and volume forms in the probability manifold by Euclidean coordinates. As a consequence, the Jacobi equation, Laplace-Beltrami and Hessian operators on the probability manifold are derived. These geometric computations are also provided in the infinite-dimensional density space (density manifold) supported on a finite-dimensional manifold. In particular, an identity is given connecting the Baker-{É}mery Γ2 operator (carr{é} du champ it{é}r{é}) by connecting Fisher-Rao information metric and optimal transport metric. Several examples are demonstrated.

In analogy with the classical Minkowski problem, necessary and sufficient conditions are given to assure that a given measure on the unit sphere is the cone-volume measure of the unit ball of a finite dimensional Banach space.

We prove pinching estimates for dual flows provided the curvature function used in the inverse flow in de Sitter space is convex.

Let $M^n$ be a complete noncompact K\"ahler manifold with nonnegative bisectional curvature and maximal volume growth, we prove that $M$ is biholomorphic to $\mathbb{C}^n$. This confirms the uniformization conjecture of Yau under the assumption $M$ has maximal volume growth.

We give a complete classification of locally strongly convex affine hypersurfaces of Rn+1 with parallel cubic form with respect to the Levi-Civita connection of the affine Berwald-Blaschke metric. It turns out that all such affine hypersurfaces are quadrics or can be obtained by applying repeatedly the Calabi product construction of hyperbolic affine hyperspheres, using as building blocks either the hyperboloid, or the standard immersion of one of the symmetric spaces SL(m,R)/SO(m), SL(m,C)/SU(m), SU 2m /Sp(m), or E6(−26)/F4.