×

On binomial complete intersections. (English) Zbl 1541.13013

Let \(R=K[x_{1},\dots,x_{n}]\) be a polynomial ring over the field \(K\) with the usual grading. Let \(f_{i}=a_{i}x^{d_{i}}+b_{i}m_{i} \ (1\le i\le n)\) be homogeneous polynomials in \(R\), where \(a_{i}\ne0\) and \(b_{i}\) are scalars in \(K\), and \(m_{i}\) is a monomial of degree \(d_{i}\) for each \(i\). Let \(B=\{f_{1},\dots, f_{n}\}\), and let \(I\) be the ideal of \(R\) generated by \(B\). The authors associate with \(B\) a directed graph \(G_{B,d}\) (the reduction graph). Recall that the ideal \(I\) is a complete intersection if the sequence \(f_{1},\dots, f_{n}\) is regular (equivalently the only zero of the ideal \(I\) in the algebraic closure of \(K\) is the origin). Assuming that \(I\) is a complete intersection, and using the graph \(G_{B,d}\), the authors prove that the monomials not divisible by \(x_{i}^{d_{i}}\) for \(1\le i\le n\) form a vector space basis for \(R/I\), that the Macaulay dual generator is algorithmically determined by the graph \(G_{B,d}\), and so are the factors of the resultant of \(B\). The authors discuss presentations of complete intersections, Lefschetz properties of some Gorenstein algebras with squarefree monomial basis, etc.

MSC:

13C40 Linkage, complete intersections and determinantal ideals
13E10 Commutative Artinian rings and modules, finite-dimensional algebras
13F65 Commutative rings defined by binomial ideals, toric rings, etc.
13P15 Solving polynomial systems; resultants
16S15 Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting)

References:

[1] Abedelfatah, Abed, On the Eisenbud-Green-Harris conjecture, Proc. Am. Math. Soc., 143, 1, 105-115, 2014 · Zbl 1317.13002
[2] Cattani, Eduardo; Dickenstein, Alicia, Counting solutions to binomial complete intersections, J. Complex., 23, 1, 82-107, 2007 · Zbl 1112.13028
[3] Cox, D. A.; Little, J.; O’Shea, D., Using Algebraic Geometry, Graduate Texts in Mathematics, 2006, Springer: Springer New York
[4] Dickenstein, Alicia; Emiris, Ioannis Z., Solving Polynomial Equations, Algorithms and Computation in Mathematics, vol. 14, 2005, Springer: Springer Berlin, Heidelberg · Zbl 1061.12001
[5] Eisenbud, David; Green, Mark; Harris, Joe, Higher Castelnuovo theory, (Journées de Géométrie Algébrique D’Orsay - Juillet 1992. Journées de Géométrie Algébrique D’Orsay - Juillet 1992, Astérisque, vol. 218, 1993, Société Mathématique de France) · Zbl 0819.14001
[6] Gondim, Rodrigo; Zappalà, Giuseppe, On mixed Hessians and the Lefschetz properties, J. Pure Appl. Algebra, 223, 10, 4268-4282, 2019 · Zbl 1423.13009
[7] Grayson, Daniel R.; Stillman, Michael E., Macaulay2, a software system for research in algebraic geometry, Available at
[8] Harima, Tadahito; Wachi, Akihito; Watanabe, Junzo, A characterization of the Macaulay dual generators for quadratic complete intersections, Ill. J. Math., 61, 3-4, 371-383, 2017 · Zbl 1397.13003
[9] Harima, Tadahito; Wachi, Akihito; Watanabe, Junzo, The resultants of quadratic binomial complete intersections, J. Commut. Algebra, 12, 2, 217-235, 2020 · Zbl 1468.13062
[10] Reid, Les; Roberts, Leslie G.; Roitman, Moshe, On complete intersections and their Hilbert functions, Can. Math. Bull., 34, 4, 525-535, 1991 · Zbl 0757.13005
[11] Staglianò, Giovanni, A package for computations with classical resultants, J. Softw. Algebra Geom., 8, 2018 · Zbl 1409.13052
[12] Stanley, Richard P., Weyl groups, the hard Lefschetz theorem, and the Sperner property, SIAM J. Algebraic Discrete Methods, 1, 2, 168-184, 1980 · Zbl 0502.05004
[13] Watanabe, Junzo, The Dilworth number of Artinian rings and finite posets with rank function, (Commutative Algebra and Combinatorics. Commutative Algebra and Combinatorics, Advanced Studies in Pure Math., vol. 11, 1987, Kinokuniya Co. North Holland: Kinokuniya Co. North Holland Amsterdam) · Zbl 0648.13010
[14] Watanabe, Junzo, A remark on the Hessians of homogeneous polynomials, (The Curves Seminar at Queen’s Volume XIII. The Curves Seminar at Queen’s Volume XIII, Queen’s Papers in Pure and Appl. Math., vol. 119, 2000), 171-178 · Zbl 1196.13009
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.