# Toric Sylvester forms and applications in elimination theory

@inproceedings{Buse2022ToricSF, title={Toric Sylvester forms and applications in elimination theory}, author={Laurent Bus'e and Carles Checa}, year={2022} }

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…

## References

SHOWING 1-10 OF 37 REFERENCES

### Toric Eigenvalue Methods for Solving Sparse Polynomial Systems

- Mathematics, Computer ScienceMath. Comput.
- 2022

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

- MathematicsSIAM J. Appl. Algebra Geom.
- 2021

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

- MathematicsPure and Applied Mathematics Quarterly
- 2020

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

- MathematicsCompositio Mathematica
- 1997

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

- Mathematics, Computer ScienceISSAC '01
- 2001

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

- MathematicsFoundations of Computational Mathematics
- 2022

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

- Mathematics
- 1997

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

- MathematicsJ. Symb. Comput.
- 2000

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

- Mathematics
- 1993

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

- Mathematics
- 2010

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…