No label defined (Q4797983)

Let \(X\) be a compact connected orientable real manifold of dimension \(2n-1\). A CR-structure on \(X\) is an \((n-1)\)-dimensional subbundle \(S\) of \(\mathbb{C} T(X)\) such that (1) \(S\cap\overline S=\{0\}\), and (2) if \(L\), \(L'\) are local sections of \(S\), then so is \([L,L']\). There is a unique subbundle \({\mathcal H}\) of \(T(X)\) such that \(\mathbb{C}{\mathcal H}=S \oplus\overline S\). Moreover, there is a unique homomorphism \(J:{\mathcal H}\to{\mathcal H}\) such that \(J^2=-\text{id}\). The pair \(({\mathcal H},J)\) is called the real expression of the CR-structure. A smooth \(S^1\)-action on \(X\) is said to be holomorphic if it preserves the subbundle \({\mathcal H}\) and commutes with \(J\). It is said to be transversal if, in addition, the vector field \(V\) which generates the action is transversal to \({\mathcal H}\) at all points of \(X\). Making precise the notion of strongly pseudoconvex CR-manifolds and the notion of algebraical equivalence for two connected compact pseudoconvex CR-manifolds, the authors define a rational CR manifold as a CR manifold with vanishing geometric genus. The authors try to classify the family \({\mathcal F}\) of all rational CR manifolds on a topological 5-sphere with transversal \(S^1\)-action in \(\mathbb{C}^4\). In fact, let \(S^7=\{ (x,y,z,w)\in \mathbb{C}^4:|x|^2+ |y|^2+ |z|^2+ |w|^2= 1\}\) and let, for integers \(a,b,c,d\), \(X_{(a,b,c,d)}\) be the set \(\{(x,y,z,w)\in \mathbb{C}^4:x^a+y^b+ z^c+w^d=0\}\cap S^7\). The authors prove that any element \(X\) of \({\mathcal F}\) is algebraically equivalent to one of the \(X_{(a, b,c,d)}\), where \((a,b,c,d)\) is one of the members of the classification table, which occupies more than 9 pages of the paper.