Segre nondegenerate totally real subvarieties (Q2231130)

Every real-analytic function on a maximally totally real real-analytic submanifold \(X\) of \(\mathbb{C}^n\) is the restriction of a holomorphic function defined in a neighborhood of \(X\). Example 2 of the paper shows that this is no longer the case if we assume that \(X\) is a \(n\)-dimensional real-analytic (real) subvariety of \(\mathbb{C}^n\), that is maximally totally real at (generic) regular points of dimension \(n\): \[ X= \{(z,w) \in \mathbb{C}^2 \mid z^3\ =\ w^2+ {\overline w }^2 \}.\tag{1} \] Indeed the real-analytic function \({\overline w }|_X\), where \(X\) is given by (1), is not the restriction of any holomorphic function in \(\mathbb{C}^2\) to \(X\) (see Example 2 and Proposition 3 for details). In particular, the authors provide (Theorem 2) a condition on the \(n\)-dimensional real-analytic (real) subvariety of \(\mathbb{C}^n\) to get a criterion for the holomorphic extendibility of real-analytic function on \(X\) (Theorem 2).