Algebraic embeddings of smooth almost complex structures

From MaRDI portal



Abstract: The goal of this work is to prove an embedding theorem for compact almost complex manifolds into complex algebraic varieties. It is shown that every almost complex structure can be realized by the transverse structure to an algebraic distribution on an affine algebraic variety, namely an algebraic subbundle of the tangent bundle. In fact, there even exist universal embedding spaces for this problem, and their dimensions grow quadratically with respect to the dimension of the almost complex manifold to embed. We give precise variation formulas for the induced almost complex structures and study the related versality conditions. At the end, we discuss the original question raised by F.Bogomolov: can one embed every compact holomorphic manifold as a C infinity smooth subvariety that is transverse to an algebraic foliation on a complex projective algebraic variety?


The authors are interested in the problem of imbedding a compact complex or almost complex manifold \((X,J_X)\) into a projective algebraic manifold \(Z\) transversally to an algebraic distribution \(\mathcal{D} \subset TZ\). The latter means that one looks for a smooth imbedding \(f:X\to Z\) such that \(T_xf(X)\oplus \mathcal{D}_x = T_xZ\) for every \(x\in f(X)\) and the natural induced (almost) complex structure \(J_f\) on \(X\) coincides with that of \(X\). The main result of the paper is the following theorem. Theorem. For all integers \(n\geq 1\) and \(k\geq 4n\) there exists a complex affine algebraic manifold \(Z_{n,k}\) of dimension \(N=2k+2(k^2+n(k-n))\) possessing a real structure (i.e., an anti-holomorphic algebraic involution) and an algebraic distribution \(\mathcal{D}_{n,k}\subset TZ_{n,k}\) of codimension \(n\), for which every compact \(n\)-dimensional almost complex manifold \((X,J_X)\) admits an imbedding \(f:X\to Z_{n,k}\) transverse to \(\mathcal{D}_{n,k}\), which is contained in the real part \(Z_{n,k}^{\mathbb{R}}\) of \(Z_{n,k}\), and such that \(J_X=J_f\). The ultimate goal of this program is the question of Bogomolov: Can \(\mathcal{D}\) be taken to be integrable? The paper contains also some other elevant results.











This page was built for publication: Algebraic embeddings of smooth almost complex structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1676088)