Completely Integrable Foliations: Singular Locus, Invariant Curves and Topological Counterparts
Javier Ribón
TL;DR
This work advances the theory of completely integrable holomorphic foliations with codimension $q\ge 2$ by revealing a topological backbone to CI phenomena: either the singular set is sizable or there are infinitely many separatrices, and such behavior is captured by topological constructs like the total holonomy group. By introducing topological complete integrability (TCI) and developing a robust neighborhood/transverse-section framework, the authors show how to construct holomorphic first integrals in the isolated-separatrix case and prove the existence of dicritical codimension-1 invariant varieties under CI. They also provide a sharp characterization for TCI vector fields, tying CI to diagonal linear models with integer eigenvalues and a finite total holonomy group, thereby linking geometric, topological, and algebraic facets of CI foliations. Overall, the paper connects topological invariants to analytic integrability, yielding new tools to detect and construct first integrals in higher codimension foliations with isolated singularities.
Abstract
We study codimension $q \geq 2$ holomorphic foliations defined in a neighborhood of a point $P$ of a complex manifold that are completely integrable, i.e. with $q$ independent meromorphic first integrals. We show that either $P$ is a regular point, a non-isolated singularity or there are infinitely many invariant analytic varieties through $P$ of the same dimension as the foliation, the so called separatrices. Moreover, we see that this phenomenon is of topological nature. Indeed, we introduce topological counterparts of completely integrable local holomorphic foliations and tools, specially the concept of total holonomy group, to build holomorphic first integrals if they have isolated separatrices. As a result, we provide a topological characterization of completely integrable non-degenerated elementary isolated singularities of vector fields with an isolated separatrix.
