Normal forms for rigid C₂,1 hypersurfaces M^5 C^3

From MaRDI portal
Publication:2233613



Abstract: Consider a 2-nondegenerate constant Levi rank 1 rigid mathcalComega hypersurface M5subsetmathbbC3 in coordinates (z,zeta,w=u+iv): [ u = F�ig(z,zeta,�ar{z},�ar{zeta}�ig). ] The Gaussier-Merker model was shown by Fels-Kaup 2007 to be locally CR-equivalent to the light cone x12+x22−x32=0. Another representation is the tube u=fracx21−y. Inspired by Alexander Isaev, we study rigid biholomorphisms: [ (z,zeta,w) longmapsto �ig( f(z,zeta), g(z,zeta), ho,w+h(z,zeta) �ig) =: (z',zeta',w'). ] The G-M model has 7-dimensional rigid automorphisms group. A Cartan-type reduction to an e-structure was done by Foo-Merker-Ta in 1904.02562. Three relative invariants appeared: V0, I0 (primary) and Q0 (derived). In Pocchiola's formalism, Section 8 provides a finalized expression for Q0. The goal is to establish the Poincar'e-Moser complete normal form: [ u = frac{z�ar{z}+frac{1}{2},z^2�ar{zeta} +frac{1}{2},�ar{z}^2zeta}{ 1-zeta�ar{zeta}} + sum_{a,b,c,d atop a+cgeqslant 3}, G_{a,b,c,d}, z^azeta^b�ar{z}^c�ar{zeta}^d, ] with 0=Ga,b,0,0=Ga,b,1,0=Ga,b,2,0 and 0=G3,0,0,1=mIm,G3,0,1,1. We apply the method of Chen-Merker 1908.07867 to catch (relative) invariants at every point, not only at the central point, as the coefficients G0,1,4,0, G0,2,3,0, mReG3,0,1,1. With this, a brige Poincar'e longleftrightarrow Cartan is constructed. In terms of F, the numerators of V0, I0, Q0 incorporate 11, 52, 824 differential monomials.












This page was built for publication: Normal forms for rigid \(\mathfrak{C}_{2,1}\) hypersurfaces \(M^5 \subset \mathbb{C}^3\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233613)