Torsion of the symmetric algebra and implicitization
HTML articles powered by AMS MathViewer
- by Laurent Busé, Marc Chardin and Jean-Pierre Jouanolou PDF
- Proc. Amer. Math. Soc. 137 (2009), 1855-1865 Request permission
Abstract:
Recently, a method to compute the implicit equation of a parametrized hypersurface has been developed by the authors. We address here some questions related to this method. First, we prove that the degree estimate for the stabilization of the MacRae’s invariant of $\operatorname {Sym}_{A}(I)_{\nu }$ is optimal. Then, we show that the extraneous factor that may appear in the process splits into a product of linear forms in the algebraic closure of the base field, each linear form being associated to a non-complete intersection base point. Finally, we make a link between this method and a resultant computation for the case of rational plane curves and space surfaces.References
- J. F. Andrade, A. Simis, and W. Vasconcelos, On the grade of some ideals, Manuscripta Math. 34 (1981), no. 2-3, 241–254. MR 620450, DOI 10.1007/BF01165538
- Luchezar L. Avramov, Complete intersections and symmetric algebras, J. Algebra 73 (1981), no. 1, 248–263. MR 641643, DOI 10.1016/0021-8693(81)90357-4
- Nicolas Bourbaki, Éléments de mathématique, Masson, Paris, 1983 (French). Algèbre commutative. Chapitre 8. Dimension. Chapitre 9. Anneaux locaux noethériens complets. [Commutative algebra. Chapter 8. Dimension. Chapter 9. Complete Noetherian local rings]. MR 722608
- Laurent Busé and Marc Chardin, Implicitizing rational hypersurfaces using approximation complexes, J. Symbolic Comput. 40 (2005), no. 4-5, 1150–1168. MR 2172855, DOI 10.1016/j.jsc.2004.04.005
- Laurent Busé, David Cox, and Carlos D’Andrea, Implicitization of surfaces in ${\Bbb P}^3$ in the presence of base points, J. Algebra Appl. 2 (2003), no. 2, 189–214. MR 1980408, DOI 10.1142/S0219498803000489
- Laurent Busé and Jean-Pierre Jouanolou, On the closed image of a rational map and the implicitization problem, J. Algebra 265 (2003), no. 1, 312–357. MR 1984914, DOI 10.1016/S0021-8693(03)00181-9
- Falai Chen, David Cox, and Yang Liu, The $\mu$-basis and implicitization of a rational parametric surface, J. Symbolic Comput. 39 (2005), no. 6, 689–706. MR 2168614, DOI 10.1016/j.jsc.2005.01.003
- David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR 1322960, DOI 10.1007/978-1-4612-5350-1
- J. Herzog, A. Simis, and W. V. Vasconcelos, Koszul homology and blowing-up rings, Commutative algebra (Trento, 1981) Lecture Notes in Pure and Appl. Math., vol. 84, Dekker, New York, 1983, pp. 79–169. MR 686942
- C. Huneke and M. Rossi, The dimension and components of symmetric algebras, J. Algebra 98 (1986), no. 1, 200–210. MR 825143, DOI 10.1016/0021-8693(86)90023-2
- Jean-Pierre Jouanolou, Aspects invariants de l’élimination, Adv. Math. 114 (1995), no. 1, 1–174 (French). MR 1344713, DOI 10.1006/aima.1995.1042
- D. G. Northcott, Finite free resolutions, Cambridge Tracts in Mathematics, No. 71, Cambridge University Press, Cambridge-New York-Melbourne, 1976. MR 0460383, DOI 10.1017/CBO9780511565892
- Aron Simis, Bernd Ulrich, and Wolmer V. Vasconcelos, Codimension, multiplicity and integral extensions, Math. Proc. Cambridge Philos. Soc. 130 (2001), no. 2, 237–257. MR 1806775, DOI 10.1017/S0305004100004667
Additional Information
- Laurent Busé
- Affiliation: Galaad, INRIA, 2004 route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex, France
- Email: Laurent.Buse@inria.fr
- Marc Chardin
- Affiliation: Institut de Mathématiques de Jussieu, CNRS et Université Pierre et Marie Curie, 4 place Jussieu, F-75252 Paris Cedex 05, France
- MR Author ID: 259215
- Email: chardin@math.jussieu.fr
- Jean-Pierre Jouanolou
- Affiliation: Université Louis Pasteur, 7 rue René Descartes, 67084 Strasbourg Cedex, France
- Email: jouanolo@math.u-strasbg.fr
- Received by editor(s): October 5, 2006
- Received by editor(s) in revised form: September 13, 2007, and February 5, 2008
- Published electronically: February 4, 2009
- Communicated by: Bernd Ulrich
- © Copyright 2009 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 137 (2009), 1855-1865
- MSC (2000): Primary 13C12, 13D25, 13D45, 14E05, 14Q10
- DOI: https://doi.org/10.1090/S0002-9939-09-09550-1
- MathSciNet review: 2480264