Weak geodesics in the space of Kähler metrics (Q2391650)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Weak geodesics in the space of Kähler metrics
    scientific article

      Statements

      Weak geodesics in the space of Kähler metrics (English)
      0 references
      0 references
      0 references
      5 August 2013
      0 references
      Let \((X,\omega_0)\) be a connected compact Kähler manifold of dimension \(m>0\). In the 1980's, Mabuchi discovered that there is a natural infinite-dimensional Riemannian manifold structure on the set \(H_0\) of smooth Kähler forms cohomologous to \(\omega_0\), and on the set \(H=\{v\in C^\infty(X) : \omega_0+\partial\overline{\partial}v >0\}\) of smooth strongly \(\omega_0\)-plurisubharmonic functions. In general there is no geodesic of class \(C^2\) between two point in \(H\), resp. in \(H_0\). It is of interest to know whether two points in \(H\) can be connected at least by a weak geodesic. Let \(S=\{s\in \mathbb{C} : 0<\text{Im}s<1 \}\) and \(\omega\) the pullback of \(\omega_0\) by the projection \(\overline{S}\times X\to X\). By a weak, or generalized, geodesic connecting, say, \(0,v\in H\) one then means an \(\omega\)-plurisubharmonic solution \(u: \overline{S}\times X\to \mathbb{R}\) of the problem (1): \((\omega+i\partial\overline{\partial} u)^{m+1}=0\), \(u(s+\sigma,x)=u(s,x)\), if \((s,x)\in \overline{S}\times X\), \(\sigma\in \mathbb{R}\), and \(u(s,x)=0\), if \(\text{Im}s=0\), \(u(s,x)=v(x)\), if \(\text{Im}s=1\). In this work, the authors show that the problem (1) may have a solution with \(\partial\overline{\partial} u\) bounded, but in general it will not have a solution with \(\partial\overline{\partial} u\) continuous.
      0 references
      infinite-dimensional manifold
      0 references
      geodesics
      0 references
      Kähler manifold
      0 references
      weak geodesics
      0 references
      plurisubharmonic solution
      0 references
      complex manifold
      0 references
      holomorphic map
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references