Equations of Parametric Surfaces via Syzygies

The development of computational techniques in the last decade has made possible to attack some classical problems of algebraic geometry. In this survey, we briefly describe some open problems related to algebraic curves which can be approached from a computational viewpoint.

Let $C$ be a plane rational curve of degree $d$ and $p:\tilde C \rightarrow C$ its normalization. We are interested in the splitting type $(a,b)$ of $C$, where $\mathcal{O}_{\mathbb{P}^1}(-a-d)\oplus \mathcal{O}_{\mathbb{P}^1}(-b-d)$ gives the syzigies of the ideal $(f_0,f_1,f_2)\subset K[s,t]$, and $(f_0,f_1,f_2)$ is a parameterization of $C$. We want to describe in which cases $(a,b)=(k,d-k)$ ($2k\leq d)$, via a geometric description; namely we show that $(a,b)=(k,d-k)$ if ...

This is a recent conference report on the Kobayashi Problem on hyperbolicity of generic projective hypersurfaces. As an appendix, a (non-updated) author's survey article of 1992 on the same subject, published in an edition with a limited distribution, is added.

An elementary introduction to the principles of algebraic surgery.

We develop a direct and elementary (calculus-free) exposition of the famous cubic surface of revolution x^3+y^3+z^3-3xyz=1.12 pages. We have added a second elementary proof that the surface is of revolution.

Two curves are affinely equivalent if there exists an affine mapping transforming one of them onto the other. Thus, detecting affine equivalence comprises, as important particular cases, similarity, congruence and symmetry detection. In this paper we generalize previous results by the authors to provide an algorithm for computing the affine equivalences between two parametric curves of certain types, in any dimension. In more detail, the algorithm is valid for rational curves...

Parameterized algebraic curves and surfaces are widely used in geometric modeling and their manipulation is an important task in the processing of geometric models. In particular, the determination of the intersection loci between points, pieces of parameterized algebraic curves and pieces of algebraic surfaces is a key problem in this context. In this paper, we survey recent methods based on syzygies and blowup algebras for computing the image and the finite fibers of a curv...

We present a method for computing projective isomorphisms between rational surfaces that are given in terms of their parametrizations. The main idea is to reduce the computation of such projective isomorphisms to five base cases by modifying the parametric maps such that the components of the resulting maps have lower degree. Our method can be used to compute affine, Euclidean and M\"obius isomorphisms between surfaces.

This paper shows that the multiplicity of the base points locus of a projective rational surface parametrization can be expressed as the degree of the content of a univariate resultant. As a consequence, we get a new proof of the degree formula relating the degree of the surface, the degree of the parametrization, the base points multiplicity, and the degree of the rational map induced by the parametrization. In addition, we extend both formulas to the case of dominant ration...

In this paper, we present an algorithm for reparametrizing birational surface parametrizations into birational polynomial surface parametrizations without base points, if they exist. For this purpose, we impose a transversality condition to the base points of the input parametrization.