Abstract
An explicit lattice point realization is provided for the primary components of an arbitrary binomial ideal in characteristic zero. This decomposition is derived from a characteristic-free combinatorial description of certain primary components of binomial ideals in affine semigroup rings, namely those that are associated to faces of the semigroup. These results are intimately connected to hypergeometric differential equations in several variables.
Similar content being viewed by others
References
Bogart T., Jensen A., Thomas R.: The circuit ideal of a vector configuration. J. Algebra 309(2), 518–542 (2007)
Cattani E., Dickenstein A.: Counting solutions to binomial complete intersections. J. Complexity 23(1), 82–107 (2007)
Dickenstein, A., Matusevich, L.F., Miller, E.: Binomial D-modules. Preprint. math.AG/0610353
Dickenstein A., Matusevich L.F., Sadykov T.: Bivariate hypergeometric D-modules. Adv. Math. 196(1), 78–123 (2005)
Eisenbud D., Sturmfels B.: Binomial ideals. Duke Math. J. 84(1), 1–45 (1996)
Fischer K.G., Shapiro J.: Mixed matrices and binomial ideals. J. Pure Appl. Algebra 113(1), 39–54 (1996)
Gel′fand I.M., Graev M.I., Zelevinskiĭ A.V.: Holonomic systems of equations and series of hypergeometric type. Dokl. Akad. Nauk SSSR 295(1), 14–19 (1987)
Gel′fand, I.M., Zelevinskiĭ, A.V., Kapranov, M.M.: Hypergeometric functions and toric varieties. Funktsional. Anal. i Prilozhen. 23(2), 12–26 (1989). (Correction in ibid, 27(4), 91 (1993))
Gilmer, R.: Commutative semigroup rings. Chicago Lectures in Mathematics. University of Chicago Press, Chicago (1984)
Grayson, D.R., Stillman, M.E.: Macaulay 2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/
Hoşten, S., Shapiro, J.: Primary decomposition of lattice basis ideals. J. Symb. Comput. 29(4–5), 625–639 (2000) (Symbolic computation in algebra, analysis, and geometry (Berkeley, CA, 1998))
Miller E.: Cohen-Macaulay quotients of normal semigroup rings via irreducible resolutions. Math. Res. Lett. 9(1), 117–128 (2002)
Matusevich L.F., Miller E., Walther U.: Homological methods for hypergeometric families. J. Am. Math. Soc. 18(4), 919–941 (2005)
Miller E., Sturmfels B.: Combinatorial commutative algebra. Graduate Texts in Mathematics, vol. 227. Springer, New York (2005)
Greuel, G.-M., Pfister, G., Schönemann, H.: Singular 3.0. A Computer Algebra System for Polynomial Computations. Centre for Computer Algebra, University of Kaiserslautern (2005). http://www.singular.uni-kl.de
OjedaMartínezde Castilla I., Sánchez R.P.: Cellular binomial ideals. Primary decomposition of binomial ideals. J. Symb. Comput. 30(4), 383–400 (2000)
Saito M., Sturmfels B., Takayama N.: Gröbner Deformations of Hypergeometric Differential Equations. Springer, Berlin (2000)
Sturmfels B.: Gröbner Bases and Convex Polytopes. American Mathematical Society, Providence (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
A. Dickenstein was partially supported by UBACYT X064, CONICET PIP 5617 and ANPCyT PICT 20569, Argentina. L. F. Matusevich was partially supported by an NSF Postdoctoral Research Fellowship and NSF grant DMS-0703866. E. Miller was partially supported by NSF grants DMS-0304789 and DMS-0449102.
Rights and permissions
About this article
Cite this article
Dickenstein, A., Matusevich, L.F. & Miller, E. Combinatorics of binomial primary decomposition. Math. Z. 264, 745–763 (2010). https://doi.org/10.1007/s00209-009-0487-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-009-0487-x