• Corpus ID: 252519417

Toric Sylvester forms and applications in elimination theory

  title={Toric Sylvester forms and applications in elimination theory},
  author={Laurent Bus'e and Carles Checa},
In this paper, we investigate the structure of the saturation of ideals generated by square systems of sparse homogeneous polynomials over a toric variety X with respect to the irrelevant ideal of X . As our main results, we establish a duality property and make it explicit by introducing toric Sylvester forms, under a certain positivity assumption on X . In particular, we prove that toric Sylvester forms yield bases of some graded components of I sat /I , where I denotes an ideal generated by… 



Toric Eigenvalue Methods for Solving Sparse Polynomial Systems

The regularity of the homogeneous ideal $I$ is investigated to provide the first universal complexity bounds for the approach, as well as sharper bounds for weighted homogeneous, multihomogeneous and unmixed sparse systems, among others.

Koszul-type determinantal formulas for families of mixed multilinear systems

The combination of the resultant matrices with the eigenvalue and eigenvector criterion for polynomial systems leads to a new approach for solving MEP.

Immaculate line bundles on toric varieties

We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the

Residues in toric varieties

We study residues on a complete toric variety X, which are defined in terms of the homogeneous coordinate ring of X.We first prove a global transformation law for toric residues. When the fan of the

Hybrid sparse resultant matrices for bivariate systems

The main contribution is an explicit construction of square resultant matrices, which are submatrices of those introduced by Cattani, Dickenstein and Sturmfels, and is hybrid in that it contains a submatrix of Sylvester type and an additional row expressing the toric Jacobian.

The Canny-Emiris conjecture for the sparse resultant

It is proved that the sparse resultant can be computed as the quotient of the determinant of such a square matrix by a certain principal minor, under suitable hypothesis, and generalizes the classical Macaulay formula for the homogeneous resultant.

Residues and Resultants

Resultants, Jacobians and residues are basic invariants of multivariate polynomial systems. We examine their interrelations in the context of toric geometry. The global residue in the torus, studied

Cohomology on Toric Varieties and Local Cohomology with Monomial Supports

A grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional is given and an effective way to compute these components is given.

The homogeneous coordinate ring of a toric variety

This paper will introduce the homogeneous coordinate ring S of a toric variety X . The ring S is a polynomial ring with one variable for each one-dimensional cone in the fan ∆ determining X , and S

Powers of ideals and the cohomology of stalks and fibers of morphisms

We first provide here a very short proof of a refinement of a theorem of Kodiyalam and Cutkosky, Herzog and Trung on the regularity of powers of ideals. This result implies a conjecture of H\`a and