A study of variations of pseudoconvex domains via Kähler-Einstein metrics (Q495582)

Let \(D\) be a smooth bounded domain in \(\mathbb{C}^n\times\mathbb{C}\) and let \(\pi:\mathbb{C}^n\times \mathbb{C}\to\mathbb{C}\) be the projection on the second factor. It follows from \textit{S.-Y. Cheng} and \textit{S.-T. Yau} [Commun. Pure Appl. Math. 33, 507--544 (1980; Zbl 0506.53031)] that there exists a unique complete Kähler-Einstein metric \(^sh_{i,j}(z)\) for every \(s\in\pi(D)\) and every \(z\in D_s:= \pi^{-1}(s)\cap D\subset\mathbb{C}^n\) provided that \(D_s\) is a strongly pseudoconvex domain with smooth boundary. Hence, it follows readily that the function \[ h(z):= (n+1)^{-1}\text{log\,det}\big(^sh_{i, j}(z)\big)_{1<i,j\leq n}:D\to\mathbb{R} \] is strictly plurisubharmonic, when restricted to each fiber \(D_s\). Then, a main result of this paper is Theorem 1.1: Assume that \(D\) is a strongly pseudoconvex domain in \(\mathbb{C}^n\times\mathbb{C}\). Then, \(h(z,s)\) is indeed a strictly plurisubharmonic function on \(D\), provided \(\dim D_s>1\). This result improves previous result by the author for the cases where \(\dim D_s>2\). Also, by using results of Cheng, Mok and Yau, he obtains Corollary 1.2: Assume that \(D\) is a pseudoconvex domain and each fiber \(D_s\) is a bounded pseudoconvex domain. Then, \(h(z,s)\) is plurisubharmonic on \(D\). As pointed out by the author, Corollary 1.2 also has been established by \textit{H. Tsuji} [``Dynamical construction of Kähler-Einstein metrics on bounded pseudoconvex domains'', Preprint, \url{arXiv:1311.4038}] by different techniques. Now let \(H:=i\partial\partial h(z,s)\) be a real \((1,1)\) form on \(D\), then its restriction to each fiber \(D_s\) is positive definite, since it was derived from the Kähler-Einstein metric. In this case, the author proves the following Theorem 5.3: Let \(D\) be a smooth domain such that every fiber \(D_s\) is a bounded strongly pseudoconvex domain with smooth boundary. If the geodesic curvature \(c(H)\) vanishes on \(D\), the family \(\pi|D\) is locally trivial, provided \(\dim D_s>2\).