Generalized polar varieties and an efficient real elimination
Kybernetika, Tome 40 (2004) no. 5, p. [519].

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Let $W$ be a closed algebraic subvariety of the $n$-dimensional projective space over the complex or real numbers and suppose that $W$ is non-empty and equidimensional. In this paper we generalize the classic notion of polar variety of $W$ associated with a given linear subvariety of the ambient space of $W$. As particular instances of this new notion of generalized polar variety we reobtain the classic ones and two new types of polar varieties, called dual and (in case that $W$ is affine) conic. We show that for a generic choice of their parameters the generalized polar varieties of $W$ are empty or equidimensional and, if $W$ is smooth, that their ideals of definition are Cohen-Macaulay. In the case that the variety $W$ is affine and smooth and has a complete intersection ideal of definition, we are able, for a generic parameter choice, to describe locally the generalized polar varieties of $W$ by explicit equations. Finally, we use this description in order to design a new, highly efficient elimination procedure for the following algorithmic task: In case, that the variety $W$ is $\mathbb{Q}$-definable and affine, having a complete intersection ideal of definition, and that the real trace of $W$ is non-empty and smooth, find for each connected component of the real trace of $W$ a representative point.
Classification : 14B05, 14N05, 14P05, 68Q25, 68W30
Keywords: Geometry of polar varieties and its generalizations; geometric degree; real polynomial equation solving; elimination procedure; arithmetic circuit; arithmetic network; complexity
@article{KYB_2004__40_5_a1,
     author = {Bank, Bernd and Giusti, Marc and Heintz, Joos and Pardo, Luis M.},
     title = {Generalized polar varieties and an efficient real elimination},
     journal = {Kybernetika},
     pages = {[519]},
     publisher = {mathdoc},
     volume = {40},
     number = {5},
     year = {2004},
     mrnumber = {2120995},
     zbl = {1249.14019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2004__40_5_a1/}
}
TY  - JOUR
AU  - Bank, Bernd
AU  - Giusti, Marc
AU  - Heintz, Joos
AU  - Pardo, Luis M.
TI  - Generalized polar varieties and an efficient real elimination
JO  - Kybernetika
PY  - 2004
SP  - [519]
VL  - 40
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2004__40_5_a1/
LA  - en
ID  - KYB_2004__40_5_a1
ER  - 
%0 Journal Article
%A Bank, Bernd
%A Giusti, Marc
%A Heintz, Joos
%A Pardo, Luis M.
%T Generalized polar varieties and an efficient real elimination
%J Kybernetika
%D 2004
%P [519]
%V 40
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2004__40_5_a1/
%G en
%F KYB_2004__40_5_a1
Bank, Bernd; Giusti, Marc; Heintz, Joos; Pardo, Luis M. Generalized polar varieties and an efficient real elimination. Kybernetika, Tome 40 (2004) no. 5, p. [519]. http://geodesic.mathdoc.fr/item/KYB_2004__40_5_a1/