The implicitization problem for φ{symbol} : Pn (P1)n + 1

We develop in this paper methods for studying the implicitization problem for a rational map φ{symbol} : Pn (P1)n + 1 defining a hypersurface in (P1)n + 1, based on computing the determinant of a graded strand of a Koszul complex. We show that the classical study of Macaulay resultants and Koszul co...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2009
Materias:
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00218693_v322_n11_p3878_Botbol
http://hdl.handle.net/20.500.12110/paper_00218693_v322_n11_p3878_Botbol
Aporte de:
id paper:paper_00218693_v322_n11_p3878_Botbol
record_format dspace
spelling paper:paper_00218693_v322_n11_p3878_Botbol2023-06-08T14:42:24Z The implicitization problem for φ{symbol} : Pn (P1)n + 1 Approximation complex Elimination theory Implicitization Koszul complex Rational map Syzygy We develop in this paper methods for studying the implicitization problem for a rational map φ{symbol} : Pn (P1)n + 1 defining a hypersurface in (P1)n + 1, based on computing the determinant of a graded strand of a Koszul complex. We show that the classical study of Macaulay resultants and Koszul complexes coincides, in this case, with the approach of approximation complexes and we study and give a geometric interpretation for the acyclicity conditions. Under suitable hypotheses, these techniques enable us to obtain the implicit equation, up to a power, and up to some extra factor. We give algebraic and geometric conditions for determining when the computed equation defines the scheme theoretic image of φ{symbol}, and, what are the extra varieties that appear. We also give some applications to the problem of computing sparse discriminants. © 2009 Elsevier Inc. All rights reserved. 2009 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00218693_v322_n11_p3878_Botbol http://hdl.handle.net/20.500.12110/paper_00218693_v322_n11_p3878_Botbol
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Approximation complex
Elimination theory
Implicitization
Koszul complex
Rational map
Syzygy
spellingShingle Approximation complex
Elimination theory
Implicitization
Koszul complex
Rational map
Syzygy
The implicitization problem for φ{symbol} : Pn (P1)n + 1
topic_facet Approximation complex
Elimination theory
Implicitization
Koszul complex
Rational map
Syzygy
description We develop in this paper methods for studying the implicitization problem for a rational map φ{symbol} : Pn (P1)n + 1 defining a hypersurface in (P1)n + 1, based on computing the determinant of a graded strand of a Koszul complex. We show that the classical study of Macaulay resultants and Koszul complexes coincides, in this case, with the approach of approximation complexes and we study and give a geometric interpretation for the acyclicity conditions. Under suitable hypotheses, these techniques enable us to obtain the implicit equation, up to a power, and up to some extra factor. We give algebraic and geometric conditions for determining when the computed equation defines the scheme theoretic image of φ{symbol}, and, what are the extra varieties that appear. We also give some applications to the problem of computing sparse discriminants. © 2009 Elsevier Inc. All rights reserved.
title The implicitization problem for φ{symbol} : Pn (P1)n + 1
title_short The implicitization problem for φ{symbol} : Pn (P1)n + 1
title_full The implicitization problem for φ{symbol} : Pn (P1)n + 1
title_fullStr The implicitization problem for φ{symbol} : Pn (P1)n + 1
title_full_unstemmed The implicitization problem for φ{symbol} : Pn (P1)n + 1
title_sort implicitization problem for φ{symbol} : pn (p1)n + 1
publishDate 2009
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00218693_v322_n11_p3878_Botbol
http://hdl.handle.net/20.500.12110/paper_00218693_v322_n11_p3878_Botbol
_version_ 1768542723377201152