We study the local equivalence problem for real-analytic () hypersurfaces which, in coordinates with , are rigid: with independent of . Specifically, we study the group of rigid local biholomorphic transformations of the form: where and , which preserve rigidity of hypersurfaces. After performing a Cartan-type reduction to an appropriate -structure, we find exactly two primary invariants and , which we express explicitly in terms of the -jet of the graphing function of . The identical vanishing then provides a necessary and sufficient condition for to be locally rigidly-biholomorphic to the known model hypersurface: We establish that $\dim, {\sf Hol}{\sf rigid} (M) \leq 7 = \dim, {\sf Hol}{\sf rigid} \big( M_{\sf LC} \big)$ always. If one of these two primary invariants or $V_0 \not\equiv 0$ does not vanish identically, we show that this rigid equivalence problem between rigid hypersurfaces reduces to an equivalence problem for a certain -dimensional -structure on .

生成讲解博客的中文版本

生成AI智能校验的中文版本