Back to search
2408.05186

Holomorphic Vector Fields with Real Integral Manifolds

Martin Kolář, Ilya Kossovskiy, Bernhard Lamel

correcthigh confidence
Category
Not specified
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper proves a complete dichotomy and explicit normal forms for all holomorphic vector fields in C^2 that admit a Levi-nonflat real-analytic integral 3-fold through the singularity. Its Theorem 1 lists the finite-type normal forms (1–6) and the infinite-type normal forms (7–13), plus a single purely formal, generically divergent exceptional case (14), and also proves realizability of every listed form by an analytic pair (X, M) . The introduction makes clear that this completes the classification of infinitesimal symmetries of Levi-nonflat hypersurfaces in C^2, including the previously open nonminimal (infinite-type) regime . The paper provides the normalization and convergence theorems in the infinite-type setting (e.g., Theorem 2 for the generic case and Theorem 3 for the exceptional case with α_k≡0) and a formal normal form with a divergence result for case (14) (Section 4) . By contrast, the candidate solution asserts that the infinite-type classification with explicit forms (7)–(14) “appears to have been open” as of 2024-08-09; this is directly contradicted by the paper’s main theorem and proofs. The finite-type portion of the candidate solution broadly agrees with the classical Chern–Moser/Kolář picture (and the paper’s summary of that background) , but the overall claim that the infinite-type classification was not available is incorrect.

Referee report (LaTeX)

\textbf{Recommendation:} no revision

\textbf{Journal Tier:} strong field

\textbf{Justification:}

This work completes the classification of infinitesimal symmetries of real-analytic Levi-nonflat hypersurfaces in C\^2 by providing explicit normal forms in both finite- and infinite-type cases, a sharp analytic/formal dichotomy, and realizability. The techniques are innovative and convincingly executed, and the results will be of lasting interest in CR geometry and local holomorphic dynamics.