Geodesic convexity of small neighborhood in the space of Kähler potentials (Q785840)

The authors show that, given \(k>4\), \(0 <J<\min\{\frac{1}{4}, \frac{k-4}{4}\}\), any point in the space of non-degenerate smooth Kähler potentials has a small neighborhood with respect to \(C^k\) norm such that any two points in this neighborhood can be connected by a geodesic of at least \(C^{k-J}\) regularity. In order to construct a geodesic segment between two Kähler potentials in a small neighborhood of a given potential, the authors perturb the explicit solution of the HCMA equation which corresponds to the one-point geodesic segment in the domain \(\mathcal{R}\times V\), where \(\mathcal{R}\subset [0, 1] \times \mathbb R\) is a long strip of finite length. Endpoints of geodesic are the prescribed Kähler potentials at \(t =0\) and \(t =1\), respectively. The solution of the Dirichlet problem is constructed by iteration: at each step they prescribe the data on the remaining part of the boundary. The fixed point is the solution of HCMA which corresponds to the geodesic segment. Existence of a fixed point is obtained by Nash-Moser-type theorem. In Appendix A, a family of Dirichlet problems for the Poisson equation is studied, which is used in several parts of the paper, to show the regularity of functions on the product space. Another result in this appendix shows the solvability of the Riemann-Hilbert problem in Hölder spaces, and is used in the proof of stable existence of holomorphic disc families. The third result in Appendix A discusses a family of harmonic functions, and is used to show the invertibility of tangential map of the iteration map. In Appendix B, the authors prove a Moser-type inverse function theorem.