On complex Legendre duality (Q2187687)

Let \(X\) be a compact Kähler manifold with a smooth Kähler form \(\omega_0\). The space of its Kähler potentials is defined by \[ \mathcal{H}=\left\{u\in C^\infty(X): \omega_u=\omega_0+i \partial\bar\partial u>0\right\}. \] With the Mabuchi metric, the space \(\mathcal{H}\) is naturally an infinite-dimensional Riemannian manifold. In [\textit{B. Berndtsson} et al., Am. J. Math. 142, No. 1, 323--339 (2020; Zbl 07176037)], the following generalization of the Legendre transformation from Euclidean spaces to Kähler manifolds is proved. Theorem. Suppose \(u\in \mathcal{H}\) and \(\omega_u\) is real analytic. Then \(u\) has a neighborhood \(\mathcal{U}\subset \mathcal{H}\) and there is a \(C^\infty\) diffeomorphism \(F: \mathcal{U}\to \mathcal{U}\) that is an involution, an isometry of the Mabuchi metric, fixes \(u\), and its differential \(F_*\) acts on \(T_u\mathcal{U}\) as multiplication by \(-1\). In this article, the author proves that the real analyticity condition for \(\omega_u\) is necessary for the existence of such an involution to exists. Theorem. Let \(\mathcal{U}\) be an open neighborhood of \(u\) in \(\mathcal{H}\). Suppose that there exists a \(C^\infty\) map \(F: \mathcal{U}\to \mathcal{H}\) such that \(F: \mathcal{U}\to F(\mathcal{U})\) is a diffeomorphism, \(F\) preserves the Mabuchi metric, \(F(u)=u\) and \(F_*\xi=-\xi\) for all \(\xi\in T_u\mathcal{U}\). Then, \(\omega_u\) is real analytic. Using the WZW equation, the author proves that the existence of the map \(F\) implies that the wave front set of \(u\) is empty, and then concludes that \(u\) is real analytic.