Extending Nirenberg-Spencer’s question on holomorphic embeddings to families of holomorphic embeddings. (English) Zbl 1477.14059

In the paper under review, one considers a family of free submanifolds of a complex manifold, that is, a submanifold \(A\) of a complex manifold \(X\) with the normal bundle \(N_{A/ X}\) being generated by global sections of the bundle and all these sections being un-obstracted in \(X\).
Let \(\mathcal{K}\) and \(\mathcal{K}'\) be subfamilies of free submanifolds in complex manifolds \(X\) and \(X'\), respectively. We say that the families \(\mathcal{K}\) and \(\mathcal{K}'\) are germ-equivalent (resp. iso-equivalent up to order \(l\)) if there exists a bi-holomorphic map \(f:\mathcal{K}\rightarrow\mathcal{K}'\) such that for any pair \(([A]\in\mathcal{K},\,[A']\in\mathcal{K}')\) with \(f([A])=[A']\), the Euclidean (resp. the \(k\)-th infinitesimal) nighbourhood of \(A\) in \(X\) and that of \(A'\) in \(X'\) are equivalent.
It is easily seen that if \(\mathcal{K}\) and \(\mathcal{K}'\) are germ-equivalent, then, they are iso-equivalent up to order \(k\) for any non-negative integer \(k\).
The problem considered in the paper is when the converse of this fact is true.
The main theorem (Theorem 3.1) gives a criterion for the subfamilies \(\mathcal{K}\) and \(\mathcal{K}'\) to be germ-equivalent. More precisely, it is proved that if \(\mathcal{K}\) contains a member \(A\subset X\) with \(H^0(A,\,T_A)=0\), and if \(\mathcal{K}\) is iso-equivalent up to order \(1\) to any other subfamily \(\mathcal{K}'\) of free submanifolds, then, they are germ-equivalent.
As an application of the main theorem, together with some well-known facts on \(K3\) surfaces, it is proved that linearly-normal \(K3\) surfaces \(X\) and \(X'\) in \(\mathbb{P}^g\) are projectively isomorphic if subfamilies \(\mathcal{K}\) and \(\mathcal{K}'\) of free compact submanifolds in \(X\) and \(X'\) are iso-equivalent up to order \(1\).


14J28 \(K3\) surfaces and Enriques surfaces
14J45 Fano varieties
32C22 Embedding of analytic spaces
58A15 Exterior differential systems (Cartan theory)
Full Text: DOI arXiv


[1] A. Beauville and J.-Y. Mérindol, Sections hyperplanes des surfaces K3, Duke Math. J. 55 (1987), no. 4, 873-878. · Zbl 0663.14028
[2] A. Čap and J. Slovák, Parabolic Geometries, I: Background and General Theory, Math. Surveys Monogr. 154, Amer. Math. Soc., Providence, 2009. · Zbl 1183.53002
[3] C. Ciliberto, T. Dedieu, and E. Sernesi, Wahl maps and extensions of canonical curves and K3 surfaces, J. Reine Angew. Math. 761 (2020), 219-245. · Zbl 1443.14036
[4] C. Ciliberto, A. Lopez, and R. Miranda, Projective degenerations of K3 surfaces, Gaussian maps, and Fano threefolds, Invent. Math. 114 (1993), no. 3, 641-667. · Zbl 0807.14028
[5] G.-M. Greuel, C. Lossen, and E. Shustin, Introduction to Singularities and Deformations, Springer Monogr. Math., Springer, Berlin, 2007. · Zbl 1125.32013
[6] P. Griffiths, The extension problem in complex analysis, II: Embeddings with positive normal bundle, Amer. J. Math. 88 (1966), no. 2, 366-446. · Zbl 0147.07502
[7] P. Griffiths, On Cartan’s method of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry, Duke Math. J. 41 (1974), no. 4, 775-814. · Zbl 0294.53034
[8] R. Hartshorne, Ample Subvarieties of Algebraic Varieties, Lecture Notes in Math. 156, Springer, Berlin, 1970. · Zbl 0208.48901
[9] R. Hartshorne, Deformation Theory, Grad. Texts in Math. 257, Springer, New York, 2010. · Zbl 1186.14004
[10] A. Hirschowitz, On the convergence of formal equivalence between embeddings, Ann. of Math. (2) 113 (1981), no. 3, 501-514. · Zbl 0421.32029
[11] D. Huybrechts, Lectures on K3 surfaces, Cambridge Stud. Adv. Math. 158, Cambridge Univ. Press, Cambridge, 2016. · Zbl 1360.14099
[12] J.-M. Hwang, “Geometry of minimal rational curves on Fano manifolds” in School on Vanishing Theorems and Effective Results in Algebraic Geometry (Trieste, 2000), ICTP Lect. Notes 6, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2001, 335-393. · Zbl 1086.14506
[13] J.-M. Hwang, Equivalence problem for minimal rational curves with isotrivial varieties of minimal rational tangents, Ann. Sci. Éc. Norm. Supér. (4) 43 (2010), no. 4, 607-620. · Zbl 1210.14044
[14] J.-M. Hwang, An application of Cartan’s equivalence method to Hirschowitz’s conjecture on the formal principle, Ann. of Math. (2) 189 (2019), no. 3, 979-1000. · Zbl 1472.32010
[15] J.-M. Hwang and N. Mok, “Varieties of minimal rational tangents on uniruled projective manifolds” in Several Complex Variables (Berkeley, 1995-1996), Math. Sci. Res. Inst. Publ. 37, Cambridge Univ. Press, Cambridge, 1999, 351-389. · Zbl 0978.53118
[16] J.-M. Hwang and N. Mok, Cartan-Fubini type extension of holomorphic maps for Fano manifolds of Picard number 1, J. Math. Pures Appl. (9) 80 (2001), no. 6, 563-575. · Zbl 1033.32013
[17] G. Jensen, Higher order contact of submanifolds of homogeneous spaces, Springer Lecture Notes in Math. 610, Springer, Berlin, 1977. · Zbl 0356.53005
[18] T. Morimoto, Sur le problème d’équivalence des structures géométriques, Japan. J. Math. (N.S.) 9 (1983), no. 2, 293-372. · Zbl 0537.53035
[19] J. Morrow and H. Rossi, “Some general results on equivalence of embeddings” in Recent Developments in Several Complex Variables (Princeton, 1979), Ann. of Math. Stud. 100, Princeton Univ. Press, Princeton, 1981, 299-325.
[20] L. Nirenberg and D. C. Spencer, “On rigidity of holomorphic imbeddings” in Contributions to Function Theory (Bombay, 1960), Tata Inst. Fundam. Res., Bombay, 1960, 133-137. · Zbl 0103.05201
[21] V. P. Palamodov, “Moduli in versal deformations of complex spaces” in Variétés analytiques compactes (Nice, 1977), Lecture Notes in Math. 683, Springer, Berlin, 1978, 74-115.
[22] J. A. Verderesi, Contact et congruence de sous variétés, Duke Math. J. 49 (1982), no. 3, 513-515. · Zbl 0497.53053
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.