One proves a far-reaching upper bound for the degree of a generically finite rational map between projective varieties over a base field of arbitrary characteristic. The bound is expressed as a product of certain degrees that appear naturally by considering the Rees algebra (blowup) of the base ideal defining the map. Several special cases are obtained as consequences, some of which cover and extend previous results in the literature.
One describes those double structures on rational normal curves which are defined scheme theoretically by quadratic equations and have linear syzygies, generalizing this way the double line in the plane
We unveil in concrete terms the general machinery of the syzygy-based algorithms for the implicitization of rational surfaces in terms of the monomials in the polynomials defining the parametrization, following and expanding our joint article with M. Dohm. These algebraic techniques, based on the theory of approximation complexes due to J. Herzog, A, Simis and W. Vasconcelos, were introduced for the implicitization problem by J.-P. Jouanolou, L. Busé, and M. Chardin. Their work was inspired by the practical method of moving curves, proposed by T. Sederberg and F. Chen, translated into the lang…
We prove that the moduli space X(1,7) of (1,7)-polarized abelian surfaces with canonical level structure is birational to the Fano 3-fold V22 of polar hexagons of the Klein quartic X(7). In particular X(1,7) is rational and the birational map to P^3 is defined over Q. As a byproduct we obtain explicitely the equations of the (1,7)-very-ample polarized abelian surfaces in P^6.
The Betti numbers of a graded module over the polynomial ring form a table of numerical invariants that refines the Hilbert polynomial. A sequence of papers sparked by conjectures of Boij and Söderberg have led to the characterization of the possible Betti tables up to rational multiples---that is, to the rational cone generated by the Betti tables. We will summarize this work by describing the cone and the closely related cone of cohomology tables of vector bundles on projective space, and we will give new, simpler proofs of some of the main results. We also explain some of the applications o…
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 curve or surface parameterization, more generally of a rational map. Conceptually, the main idea is to use elimination matri…
We start the study of reduced complex projective plane curves, whose Jacobian syzygy module has 3 generators. Among these curves one finds the nearly free curves introduced by the authors, and the plus-one generated line arrangements introduced by Takuro Abe. All the Thom-Sebastiani type plane curves, and more generally, any curve whose global Tjurina number is equal to a lower bound given by A. du Plessis and C.T.C. Wall, are 3-syzygy curves. Rational plane curves which are nearly cuspidal, i.e. which have only cusps except one singularity with two branches, are also related to this class of …
Given a set of forms f={f_1,...,f_m} in R=k[x_1,...,x_n], where k is a field of characteristic zero, we focus on the first syzygy module Z of the transposed Jacobian module D(f), whose elements are called differential syzygies of f. There is a distinct submodule P of Z coming from the polynomial relations of f through its transposed Jacobian matrix, the elements of which are called polar syzygies of f. We say that f is polarizable if equality P=Z holds. This paper is concerned with the situation where f are monomials of degree 2, in which case one can naturally associate to them a graph G(f) w…
We derive a set of polynomial and quasipolynomial identities for degrees of syzygies in the Hilbert series H(d^m;z) of nonsymmetric numerical semigroups S(d^m) of arbitrary generating set of positive integers d^m={d_1,...,d_m}, m\geq 3. These identities were obtained by studying together the rational representation of the Hilbert series H(d^m;z) and the quasipolynomial representation of the Sylvester waves in the restricted partition function W(s,d^m). In the cases of symmetric semigroups and complete intersections these identities become more compact.
Consider a rational projective curve C of degree d over an algebraically closed field k. There are n homogeneous forms g_1,...,g_n of degree d in B=k[x,y] which parameterize C in a birational, base point free, manner. We study the singularities of C by studying a Hilbert-Burch matrix phi for the row vector [g_1,...,g_n]. In the "General Lemma" we use the generalized row ideals of phi to identify the singular points on C, their multiplicities, the number of branches at each singular point, and the multiplicity of each branch. Let p be a singular point on the parameterized planar curve C which c…
We give formulas and effective sharp bounds for the degree of multi-graded rational maps and provide some effective and computable criteria for birationality in terms of their algebraic and geometric properties. We also extend the Jacobian dual criterion to the multi-graded setting. Our approach is based on the study of blow-up algebras, including syzygies, of the ideal generated by the defining polynomials of the rational map. A key ingredient is a new algebra that we call the "saturated special fiber ring", which turns out to be a fundamental tool to analyze the degree of a rational map. We …
In this paper we give different compactifications for the domain and the codomain of an affine rational map $f$ which parametrizes a hypersurface. We show that the closure of the image of this map (with possibly some other extra hypersurfaces) can be represented by a matrix of linear syzygies. We compactify $\Bbb {A}^{n-1}$ into an $(n-1)$-dimensional projective arithmetically Cohen-Macaulay subscheme of some $\Bbb {P}^N$. One particular interesting compactification of $\Bbb {A}^{n-1}$ is the toric variety associated to the Newton polytope of the polynomials defining $f$. We consider two diffe…
A parameterized surface can be represented as a projection from a certain toric surface. This generalizes the classical homogeneous and bihomogeneous parameterizations. We extend to the toric case two methods for computing the implicit equation of such a rational parameterized surface. The first approach uses resultant matrices and gives an exact determinantal formula for the implicit equation if the parameterization has no base points. In the case the base points are isolated local complete intersections, we show that the implicit equation can still be recovered by computing any non-zero maxi…
We explore connections between the approach of solving the rational interpolation problem via resolutions of ideals and syzygies with the standard method provided by the Extended Euclidean Algorithm. As a consequence, we obtain explicit descriptions for solutions of "minimal" degrees in terms of the degrees of elements appearing in the EEA. This allows us to describe the minimal degree in a $μ$-basis of a polynomial planar parametrization in terms of a "critical" degree arising in the EEA.
In this paper, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that became to be known as Jacobian dual matrices. Then, we focus on rational maps from the product of two projectine lines to the projective plane in very low bidegrees and provide new matrix-based birationality criteria by analyzing the syzygies of the defining equations of the map, in particular by lookin…
A tri-linear rational map in dimension three is a rational map $ϕ: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $ϕ$ admits an inverse rational map $ϕ^{-1}$, it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization of birationality based on the first syzygies of the entries. More generally, we describe all the possible minimal graded free resolutions of the ideal generated by these entries. With respect to geom…
Motivated by the interest in computing explicit formulas for resultants and discriminants initiated by Bézout, Cayley and Sylvester in the eighteenth and nineteenth centuries, and emphasized in the latest years due to the increase of computing power, we focus on the implicitization of hypersurfaces in several contexts. Our approach is based on the use of linear syzygies by means of approximation complexes, following [Busé Jouanolou 03], where they develop the theory for a rational map $f:P^{n-1}\dashrightarrow P^n$. Approximation complexes were first introduced by Herzog, Simis and Vasconcelos…
A new approach is established to computing the image of a rational map, whereby the use of approximation complexes is complemented with a detailed analysis of the torsion of the symmetric algebra in certain degrees. In the case the map is everywhere defined this analysis provides free resolutions of graded parts of the Rees algebra of the base ideal in degrees where it does not coincide with the corresponding symmetric algebra. A surprising fact is that the torsion in those degrees only contributes to the first free module in the resolution of the symmetric algebra modulo torsion. An additiona…
