Dimension results for extremal-generic polynomial systems over complete toric varieties
We study polynomial systems with prescribed monomial supports in the Cox ring of a toric variety built from a complete polyhedral fan. We present combinatorial formulas for the dimension of their associated subvarieties under genericity assumptions on the coefficients of the polynomials. Using these...
Saved in:
| Published in: | Journal of algebra Vol. 646; pp. 156 - 182 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Inc
15.05.2024
Elsevier |
| Subjects: | |
| ISSN: | 0021-8693, 1090-266X |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | We study polynomial systems with prescribed monomial supports in the Cox ring of a toric variety built from a complete polyhedral fan. We present combinatorial formulas for the dimension of their associated subvarieties under genericity assumptions on the coefficients of the polynomials. Using these formulas, we identify at which degrees generic systems in polytopal algebras form regular sequences. Our motivation comes from sparse elimination theory, where knowing the expected dimension of these subvarieties leads to specialized algorithms and to large speed-ups for solving sparse polynomial systems. As a special case, we classify the degrees at which regular sequences defined by weighted homogeneous polynomials can be found, answering an open question in the Gröbner bases literature. We also show that deciding whether a sparse system is generically a regular sequence in a polytopal algebra is hard from the point of view of theoretical computational complexity. |
|---|---|
| AbstractList | We study polynomial systems with prescribed monomial supports in the Cox ring of a toric variety built from a complete polyhedral fan. We present combinatorial formulas for the dimension of their associated subvarieties under genericity assumptions on the coefficients of the polynomials. Using these formulas, we identify at which degrees generic systems in polytopal algebras form regular sequences. Our motivation comes from sparse elimination theory, where knowing the expected dimension of these subvarieties leads to specialized algorithms and to large speed-ups for solving sparse polynomial systems. As a special case, we classify the degrees at which regular sequences defined by weighted homogeneous polynomials can be found, answering an open question in the Gröbner bases literature. We also show that deciding whether a sparse system is generically a regular sequence in a polytopal algebra is hard from the point of view of theoretical computational complexity. We study polynomial systems with prescribed monomial supports in the Cox rings of toric varieties built from complete polyhedral fans. We present combinatorial formulas for the dimensions of their associated subvarieties under genericity assumptions on the coefficients of the polynomials. Using these formulas, we identify at which degrees generic systems in polytopal algebras form regular sequences. Our motivation comes from sparse elimination theory, where knowing the expected dimension of these subvarieties leads to specialized algorithms and to large speed-ups for solving sparse polynomial systems. As a special case, we classify the degrees at which regular sequences defined by weighted homogeneous polynomials can be found, answering an open question in the Gr\"obner bases literature. We also show that deciding whether a sparse system is generically a regular sequence in a polytopal algebra is hard from the point of view of theoretical computational complexity. |
| Author | Spaenlehauer, Pierre-Jean Bender, Matías |
| Author_xml | – sequence: 1 givenname: Matías surname: Bender fullname: Bender, Matías email: matias.bender@inria.fr organization: Inria and CMAP, CNRS, École Polytechnique, Institut Polytechnique de Paris, Palaiseau, France – sequence: 2 givenname: Pierre-Jean orcidid: 0000-0001-7906-0505 surname: Spaenlehauer fullname: Spaenlehauer, Pierre-Jean email: pierre-jean.spaenlehauer@inria.fr organization: Université de Lorraine, Inria, CNRS, France |
| BackLink | https://inria.hal.science/hal-04102564$$DView record in HAL |
| BookMark | eNqFkE1LAzEQhoMoWKt_QfbqYdfJbpp2wYPiNxS8KHoLs9lJTcluShKL_fduqXrwInMYmHmf9_Acsf3e98TYKYeCA5fny2KJbkFNwKKEUhTACyjrPTbiUENeSvm2z0YAJc9nsq4O2VGMSwDOJ2I2Yq83tqM-Wt9ngeKHSzEzPmT0mQJ16PIF9RSszlbebXrfWXRZ3MREXcz8mkKmfbdylChLfhtbY7CULMVjdmDQRTr53mP2cnf7fP2Qz5_uH6-v5rmuapFynLTGNJWAqgUylUQO2DaCS6PrpgUsm1Igr4DkFIWuuDCkp40YZnijmVZjdrbrfUenVsF2GDbKo1UPV3O1vYHgUE6kWPMhK3dZHXyMgcwvwEFtVaql-lGptioVcDWoHMCLP6C2CdMgLQW07n_8cofTIGJtKaioLfWaWhtIJ9V6-1_FF0jkmVU |
| CitedBy_id | crossref_primary_10_1016_j_jalgebra_2025_03_053 |
| Cites_doi | 10.1007/s00224-006-1322-y 10.1090/mcom/3744 10.1007/BF01075595 10.1023/A:1022497624378 10.1353/ajm.2002.0005 10.1007/PL00009316 10.24033/bsmf.1802 10.2307/1970791 10.1016/j.jsc.2014.09.025 10.1515/advgeom-2018-0024 10.1016/j.jsc.2012.03.006 10.1016/j.jalgebra.2016.03.050 10.1007/s00454-019-00078-x 10.1090/S0025-5718-1995-1297471-4 10.1016/j.jsc.2015.12.001 10.1090/mcom/3689 |
| ContentType | Journal Article |
| Copyright | 2024 Elsevier Inc. licence_http://creativecommons.org/publicdomain/zero |
| Copyright_xml | – notice: 2024 Elsevier Inc. – notice: licence_http://creativecommons.org/publicdomain/zero |
| DBID | AAYXX CITATION 1XC |
| DOI | 10.1016/j.jalgebra.2024.01.029 |
| DatabaseName | CrossRef Hyper Article en Ligne (HAL) |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EISSN | 1090-266X |
| EndPage | 182 |
| ExternalDocumentID | oai:HAL:hal-04102564v1 10_1016_j_jalgebra_2024_01_029 S0021869324000553 |
| GroupedDBID | --K --M --Z -~X .~1 0R~ 0SF 1B1 1~. 1~5 4.4 457 4G. 5GY 7-5 71M 8P~ 9JN AACTN AAEDW AAFTH AAIKJ AAKOC AAOAW AAQFI AASFE AAXKI AAXUO ABAOU ABJNI ABLJU ABMAC ABVKL ACDAQ ACGFS ACNCT ACRLP ADBBV ADEZE AEBSH AEKER AENEX AFJKZ AFKWA AFTJW AGUBO AGYEJ AHHHB AIEXJ AIGVJ AIKHN AITUG AJOXV AKRWK ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ ARUGR AXJTR BKOJK BLXMC CS3 DM4 DU5 EBS EFBJH EO8 EO9 EP2 EP3 FDB FEDTE FIRID FNPLU FYGXN G-Q GBLVA HVGLF IHE IXB J1W KOM LG5 M25 M41 MCRUF MHUIS MO0 N9A O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 RIG ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSW T5K TN5 TWZ UPT WH7 YQT ZMT ZU3 ~G- 186 1RT 29J 5VS 6TJ 9DU 9M8 AAEDT AALRI AAQXK AATTM AAYWO AAYXX ABEFU ABFNM ABUFD ABWVN ABXDB ACLOT ACRPL ACVFH ADCNI ADFGL ADIYS ADMUD ADNMO ADVLN ADXHL AEIPS AETEA AEUPX AEXQZ AFFNX AFPUW AGHFR AGQPQ AIGII AIIUN AKBMS AKYEP ANKPU APXCP ASPBG AVWKF AZFZN CAG CITATION COF EFKBS EFLBG EJD FGOYB G-2 HZ~ H~9 K-O MVM NHB OHT R2- SSZ WUQ X7L XOL XPP ZCG ZY4 ~HD 1XC |
| ID | FETCH-LOGICAL-c394t-a5dffb3403d0ef36a10adb416fc9bd0a2b24a130e67a4c314fec7b4b4b9bdaf73 |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001194175700001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0021-8693 |
| IngestDate | Thu Nov 06 12:37:12 EST 2025 Tue Nov 18 22:35:18 EST 2025 Sat Nov 29 04:48:07 EST 2025 Sat Nov 23 15:55:19 EST 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | 13P15 68W30 52B20 Toric varieties Sparse polynomial systems 14M25 |
| Language | English |
| License | licence_http://creativecommons.org/publicdomain/zero/: http://creativecommons.org/publicdomain/zero |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c394t-a5dffb3403d0ef36a10adb416fc9bd0a2b24a130e67a4c314fec7b4b4b9bdaf73 |
| ORCID | 0000-0001-7906-0505 |
| OpenAccessLink | https://doi.org/10.1016/j.jalgebra.2024.01.029 |
| PageCount | 27 |
| ParticipantIDs | hal_primary_oai_HAL_hal_04102564v1 crossref_primary_10_1016_j_jalgebra_2024_01_029 crossref_citationtrail_10_1016_j_jalgebra_2024_01_029 elsevier_sciencedirect_doi_10_1016_j_jalgebra_2024_01_029 |
| PublicationCentury | 2000 |
| PublicationDate | 2024-05-15 |
| PublicationDateYYYYMMDD | 2024-05-15 |
| PublicationDate_xml | – month: 05 year: 2024 text: 2024-05-15 day: 15 |
| PublicationDecade | 2020 |
| PublicationTitle | Journal of algebra |
| PublicationYear | 2024 |
| Publisher | Elsevier Inc Elsevier |
| Publisher_xml | – name: Elsevier Inc – name: Elsevier |
| References | Canny, Rojas (br0200) 1991 McLennan (br0330) 2002; 124 Hartshorne (br0270) 2013 Canny, Emiris (br0080) 1993 Faugère, Safey El Din, Verron (br0030) 2016; 76 Chen (br0150) 2019; 62 Schneider (br0230) 2014 Cox, Little, Schenck (br0180) 2011 Sturmfels (br0210) 2002 Sturmfels (br0220) 1994; 3 Herrero, Jeronimo, Sabia (br0090) 2013; 51 Bardet, Faugère, Salvy (br0250) 2015; 70 Bruns, Herzog (br0310) 1998 Mourrain, Trébuchet (br0120) 2014 M. Reid, Graded rings and varieties in weighted projective space, 2002, unpublished note. Schrijver (br0350) 1998 Bernshtein (br0010) 1975; 9 Karp (br0370) 1972 Galbraith (br0020) 2018 Barvinok (br0340) 1997; 18 Yu (br0240) 2016; 459 Bender, Telen (br0100) 2022; 91 Hochster (br0280) 1972; 96 Malajovich, Meer (br0040) 2007; 40 Fulton (br0190) 1993 Aardal, Lenstra (br0360) 2002 Sturmfels (br0070) 1991 Huber, Sturmfels (br0060) 1995; 64 Helminck, Ren (br0170) 2022 Delorme (br0320) 1975; 103 Bihan, Soprunov (br0140) 2019; 19 Eisenbud (br0260) 2004 Morgan, Sommese (br0050) 1987; 24 Burr, Sottile, Walker (br0160) 2023 Faugère, Spaenlehauer, Svartz (br0110) 2014 Bender, Faugère, Tsigaridas (br0130) 2019 Bender (br0290) 2019 Bender (10.1016/j.jalgebra.2024.01.029_br0290) 2019 Bernshtein (10.1016/j.jalgebra.2024.01.029_br0010) 1975; 9 Faugère (10.1016/j.jalgebra.2024.01.029_br0110) 2014 Canny (10.1016/j.jalgebra.2024.01.029_br0200) 1991 Canny (10.1016/j.jalgebra.2024.01.029_br0080) 1993 Bender (10.1016/j.jalgebra.2024.01.029_br0100) 2022; 91 Fulton (10.1016/j.jalgebra.2024.01.029_br0190) 1993 Sturmfels (10.1016/j.jalgebra.2024.01.029_br0220) 1994; 3 Galbraith (10.1016/j.jalgebra.2024.01.029_br0020) 2018 Sturmfels (10.1016/j.jalgebra.2024.01.029_br0070) 1991 Delorme (10.1016/j.jalgebra.2024.01.029_br0320) 1975; 103 Karp (10.1016/j.jalgebra.2024.01.029_br0370) 1972 Bardet (10.1016/j.jalgebra.2024.01.029_br0250) 2015; 70 Bihan (10.1016/j.jalgebra.2024.01.029_br0140) 2019; 19 Morgan (10.1016/j.jalgebra.2024.01.029_br0050) 1987; 24 Hochster (10.1016/j.jalgebra.2024.01.029_br0280) 1972; 96 10.1016/j.jalgebra.2024.01.029_br0300 McLennan (10.1016/j.jalgebra.2024.01.029_br0330) 2002; 124 Faugère (10.1016/j.jalgebra.2024.01.029_br0030) 2016; 76 Burr (10.1016/j.jalgebra.2024.01.029_br0160) 2023 Bruns (10.1016/j.jalgebra.2024.01.029_br0310) 1998 Schneider (10.1016/j.jalgebra.2024.01.029_br0230) 2014 Schrijver (10.1016/j.jalgebra.2024.01.029_br0350) 1998 Bender (10.1016/j.jalgebra.2024.01.029_br0130) 2019 Helminck (10.1016/j.jalgebra.2024.01.029_br0170) Herrero (10.1016/j.jalgebra.2024.01.029_br0090) 2013; 51 Cox (10.1016/j.jalgebra.2024.01.029_br0180) 2011 Hartshorne (10.1016/j.jalgebra.2024.01.029_br0270) 2013 Eisenbud (10.1016/j.jalgebra.2024.01.029_br0260) 2004 Sturmfels (10.1016/j.jalgebra.2024.01.029_br0210) 2002 Mourrain (10.1016/j.jalgebra.2024.01.029_br0120) 2014 Yu (10.1016/j.jalgebra.2024.01.029_br0240) 2016; 459 Malajovich (10.1016/j.jalgebra.2024.01.029_br0040) 2007; 40 Huber (10.1016/j.jalgebra.2024.01.029_br0060) 1995; 64 Chen (10.1016/j.jalgebra.2024.01.029_br0150) 2019; 62 Aardal (10.1016/j.jalgebra.2024.01.029_br0360) 2002 Barvinok (10.1016/j.jalgebra.2024.01.029_br0340) 1997; 18 |
| References_xml | – year: 1998 ident: br0350 article-title: Theory of Linear and Integer Programming – volume: 51 start-page: 34 year: 2013 end-page: 54 ident: br0090 article-title: Affine solution sets of sparse polynomial systems publication-title: J. Symb. Comput. – volume: 124 start-page: 49 year: 2002 end-page: 73 ident: br0330 article-title: The expected number of real roots of a multihomogeneous system of polynomial equations publication-title: Am. J. Math. – year: 2023 ident: br0160 article-title: Numerical homotopies from Khovanskii bases publication-title: Math. Comput. – year: 2013 ident: br0270 article-title: Algebraic Geometry – volume: 70 start-page: 49 year: 2015 end-page: 70 ident: br0250 article-title: On the complexity of the F5 Gröbner basis algorithm publication-title: J. Symb. Comput. – reference: M. Reid, Graded rings and varieties in weighted projective space, 2002, unpublished note. – volume: 62 start-page: 55 year: 2019 end-page: 86 ident: br0150 article-title: Unmixing the mixed volume computation publication-title: Discrete Comput. Geom. – volume: 18 start-page: 205 year: 1997 end-page: 237 ident: br0340 article-title: Computing mixed discriminants, mixed volumes, and permanents publication-title: Discrete Comput. Geom. – year: 2018 ident: br0020 article-title: Mathematics of Public-Key Cryptography, Version 2.0 – volume: 76 start-page: 107 year: 2016 end-page: 141 ident: br0030 article-title: On the complexity of computing Gröbner bases for weighted homogeneous systems publication-title: J. Symb. Comput. – year: 2002 ident: br0210 article-title: Solving Systems of Polynomial Equations – volume: 9 start-page: 183 year: 1975 end-page: 185 ident: br0010 article-title: The number of roots of a system of equations publication-title: Funct. Anal. Appl. – volume: 3 start-page: 207 year: 1994 end-page: 236 ident: br0220 article-title: On the Newton polytope of the resultant publication-title: J. Algebraic Comb. – start-page: 96 year: 1991 end-page: 102 ident: br0200 article-title: An optimal condition for determining the exact number of roots of a polynomial system publication-title: Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation – year: 2014 ident: br0230 article-title: Convex Bodies: the Brunn–Minkowski Theory – start-page: 350 year: 2002 end-page: 366 ident: br0360 article-title: Hard equality constrained integer knapsacks publication-title: Integer Programming and Combinatorial Optimization: 9th International IPCO Conference – start-page: 42 year: 2019 end-page: 49 ident: br0130 article-title: Groebner basis over semigroup algebras: algorithms and applications for sparse polynomial systems publication-title: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation (ISSAC 2019) – volume: 103 start-page: 203 year: 1975 end-page: 223 ident: br0320 article-title: Espaces projectifs anisotropes publication-title: Bull. Soc. Math. Fr. – start-page: 85 year: 1972 end-page: 103 ident: br0370 article-title: Reducibility among combinatorial problems publication-title: Proceedings of Complexity of Computer Computations – volume: 64 start-page: 1541 year: 1995 end-page: 1555 ident: br0060 article-title: A polyhedral method for solving sparse polynomial systems publication-title: Math. Comput. – volume: 24 start-page: 101 year: 1987 end-page: 113 ident: br0050 article-title: A homotopy for solving general polynomial systems that respects m-homogeneous structures publication-title: Appl. Math. Comput. – volume: 91 start-page: 2397 year: 2022 end-page: 2429 ident: br0100 article-title: Toric eigenvalue methods for solving sparse polynomial systems publication-title: Math. Comput. – volume: 40 start-page: 553 year: 2007 end-page: 570 ident: br0040 article-title: Computing minimal multi-homogeneous Bézout numbers is hard publication-title: Theory Comput. Syst. – year: 1993 ident: br0190 article-title: Introduction to Toric Varieties – volume: 459 start-page: 468 year: 2016 end-page: 474 ident: br0240 article-title: Do most polynomials generate a prime ideal? publication-title: J. Algebra – start-page: 178 year: 2014 end-page: 185 ident: br0110 article-title: Sparse Gröbner bases: the unmixed case publication-title: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation – year: 1998 ident: br0310 article-title: Cohen-Macaulay Rings – start-page: 343 year: 2014 end-page: 350 ident: br0120 article-title: Toric border basis publication-title: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation – year: 2022 ident: br0170 article-title: Generic root counts and flatness in tropical geometry – volume: 96 start-page: 318 year: 1972 end-page: 337 ident: br0280 article-title: Rings of invariants of tori, Cohen-Macaulay rings generated by monomials, and polytopes publication-title: Ann. Math. – start-page: 89 year: 1993 end-page: 104 ident: br0080 article-title: An efficient algorithm for the sparse mixed resultant publication-title: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 10th International Symposium AAECC – volume: 19 start-page: 527 year: 2019 end-page: 540 ident: br0140 article-title: Criteria for strict monotonicity of the mixed volume of convex polytopes publication-title: Adv. Geom. – year: 2019 ident: br0290 article-title: Algorithms for sparse polynomial systems: Gröbner bases and resultants – start-page: 377 year: 1991 end-page: 396 ident: br0070 article-title: Sparse elimination theory publication-title: Proceedings of Computational Algebraic Geometry and Commutative Algebra – year: 2004 ident: br0260 article-title: Commutative Algebra: with a View Toward Algebraic Geometry publication-title: Graduate Texts in Mathematics – year: 2011 ident: br0180 article-title: Toric Varieties, vol. 124 – volume: 40 start-page: 553 issue: 4 year: 2007 ident: 10.1016/j.jalgebra.2024.01.029_br0040 article-title: Computing minimal multi-homogeneous Bézout numbers is hard publication-title: Theory Comput. Syst. doi: 10.1007/s00224-006-1322-y – volume: 91 start-page: 2397 issue: 337 year: 2022 ident: 10.1016/j.jalgebra.2024.01.029_br0100 article-title: Toric eigenvalue methods for solving sparse polynomial systems publication-title: Math. Comput. doi: 10.1090/mcom/3744 – volume: 9 start-page: 183 issue: 3 year: 1975 ident: 10.1016/j.jalgebra.2024.01.029_br0010 article-title: The number of roots of a system of equations publication-title: Funct. Anal. Appl. doi: 10.1007/BF01075595 – year: 1998 ident: 10.1016/j.jalgebra.2024.01.029_br0350 – volume: 3 start-page: 207 issue: 2 year: 1994 ident: 10.1016/j.jalgebra.2024.01.029_br0220 article-title: On the Newton polytope of the resultant publication-title: J. Algebraic Comb. doi: 10.1023/A:1022497624378 – year: 2013 ident: 10.1016/j.jalgebra.2024.01.029_br0270 – volume: 124 start-page: 49 issue: 1 year: 2002 ident: 10.1016/j.jalgebra.2024.01.029_br0330 article-title: The expected number of real roots of a multihomogeneous system of polynomial equations publication-title: Am. J. Math. doi: 10.1353/ajm.2002.0005 – start-page: 377 year: 1991 ident: 10.1016/j.jalgebra.2024.01.029_br0070 article-title: Sparse elimination theory – ident: 10.1016/j.jalgebra.2024.01.029_br0170 – year: 2002 ident: 10.1016/j.jalgebra.2024.01.029_br0210 – ident: 10.1016/j.jalgebra.2024.01.029_br0300 – start-page: 350 year: 2002 ident: 10.1016/j.jalgebra.2024.01.029_br0360 article-title: Hard equality constrained integer knapsacks – volume: 18 start-page: 205 issue: 2 year: 1997 ident: 10.1016/j.jalgebra.2024.01.029_br0340 article-title: Computing mixed discriminants, mixed volumes, and permanents publication-title: Discrete Comput. Geom. doi: 10.1007/PL00009316 – volume: 103 start-page: 203 year: 1975 ident: 10.1016/j.jalgebra.2024.01.029_br0320 article-title: Espaces projectifs anisotropes publication-title: Bull. Soc. Math. Fr. doi: 10.24033/bsmf.1802 – volume: 96 start-page: 318 issue: 2 year: 1972 ident: 10.1016/j.jalgebra.2024.01.029_br0280 article-title: Rings of invariants of tori, Cohen-Macaulay rings generated by monomials, and polytopes publication-title: Ann. Math. doi: 10.2307/1970791 – year: 2018 ident: 10.1016/j.jalgebra.2024.01.029_br0020 – start-page: 178 year: 2014 ident: 10.1016/j.jalgebra.2024.01.029_br0110 article-title: Sparse Gröbner bases: the unmixed case – year: 1998 ident: 10.1016/j.jalgebra.2024.01.029_br0310 – start-page: 89 year: 1993 ident: 10.1016/j.jalgebra.2024.01.029_br0080 article-title: An efficient algorithm for the sparse mixed resultant – volume: 70 start-page: 49 year: 2015 ident: 10.1016/j.jalgebra.2024.01.029_br0250 article-title: On the complexity of the F5 Gröbner basis algorithm publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2014.09.025 – volume: 19 start-page: 527 issue: 4 year: 2019 ident: 10.1016/j.jalgebra.2024.01.029_br0140 article-title: Criteria for strict monotonicity of the mixed volume of convex polytopes publication-title: Adv. Geom. doi: 10.1515/advgeom-2018-0024 – year: 2014 ident: 10.1016/j.jalgebra.2024.01.029_br0230 – year: 1993 ident: 10.1016/j.jalgebra.2024.01.029_br0190 – volume: 51 start-page: 34 year: 2013 ident: 10.1016/j.jalgebra.2024.01.029_br0090 article-title: Affine solution sets of sparse polynomial systems publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2012.03.006 – volume: 459 start-page: 468 year: 2016 ident: 10.1016/j.jalgebra.2024.01.029_br0240 article-title: Do most polynomials generate a prime ideal? publication-title: J. Algebra doi: 10.1016/j.jalgebra.2016.03.050 – start-page: 96 year: 1991 ident: 10.1016/j.jalgebra.2024.01.029_br0200 article-title: An optimal condition for determining the exact number of roots of a polynomial system – start-page: 85 year: 1972 ident: 10.1016/j.jalgebra.2024.01.029_br0370 article-title: Reducibility among combinatorial problems – year: 2019 ident: 10.1016/j.jalgebra.2024.01.029_br0290 – volume: 62 start-page: 55 issue: 1 year: 2019 ident: 10.1016/j.jalgebra.2024.01.029_br0150 article-title: Unmixing the mixed volume computation publication-title: Discrete Comput. Geom. doi: 10.1007/s00454-019-00078-x – year: 2011 ident: 10.1016/j.jalgebra.2024.01.029_br0180 – volume: 24 start-page: 101 issue: 2 year: 1987 ident: 10.1016/j.jalgebra.2024.01.029_br0050 article-title: A homotopy for solving general polynomial systems that respects m-homogeneous structures publication-title: Appl. Math. Comput. – volume: 64 start-page: 1541 issue: 212 year: 1995 ident: 10.1016/j.jalgebra.2024.01.029_br0060 article-title: A polyhedral method for solving sparse polynomial systems publication-title: Math. Comput. doi: 10.1090/S0025-5718-1995-1297471-4 – volume: 76 start-page: 107 year: 2016 ident: 10.1016/j.jalgebra.2024.01.029_br0030 article-title: On the complexity of computing Gröbner bases for weighted homogeneous systems publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2015.12.001 – year: 2004 ident: 10.1016/j.jalgebra.2024.01.029_br0260 article-title: Commutative Algebra: with a View Toward Algebraic Geometry – start-page: 42 year: 2019 ident: 10.1016/j.jalgebra.2024.01.029_br0130 article-title: Groebner basis over semigroup algebras: algorithms and applications for sparse polynomial systems – year: 2023 ident: 10.1016/j.jalgebra.2024.01.029_br0160 article-title: Numerical homotopies from Khovanskii bases publication-title: Math. Comput. doi: 10.1090/mcom/3689 – start-page: 343 year: 2014 ident: 10.1016/j.jalgebra.2024.01.029_br0120 article-title: Toric border basis |
| SSID | ssj0011548 |
| Score | 2.3832643 |
| Snippet | We study polynomial systems with prescribed monomial supports in the Cox ring of a toric variety built from a complete polyhedral fan. We present combinatorial... We study polynomial systems with prescribed monomial supports in the Cox rings of toric varieties built from complete polyhedral fans. We present combinatorial... |
| SourceID | hal crossref elsevier |
| SourceType | Open Access Repository Enrichment Source Index Database Publisher |
| StartPage | 156 |
| SubjectTerms | Algebraic Geometry Computer Science Mathematics Sparse polynomial systems Symbolic Computation Toric varieties |
| Title | Dimension results for extremal-generic polynomial systems over complete toric varieties |
| URI | https://dx.doi.org/10.1016/j.jalgebra.2024.01.029 https://inria.hal.science/hal-04102564 |
| Volume | 646 |
| WOSCitedRecordID | wos001194175700001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1090-266X dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0011548 issn: 0021-8693 databaseCode: AIEXJ dateStart: 20211209 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFLZYxwM8TFzFuMlCvFUZceJc_FixTWOCadKG6FtkOw5bVUKVplX59zsndtyygQZCqFJUuXWc-ny1P9vnfIeQtwpQY3SSBmWpyoAnSR6oOJKB0CySnGuhq7JLNpGdnOTjsTh1sSfzLp1AVtf5aiVm_9XUUAbGxtDZvzC3vykUwHswOlzB7HD9I8Pvo14_7oENYSW9mLZzq-q9ahvzTU6Dr6gzfakxO8MPDEnGeBGrWj5Eb07rYw5MetiphwyXuJZue0_DmywW04SoZr2q7zLT2SCgtjuE35eetZ_NpKmn5kIu7FdOYUpuTHBsHELd5kPE8dzchl_aHbE-KuYnp83O7SNPbebDfpRN-eY4yZJ0Y8plNv_QjdHcbixM9ibut-zhI1iVVbGev7xX4ZnLsIUag6gtFm-R7ShLRD4g26MPB-Njf7yE6zTr-2MfdCN0_Net_Y61bF30--8dHzl_QHacCejIAuAhuWPqR-T-J6_CO39MvngoUAcFClCg16FA11CgDgoUoUB7KNAOCtRD4Qn5fHhw_v4ocIk0Ah0L3gYyKatKxTyMy9BUcSpZKEsFVLzSQpWhjFTEJZAZk2aS65jxyuhMcXjBx7LK4qdkUH-vzTNCZc5kDqwnq3LFZaTzBPg1cJxSi1gzrndJ0ndUoZ3KPCY7mRa9O-Gk6Du4wA4uQlZAB--Sd77ezOqs3FpD9HYoHFu0LLAA-Nxa9w0YzjeEEutHo48FloWc4TKAL9nzf2jgBbm3_ru8JIO2WZhX5K5etpfz5rWD4xVnDaL5 |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Dimension+results+for+extremal-generic+polynomial+systems+over+complete+toric+varieties&rft.jtitle=Journal+of+algebra&rft.au=Bender%2C+Mat%C3%ADas&rft.au=Spaenlehauer%2C+Pierre-Jean&rft.date=2024-05-15&rft.pub=Elsevier+Inc&rft.issn=0021-8693&rft.volume=646&rft.spage=156&rft.epage=182&rft_id=info:doi/10.1016%2Fj.jalgebra.2024.01.029&rft.externalDocID=S0021869324000553 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0021-8693&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0021-8693&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0021-8693&client=summon |