The Poincaré problem, algebraic integrability and dicritical divisors

From MaRDI portal
Publication:2442906



Abstract: We solve the Poincar'e problem for plane foliations with only one dicritical divisor. Moreover, in this case, we give an algorithm that decides whether a foliation has a rational first integral and computes it in the affirmative case. We also provide an algorithm to compute a rational first integral of prefixed genus geq1 of any type of plane foliation cf. When the number of dicritical divisors dic(cf) is larger than two, this algorithm depends on suitable families of invariant curves. When dic(cf)=2, it proves that the degree of the rational first integral can be bounded only in terms of g, the degree of cf and the local analytic type of the dicritical singularities of cf.


Let \(\mathbb P^2\) be the projective plane over \(\mathbb C\). If \(\mathcal F\) is an algebraically integrable singular algebraic foliation on \(\mathbb P^2\) of degree \(r\) having 1 dicritical divisor appearing in its resolution then the degree of a general integral invariant curve is at most \(\frac{(r+2)^2}4\) and there is a positive integer \(\lambda\) such that \(\pi_{\mathcal F*}|\lambda\Delta_{\mathcal F}\) is a pencil and the rational map which it defines is a rational first integral of \(\mathcal F\). This leads to an algorithm which produces a primitive rational first integral of \(\mathcal F\). Related results with larger dicritical divisors are also presented.



Cites work


Cited in
(27)


Describes a project that uses

Uses Software






This page was built for publication: The Poincaré problem, algebraic integrability and dicritical divisors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2442906)