We propose to study the Hessian metric of given functional in the space of probability space embedded with L^2–Wasserstein (optimal transport) metric. We name it transport Hessian metric, which contains and extends the classical L^2–Wasserstein metric. We formulate several dynamical systems associated with transport Hessian metrics. Several connections between transport Hessian metrics and math physics equations are discovered. E.g., the transport Hessian gradient flow, including Newton’s flow, formulates a mean-field kernel Stein variational gradient flow; The transport Hessian Hamiltonian flow of negative Boltzmann-Shannon entropy forms the Shallow water’s equation; The transport Hessian gradient flow of Fisher information forms the heat equation. Several examples and closed-form solutions of finite-dimensional transport Hessian metrics and dynamics are presented.

If an (n + 2)-dimensional Lorentzian manifold is indecomposable, but non-irreducible, then its holonomy algebra is contained in the parabolic algebra (R⊕so(n)).Rn. We show that its projection onto so(n) is the holonomy algebra of a Riemannian manifold. This leads to a classification of Lorentzian holonomy groups and implies that the holonomy group of an indecomposable Lorentzian spin manifold with parallel spinor equals to G . Rn where G is a product of SU(p), Sp(q), G2 or Spin(7).

Let $\Omega $ be a bounded $C^2$ domain in $R^n$ and $\phi : \partial \Omega \to \mathbb{R}^m$ be a continuous map. The Dirichlet problem for the minimal surface system asks whether there exists a Lipschitz map $f : \Omega \to \mathbb{R}^m$ with $ f |_{\partial \Omega}$ and with the graph of $f$ a minimal submanifold in $R^{n+m}$. For $m = 1$, the Dirichlet problem was solved more than thirty years ago by Jenkins-Serrin [13] for any mean convex domains and the solutions are all smooth. This paper considers the Dirichlet problem for convex domains in arbitrary codimension $m$. We prove if $\psi : \bar{\Omega} \to \mathbb{R}^m$ satisfies $8n\delta sup_{\Omega}||D^2 \psi| + \sqrt{2} sup_{\partial \Omega} |D\psi| <1$, then the Dirichlet problem for $ \psi |_{\partial \Omega}$ is solvable in smooth maps. Here $\delta$ is the diameter of $\Omega$ . Such a condition is necessary in view of an example of Lawson-Osserman [15]. In order to prove this result, we study the associated parabolic system and solve the Cauchy-Dirichlet problem with $\psi$ as initial data.

The convexity theorem of Atiyah and Guillemin-Sternberg says that any connected compact manifold with Hamiltonian torus action has a moment map whose image is the convex hull of the image of the fixed point set. Sjamaar-Lerman proved that the Marsden-Weinstein reduction of a connected Hamitonian G -manifold is a stratified symplectic space. Suppose $1\ra A\ra G\ra T\ra 1$ is an exact sequence of compact Lie groups and T is a torus. Then the reduction of a Hamiltonian G -manifold with respect to A yields a Hamiltonian T -space. We show that if the A -moment map is proper, then the convexity theorem holds for such a Hamiltonian T -space, even when it is singular. We also prove that if, furthermore, the T -space has dimension 2dimT and T acts effectively, then the moment polytope is sufficient to essentially distinguish their homeomorphism type, though not their diffeomorphism types. This generalizes a theorem of Delzant in the smooth case.

In this article, we continue the work in Guan-Li and study a normalized hypersurface flow in the more general ambient setting of warped product spaces. This flow preserves the volume of the bounded domain enclosed by a graphical hypersurface, and monotonically decreases the hypersurface area. As an application, the isoperimetric problem in warped product spaces is solved for such domains.