How to compute the Chow form of an unmixed polynomial ideal in single exponential time (Q809149)

On sait que la théorie classique de l'élimination fournit un moyen de décrire effectivement les sous-ensembles algébriques d'un espace projectif via leurs formes de Chow (éliminante ou résultantes pour les ensembles non réduits), aux composantes immergées près. On peut aussi retrouver des équations, calculer le degré des variétés projectives, bien qu'en pratique ces calculs saturent rapidement les machines. L'A. décrit brièvement au {\S} 3 de ce texte un algorithme théorique permettant de trouver la forme éliminante d'un idéal pur, donné par un système générateur de m-formes de degrés \(\leq d\), en temps séquentiel \(\leq m^ s.d^{O(n^ 3)}\) et \(parall\grave ele\quad \leq O(n^ 6.(\log (md))^ 2).\) Il montre également que pour définir la forme éliminante de I il suffit de diviser par la puissance r.deg(I)-ìeme de l'idéal maximal irrelevant. Les {\S}{\S} 1, 2 et 4 rappelent les principes de la théorie de l'élimination et diverses remarques selon une présentation de \textit{Y. V. Nesterenko}. On trouvera cela également dans Publ. Math., Inst. Hautes Étudés Sci. 64, 5-52 (1986; Zbl 0615.10044), par le rapporteur. Enfin F. Amoroso a montré que le lieu des composantes immergées de l'idéal \(I^*\) associé (au {\S} 4.1) à un idéal premier I coincide avec le lieu singulier de la variété des zéros de I.