Grauert tubes and the homogeneous Monge-Ampère equation. II (Q1203626)

This paper is a continuation of the previous paper of the authors under the same title [ibid. 34, 561-570 (1991; Zbl 0746.32005)], where the Bruhat-Whitney complexification theorem (complex ``thickening'') was extended on Riemann real-analytic manifolds, having in mind the complexification \(\tilde X=M\) to be a Kähler manifold and the imbedding \(X\hookrightarrow M\) to be a real-analytic isomertry. The mentioned extension was obtained combining the existence of Grauert tubes \(M_ \varepsilon\), \(0<\varepsilon<1 \), defined by a smooth strictly plurisubharmonic function \(\rho\) on a neighborhood \(M_ 1\) of \(X\) in \(M\), with the additional property (introduced by the authors) the function \(\rho\) to satisfy the homogeneous Monge-Ampère (M-A) equation on the complement of \(X\) in \(M_ 1 \). The existence of such \(\rho\) gives the uniqueness of the Kähler metric on \(M\). In this new paper the authors explain the significance of the introduced additional property in pure analytic direction. However one new base of geometric character is adapted, namely a theorem of \textit{V. Guillemin} and \textit{S. Sternberg} [Geometric asymptotics, Math. Surv. 14, 474 p. (1977; Zbl 0364.53011) p. 228] which gives a fibration of the Grauert tube \(M_ \varepsilon\). Using this filtration the authors define a Gysin map from the space of holomorphic \((n,0)\)-forms on \(M\) which are smooth up to the boundary, onto the space \({\mathcal C}^ \infty(X)\). According to a recent result of Epstein and Melrose [preprint, 1990] the mentioned Gysin map is a bijection for small \(\varepsilon\). Inspired by the results of \textit{L. Boutet de Monvel} [C. R. Acad. Sci., Paris, Sér A 287, 855- 856 (1978; Zbl 0392.35043)] on Fourier integral operators of complex type from \({\mathcal C}^ \infty(X)\) to the ring of holomorphic functions on \(M_ \varepsilon\), the authors use the introduced Gysin map for to define a natural map \({\mathcal C}^ \infty (X)\to{\mathcal C}^ \infty(X)\) denoted by \(R_{\varepsilon,s}\). A rather elegant study of the corresponding evolution equation \({d\over ds}R_{\varepsilon,s}=P_ s R_{\varepsilon,s}\), where \(P_ s\) is a positive-definite first-order elliptic pseudodifferential operator is given. Computing the leading symbol of \(P_ s\) the authors show that if \(\rho\) satisfies the homogeneous \(M\)-\(A\) equation on the annulus \(\delta^ 2<\rho< \varepsilon^ 2\) then the symbol of \(P_ s\) does not depend on \(s\).