A well known result of Forstnerić [15] states that most real-analytic strictly pseudoconvex hypersurfaces in complex space are not holomorphically embeddable into spheres of higher dimension. A more recent result by Forstnerić [16] states even more: most real-analytic hypersurfaces do not admit a holomorphic embedding even into a merely algebraic hypersurface of higher dimension, in particular, a hyperquadric. We emphasize that both cited theorems are proved by showing that the set of embeddable hypersurfaces is a set of first Baire category. At the same time, the classical theorem of Webster [30] asserts that every real-algebraic Levi-nondegenerate hypersurface admits a transverse holomorphic embedding into a nondegenerate real hyperquadric in complex space.In this paper, we provide effective results on the non-embeddability of real-analytic hypersurfaces into a hyperquadric. We show that, under the codimension restriction N≤2n, the defining functions φ(z,z¯,u) of all real-analytic hypersurfaces M={v=φ(z,z¯,u)}⊂Cn+1 containing Levi-nondegenerate points and locally transversally holomorphically embeddable into some hyperquadric Q⊂CN+1 satisfy an universal algebraic partial differential equation D(φ)=0, where the algebraic-differential operator D=D(n,N) depends on n≥1, n<N≤2n only. To the best of our knowledge, this is the first effective result characterizing real-analytic hypersurfaces embeddable into a hyperquadric of higher dimension. As an application, we show that for every n,N as above there exists μ=μ(n,N) such that a Zariski generic real-analytic hypersurface M⊂Cn+1 of degree ≥μ is not transversally holomorphically embeddable into any hyperquadric Q⊂CN+1. We also provide an explicit upper bound for μ in terms of n,N. To the best of our knowledge, this gives the first effective lower bound for the CR-complexity of a Zariski generic real-algebraic hypersurface in complex space of a fixed degree.
Read full abstract