Abstract
We use the method of equivariant moving frames to revisit the problem of normal forms and equivalence of nondegenerate real hypersurfaces \(M \subset {\mathbb {C}}^2\) under the pseudo-group action of holomorphic transformations. The moving frame recurrence formulae allows us to systematically and algorithmically recover the results of Chern and Moser for hypersurfaces that are either non-umbilic at a point \({{\varvec{p}}}\in M\) or umbilic in an open neighborhood of it. In the former case, the coefficients of the normal form expansion, when expressed as functions of the jet of the hypersurface at the point, provide a complete system of functionally independent differential invariants that can be used to solve the equivalence problem. We prove that under a suitable genericity condition, the entire algebra of differential invariants for such hypersurfaces can be generated, through the operators of invariant differentiation, by a single-real differential invariant of order 7. We then apply the method of moving frames to construct new convergent normal forms for the intermediate but overlooked case of nondegenerate real hypersurfaces at singularly umbilic points, namely those umbilic points where the hypersurface is not identically umbilic in a neighborhood thereof.
Similar content being viewed by others
Notes
This is similar to the ambiguity in the curvature invariant \(\kappa \) of a curve C in the Euclidean plane \({\mathbb {R}}^2\), whose sign changes under a \(180^{\circ }\) rotation, and hence depends on the curve’s orientation.
For this purpose, we ignore the order 2 term \(z {\bar{z}}\).
The reader should not confuse our use of this term with the standard definition of generic submanifolds in CR geometry [12].
They would be required if one wishes to compute the explicit formulae for the normalized differential invariants through the equivariant moving frame calculus, but here we choose to work purely symbolically.
This describes what is known as a “coordinate cross-section”; more general cross-sections are rarely used and will not concern us here.
The multi-index J on \(v_J\) contains all lower case letters, in \(\{z,{\bar{z}},u\}\), whereas on \(V_J\) it denotes the multi-index with the corresponding capital letters, in \(\{Z,{\overline{Z}},U\}\), and should perhaps be denoted \(\iota (J)\). However, since the type of a multi-index subscript is always clear from context, we choose not to unnecessarily clutter the notation.
Note that when \(\ell = 0\), terms involving \(u^{\ell -1}\) are undefined, but have a vanishing coefficient and so do not appear.
A polynomial is superquadratic if it contains no constant or linear terms.
The non-symbolic moving frame calculus would write out the explicit expressions for these lifted invariants and explicitly solve (3.2) for the pseudo-group parameters, with the (far more complicated) process continuing in a similar fashion throughout.
The choice of 48 as the normalization constant is so that we can precisely reproduce the normal form (1.2) of Chern and Moser. Any other nonzero constant would work equally well, with corresponding modifications to the coefficients of the resulting formulae.
As always, we are ignoring contact forms and only writing out the horizontal components of the differential.
An important but difficult question is to determine a minimal set of generating differential invariants for a given (pseudo-) group action. If the set consists of a single differential invariant, it is obviously minimal. Otherwise, except in the case of curves (one-dimensional submanifolds), there is no known criterion for determining whether or not a given generating set is minimal.
This and subsequent formulae were obtained with the help of Mathematica. They are quite complicated and we have chosen not to write them down here. Details are available from the authors upon request.
As before, we suppress any contributions from contact forms.
In general, differentiated invariants can have many such formulae owing to the variety of syzygies among the differential invariants.
If more than one is nonzero, then one can construct several such expressions; their equivalence is a consequence of the various syzygies among \({\mathfrak {J}},{{\overline{{\mathfrak {J}}}}},{\mathfrak {K}}\) and their invariant derivatives.
One should keep in mind that the signature so constructed retains the sign ambiguities (4.5). These can be eliminated by replacing \({\mathfrak {J}}\) and \( V_{Z^j{\overline{Z}}{}^kU^\ell }\) for \(j+k\) odd by \({\mathfrak {J}}^2\) and \({\mathfrak {J}}\, V_{Z^j{\overline{Z}}{}^kU^\ell }\), respectively, when parametrizing the signature.
One should not confuse this definition of generic hypersurface M with the standard definition of generic manifold in CR geometry.
The transformation must be real so as not to complexify the translation generators.
References
Arnaldsson, Ö.: Involutive moving frames. Differ. Geom. Appl. 69, 101603 (2020)
Baouendi, M.S., Ebenfelt, P., Rothschild, L.R.: CR automorphisms of real analytic manifolds in complex space. Commun. Anal. Geom. 6(2), 291–315 (1998)
Beloshapka, V.K.: On the dimension of the group of automorphisms of an analytic hypersurface. Math. USSR Izv. 14(2), 223–245 (1980)
Beloshapka, V.K., Kossovskiy, I.G.: Classification of homogeneous CR-manifolds in dimension 4. J. Math. Anal. Appl. 374, 655–672 (2011)
Cartan, É.: Sur la géométrie pseudo-conforme des hypersurfaces de l’espace de deux variables complexes I. Ann. Mat. Pura Appl. 11, 17–90 (1933) and II. Ann. Scuola Norm. Sup. Pisa 1(4), 333–354 (1932)
Cartan, É.: La Méthode du Repère Mobile, la Théorie des Groupes Continus, et les Espaces Généralisés, Exposés de Géométrie, no. 5, Hermann, Paris (1935)
Cartan, É.: Les problèmes d’équivalence. Sém. Math. (Julia) 4, 1–40 (1936–1937). In: Oeuvres Complètes, part. II, vol. 2, Gauthier–Villars, Paris, 1953, pp. 1311–1334
Chern, S.S., Moser, J.K.: Real hypersurfaces in complex spaces. Acta Math. 133, 219–271 (1974)
Fels, M., Olver, P.J.: Moving coframes: II. Regularization and theoretical foundations. Acta Appl. Math. 55, 127–208 (1999)
Guggenheimer, H.W.: Differential Geometry. McGraw-Hill, New York (1963)
Horn, R.A., Johnson, C.R.: Matrix Analysis, 2nd edn. Cambridge University Press, Cambridge (2013)
Jacobowitz, H.: An Introduction to CR Structures, Math. Surveys and Monographs, vol. 32. AMS, Providence (1990)
Jensen, G.R.: Higher Order Contact of Submanifolds of Homogeneous Spaces. Lecture Notes in Math., vol. 610. Springer-Verlag, New York (1977)
Kogan, I.A., Olver, P.J.: Invariant Euler–Lagrange equations and the invariant variational bicomplex. Acta Appl. Math. 76, 137–193 (2003)
Kolář, M., Kossovskiy, I., Zaitsev, D.: Normal forms in Cauchy–Riemann geometry. Contem. Math. 681, 153–177 (2017)
Kruglikov, B., Lychagin, V.: Global Lie-Tresse theorem. Sel. Math. New Ser. 22, 1357–1411 (2016)
Merker, J., Sabzevari, M.: Explicit expression of Cartan’s connections for Levi-nondegenerate 3-manifolds in complex surfaces, and identification of the Heisenberg sphere. Cent. Eur. J. Math. 10(5), 1801–1835 (2012)
Olver, P.J.: Equivalence, Invariants and Symmetry. Cambridge University Press, Cambridge (1995). (xvi+525 pp)
Olver, P.J.: Moving frames and singularities of prolonged group actions, Selecta Math. New Series 6, 41–77 (2000)
Olver, P.J.: Differential invariants of surfaces. Differ. Geom. Appl. 27, 230–239 (2009)
Olver, P.J.: Recursive moving frames. Results Math. 60, 423–452 (2011)
Olver, P.J.: Modern developments in the theory and applications of moving frames. Lond. Math. Soc. 1, 14–50 (2015)
Olver, P.J.: The symmetry groupoid and weighted signature of a geometric object. J. Lie Theory 26, 235–267 (2016)
Olver, P.J.: Normal forms for submanifolds under group actions. In: Kac, V.G., et al. (eds.) Symmetries, Differential Equations and Applications, pp. 3–27. Springer, Berlin (2018)
Olver, P.J., Pohjanpelto, J.: Maurer–Cartan forms and the structure of Lie pseudo groups. Sel. Math. New Ser. 11, 99–126 (2005)
Olver, P.J., Pohjanpelto, J.: Moving frames for Lie pseudo-groups. Can. J. Math. 60(2), 1336–1386 (2008)
Olver, P.J., Pohjanpelto, J.: Differential invariant algebras of Lie pseudo-groups. Adv. Math. 222, 1746–1792 (2009)
Olver, P.J., Valiquette, F.: Recursive moving frames for Lie pseudo-groups. Results Math. 73, 57 (2018)
Poincaré, H.: Les fonctions analytiques de deux variables et la représentation conforme. Rend. Circ. Mat. Palermo 23, 185–220 (1907)
Sabzevari, M.: Convergent normal forms for five dimensional totally nondegenerate CR manifolds in \({\mathbb{C} }^4\). J. Geom. Anal. 31, 7900–7946 (2021)
Sabzevari, M., Merker, J.: The Cartan equivalence problem for Levi-non-degenerate real hypersurfaces \(M^3\subset {\mathbb{C} }^2\). Izv. Math. 78(6), 1158–1194 (2014)
Valiquette, F.: Equivariant moving frame method and the local equivalence of \(u_{xx}=r(x, u, v, u_x, v_x)\) under fiber-preserving transformations. J. Dyn. Cont. Syst. 17(4), 555–589 (2011)
Valiquette, F.: Solving local equivalence problems with the equivariant moving frame method. Sym. Int. Geom. 9, 029 (2013). (43 pp)
Webster, S.M.: On the Moser normal form at a non-umbilic point. Math. Ann. 233, 97–102 (1978)
Acknowledgements
The authors would like to thank Howard Jacobowitz for his helpful comments and discussions during the preparation of this paper. We also thank Valerii Beloshapka for introducing us to [3] and helpful discussions. We further thank Niky Kamran for reading a draft version and sending many helpful comments. The research of the second author was supported in part by a grant from IPM, No. 1400510415.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Olver, P.J., Sabzevari, M. & Valiquette, F. Normal Forms, Moving Frames, and Differential Invariants for Nondegenerate Hypersurfaces in \({\mathbb {C}}^2\). J Geom Anal 33, 192 (2023). https://doi.org/10.1007/s12220-023-01243-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-023-01243-8