Zero sets of real polynomials containing complex varieties (Q1928894)

This paper concerns the existence of germs of a complex variety in a real hypersurface \(S\) in case \(S\) is algebraic, i.e. \(S=\{z\in\mathbb{C}^n \mid p(z)=0\}\) is the zero locus of a non constant, real valued, real polynomial \(p\) in \(\mathbb{C}^n\). The main result states that, if a real algebraic hypersurface \(S\) contains a germ of a complex variety, then \(S\) must include an algebraic variety. Moreover, if \(S\) contains an algebraic hypersurface, then the defining function \(p\) of \(S\) satisfies an algebraic decomposition formula. As a corollary of the above result, if \(S\) is defined by a homogeneous polynomial in \(\mathbb{C}^2\), then either \(S\) does not contain a germ of a complex hypersurface or \(S\) includes a complex line passing through the origin. The author provides also sufficient conditions for a wide class of real algebraic hypersurfaces in \(\mathbb{C}^2\) to contain a nontrivial analytic disk.