I have the following question: Due to Stenzel, Lempert, Szöke etc. we know that a Riemannian manifold $(M,g)$ admits a complex structure on a neighbourhood of the zero section of the cotangent bundle. This complex structure $J$ is unique due to the Bruhat and Whitney complexification method. With this complex structure there comes a symplectic form $\omega$ that is Kähler and moreover $M$ is a Lagrangian submanifold in this complexified neighbourhood of the zero section in the cotangent bundle. My question is: is this Kähler form $\omega$ unique? Does there exists a different (or in the same cohomology) Kähler form with the same properties? If its not unique to which extend does uniqueness fail? Or, how can one characterize the space of Kähler forms on a neighbourhood of the zero section in the cotangent bundle that fixes $M$ as a Lagrangian submanifold? (Actually I am very interested in the last question.)

## 1 Answer

This is a rather tough question to answer.

Check out: D. Burns & R. Hind, Symplectic geometry and the uniqueness of Grauert tubes, Geom. Func. Anal. Vol. 11 (2001), 1-10.

In this paper, they prove that, if two Grauert tubes of $M$ in $TM$ with respect to two Riemannian metrics $g_1,\ g_2$ are biholomorphic, then the biholomorphism restricts to an isometry from $(M,g_1)$ to $(M,g_2)$. Thus, if no such isometry exists, then the resulting Grauert tubes are not biholomorphic. (If I am interpreting this theorem correctly).

In general, though, the Kaehler form is derived from the complex structure composed with the given Riemannian metric $g$. Thus, if we change the metric, we will be necessarily changing the Kaehler form. So, I would conclude that the Kaehler form is not unique.

It would be interesting to see how this symplectic structure compares with the standard symplectic structure of $T^*M.$

Riemannianmanifold $(M, g_0)$ then $T^*M = TM$ acquires a natural Riemannian metric $g$ from $g_0$; this is what I thought you meant. Since this is not the case, are you asking: "I have a complex manifold $(N, J)$. What are all symplectic forms compatible with $J$." ? If this is the case, I believe there are lots of these forms. See arxiv.org/abs/math/0004122 which applies to your question when $M$ is a torus (so $T^*M = (C^\times)^n$). $\endgroup$3more comments