Algebraic embeddings of smooth almost complex structures (Q1676088): Difference between revisions

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.