Abstract
Let M be a holomorphically symplectic complex manifold, not necessarily compact or quasiprojective, and \(X \subset M\) a compact Lagrangian submanifold. We construct a deformation to the normal cone, showing that a neighbourhood of X can be deformed to its neighbourhood in \(T^* X\). This is used to study Lagrangian submanifolds which can be bimeromorphically contracted to a point. We prove that such submanifolds are biholomorphic to \({\mathbb {C}}P^n\), and show that a certain neighbourhood of X is symplectically biholomorphic to a neighbourhood of the zero section of its cotangent bundle. This gives a holomorphic version of the Weinstein’s normal neighbourhood theorem.
Similar content being viewed by others
Notes
To give an example, let M be holomorphically Lagrangian fibered over a disc. The general fiber of this fibration is a complex torus, and one sees from the Leray spectral sequence that \(H^1({\mathcal {O}}_M)\) does not vanish.
This part has been added after the first version of this paper has been written, and is suggested by the subsequent discussions with C. Shramov and Yu. Prokhorov.
I.e. such that all of its members passing through a general point are irreducible. Informally, X should not covered by rational curves splitting off some curves in this family.
See [7], Theorem 4.2. Since [7] is known to be not always accurate, we prefer to rely on [16], who proves in Proposition 3.1 that the base \(H_x\) of a family of minimal rational curves passing through the general point x and covering the variety X is \({\mathbb {P}}^{n-1}\), and in the following Sect. 3.2 computes that the total space \(U_x\) of this family is \({\mathbb {P}}(\mathcal{O}_{{\mathbb {P}}^{n-1}}\oplus \mathcal{O}_{{\mathbb {P}}^{n-1}}(-1))\), so that the evaluation map contracts the exceptional section onto \({\mathbb {P}}^n\).
See also [1] for a simple argument using twistor spaces, which should be generalizable to some extent.
This is what \(\mu _{\alpha , max}(TX)>0\) means by definition.
References
Amerik, E., Verbitsky, M.: Rational curves on hyperkähler manifolds. Int. Math. Res. Not. IMRN 23, 13009–13045 (2015)
Ancona, V., Vo Van Tan.: On the blowing-down problem in \({\mathbb{C} }\)-analytic geometry. J. Reine Angew. Math. 350, 178–182 (1984)
Ancona, V., Vo Van Tan.: Embedding Moishezon spaces into 1-convex spaces. Math. Ann. 247, 143–147 (1980)
Bogomolov, F., Deev, R., Verbitsky, M.: Sections of Lagrangian fibrations on holomorphically symplectic manifolds and degenerate twistorial deformations. Adv. Math. 405(27), 108479 (2022)
Boucksom, S., Demailly, J.-P., Paun, M., Peternell, Th.: The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension. J. Algebraic Geom. 22(2), 201–248 (2013)
Bogomolov, F., Kurnosov, N., Kuznetsova, A., Yasinsky, E.: Geometry and automorphisms of non-Kähler holomorphic symplectic manifolds. Int. Math. Res. Not. IMRN 16, 12302–12341 (2022)
Cho, K., Miyaoka, Y., Shepherd-Barron, N.I.: Characterizations of projective spaces and applications and applications to complex symplectic manifolds. Adv. Stud. Pure Math. 2002, 1–88 (2002)
Campana, F., Paun, M.: Foliations with positive slopes and birational stability of orbifold cotangent bundles. Publ. Math. Inst. HautesÉtudes Sci. 129, 1–49 (2019)
Campana, F., Peternell, T.: Geometric stability of the cotangent bundle and the universal cover of a projective manifold, with an appendix by M. Toma. Bull. Soc. Math. France, Tome 139(1), 41–74 (2011)
Grauert, H.: Über Modifikationen und exzeptionelle analytische Mengen. Math. Ann. 146, 331–368 (1962)
Grauert, H., Riemenschneider, O.: Verschwindungssätze für analytische Kohomologiegruppen auf komplexen Räumen. Invent. Math. 11, 263–292 (1970)
Hartshorne, R.: Ample Vector Bundles, Publications mathématiques de l’I.H.É.S., tome 29, p. 63–94, (1966)
Hu, Y., Yau, S.-T.: HyperKahler manifolds and birational transformations. Adv. Theor. Math. Phys. 6, 557–574 (2002)
Kaledin, D.: Symplectic singularities from the Poisson point of view. J. Reine Angew. Math. 600, 135–156 (2006)
Kawamata, Y.: On the length of an extremal rational curve. Invent. Math. 105(3), 609–611 (1991)
Kebekus, S.: Characterizing the projective space after Cho, pp. 147–155. Complex geometry (Göttingen, Miyaoka and Shepherd-Barron (2000)
McDuff, D., Salamon, D.: Introduction to symplectic topology, 2nd edn. Oxford Univ. Press, Oxford (1998)
Nakayama, N.: The lower semicontinuity of the plurigenera of complex varieties. Algebraic geometry, Sendai, 1985, 551–590. Adv. Stud. Pure Math., 10, Amsterdam, (1987)
Peternell, Th.: Rational Curves in Moishezon 3-folds. Lecture Notes in Math. 1194, 133–144 (1986)
Ran, Z.: Hodge theory and deformations of maps. Compositio Math. 97(3), 309–328 (1995)
Remmert, R.: Sur les espaces analytiques holomorphiquement séparables et holomorphiquement convexes. C. R. Acad. Sci. Paris 243, 118–121 (1956)
Shokurov, V.: Letters of a bi-rationalist. I. A projectivity criterion, Birational algebraic geometry (Baltimore, MD,: Contemp. Math., vol. 207, Amer. Math. Soc. Providence, RI 1997, 143–152 (1996)
Soldatenkov, A., Verbitsky, M.: The Moser isotopy for holomorphic symplectic and C-symplectic structures. ar**v:2109.00935
Takegoshi, K.: Relative vanishing theorems in analytic spaces. Duke Math. J. 52, 273–279 (1985)
Verbitsky, M.: Degenerate twistor spaces for hyperkähler manifolds. J. Geom. Phys. 91, 2–11 (2015)
Vo Van Tan: On Grauert’s conjecture and the characterization of Moishezon spaces. Commentarii Math. Helvetici 58, 678–686 (1983)
Villalobos-Paz, D.: Moishezon spaces and projectivity criteria. Preprint. arxiv:2105.14630
Acknowledgements
We are grateful to Frédéric Campana, Andreas Höring, Dmitry Kaledin, Yuri Prokhorov, Costya Shramov and Andrey Soldatenkov for their insightful discussions, and to Arnaud Beauville for his valuable email communication.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
No conflict of interest.
Additional information
Communicated by Ivan Cheltsov.
In memory of Sasha Ananin, our dear friend and a colleague. We miss you so much.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Ekaterina Amerik and Misha Verbitsky acknowledge support of HSE University basic research program; also partially supported by ANR (France) project FANOHK. Partially supported by FAPERJ E-26/202.912/2018 and CNPq - Process 310952/2021-2.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Amerik, E., Verbitsky, M. Normal form of bimeromorphically contractible holomorphic Lagrangian submanifolds. São Paulo J. Math. Sci. (2024). https://doi.org/10.1007/s40863-024-00426-7
Accepted:
Published:
DOI: https://doi.org/10.1007/s40863-024-00426-7