Analytic differential equations and spherical real hypersurfaces (Q5964030)

The goal of the paper is to give solutions to a number of previously open problems in CR-geometry. By establishing an injective correspondence \(M\to\mathcal E(M)\) between the class of all real-analytic nonminimal hypersurfaces \(M\subset\mathbb C^2\), spherical at a generic point, and a class of second-order complex ODEs with an isolated meromorphic singularity at the origin, the authors reformulate the geometric problems in the language of analytic theory of differential equations. The first main result is connected with a complete solution for the authomorphism version of Poincaré's \textit{problème local}. The authors give a solution in the nonminimal case proving the following theorem: Let \(M\subset \mathbb C^2\) be a real-analytic, nonminimal at the origin, Levi nonflat hypersurface. Then the dimension of its infinitesimal automorphism algebra satisfies the bound \(\dim\mathfrak{hol}(M,0)\leqslant 5\). Using this theorem, the authors obtain that a dimension gap \(\dim\mathfrak{hol}(M,p)\in \{8,5,4,3,2,1,0\}\) holds for all possible dimensions of the infinitesimal automorphism algebra of real analytic Levi nonflat hypersurfaces \(M\subset\mathbb C^2\). The second main result of the paper is the discovery of the Fuchsian-type condition for a hypersurface \(M\subset\mathbb C^2\). The authors prove optimality of this condition for the extension of CR-mappings to nonminimal points.