Algebraic integrability of foliations of the plane
type: Item
instance of: scholarly article
title: Algebraic integrability of foliations of the plane
zbMATH Open document ID: 1106.14021
published in: Journal of Differential Equations
publication date: 2007-01-11T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0511416
review text: Let \({\mathbb K}\) be an algebraically closed field of characteristic \(0\). A foliation \({\mathcal F}\) of \({\mathbb P}^2({\mathbb K})\) is the datum, for some \(d\geq 0\), of a global section \(\Omega\) with only isolated zeros of the sheaf of \(\Omega^1(d)_{{\mathbb P}^2({\mathbb K})}\), up to multiplication by a nonzero scalar. A rational first integral of the foliation \({\mathcal F}\) is a rational function \(R\) on the plane such that \(dR\wedge \Omega\equiv 0\). Given a foliation \({\mathcal F}\) of the plane, there is a so-called minimal resolution of \({\mathcal F}\), namely a blow up \(X_0\) of the plane such that the strict transform of \({\mathcal F}\) on \(X_0\) has only a certain type of singularities (``simple singularities'') which cannot be improved by further blowing up and such that \(X_0\) is minimal with respect to this property. The points blown up to get \(X_0\) are of two types: dicritical and non dicritical (we refer the reader to the paper for the definition). We denote by \(X\) the blow up of the plane at the dicritical singular points of \({\mathcal F}\). Under the assumption that the Mori cone of \(X\) is polyhedral, the authors give an algorithm for deciding whether a rational first integral of \({\mathcal F}\) exists and for computing it in case it exists. The assumption that the Mori cone is polyhedral is satisfied whenever \(X\) is the blow up of \({\mathbb P}^2({\mathbb K})\) at at most 8 points. More generally, it is possible to decide whether the assumption holds by looking at the proximity graph associated with the blow up \(X\to {\mathbb P}^2({\mathbb K})\).
Mathematics Subject Classification ID: 14J26
Mathematics Subject Classification ID: 14F10
Mathematics Subject Classification ID: 14E15
Mathematics Subject Classification ID: 14J17
zbMATH DE Number: 5115333
zbMATH Keywords: foliation
zbMATH Keywords: rational first integral
zbMATH Keywords: projective plane
zbMATH Keywords: rational surface
zbMATH Keywords: Mori cone
author: Carlos Galindo
author: Francisco Monserrat
reviewed by: Rita Pardini
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2042401673
arXiv ID: math/0511416
cites work: Q4889534
cites work: Q4801049
cites work: Proximity inequalities and bounds for the degree of invariant curves by foliations of ℙ_{ℂ}²
cites work: Clusters of infinitely near points
cites work: Q4400910
cites work: CONES OF CURVES AND OF LINE BUNDLES ON SURFACES ASSOCIATED WITH CURVES HAVING ONE PLACE AT INFINITY
cites work: The Poincaré problem in the nondicritical case
cites work: Q4499086
cites work: Invariant algebraic curves and rational first integrals for planar polynomial vector fields
cites work: On a problem of Zariski on dimensions of linear systems
cites work: M. N. Lagutinskij (1871-1915): A misunderstood mathematician
cites work: Cayley-Bacharach theorems and conjectures
cites work: Bounds on leaves of one-dimensional foliations
cites work: Linear inequalities and quadratic forms
cites work: The cone of curves associated to a plane configuration
cites work: The total coordinate ring of a smooth projective surface
cites work: Q4888912
cites work: Q4143433
cites work: Equations de Pfaff algébriques
cites work: Two remarks on polynomials in two variables
cites work: Toward a numerical theory of ampleness
cites work: Q4212603
cites work: Some examples for the Poincaré and Painlevé problems
cites work: Rational singularities, with applications to algebraic surfaces and unique factorization
cites work: Relationships between limit cycles and algebraic invariant curves for quadratic systems
cites work: Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
cites work: Q4402061
cites work: Threefolds whose canonical bundles are not numerically effective
cites work: Q4039830
cites work: Vector fields, invariant varieties and linear systems.
cites work: Elementary First Integrals of Differential Equations
cites work: Algebraic Particular Integrals, Integrability and the Problem of the Center
cites work: Reduction of Singularities of the Differential Equation Ady = Bdx
cites work: The theorem of Riemann-Roch for high multiples of an effective divisor on an algebraic surface
DOI: 10.1016/J.JDE.2006.05.011
description: scientific article