Related papers: The Poincar\'e Problem, algebraic integrability an…

We show that the multiplicity of a plane analytic 1-form is a bound for the number of Puiseux exponents of a (formal or convergent) branch. This is true whether the associated foliation is dicritical or not.

In this paper we mainly study the necessary conditions for the existence of functionally independent generalized rational first integrals of ordinary differential systems via the resonances. The main results extend some of the previous…

For every class $\mathscr{C}$ of word languages, one may associate a decision problem called $\mathscr{C}$-separation. Given two regular languages, it asks whether there exists a third language in $\mathscr{C}$ containing the first…

Here we present an algorithm to find elementary first integrals of rational second order ordinary differential equations (SOODEs). In \cite{PS2}, we have presented the first algorithmic way to deal with SOODEs, introducing the basis for the…

We treat the problem of defining, and characterising in a practical way, an appropriate class of distinguished curves for Poincar\'e-Einstein manifolds, and other conformally singular geometries. These "generalised geodesics" agree with…

The phase space of an integrable Hamiltonian system is foliated by invariant tori. For an arbitrary Hamiltonian H such a foliation may not exist, but we can artificially construct one through a parameterised family of surfaces, with the…

The intrinsic nature of a problem usually suggests a first suitable method to deal with it. Unfortunately, the apparent ease of application of these initial approaches may make their possible flaws seem to be inherent to the problem and…

For an $n$--dimensional local analytic differential system $\dot x=Ax+f(x)$ with $f(x)=O(|x|^2)$, the Poincar\'e nonintegrability theorem states that if the eigenvalues of $A$ are not resonant, the system does not have an analytic or a…

The paper considers algorithmic properties of classical and non-classical first-order logics and theories in bounded languages. The main idea is to prove the undecidability of various fragments of classical and non-classical first-order…

Earlier, for an action of a finite group $G$ on a germ of an analytic variety, an equivariant $G$-Poincar\'e series of a multi-index filtration in the ring of germs of functions on the variety was defined as an element of the Grothendieck…

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…

In this paper we derive an upper bound for the degree of the strict invariant algebraic curve of a polynomial system in the complex project plane under generic condition. The results are obtained through the algebraic multiplicities of the…

In earlier papers there were given formulae for the Poincare series of multi-index filtrations on the ring of germs of functions of two variables defined by collections of valuations corresponding to (reducible) plane curve singularities…

We give an optimal upper bound of the degree of quasi-smooth hypersurfaces which are invariant by a one-dimensional holomorphic foliation on a compact toric orbifold, i.e. on a complete simplicial toric variety. This bound depends only on…

We define Poincar\'e series associated to a toric or analytically irreducible quasi-ordinary hypersurface singularity, (S,0), by a finite sequence of monomial valuations, such that at least one of them is centered at the origin 0. This…

The Ritt problem asks if there is an algorithm that tells whether one prime differential ideal is contained in another one if both are given by their characteristic sets. We give several equivalent formulations of this problem. In…

Let $D = d_1, d_2, \ldots, d_n$ and $F = f_1, f_2,\ldots, f_n$ be two sequences of positive integers. We consider the following decision problems: is there a $i)$ multigraph, $ii)$ loopless multigraph, $iii)$ simple graph, $iv)$ connected…

We prove inequalities relating the degrees of holomorphic distributions and of holomorphic foliations forming a flag on $\mathbb{P}^n$. Such inequalities are inspired by the so called Poincar\'e problem for foliations.

In this work, we consider rational ordinary differential equations dy/dx = Q(x,y)/P(x,y), with Q(x,y) and P(x,y) coprime polynomials with real coefficients. We give a method to construct equations of this type for which a first integral can…

We give formulas for the degrees of the spaces of foliations in P2 with a dicritical singularity of prescribed order. Blowing up such singularity induces, generically, a foliation with all but finitely many leaves transversal to the…