Abstract
In this paper we inject four Hilbert functions in the determination of the defining equations of the Rees algebra of almost complete intersections of finite co-length. Because three of the corresponding modules are Artinian, some of these relationships are very effective, with the novel approach opening up tracks to the determination of the equations and also to processes of going from homologically defined sets of equations to higher degrees ones. While not specifically directed towards the extraction of elimination equations, it will show how some of these arise naturally.
Similar content being viewed by others
References
L. Busé. On the equations of a moving curve ideal of a rational algebraic plane curve. J. Algebra, 321 (2009), 2317–2344.
D. Cox. The moving curve ideal and the Rees algebra. Theoret. Comput. Sci., 392 (2008), 23–36.
D. Cox, A. Dickenstein and H. Schenck. A case study in bigraded commutative algebra. Syzygies and Hilbert Functions, 67-111, Lect. Notes Pure Appl. Math., 254 (2007), Chapman and Hall/CRC, Boca Raton, FL.
D. Cox, R. Goldman and M. Zhang. On the validity of implicitization by moving quadrics for rational surfaces with no base points. J. Symbolic Computation, 29 (2000), 419–440.
D. Cox, J.W. Hoffman and H. Wang. Syzygies and the Rees algebra. J. Pure & Applied Algebra, 212 (2008), 1787–1796.
C. Escobar, J. Martínez-Bernal and R.H. Villarreal. Relative volumes and minors in monomial subrings. Linear Algebra Appl., 374 (2003), 275–290.
D. Grayson and M. Stillman. Macaulay 2, a software system for research in algebraic geometry, 2006. Available at http://www.math.uiuc.edu/Macaulay2/.
J. Hong, A. Simis and W. V. Vasconcelos. The homology of two-dimensional elimination. J. Symbolic Computation, 43 (2008), 275–292.
J. Herzog, A. Simis and W.V. Vasconcelos. Koszul homology and blowing-up rings,in Commutative Algebra, Proceedings: Trento 1981(S. Grecoand G. Valla, Eds.),Lecture Notes in Pure and Applied Mathematics,84(1983),79–169. Marcel Dekker, New York.
M. Johnson and B. Ulrich. Artin-Nagata properties and Cohen-Macaulay associated graded rings. Compositio Math., 103 (1996), 7–29.
A. Kustin, C. Polini and B. Ulrich. Rational normal scrolls and the defining equations of Rees algebras. J. Reine Angew. Math., 650 (2011), 23–65.
A. Ooishi. Genera and arithmetic genera of commutative rings. Hiroshima Math. J., 17 (1988), 47–66.
F. Planas-Vilanova. On the module of effective relations of a standard algebra. Math. Proc. Cambridge Phil. Soc., 124 (1998), 215–229.
C. Peskine and L. Szpiro. Liaison des variétés algébriques. Invent. Math., 26 (1974), 271–302.
M.E. Rossi, N.V. Trung and G. Valla. Castelnuovo-Mumford regularity and extended degree. Trans. Amer. Math. Soc., 355 (2003), 1773–1786.
T.W. Sederberg and F. Chen. Implicitization using moving curves and surfaces. Proceedings of SIGGRAPH (1995), 301–308.
A. Simis. Koszul homology and its syzygy-theoretic part. J. Algebra, 54 (1978), 1–15.
A. Simis and W.V. Vasconcelos. The syzygies of the conormal module. Amer. J. Math., 103 (1981), 203–224.
N.V. Trung. The Castelnuovo regularity of the Rees algebra and the associated graded ring. Trans. Amer. Math. Soc., 350 (1998), 2813–2832.
W.V. Vasconcelos. Arithmetic of Blowup Algebras. London Math. Soc., Lecture Note Series, 195 (1994), Cambridge University Press.
W.V. Vasconcelos. Computational Methods in Commutative Algebra and Algebraic Geometry. Springer, Heidelberg (1998).
Author information
Authors and Affiliations
Corresponding author
Additional information
The second author is partially supported by CNPq, Brazil. The last author is partially supported by the NSF.
About this article
Cite this article
Hong, J., Simis, A. & Vasconcelos, W.V. The equations of almost complete intersections. Bull Braz Math Soc, New Series 43, 171–199 (2012). https://doi.org/10.1007/s00574-012-0009-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00574-012-0009-z
Keywords
- associated graded ring
- balanced ideal
- birational mapping
- Castelnuovo-Mumford regularity
- Hilbert function
- Rees algebra
- relation type
- secondary elimination degree