Abstract
We prove a theorem, which provides a formula for the computation of the Poincaré series of a monomial ideal ink[X1,⋯, Xn], via the computation of the Poincaré series of some monomial ideals ink[X 1,⋯, Xi,⋯, Xn]. The complexity of our algorithm is optimal for Borel-normed ideals and an implementation in CoCoA strongly confirms its efficiency. An easy extension computes the Poincaré series of graded modules over standard algebras.
Similar content being viewed by others
References
Bayer, D.: Conference at COCOA Meeting Genova (Italy), June 1989
Bayer, D., Stillman, M.: A theorem for refining division orders by the reverse lexicographic order. Duke Math. J.55, 321–328 (1987)
Herrmann, M., Ikeda, S., Orbanz, U.: Equimultiplicity and Blowing up: An algebraic study with an appendix. Moonen, B. (ed.) Berlin, Heidelberg, New York: Springer 1988
Galligo, A.: A propos du théorème de préparation de Weierstrass, Functions de Plusieurs Variables Complexes. Lecture Notes in Mathematics vol409, pp. 543–579, Berlin, Heidelberg, New York: Springer 1974
Galligo, A.: Examples d'ensembles de Points en Position Uniforme. To appear on Proceedings of MEGA conference. Basel: Birkhäuser 1990
Geramita, A., Kreuzer, M., Robbiano, L.: Cayley—Bacharach schemes and Hilbert Functions, Preprint (1990)
Giovini, A., Niesi, G.: CoCoA: a user-friendly system for Commutative Algebra. To appear in the Proceedings of the DISCO conference (Capri 1990)
Kondrat'eva, M. V., Pankrat'ev, E. V.: A recursive algorithm for the computation of the Hilbert Polynomial, EUROCAL 87. Lecture Notes in Computer Science, vol.387, pp. 365–375. Berlin, Heidelberg, New York: Springer 1987
Kredel, H., Weispfenning, V.: Computing dimension and independent sets for polynomial ideals, Computational Aspects of Computative Algebra, pp. 97–113. New York: Academic Press 1988
Macaulay, F. S.: Some properties of enumeration in the theory of modular systems. Proc. London Math. Soc.26, 531–555 (1927)
Matsumura, H.: Commutative Algebra. Benjamin: New York 1970
Mora, T., Robbiano, L.: The Gröbner Fan of an Ideal, Computational Aspects of Commutative Algebra, pp. 49–74. New York: Academic Press (1988)
Möller, M., Mora, T.: The computation of the Hilbert function. EUROCAL vol.83, Lecture Notes in Computer Science. vol.162, pp. 157–167. Berlin, Heidelberg, New York: Springer 1983
Möller, M., Mora, T.: Computational aspects of reduction strategies to construct resolutions of monomial ideals. Proc. AAECC 2, Lecture Notes in Computer Science, vol.228, pp. 182–197. Berlin, Heidelberg, New York: Springer 1986
Möller, M., Mora, T.: New constructive methods in classical ideal theory. J. Algebra100, 138–178 (1986)
Robbiano, L.: Introduction to the theory of Hilbert functions, To appear in Queen's Papers in Pure and Applied Mathematics (1990)
Robbiano, L.: Bounds for degrees and number of elements in Gröbner bases, To appear in Proceedings of AAECC-8. Lecture Note in Computer Science. Berlin, Heidelberg, New York: Springer 1990
Stanley, R. P.: Hilbert functions of graded algebras. Adv. Math.28, 57–83 (1978)
Gritzmann, P., Sturmfels, B.: Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Bases, Preprint (1990)
Author information
Authors and Affiliations
Additional information
The paper was partly written while the third author was visiting Queen's University, during the academic year 1989/90. It was partly supported by the Natural Sciences & Engineering Research Council of Canada, Queen's University (Kingston, Canada) and Consiglio Nazionale delle Ricerche
Rights and permissions
About this article
Cite this article
Bigatti, A.M., Caboara, M. & Robbiano, L. On the computation of hilbert—Poincaré series. AAECC 2, 21–33 (1991). https://doi.org/10.1007/BF01810852
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01810852