Symplectic geometry and the uniqueness of Grauert tubes (Q5937264)

Let \((M,g)\) be an \(n\)-dimensional compact real-analytic Riemannian manifold and let \(M\) be identified with the zero section in the tangent bundle \(TM\). Let \(\rho : TM\to \mathbb R\) be the norm function with respect to \(g\). Then, for sufficiently small \(r\), \(T^r(M)=\{v\in T(M);\;\rho(v)<r\}\) carries a unique complex structure satisfying the following two conditions: (i) \(\rho^2\) is strictly plurisubharmonic function and the corresponding Kähler metric restricts to \(g\) on \(M\), (ii) \(\rho\) is a solution of the homogeneous complex Monge-Ampère equation \((\partial\partial^c\rho)^n=0\) on \(T^r(M)\setminus M\), where \(M\subset T^r(M)\). The resulting Stein complex manifolds are called Grauert tubes. In [Lect. Notes Pure Appl. Math. 173, 119-133 (1996; Zbl 0921.32006)] the first author presents another characterization of Grauert tubes by showing that if \(X\) is a connected complex manifold and \(u\) is a smooth, bounded, non-negative, strictly plurisubharmonic exhaustion function such that \(\sqrt u\) solves the Monge-Ampère equation on \(X\setminus \{u=0\}\), then \(M=\{u=0\}\) is a connected real-analytic submanifold of \(X\) and there exists a biholomorphism \(\varphi\) from \(X\) to a Grauert tube on \(T^r(M)\) with \(\rho=\sqrt u\circ \varphi\) and \(r=\sup_{x\in X}\sqrt{u(x)}\). The purpose of this paper is to demonstrate that there is a unique way of associating a Riemannian manifold to a Grauert tube. The authors prove that if two Grauert tubes \(X_1\) associated to a compact Riemannian manifold \((M_1,g_1)\) and \(X_2\) associated to \((M_2,g_2)\) of equal finite radius \(r\) are biholomorphic via a map \(\varphi\), then \(\varphi\) maps \(M_1\subset X_1\) to \(M_2\subset X_2\), restricting to an isometry with respect to \(g_1\) and \(g_2\).