[Paper Review] Limiting behavior of trajectories of complex polynomial vector fields

S. Ivashkovich|arXiv (Cornell University)|Apr 15, 2010

Advanced Differential Equations and Dynamical Systems44 references3 citations

TL;DR

This paper establishes that every trajectory of a polynomial vector field on the complex projective plane accumulates to the singular locus of the vector field, proving a holomorphic analogue of the Poincaré-Bendixson theorem. Using techniques from complex foliation theory, pseudoconvexity, and holonomy representations, the authors show that minimal sets in holomorphic foliations on $\mathbb{P}^2$ must intersect the singular set, thereby resolving the complex analytic counterpart of Hilbert's 16th problem and implying the nonexistence of real analytic Levi-flat hypersurfaces in $\mathbb{P}^2$. The limiting behavior of leaves is characterized as approaching the singular locus via rational curves or degenerate compactifications.

ABSTRACT

We prove that every trajectory of a polynomial vector field on the complex projective plane accumulates to the singular locus of the vector field. This statement represents a holomorphic version of the Poincare-Bendixson theorem and solves the complex analytic counterpart of Hilbert's 16th problem. The main result can be also reformulated as the nonexistence of "exceptional minimals" of holomorphic foliations on $\pp^2$ and, in particular, implies the nonexistence of real analytic Levi flat hypersurfaces in the complex projective plane. Finally, we describe (in the first approximation) the way a minimal complex trajectory approaches the singular locus of the vector field.

Motivation & Objective

• To establish the limiting behavior of trajectories of complex polynomial vector fields on $\mathbb{P}^2$, proving they always accumulate at the singular locus.
• To provide a holomorphic version of the Poincaré-Bendixson theorem for complex polynomial vector fields.
• To resolve the complex analytic counterpart of Hilbert's 16th problem by showing no exceptional minimal sets exist in holomorphic foliations on $\mathbb{P}^2$.
• To demonstrate the nonexistence of real analytic Levi-flat hypersurfaces in $\mathbb{P}^2$ as a consequence of the main result.
• To describe the geometric structure of how leaves approach the singular locus, particularly via rational curves or one-point compactifications.

Proposed method

• Employing the BLM trichotomy to classify minimal sets of holomorphic foliations on $\mathbb{P}^2$ into hyperbolic, parabolic, or rational quasi-fibration types.
• Using pseudoconvexity criteria, including the Docquier-Grauert theorem and Fujita's results, to analyze Poincaré domains and their universal coverings.
• Constructing holomorphic representations of the fundamental group to study the geometry of universal covering Poincaré domains and their embeddings into $\mathbb{C}^2$.
• Reducing the foliation to a nef model via Seidenberg's reduction of singularities, analyzing the tree of rational curves and their contraction behavior.
• Applying a Rothstein-type extension theorem to extend analytic objects across singularities and analyze boundary behavior of Poincaré domains.
• Using contradiction arguments in the hyperbolic and parabolic cases: showing non-pseudoconvexity or non-Steiness of universal coverings leads to topological contradictions with fundamental group triviality.

Experimental results

Research questions

• RQ1 Can a leaf of a holomorphic foliation on $\mathbb{P}^2$ have a limiting set disjoint from the singular locus?
• RQ2 Do exceptional minimal sets exist in holomorphic foliations on $\mathbb{P}^2$, i.e., minimal sets not intersecting the singular set?
• RQ3 Is it possible for a real analytic Levi-flat hypersurface to exist in $\mathbb{P}^2$?
• RQ4 How do leaves of holomorphic foliations approach the singular locus in $\mathbb{P}^2$?
• RQ5 What topological and geometric constraints arise from the holonomy representation of a leaf in a Poincaré domain?

Key findings

• Every leaf $\mathcal{L}_m$ of a holomorphic foliation on $\mathbb{P}^2$ satisfies $\overline{\mathcal{L}_m} \cap \mathsf{Sing}\,\mathcal{L} \neq \varnothing$, proving the main result.
• The limiting set of any leaf intersects the singular locus, meaning no exceptional minimal sets exist in $\mathbb{P}^2$.
• The nonexistence of real analytic Levi-flat hypersurfaces in $\mathbb{P}^2$ follows as a direct consequence of the main theorem.
• Leaves with hyperbolic holonomy cannot have pseudoconvex universal Poincaré domains unless they intersect the singular set, leading to a contradiction if they do not.
• In the parabolic case, minimal leaves must accumulate at singularities, and the closure of a leaf is either a rational curve or a one-point compactification of a simply connected leaf.
• The closure $\overline{\mathcal{L}_m}$ is a rational curve passing through at least one singular point, and in the generic case, it cuts the singular set in exactly one point, which is ruled out by fundamental group considerations.