We give an algorithm to decide whether an algebraic plane foliation F has a rational first integral and to compute it in the affirmative case. The algorithm runs whenever we assume the polyhedrality of the cone of curves of the surface obtained after blowing-up the set B_F of infinitely near points needed to get the dicritical exceptional divisors of a minimal resolution of the singularities of F. This condition can be detected in several ways, one of them from the proximity relations in B_F and, as a particular case, it holds when the cardinality of B_F is less than 9.
We study the holonomy cocycle H of a holomorphic foliation \Fc by Riemann surfaces defined on a compact complex projective surface X satisfying the following two conditions: 1) its singularities E are all hyperbolic; 2) there is no holomorphic non-constant map \C\to X such that out of E the image of \C is locally contained in a leaf. Let T be a harmonic current tangent to \Fc which does not give mass to any invariant analytic curve. Using the leafwise Poincaré metric, we show that H is integrable with respect to T. Consequently, we infer the existence of the Lyapunov exponent function of T.
We study the integrability of polynomial vector fields using Galois theory of linear differential equations when the associated foliations is reduced to a Riccati type foliation. In particular we obtain integrability results for some families of quadratic vector fields, Liénard equations and equations related with special functions such as Hypergeometric and Heun ones. The Poincaré problem for some families is also approached.
In this article, we prove two results. First, we construct a dense subset in the space of polynomial foliations of degree $n$ such that each foliation from this subset has a leaf with at least $\frac{(n+1)(n+2)}2-4$ handles. Next, we prove that for a generic foliation invariant under the map $(x, y)\mapsto (x, -y)$ all leaves have infinitely many handles.
We consider closed positive currents invariant by a singular holomorphic foliation on an algebraic surface. We show that under some conditions the foliation must leave invariant an algebraic curve.
We study under the standpoint of integrable complex analytic 1-forms (complex analytic foliations), a class of second order ordinary differential equations with periodic coefficients. More precisely, we study Hill's equations of motion of the moon, which are related to the dynamics of the system Sun-Earth-Moon. We associate to the {\em complex Hill equation} an integrable complex analytic one-form in dimension three. This defines a {\it Hill foliation}. The existence of first integral for a Hill foliation is then studied. The simple cases correspond to the existence of rational or Liouvillian …
We solve the Poincaré 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 $g\neq 1$ 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 i…
Complete integrability in a symplectic setting means the existence of a Lagrangian foliation leaf-wise preserved by the dynamics. In the paper we describe complete integrability in a contact set-up as a more subtle structure: a flag of two foliations, Legendrian and co-Legendrian, and a holonomy-invariant transverse measure of the former in the latter. This turns out to be equivalent to the existence of a canonical $\R\ltimes \R^{n-1}$ structure on the leaves of the co-Legendrian foliation. Further, the above structure implies the existence of $n$ contact fields preserving a special contact 1-…
In this article we investigate the natural domain of definition of a holonomy map associated to a singular holomorphic foliation of the complex projective plane. We prove that germs of holonomy between algebraic curves can have large sets of singularities for the analytic continuation. In the Riccati context we provide examples with natural boundary and maximal sets of singularities. In the generic case we provide examples having at least a Cantor set of singularities and even a nonempty open set of singularities. The examples provided are based on the presence of sufficiently rich contracting…
We give a characterization theorem for non-degenerated plane foliations of degree different from 1 having a rational first integral. Moreover, we prove that the degree $r$ of a non-degenerated foliation as above provides the minimum number, $r+1$, of points in the projective plane through which infinitely many algebraic leaves of the foliation go.
In this paper we study holomorphic foliations on $\mathbb{P}^2$ with only one singular point. If the singularity has algebraic multiplicity one, we prove that the foliation has no invariant algebraic curve. We also present several examples of such foliations in degree three.
In this work we study analytic Levi-flat hypersurfaces in complex algebraic surfaces. First, we show that if this foliation admits chaotic dynamics (i.e. if it does not admit a transverse invariant measure), then the connected components of the complement of the hypersurface are modifications of Stein domains. This allows us to extend the CR foliation to a singular algebraic foliation on the ambient complex surface. We apply this result to prove, by contradiction, that analytic Levi-flat hypersurfaces admitting a transverse affine structure in a complex algebraic surface have a transverse inva…
In this work we study some problems related with algebraic hypersurfaces invariant by foliations on weighted projective spaces $\mathbb{P}_{\mathbb{C}}(\varpi_0,...,\varpi_n)$ generalizing some results known for $\p$, as for example: the number of singularities, with multiplicities, contained in the invariant quasi-smooth hypersurfaces; Poincare problem on weighted projective plane and the number of the hypersurfaces, of a degree fixed, invariant by a foliation on $\mathbb{P}_{\mathbb{C}}(\varpi_0,...,\varpi_n)$ which does not admit a rational first integral.
This work deals with the topological classification of germs of singular foliations on $(\mathbb C^{2},0)$. Working in a suitable class of foliations we fix the topological invariants given by the separatrix set, the Camacho-Sad indices and the projective holonomy representations and we compute the moduli space of topological classes in terms of the cohomology of a new algebraic object that we call group-graph. This moduli space may be an infinite dimensional functional space but under generic conditions we prove that it has finite dimension and we describe its algebraic and topological struct…
We define four different kinds of multiplicity of an invariant algebraic curve for a given polynomial vector field and investigate their relationships. After taking a closer look at the singularities and at the line of infinity, we improve the Darboux theory of integrability using these new notions of multiplicity.
In this paper we consider the question of bounding the degree of an divisor $D$ invariant by a $\F$ holomorphic foliation, without rational first integral, on smooth algebraic variety $X$ in terms of degree of $\F$ and some invariants of $D$ and $X$. Particularly, if $\F$ is a foliation of degree $d$ on $\mathbb{P}_{\mathbb{C}}^2$, whose the number of invariants curves is greater that ${k+2\choose k}$, we show that there exist a number $\mathcal{M}(d,k)$ such that if $k>\mathcal{M}(d,k),$ then $\F$ admits a rational first integral of degree $\leq k$. Moreover, there exist a number $\mathscr{G}…
In this article, we develop a geometric framework to study the notion of semi-minimality for the generic type of a smooth autonomous differential equation $(X,v)$, based on the study of rational factors of $(X,v)$ and of algebraic foliations on $X$, invariant under the Lie-derivative of the vector field $v$. We then illustrate the effectiveness of these methods by showing that certain autonomous algebraic differential equation of order three defined over the field of real numbers --- more precisely, those associated to mixing, compact, Anosov flows of dimension three --- are generically disint…
Following T. Suwa, we study unfoldings of algebraic foliations and their relationship with families of foliations, making focus on those unfoldings related to trivial families. The results obtained in the study of unfoldings are then applied to obtain information on the structure of foliations on projective spaces.
We examine the algebraic complete integrability of Lotka-Volterra equations in three dimensions. We restrict our attention to Lotka-Volterra systems defined by a skew symmetric matrix. We obtain a complete classification of such systems. The classification is obtained using Painleve analysis and more specifically by the use of Kowalevski exponents. The imposition of certain integrality conditions on the Kowalevski exponents gives necessary conditions for the algebraic integrability of the corresponding systems. We also show that the conditions are sufficient.
We give here an explicit example of an algebraic family of foliations of CP^{2} which is topologically trivial but not analytically trivial. This example underlines the necessity of some assumptions in Y. Ilyashenko's rigidity theorem.
This paper addresses an open problem recently posed by V. Kozlov: a rigorous proof of the non-integrability of the geodesic flow on the cubic surface $x y z=1$. We prove this is the case using the Morales-Ramis theorem and Kovacic algorithm. We also consider some consequences and extensions of this result.
This paper contributes to the solution of the Poincare problem, which is to bound the degree of a (generalized algebraic) leaf of a (singular algebraic) foliation of the complex projective plane. The first theorem gives a new sort of bound, which involves the Castelnuovo--Mumford regularity of the singular locus of the leaf. The second theorem gives a bound in terms of two singularity numbers of the leaf: the total Tjurina number, and the number of non-quasi-homogeneous singularities. If such singularities are present, then this bound improves one due to du Plessis and Wall, at least when the …
We prove that any holomorphic codimension 1 foliation on the complex projective plane has at most one singular point up to the action of an ad-hoc birational self map of the complex projective plane into itself. Consequently, any algebraic foliation on the affine plane has no singularities up to the action of a suitable birational self map of the complex projective plane into itself.
We consider billiard ball motion in a convex domain of the Euclidean plane bounded by a piece-wise smooth curve influenced by the constant magnetic field. We show that if there exists a polynomial in velocities integral of the magnetic billiard flow then every smooth piece $γ$ of the boundary must be algebraic and either is a circle or satisfies very strong restrictions. In particular in the case of ellipse it follows that magnetic billiard is algebraically not integrable for all magnitudes of the magnetic field. We conjecture that circle is the only integrable magnetic billiard not only in th…
Let $\mathcal F(r, d)$ denote the moduli space of algebraic foliations of codimension one and degree $d$ in complex proyective space of dimension $r$. We show that $\mathcal F(r, d)$ may be represented as a certain linear section of a variety of complexes. From this fact we obtain information on the irreducible components of $\mathcal F(r, d)$.
In this paper we study the Neumann system, which describes the harmonic oscillator (of arbitrary dimension) constrained to the sphere. In particular we will consider the confluent case where two eigenvalues of the potential coincide, which implies that the system has S^{1} symmetry. We will prove complete algebraic integrability of confluent Neumann system and show that its flow can be linearized on the generalized Jacobian torus of some singular algebraic curve. The symplectic reduction of S^{1} action will be described and we will show that the general Rosochatius system is a symplectic quot…
In several contexts the defining invariant structures of a hyperbolic dynamical system are smooth only in systems of algebraic origin (smooth rigidity), and we prove new results of this type for a class of flows. For a compact Riemannian manifold and a uniformly quasiconformal transversely symplectic Anosov flow we define the longitudinal KAM-cocycle and use it to prove a rigidity result: The joint stable/unstable subbundle is Zygmund-regular, and higher regularity implies vanishing of the longitudinal KAM-cocycle, which in turn implies that the subbundle is Lipschitz-continuous and indeed tha…
We consider billiard ball motion in a convex domain on a constant curvature surface influenced by the constant magnetic field. We examine the existence of integral of motion which is polynomial in velocities. We prove that if such an integral exists then the boundary curve of the domain determines an algebraic curve in $\mathbf{C}^3$ which must be nonsingular. Using this fact we deduce that for any domain different from round disc for all but finitely many values of the magnitude of the magnetic field billiard motion does not have Polynomial in velocities integral of motion.
This manuscript is an introduction to the theory of holomorphic foliations on the complex projective plane. Historically the subject has emerged from the theory of ODEs in the complex domain and various attempts to solve Hilbert's 16th Problem, but with the introduction of complex algebraic geometry, foliation theory and dynamical systems, it has now become an interesting subject of its own.
