Nonalgebraizable real analytic tubes in \(\mathbb{C}^n\) (Q1762698)

Let \({\mathcal T}^d_n\) be the class of all generic \(C^\omega\) submanifolds \(M\subset\mathbb{C}^n\) such that: i) \(0\in M\), \(M\) has codimension \(d\geq 1\) and CR dimension \(m= n- d\geq 1\), and ii) the local CR automorphism group of \(M\) is \(n\)-dimensional and generated by the real parts of \(n\) holomorphic vector fields which are linearly independent at the origin and commute. Each \(M\in{\mathcal T}^d\) is a strong tube of codimension \(d\). The main result is a necessary condition for the local algebraizability of a strong tube. More precisely, let \(M\) be a \(C^\omega\) generic tube of codimension \(d\) in \(\mathbb{C}^n\) given by the equations \(v_j= \varphi_j(y)\) with \(\varphi_j(0)= 0\), \(1\leq j\leq d\), in the coordinates \((z,w)= (x+ iy, u+iv)\in\mathbb{C}^m\times \mathbb{C}^d\). Assume that \(M\) is minimal and finitely nondegenerate at the origin, i.e., there exist multi-indices \(\beta^1_*,\dots, \beta^m_*\in \mathbb{Z}^m_+\) of length \(|\beta^k_*|\geq 1\) and there exist integers \(1\leq j^1_*,\dots, j^m_*\leq d\) such that the map \(y'= \psi(y)\) where \[ \psi(y)= \Biggl({\partial^{|\beta^1_*|}\varphi_{j^1_*}\over \partial y^{\beta^1_*}}(y),\dots, {\partial^{|\beta^m_*|}\varphi_{j^m_*}\over \partial y^{\beta^m_*}}(y)\Biggr)\in \mathbb{R}^m \] has rank \(m\) at the origin \(0\in\mathbb{R}^m\). Let \(y= \psi'(y')\) be the local inverse of \(y'=\psi(y)\). Assume that \(M\in{\mathcal T}^d\) and \(M\) is locally algebraizable at the origin. Then the derivatives \(\partial_{y_k'}\psi_\ell'(y')\) \((1\leq k,\ell\leq m)\) are real algebraic functions of \(y'\). This turns out to be equivalent to the fact that the second-order derivatives \(\partial^2_{y_k y_\ell}\varphi_j(y)\) are algebraic functions of the first order derivatives \(\partial_{y_1}\varphi_j,\dots, \partial_{y_m}\varphi_j\).