arxiv: 2605.13157 · v1 · submitted 2026-05-13 · 🧮 math.CV

Recognition: unknown

A survey on normal forms of real submanifolds with CR singularity

Laurent Stolovitch, Xianghong Gong

Pith reviewed 2026-05-14 02:20 UTC · model grok-4.3

classification 🧮 math.CV

keywords CR singularitiesnormal formsreal submanifoldsBishop invariantMoser-Websterseveral complex variablesholomorphic equivalenceformal power series

0 comments

The pith

Normal forms reduce real submanifolds with CR singularities to model equations starting from Bishop's invariant.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper surveys the literature on normal forms for real submanifolds of complex space that fail to be CR at isolated points. It traces the subject from Bishop's introduction of an invariant that distinguishes elliptic and hyperbolic cases through Moser-Webster's formal power-series reductions and convergence questions. Later sections collect results on holomorphic normal forms in higher dimensions and on the conditions that guarantee analytic convergence. A reader would care because these forms turn the local equivalence problem into concrete algebraic or dynamical questions. The survey thereby organizes a body of work that governs the local geometry of many examples in several complex variables.

Core claim

The central claim is that the normal-form theory initiated by Bishop in 1965 and advanced by Moser-Webster supplies a systematic classification of real submanifolds with CR singularities up to local holomorphic equivalence, with subsequent results extending the method to higher codimension and establishing convergence criteria under nondegeneracy assumptions.

What carries the argument

The Bishop invariant, a quadratic coefficient that measures the degeneracy of the CR singularity and partitions the local geometry into elliptic, hyperbolic, and parabolic types.

If this is right

Once reduced to normal form, the existence of holomorphic mappings between two such submanifolds reduces to solving a finite set of algebraic equations on the coefficients.
Convergence of the formal normal form implies that the submanifold is real-analytic near the singularity.
The elliptic case yields a Moser-Webster domain whose boundary dynamics can be studied by iteration of a holomorphic map.
Higher-dimensional results allow inductive classification when the CR singularity is nondegenerate in the sense of Moser-Webster.
The normal forms make it possible to decide stability of the singularity under small holomorphic perturbations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The survey structure suggests that convergence remains the chief open analytic question once the formal normal form is known.
Explicit normal forms in low dimensions may serve as test cases for numerical verification of holomorphic equivalence.
The same reduction technique could be adapted to study CR singularities of real hypersurfaces in almost-complex manifolds.
Connections between the Bishop invariant and the spectrum of the linearized Moser-Webster operator remain to be quantified.

Load-bearing premise

The collected results accurately reflect the main lines of development in the literature without important omissions.

What would settle it

A published normal-form theorem for real submanifolds with CR singularities in dimension greater than two that is absent from the survey would contradict the claim of a comprehensive overview.

Figures

Figures reproduced from arXiv: 2605.13157 by Laurent Stolovitch, Xianghong Gong.

**Figure 1.** Figure 1: Holomorphic hyperbola : Intersection of M by a holomorphic curve. where each τn+1 = τ ◦ ϕ ◦n is an involution reversing ϕ. For every n ∈ Z the pair of involutions (τn, τn+1) satisfies τn ◦ τn+1 = ϕ and therefore generates G. Thus the problem of classification of reversible maps (ϕ, τ ) with respect to conjugation is equivalent to that of pairs of involutions (τn, τn+1), i.e. if ˜τn+1 = ˜τ ◦ ϕ˜◦n with ϕ˜−1 … view at source ↗

**Figure 2.** Figure 2: Example of the domains of Theorem 6.7 in the case p = 3, k = 1, s = 0, for a model Xmod = i(u 3 + h)(ξ1 ∂ξ1 ∂− ξ2 ∂ξ2 ∂) . In the center of the figure: a covering of a small disc {|h| < δ2} by a collection of cuspidal sectors S (in pink). For each sector S and h ∈ S, the leaf Bh = {h = const} ∩ {|ξ| < δ1}, which in the coordinate ξ1 has the form of an annulus, is covered by 4kp Lavaurs domains Ωj S,h = Ωj … view at source ↗

**Figure 3.** Figure 3: (a) Real-time trajectories of the vector field e iθXnf inside a small disc. (b) The Leau–Fatou petals Ωj , j ∈ Z2kp. Theorem A.2. (1) (Birkhoff [Bi39], Ecalle [Eca81], Voronin [V81]). ´ Two germs ϕ, ϕ ′ that are formally tangent-to-identity equivalent are analytically tangent-to-identity equivalent if and only if their cocycles ψj [PITH_FULL_IMAGE:figures/full_fig_p039_3.png] view at source ↗

read the original abstract

We survey results dating back from the seminal works of Bishop and Moser-Webster as well as more recent advances.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This is a straightforward survey that gathers existing results on normal forms for real submanifolds with CR singularities from Bishop and Moser-Webster onward, with no new theorems or derivations.

read the letter

This survey compiles known results on normal forms for real submanifolds with CR singularities. It begins with the foundational Bishop and Moser-Webster work and moves through later developments, but it contains no original mathematics or fresh proofs. The value comes from having the progression of ideas in one document rather than scattered across papers. For someone already working in several complex variables or CR geometry, that organization can cut down on time spent tracking references. The authors' selection of topics appears reasonable given their expertise in the area. The main limitation is that the paper's usefulness depends entirely on how complete and accurate the coverage turns out to be. Surveys can overlook recent or peripheral contributions, or they can present results at a level that skips technical subtleties. Nothing in the abstract or stress-test note points to a specific gap or misstatement, so the risk looks low rather than zero. This is aimed at specialists who need a consolidated reference rather than a broad audience or newcomers. I would bring it to a reading group only if the group is already focused on complex geometry and wants an overview session. I would not cite it in my own work because it adds no new content. It should go to peer review so that experts can check the completeness of the literature survey and flag any noticeable omissions.

Referee Report

0 major / 2 minor

Summary. The manuscript is a survey that collects and presents results on normal forms for real submanifolds with CR singularities, beginning with the foundational contributions of Bishop and Moser-Webster and extending to more recent advances in the field.

Significance. If the coverage is accurate and reasonably comprehensive, the survey would provide a consolidated reference point for the literature on CR singularities and normal forms, potentially aiding researchers in complex geometry by organizing key historical and contemporary results.

minor comments (2)

The abstract is extremely brief; expanding it to list the main topics or periods covered (e.g., Bishop, Moser-Webster, and post-2000 developments) would improve accessibility for readers.
Consider adding a brief concluding section that highlights open problems or directions for future research to give the survey a stronger forward-looking component.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The survey is intended to serve as a consolidated reference organizing key results on normal forms for real submanifolds with CR singularities, from the foundational works of Bishop and Moser-Webster onward.

Circularity Check

0 steps flagged

No circularity: survey references external literature without derivations

full rationale

This is a survey paper that collects and summarizes existing results on normal forms for real submanifolds with CR singularities, starting from Bishop and Moser-Webster. No new theorems, predictions, or derivations are advanced by the authors; all content is attributed to prior independent literature. The central claim is simply that the survey accurately represents the key results, which carries no load-bearing deductive chain that could reduce to self-definition or fitted inputs. No self-citation load-bearing steps or ansatz smuggling occur because no original mathematical construction is presented.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Being a survey of existing literature, the paper does not introduce or rely on new free parameters, axioms, or invented entities beyond those in the cited works.

pith-pipeline@v0.9.0 · 5291 in / 948 out tokens · 77075 ms · 2026-05-14T02:20:36.081350+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

[1]

[AG05] P. R. Ahern and X. Gong, A complete classification for pairs of real analytic curves in the complex plane with tangential intersection, J. Dyn. Control Syst.11(2005), no. 1, 1–71; MR2122466. Erratum: J. Dyn. Control Syst.13(2007), no. 2, 307–312; MR2317459. [AG05a] P. R. Ahern and X. Gong, Cusp-type singularities of real analytic curves in the comp...

work page 2005
[2]

[BER97] M. S. Baouendi, P. Ebenfelt and L. P. Rothschild, Parametrization of local biholomorphisms of real analytic hypersurfaces, Asian J. Math.1(1997), no. 1, 1–16; MR1480988. [BMR02] M. S. Baouendi, N. Mir and L. P. Rothschild, Reflection ideals and mappings between generic submanifolds in complex space, J. Geom. Anal.12(2002), no. 4, 543–580; MR191685...

work page 1997
[3]

[Be97] V. K. Beloshapka, Math. Notes61(1997), no. 5-6, 777–779; translated from Mat. Zametki61 (1997), no. 6, 931–934; MR1629829. [Bi15] G.D. Birkhoff, The Restricted Problem of Three Bodies, Rendi. di Palermo 39 (1915), 265–334. [Bi39] G. D. Birkhoff, D´ eformations analytiques et fonctions auto-´ equivalentes, Ann. Inst. H. Poincar´ e 9(1939), 51–122; M...

work page 1997
[4]

[Brj71] A. D. Brjuno. Analytic form of differential equations. I, II.Trudy Moskov. Mat. Obˇ sˇ c., 25:119–262 (1971); ibid. 26 (1972), 199–239,

work page 1971
[5]

Cerveau and R

[CM88] D. Cerveau and R. Moussu. Groupes d’automorphismes de (C,0) et ´ equations diff´ erentielles ydy+· · ·= 0.Bull. S.M.F, 116 (4):459–488,1988. [Cha86] M. Chaperon. G´ eom´ etrie diff´ erentielle et singularit´ es de syst` emes dynamiques.Ast´ erisque, (138- 139):1–440,

work page 1988
[6]

Coffman,Enumeration and normal forms of singularities in Cauchy-Riemann structures, Pro- Quest LLC, Ann Arbor, MI, 1997; MR2716702

[Co97] A. Coffman,Enumeration and normal forms of singularities in Cauchy-Riemann structures, Pro- Quest LLC, Ann Arbor, MI, 1997; MR2716702. [Cof04] A. Coffman, Analytic normal form for CR singular surfaces inC 3, Houston J. Math.30(2004), no. 4, 969–996; MR2110245. [Cof06] A. Coffman. Analytic stability of the CR cross-cap.Pacific J. Math., 226(2):221–258,

work page 1997
[7]

Coffman, CR singularities of real fourfolds inC 3, Illinois J

[Cof09] A. Coffman, CR singularities of real fourfolds inC 3, Illinois J. Math.53(2009), no. 3, 939–981 (2010); MR2727363. [Cof10] A. Coffman, Unfolding CR singularities, Mem. Amer. Math. Soc.205(2010), no. 962, viii+90 pp.; MR2650710 [DTZ05] P. Dolbeault, G. Tomassini and D. Zaitsev, On boundaries of Levi-flat hypersurfaces inC n, C. R. Math. Acad. Sci. ...

work page 2009
[8]

[El90] L. H. Eliasson, Normal forms for Hamiltonian systems with Poisson commuting integrals—elliptic case, Comment. Math. Helv.65(1990), no. 1, 4–35; MR1036125. [EIlSV] P. M. Elizarov, Yu. S. Il’yashenko, A. A. Shcherbakov, S. M. Voronin, Finitely generated groups of germs of one-dimensional conformal mappings, and invariants for complex singular points ...

work page 1990
[9]

[Fa23] B. R. Fayad, Lyapunov unstable elliptic equilibria, J. Amer. Math. Soc.36(2023), no. 1, 81–106; MR4495839. [Fo92] F. Forstneriˇ c, Complex tangents of real surfaces in complex surfaces, Duke Math. J.67(1992), no. 2, 353–376; MR1177310. [FS91] F. Forstneriˇ c and E. L. Stout, A new class of polynomially convex sets, Ark. Mat.29(1991), no. 1, 51–62; ...

work page 2023
[10]

Gong, Real analytic submanifolds under unimodular transformations, Proc

[Gon95] X. Gong, Real analytic submanifolds under unimodular transformations, Proc. Amer. Math. Soc. 123(1995), no. 1, 191–200; MR1231299. [Gon96] X. Gong. Divergence of the normalization for real Lagrangian surfaces near complex tangents. Pacific J. Math., 176(2):311–324,

work page 1995
[11]

Gong, Fixed points of elliptic reversible transformations with integrals, Ergodic Theory Dy- nam

[Gon96a] X. Gong, Fixed points of elliptic reversible transformations with integrals, Ergodic Theory Dy- nam. Systems16(1996), no. 4, 683–702; MR1406428. [Gon04] X. Gong. Existence of real analytic surfaces with hyperbolic complex tangent that are formally but not holomorphically equivalent to quadrics.Indiana Univ. Math. J., 53(1):83–95,

work page 1996
[12]

Gong, Existence of divergent Birkhoff normal forms of Hamiltonian functions, Illinois J

[Gon12] X. Gong, Existence of divergent Birkhoff normal forms of Hamiltonian functions, Illinois J. Math. 56(2012), no. 1, 85–94 (2013); MR3117019. [GS16] X. Gong and L. Stolovitch, Real submanifolds of maximum complex tangent space at a CR singular point, I, Invent. Math.206(2016), no. 2, 293–377; MR3570294. 42 [GS19] X. Gong and L. Stolovitch. Real subm...

work page 2012
[13]

Gong and J

[GL15] X. Gong and J. Lebl, Normal forms for CR singular codimension-two Levi-flat submanifolds, Pacific J. Math.275(2015), no. 1, 115–165; MR3336931. [Gun90] R.C. Gunning.Introduction to holomorphic functions of several variables. Vol. II. Local theory. The Wadsworth & Brooks/Cole Mathematics Series. Wadsworth & Brooks/Cole Advanced Books & Software, Mon...

work page 2015
[14]

[Ha81] G. A. Harris, Geometry near a C.R. singularity, Illinois J. Math.25(1981), no. 1, 147–158; MR0602905. [Ha85] G. A. Harris, Lowest order invariants for real-analytic surfaces inC 2, Trans. Amer. Math. Soc. 288(1985), no. 1, 413–422; MR0773068. [Hua98] X. Huang. On ann-manifold inC n near an elliptic complex tangent.J. Amer. Math. Soc., 11(3):669–692,

work page 1981
[15]

Ilyashenko and S

[IY08] Y. Ilyashenko and S. Yakovenko. Lectures on analytic differential equations.Graduate Studies in Mathematics,86,American Mathematical Society, Providence, RI,2008. [Je08] A. Jenkins, Further reductions of Poincar´ e-Dulac normal forms inC n+1, Proc. Amer. Math. Soc. 136(2008), no. 5, 1671–1680; MR2373596. [Jo97] B. J¨ oricke, Local polynomial hulls ...

work page 2008
[16]

[K71] T. Kimura. On the iteration of analytic functions.Funkcial. Ekvac., 14 :197–238, 1971 [KSt22] M. Klimeˇ s and L. Stolovitch. Reversible parabolic diffeomorphisms of (C 2,0) and exceptional hyperbolic CR-singularities.arXiv:2204.09449, submitted., 115 pages,

work page arXiv 1971
[17]

Selected Works

English translation in “Selected Works”, Kluwer. [KS16] I. Kossovskiy and R. Shafikov, Divergent CR-equivalences and meromorphic differential equa- tions, J. Eur. Math. Soc. (JEMS)18(2016), no. 12, 2785–2819; MR3576537. [KLS22] I. Kossovskiy, B. Lamel, and L. Stolovitch. Equivalence of Cauchy-Riemann Manifolds and Mul- tisummability Theory.Adv. Math, 397,108117

work page 2016
[18]

Krikorian, On the divergence of Birkhoff normal forms, Publ

[Kr22] R. Krikorian, On the divergence of Birkhoff normal forms, Publ. Math. Inst. Hautes ´Etudes Sci. 135(2022), 1–181; MR4426740. [La72] H. F. Lai, Characteristic classes of real manifolds immersed in complex manifolds, Trans. Amer. Math. Soc.172(1972), 1–33; MR0314066. 43 [LS20] B. Lamel and L. Stolovitch. Convergence of the Chern-Moser-Beloshapka norm...

work page 2022
[19]

[LNR17] J. Lebl, A. V. Noell and S. Ravisankar, Codimension two CR singular submanifolds and extensions of CR functions, J. Geom. Anal.27(2017), no. 3, 2453–2471; MR3667437. [Mal82] B. Malgrange. Travaux d’ ´Ecalle et de Martinet-Ramis sur les syst` emes dynamiques.Bourbaki Seminar, Vol. 1981/1982, pp. 59–73, Ast´ erisque, 92-93,

work page 2017
[20]

Martinet,Remarques sur la bifurcation nœd-col dans le domaine complexe, Ast´ erisque150-151 (1987), 131–149

[Mar87] J. Martinet,Remarques sur la bifurcation nœd-col dans le domaine complexe, Ast´ erisque150-151 (1987), 131–149. [MR82] J. Martinet and j.-P. Ramis. Probl` emes de modules pour des ´ equations diff´ erentielles non lin´ eaires du premier ordre.Publ. Math.IH ´ES, 55, 63–164,1982. [MR83] J. Martinet and j.-P. Ramis. Classification analytique des ´ eq...

work page 1987
[21]

[Mo23] G. M. Mondal, Polynomial convexity and polynomial approximations of certain sets inC 2n with non-isolated CR-singularities, J. Geom. Anal.33(2023), no. 8, Paper No. 251, 34 pp.; MR4592426. [Mos56] J. Moser. The analytic invariants of an area-preserving mapping near a hyperbolic fixed point. Comm. Pure Appl. Math., 9:673–692,

work page 2023
[22]

Nakai, The classification of curvilinear angles in the complex plane and the groups of±holomor- phic diffeomorphisms, Ann

[Na98] I. Nakai, The classification of curvilinear angles in the complex plane and the groups of±holomor- phic diffeomorphisms, Ann. Fac. Sci. Toulouse Math. (6)7(1998), no. 2, 313–334; MR1656172. [P¨ os86] J. P¨ oschel. On invariant manifolds of complex analytic mappings near fixed points.Exposition. Math., 4(2):97–109,

work page 1998
[23]

[OZ14] A. G. O’Farrell and D. Zaitsev, Formally reversible maps ofC 2, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)13(2014), no. 2, 371–397; MR3235519. [PM03] R. P´ erez-Marco, Convergence or generic divergence of the Birkhoff normal form, Ann. of Math. (2)157(2003), no. 2, 557–574; MR1973055. [Ra80] J.-P.Ramis. Les s´ eriesk-sommables et leurs applications.Co...

work page 2014
[24]

Rib´ on,Formal classification of unfoldings of parabolic diffeomorphisms, Ergod

[Rib08a] J. Rib´ on,Formal classification of unfoldings of parabolic diffeomorphisms, Ergod. Th. & Dynam. Sys.28(2008), 1323–1365. [Rib08b] J. Rib´ on,Modulus of analytic classification for unfoldings of resonant diffeomorphisms, Moscow Math. J.8(2008), 319–395. [Rib09] J. Rib´ on,Unfolding of tangent to identity diffeomorphisms, Ast´ erisque323(2009), 32...

work page 2008
[25]

[Si54] C. L. Siegel, ¨Uber die Existenz einer Normalform analytischer Hamiltonscher Differentialgle- ichungen in der N¨ ahe einer Gleichgewichtsl¨ osung, Math. Ann.128(1954), 144–170; MR0067298. [Sto00] L. Stolovitch. Singular complete integrability.Inst. Hautes ´Etudes Sci. Publ. Math., (91):133–210 (2001),

work page 1954
[26]

Stolovitch

[Sto05] L. Stolovitch. A KAM phenomenon for singular holomorphic vector fields, Publ. Math. Inst. Hautes ´Etudes Sci. No. 102 (2005), 99–165; MR2217052. [Sto07] L. Stolovitch. Family of intersecting totally real manifolds of (C n,0) and CR-singularities,

work page 2005
[27]

[Sto15] L

preprint, p.1–30. [Sto15] L. Stolovitch. Family of intersecting totally real manifolds of (C n,0) and germs of holomorphic diffeomorphisms, 2013.Bull. Soc. math. France, 143(2):247–263,

work page 2013
[28]

Stolovitch and Z

[StZh23] L. Stolovitch and Z. Zhao. Geometry of hyperbolic Cauchy-Riemann singularities and KAM- like theory for holomorphic involutions. and germs of holomorphic diffeomorphisms, 2023.Math. Ann., 386(1-2):587–672,

work page 2023
[29]

[Tum88] A. E. Tumanov, Extension of CR-functions into a wedge from a manifold of finite type,Math. USSR-Sb.64(1989), no. 1, 129–140; translated from Mat. Sb. (N.S.)136(178)(1988), no. 1, 128–139. [V81] S. M. Voronin. Analytic classification of germs of conformal mappings (C,0)→(C,0).Functional Anal. Appl., 15(1):1—13,

work page 1989
[30]

[We77] S. M. Webster, On the mapping problem for algebraic real hypersurfaces, Invent. Math.43 (1977), no. 1, 53–68; MR0463482. [Web92] S. M. Webster. Holomorphic symplectic normalization of a real function.Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 19(1):69–86,

work page 1977
[31]

[We94] S. M. Webster, Geometric and dynamical aspects of real submanifolds of complex space, in Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Z¨ urich, 1994), 917–921, Birkh¨ auser, Basel, MR1403991. [Wi95] J. J. O. O. Wiegerinck, Local polynomially convex hulls at degenerated CR singularities of surfaces inC 2, Indiana Univ. Mat...

work page 1994