Segre-degenerate points form a semianalytic set

From MaRDI portal
Publication:5072249




Abstract: We prove that the set of Segre-degenerate points of a real-analytic subvariety X in mathbbCn is a closed semianalytic set. It is a subvariety if X is coherent. More precisely, the set of points where the germ of the Segre variety is of dimension k or greater is a closed semianalytic set in general, and for a coherent X, it is a real-analytic subvariety of X. For a hypersurface X in mathbbCn, the set of Segre-degenerate points, X[n], is a semianalytic set of dimension at most 2n4. If X is coherent, then X[n] is a complex subvariety of (complex) dimension n2. Example hypersurfaces are given showing that X[n] need not be a subvariety and that it also needs not be complex; X[n] can, for instance, be a real line.









This page was built for publication: Segre-degenerate points form a semianalytic set

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