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…