A note about rational surfaces as unions of affine planes
We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.
Source author record
Jorge Caravantes
Jorge Caravantes appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
8works
3topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
8 published item(s)
preprint2021arXiv
Covering rational surfaces with rational parametrization images
Let $S$ be a rational projective surface given by means of a projective rational parametrization whose base locus satisfies a mild assumption. In this paper we present an algorithm that provides three rational maps $f,g,h:\mathbb{A}^2 --\to S\subset \mathbb{P}^n$ such that the union of the three images covers $S$. As a consequence, we present a second algorithm that generates two rational maps $f,\tilde{g}:\mathbb{A}^2 --\to S$, such that the union of their images covers the affine surface $S\cap \mathbb{A}^n$. In the affine case, the number of rational maps involved in the cover is in general optimal.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Transforming ODEs and PDEs with radical coefficients into rational coefficients
We present an algorithm that transforms, if possible, a given ODE or PDE with radical function coefficients into one with rational coefficients by means of a rational change of variables. It also applies to systems of linear ODEs. It is based on previous work on reparametrization of radical algebraic varieties.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
A new method to compute the singularities of offsets to rational plane curves
Given a planar curve defined by means of a real rational parametrization, we prove that the affine values of the parameter generating the real singularities of the offset are real roots of a univariate polynomial that can be derived from the parametrization of the original curve, without computing or making use of the implicit equation of the offset. By using this result, a finite set containing all the real singularities of the offset, and in particular all the real self-intersections of the offset, can be computed. We also report on experiments carried out in the computer algebra system Maple, showing the efficiency of the algorithm for moderate degrees.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
On the square-freeness of the offset equation to a rational planar curve
It is well known that an implicit equation of the offset to a rational planar curve can be computed by removing the extraneous components of the resultant of two certain polynomials computed from the parametrization of the curve. Furthermore, it is also well known that the implicit equation provided by the non-extraneous component of this resultant has at most two irreducible factors. In this paper, we complete the algebraic description of this resultant by showing that the multiplicity of the factors corresponding to the offset can be computed in advance. In particular, when the parametrization is proper, i.e. when the curve is just traced once by the parametrization, we prove that any factor corresponding to a simple component of the offset has multiplicity 1, while the factor corresponding to the special component, if any, has multiplicity 2. Hence, if the parametrization is proper and there is no special component, the non-extraneous part of the resultant is square-free. In fact, this condition is proven to be also sufficient. Additionally, this result provides a simple test to check whether or not a given rational curve is the offset of another curve.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
A canonical form for the continuous piecewise polynomial functions
We present in this paper a canonical form for the elements in the ring of continuous piecewise polynomial functions. This new representation is based on the use of a particular class of functions $$\{C_i(P):P\in\Q[x],i=0,\ldots,°(P)\}$$ defined by $$C_i(P)(x)= \left\{ \begin{array}{cll}0 & \mbox{ if } & x \leq α\\ P(x) & \mbox{ if } & x \geq α\end{array} \right.$$ where $α$ is the $i$-th real root of the polynomial $P$. These functions will allow us to represent and manipulate easily every continuous piecewise polynomial function through the use of the corresponding canonical form. It will be also shown how to produce a "rational" representation of each function $C_{i}(P)$ allowing its evaluation by performing only operations in $\Q$ and avoiding the use of any real algebraic number.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Formal properties in small codimension
In this note we extend connectedness results to formal properties of inverse images under proper maps of Schubert varieties and of the diagonal in products of projective rational homogeneous spaces
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Bertini-type theorems for formal functions in grassmannians
The present note generalizes Debarre's Bertini-type results for in- verse images of Schubert varieties with the extension of formal func- tions.
0 citations0 reviewsNo code linkedOpen access