arXiv subjects

F. Monserrat

Publications and source records attributed to F. Monserrat.

8 recordsLinked to original sources

arXiv2024

On $\delta$-sequences and surfaces at infinity

In most cases the semigroup at infinity $S$ of a curve $C$ with only one place at infinity is generated by a $\delta$-sequence. This sequence provides geometrical information on $C$ such as the dual graph of the resolution of the singularity of $C$ at infinity. Since different $\delta$-sequences can generate the same semigroup, it is an interesting problem to know the geometrical behaviour of curves $C$ sharing the same semigroup $S$. An analogous problem arises in a more general context when considering surfaces at infinity and their $\delta$-semigroups. We show how to construct $\delta$-sequences, and how to obtain different families that generate the same semigroup $S$, allowing us to study the geometrical content encoded by $S$.

math.AG↗

arXiv2018

On the computation of Darboux first integrals of a class of planar polynomial vector fields

We study the class of planar polynomial vector fields admitting Darboux first integrals of the type $\prod_{i=1}^r f_i^{\alpha_i}$, where the $\alpha_i$'s are positive real numbers and the $f_i$'s are polynomials defining curves with only one place at infinity. We show that these vector fields have an extended reduction procedure and give an algorithm which, from a part of the extended reduction of the vector field, computes a Darboux first integral for generic exponents.

math.DS↗

arXiv2014

A class of polynomial planar vector fields with polynomial first integral

We give an algorithm for deciding whether a planar polynomial differential system has a first integral which factorizes as a product of defining polynomials of curves with only one place at infinity. In the affirmative case, our algorithm computes a minimal first integral. In addition, we solve the Poincar\'e problem for the class of systems which admit a polynomial first integral as above in the sense that the degree of the minimal first integral can be computed from the reduction of singularities of the corresponding vector field.

math.CA↗

arXiv2012

The log-canonical threshold of a plane curve

We give an explicit formula for the log-canonical threshold of a reduced germ of plane curve. The formula depends only on the first two maximal contact values of the branches and their intersection multiplicities. We also improve the two branches formula given in a paper by Kuwata in Amer. J. Math. 121.

math.AG↗

arXiv2008

On the characterization of algebraically integrable plane foliations

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.

math.DS↗

arXiv2008

$δ$-sequences and Evaluation Codes defined by Plane Valuations at Infinity

We introduce the concept of $δ$-sequence. A $δ$-sequence $Δ$ generates a well-ordered semigroup $S$ in $\mathbb{Z}^2$ or $\mathbb{R}$. We show how to construct (and compute parameters) for the dual code of any evaluation code associated with a weight function defined by $Δ$ from the polynomial ring in two indeterminates to a semigroup $S$ as above. We prove that this is a simple procedure which can be understood by considering a particular class of valuations of function fields of surfaces, called plane valuations at infinity. We also give algorithms to construct an unlimited number of $δ$-sequences of the different existing types, and so this paper provides the tools to know and use a new large set of codes.

cs.IT↗

arXiv2006

Curves having one place at infinity and linear systems on rational surfaces

Denoting by ${\mathcal L}_d(m_0,m_1,...,m_r)$ the linear system of plane curves passing through $r+1$ generic points $p_0,p_1,...,p_r$ of the projective plane with multiplicity $m_i$ (or larger) at each $p_i$, we prove the Harbourne-Hirschowitz Conjecture for linear systems ${\mathcal L}_d(m_0,m_1,...,m_r)$ determined by a wide family of systems of multiplicities $\bold{m}=(m_i)_{i=0}^r$ and arbitrary degree $d$. Moreover, we provide an algorithm for computing a bound of the regularity of an arbitrary system $\bold{m}$ and we give its exact value when $\bold{m}$ is in the above family. To do that, we prove an $H^1$-vanishing theorem for line bundles on surfaces associated with some pencils ``at infinity''.

math.AG↗

arXiv2005

Algebraic Integrability of Foliations of the Plane

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.

math.DS↗