Normal Forms for Rigid C2,1 Hypersurfaces M5⊂C3
Consider a 2-nondegenerate constant Levi rank 1 rigid Cω hypersurface M5⊂C3 in coordinates (z,ζ,w=u+iv): u=F(z,ζ,zˉ,ζˉ). The Gaussier-Merker model u=1−ζζˉzzˉ+21z2ζˉ+21zˉ2ζ 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=1−yx2. Inspired by Alexander Isaev, we study rigid biholomorphisms: (z,ζ,w)⟼(f(z,ζ),g(z,ζ),ρw+h(z,ζ))=:(z′,ζ′,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é-Moser complete normal form: u=1−ζζˉzzˉ+21z2ζˉ+21zˉ2ζ+∑a+c⩾3a,b,c,dGa,b,c,dzaζbzˉcζˉd, with 0=Ga,b,0,0=Ga,b,1,0=Ga,b,2,0 and 0=G3,0,0,1=ImG3,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, ReG3,0,1,1. With this, a brige Poincaré ⟷ Cartan is constructed. In terms of F, the numerators of V0, I0, Q0 incorporate 11, 52, 824 differential monomials.
