On the embeddability of real hypersurfaces into hyperquadrics

Abstract

In this paper, we provide {\em effective} results on the non-embeddability of real-analytic hypersurfaces into a hyperquadric. We show that, for any $N >n \geq 1$, the defining functions $φ(z,\bar z,u)$ of all real-analytic hypersurfaces $M=\{v=φ(z,\bar z,u)\}\subset\mathbb C^{n+1}$ containing Levi-nondegenerate points and locally transversally holomorphically embeddable into some hyperquadric $\mathcal Q\subset\mathbb C^{N+1}$ satisfy an {\em universal} algebraic partial differential equation $D(φ)=0$, where the algebraic-differential operator $D=D(n,N)$ depends on $n, N$ 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\subset\mathbb C^{n+1}$ of degree $\geq μ$ is not transversally holomorphically embeddable into any hyperquadric $\mathcal Q\subset\mathbb C^{N+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.