Abstract
Using dynamical stability of symplectic curvature flow, we show that on a compact Calabi–Yau manifold, any small symplectic deformation of a Kähler form remains Kähler.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A central theme in complex and symplectic geometry is to understand the stability of various properties under natural deformations, and the relationship to uniqueness and moduli problems. For instance, the classic result of Kodaira–Spencer [3] shows that small complex deformations of Kähler manifolds remain Kähler. The main result of this note is local stability of Kähler structures under symplectic deformations on Calabi–Yau manifolds:
Theorem 1.1
Let \((M^{2n}, \omega , J)\) be a compact Kähler manifold with \(c_1(M, J) = 0\). There exists \(\epsilon > 0\) depending on \(\omega \) so that if \(\omega '\) is another symplectic form on M such that
then there exists an integrable complex structure \(J'\) on M compatible with \(\omega '\).
Remark 1.2
-
(1)
The proof of Theorem 1.1 is an elementary consequence of the dynamical stability of symplectic curvature flow (SCF) [9] near Calabi–Yau metrics. This dynamical stability of the more general family of ‘almost Hermitian curvature flows’ introduced in [9] was shown in the thesis of Smith (cf. [7]). We sketch the proof below in the simplified case of SCF.
-
(2)
It follows from the proof that in fact the \(C^{\infty }\) smallness of the perturbation can be weakened to smallness in an appropriate Sobolev space.
-
(3)
The space of deformations of symplectic cohomology classes which remain Kähler under deformation was studied in [1].
-
(4)
Theorem 1.1 follows in some cases using results from complex deformation theory, and our proof provides an alternative using a geometric flow adapted to almost Kähler geometry.
-
(5)
Recently, the result of Theorem 1.1 was shown in the case \(n = 3\) in [2] using a geometric flow of symplectic forms adapted to that dimension.
To begin we recall fundamental properties of symplectic curvature flow [9]. An almost Kähler structure is a pair \((\omega , J)\) of a symplectic structure together with a compatible almost complex structure J such that \(g = \omega J\) is a Riemannian metric. In general J is not integrable and N will denote the Nijenhuis tensor of J. Almost Kähler structures come equipped with a Chern connection, the unique connection \(\nabla \) on the tangent bundle such that \(\nabla g \equiv 0, \nabla J \equiv 0\), and \(T^{1,1} = 0\), where \(T^{1,1}\) denotes the (1, 1) component of the torsion of \(\nabla \). Let \(\Omega \) denote the curvature of \(\nabla \), and define \(P = {{\,\mathrm{tr}\,}}\Omega J \in \pi c_1(M, J)\). A one-parameter family of almost Kähler structures \((g_t, \omega _t, J_t)\) satisfies symplectic curvature flow if
where D denotes the Levi–Civita connection, and
Note that the our description of symplectic curvature flow is redundant as any two of \((g, \omega , J)\) suffices to recover the third by compatibility. The fundamental points (cf. [9] Theorem 1.6) are that symplectic curvature flow is locally well-posed for arbitrary initial data on compact manifolds, preserves the almost Kähler conditions, and if \(J_0\) is integrable reduces to Kähler–Ricci flow.
Theorem 1.3
(cf. [7] Theorem 1.1) Let \((M^{2n}, \omega _{CY}, J_{CY})\) denote a compact Calabi–Yau manifold. There exists \(\epsilon > 0\) so that if \((\omega , J)\) is an almost Kähler structure such that
then the solution to symplectic curvature flow with initial condition \((\omega , J)\) exists on \([0,\infty )\) and converges exponentially to a Kähler Calabi–Yau structure \((\omega _{\infty }, J_{\infty })\).
Proof
The proof relies on ideas from parabolic regularity theory and so we work directly with the gauge-modified flow which is strictly parabolic. For any almost Kähler structure (g, J) we define the vector field
An elementary but important point is that this vector field is equivalently expressed as
Using X we define the gauge-fixed symplectic curvature flow:
The analysis centers on a sharp characterization of the linearization of this flow. To find this fix a one-parameter family of almost Kähler structures \((g_t, J_t)\) such that \((g_0, J_0) = (g_{CY}, J_{CY})\) and \(\dot{g} = h, \dot{J} = K\). Lengthy but straightforward computations using that \((g_0, J_0)\) is Calabi–Yau show (cf. [9] proof of Theorem 1.6)
where
To analyze this operator we recall the work of Koiso [4]. The operator \(\mathcal {L}_1\) is the Einstein deformation operator at a Ricci-flat metric, and splits according to the decomposition \(h = h_S + h_A\) into the J-symmetric and J-antisymmetric pieces. The action on \(h_S\) corresponds precisely to the Hodge Laplacian acting on the (1, 1)-form \(h_S J_{CY}\), which is negative semidefinite with kernel determined by harmonic (1, 1) forms, which are canonically identified with \(H^{1,1}(M, J_{CY})\). The action on \(h_A\) is identified, after raising an index with \(g_{CY}\), with the \(\bar{\partial }\)-Hodge Laplacian acting on \(\Lambda ^{0,1} \otimes T^{1,0}\), in this case restricted to symmetric endomorphisms. Furthermore, the operator \({\mathcal {L}}_2\) is again this same \(\bar{\partial }\)-Hodge Laplacian acting on \(\Lambda ^{0,1} \otimes T^{1,0}\), whose kernel is identified with the space of deformations of \(J_{CY}\). This again is negative semidefinite with kernel identified with \(H^{2,0}(M, \mathbb C)\).
Thus we have shown that the linearized operator is negative semidefinite, with kernel identified with the space of Einstein deformations of the given Calabi–Yau. It follows from a result in [10] that every such infinitesimal deformation is in fact integrable. Given this weak linear stability, together with an explicit description of the kernel, which is integrable, the remainder of the proof follows standard lines (cf. for instance [5,6,7,8]). In particular, by treating the flow as a small perturbation of the linearized flow, and using the analysis of the linearized operator above, one can show exponential decay toward some Calabi–Yau structure. Given this exponential convergence, it is elementary to show that the family of diffeomorphisms relating (1.2) and (1.1) converges exponentially, and thus the solution to (1.1) is also converging to a Calabi–Yau structure exponentially fast. \(\square \)
We now prove Theorem 1.1 as a consequence of Theorem 1.3:
Proof of Theorem 1.1
Given \((M^{2n}, \omega , J)\) a compact Kähler manifold with \(c_1(M, J) = 0\), by Yau’s theorem [11] there exists a unique Calabi–Yau metric \(\omega _{CY} \in [\omega ]\) compatible with J. Applying Moser’s Lemma to the family of cohomologous symplectic forms \(\omega _t = t \omega _{CY} + (1-t) \omega \) we obtain the existence of a diffeomorphism \(\phi \) such that \(\phi ^* \omega _{CY} = \omega \). By construction the pair \((\omega , \phi ^* J) = (\phi ^* \omega _{CY}, \phi ^* J)\) is Kähler, Calabi–Yau. Now fix \(\omega '\) such that \(\left| \omega - \omega ' \right| _{C^{\infty }(\omega )} < \epsilon \). For sufficiently small \(\epsilon > 0\), the one-parameter family \(\omega _t = t \omega ' + (1-t) \omega \) consists of symplectic forms, and we deform \(\phi ^* J\) along this path to produce an almost complex structure \(J'\) compatible with \(\omega '\) such that \(\left| \phi ^* J - J' \right| _{C^{\infty }(\omega )} < \epsilon \) (cf. [9] Lemma 4.3). For \(\epsilon \) chosen sufficiently small at the outset, the pair \((\omega ', J')\) satisfies the hypothesis of Theorem 1.3 relative to the Calabi–Yau structure \((\omega , \phi ^* J)\), and thus the solution to symplectic curvature flow with initial condition \((\omega ', J')\) exists globally and converges to a Calabi–Yau structure \((\omega _{\infty }, J_{\infty })\), which further satisfies \(\left| \omega - \omega _{\infty } \right| _{C^{\infty }(\omega )} < \epsilon \). By construction, since \(J'\) is connected by a smooth path to J, it follows that \(c_1(M, J') = 0\), and this property is preserved along the symplectic curvature flow. This in turn implies that the cohomology class of \([\omega ']\) is preserved along the flow, thus \([\omega _{\infty }] = [\omega ']\). Since both \(\omega _{\infty }\) and \(\omega '\) are \(\epsilon \)-close to the symplectic form \(\omega \), it follows that the path \(t \omega ' + (1-t) \omega _{\infty }\) consists of cohomologous symplectic forms, again applying Moser’s Lemma we obtain a diffeomorphism \(\psi \) such that \(\psi ^* \omega _{\infty } = \omega '\). It follows that the pair \((\omega ', \psi ^* J_{\infty })\) is Kähler, in fact Calabi–Yau, finishing the proof. \(\square \)
References
de Bartolomeis, P.: Symplectic deformations of Kähler manifolds. J. Sympl. Geom. 3(3), 341–355 (2005)
Fei, T., Phong, D.H., Sebastien, P., Xiangwen, Z.: Stability of the Type iiA Flow and Its Applications in Symplectic Geometry. arxiv:2112.15580 (2021)
Kodaira, K., Spencer, D.C.: On deformations of complex analytic structures. III. Stability theorems for complex structures. Ann. Math. 71(2), 43–76 (1960)
Koiso, N.: Einstein metrics and complex structures. Invent. Math. 73(1), 71–106 (1983)
Lotay, J.D., Wei, Y.: Stability of torsion-free \(G_2\) structures along the Laplacian flow. J. Diff. Geom. 111(3), 495–526 (2019)
Sesum, N..: Linear and dynamical stability of Ricci-flat metrics. Duke Math. J. 133(1), 1–26 (2006)
Smith, D.J.: Stability of the Almost Hermitian Curvature Flow. arxiv:1308.6214 (2013)
Jeffrey, S., Tian, G.: Hermitian curvature flow. J. Eur. Math. Soc. 13(3), 601–634 (2011)
Streets, J., Tian, G.: Symplectic curvature flow. J. Reine Angew. Math. 696, 143–185 (2014)
Tian, G.: Smoothness of the universal deformation space of compact Calabi-Yau manifolds and its Petersson-Weil metric. In: Mathematical Aspects of String Theory (San Diego, Calif., 1986), vol. 1 of Adv. Ser. Math. Phys. World Sci. Publishing, Singapore, pp. 629–646 (1987)
Yau, S.T.: On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation. I. Commun. Pure Appl. Math. 31(3), 339–411 (1978)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Jeffrey Streets The first author acknowledges support from the NSF via DMS-1454854. Gang Tian The second author is partially supported by NSFC-11890661. This article is warmly dedicated to Peter Li on the occasion of his 70th birthday.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Streets, J., Tian, G. Kähler Stability of Symplectic Forms. J Geom Anal 32, 292 (2022). https://doi.org/10.1007/s12220-022-01036-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-01036-5