Some remarks on meromorphic first integrals (Q1943954): Difference between revisions

The author presents a new proof of the following theorem. Let \(\mathcal{F}\) be a germ of a holomorphic foliation on \((\mathbb{C}^2; 0)\). Suppose that there exists a germ of a real analytic hypersurface \(M \subset (\mathbb{C}^2; 0)\) which is invariant by \(\mathcal{F}\). Then \(\mathcal{F}\) admits a meromorphic first integral. The result was recently established in two and higher dimensional spaces by \textit{D. Cerveau} and \textit{A. Lins Neto} [Am. J. Math. 133, No. 3, 677--716 (2011; Zbl 1225.32038)]. Following the words of the author, the paper's aim ``is to give an almost straighforward proof, which is based on some general principles of analytic geometry (in the spirit of [\textit{M. Brunella}, Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 6, No. 4, 661--672 (2007; Zbl 1214.32012)]), together with a general and simple criterion for the existence of a meromorphic first integral. This relatively new proof will reveal the beautiful geometric structure behind foliations tangent to real analytic hypersurfaces.'' The author also comments that ``the theorem generalizes to codimension one foliations in higher dimensional spaces, by a standar sectional argument. (...) Another possible generalization concerns foliations defined on singular spaces, instead of \(\mathbb{C}^2\).''