I would like to ask if there is a holomorphic version of Darboux's theorem. More concretely, given a holomorphic symplectic manifold $(X, \omega)$ is there a local holomorphic symplectomorphism from $(X, \omega)$ to $(\mathbb{C}^{2n}, \omega_0)$ where $\omega_0$ is the holomorphic equivalent of the standard symplectic form in $\mathbb C^{2n}$. To put it differently, is it true that $X$ locally looks like a cotangent bundle? Do you have a reference?

  • $\begingroup$ Just follow the usual proofs from the real case. $\endgroup$ – Ben McKay Feb 4 '19 at 20:16
  • $\begingroup$ @Aknazar Kazhymurat: Thank you for the link. It is an interesting paper. They mention the "holomorphic Darboux theorem" which is what I am looking for. But the theorem itself is not stated. I guess that is because it is the exact holomorphic version of the classical Darboux theorem? $\endgroup$ – Flavius Aetius Feb 5 '19 at 16:44
  • $\begingroup$ @Ben McKay: So there is a holomorphic Dardoux's theorem and it is exactly as the real one except that we replace "smooth" by "holomorphic". Is that right? No hidden traps there? Do you have a standard reference? $\endgroup$ – Flavius Aetius Feb 5 '19 at 16:46
  • $\begingroup$ @AknazarKazhymurat: I mean "exact" in the sense of "precisely the same". Yes, your right, there is a formulation of that theorem in one of the proofs of another theorem. $\endgroup$ – Flavius Aetius Feb 5 '19 at 18:29

Suppose $Y\subset X$ is a complex submanifold and we're given two holomorphic symplectic forms $\omega_0$ and $\omega_1$ on (a neighbourhood of $Y$ in) $X$. Then I will prove that there exist two open neighbourhoods of $Y$ in $X$ and a biholomorphism $\varphi$ between them s.t. $\varphi^*\omega_1 = \omega_0$.

Define $\omega_t = (1-t)\omega_0 + t\omega_1 = \omega_0 + \sigma$. We are looking for a smooth family of holomorphic maps $\varphi_t$ s.t. $\varphi^*_t\omega_t = \omega_0$, $\omega_0 = id$. By the standard Moser trick we're reduced to finding a family of holomorphic vector fields s.t. $\sigma = -d\iota_{\eta_t}\omega_t$ as the flow of a holomorphic vector field is holomorphic.

Find some $\alpha$ s.t. $\sigma = d\alpha$ (it is easy to construct it explicitly by introducing some smooth deformation retraction of a neighbourhood of $Y$ in $X$ to $Y$). Decompose $\alpha = \alpha^{1,0} + \alpha^{0,1}$ in such a way that $\alpha^{1,0}\in \Lambda^{1,0} X$, $\alpha^{0,1} \in \Lambda^{0,1}X$. Then $\partial \alpha^{1,0} = \sigma$, $\overline{\partial} \alpha^{1,0} = -\partial \alpha^{0,1} = \gamma$, $\overline{\partial}\alpha^{1,0} = 0$. Now $\gamma$ is $\partial$ and $\overline{\partial}$-exact hence local $dd^c$-lemma* can be applied to it and we can find a function $\rho$ s.t. $\gamma = -\partial\overline{\partial}\rho$. Denote by $\beta$ the form $\alpha^{1,0} - \partial \rho$. Then $$ \partial\beta = \partial\alpha^{1,0} = \sigma, $$ $$ \overline{\partial}\beta= 0. $$ We've reduced the problem to solving the equation $$ \beta = - \iota_{\eta_t}\omega_t $$ which has a unique holomorphic solution.

There is also a global version of this theorem which says the following:

Let $X$ be a compact complex manifold equipped with two holomorphic symplectic forms in the same cohomology class. Then there exists a holomorphic automorphism $\varphi$ of $X$ that pullbacks one form to another. In the proof we use that these forms can be connected by a smooth path of holomorphic symplectic forms. It relies on Yau's theorem as we need to use the global $dd^c$-lemma hence need a Kähler structure.

*In fact it is not obvious how to use $dd^c$-lemma when $Y$ is not a point. I conjecture we need to require that $dd^c$-lemma holds on $Y$ which is automatically true when $X$ is hyperkähler, in particular, when $X$ is compact (by Yau's theorem) but I need to think about it.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.