On the geometry of polar varieties

Applicable Algebra in Engineering, Communications and Computing

Volumn 21, Issue 1, 2010, Pages 33-83

  Bank, Bernd ^a   Giusti, Marc ^b   Heintz, Joos ^c,d   Safey El Din, Mohab ^e   Schost, Eric ^f  

^a HUMBOLDT UNIVERSITY   (Germany)

^b ÉCOLE POLYTECHNIQUE   (France)

^c UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^d UNIVERSITY OF CANTABRIA   (Spain)

^e SORBONNE UNIVERSITÉ   (France)

^f UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

Real polynomial equation solving, Singularities, Classic polar varieties, Dual polar varieties, Generic polar varieties, Meagerly generic polar varieties

Indexed keywords

COMPUTATIONAL COMPLEXITY; POLYNOMIALS;

ALGEBRAIC VARIETIES; COMPLEXITY BOUNDS; COMPLEXITY ESTIMATES; COMPUTER EXPERIMENT; HYPER-SURFACES; REAL POLYNOMIAL EQUATION SOLVING; SUFFICIENT CRITERION;

GEOMETRY;

EID: 74849106842     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00200-009-0117-1     Document Type: Article

References (44)

1. A. Alzati G. Ottaviani 1992 The theorem of Mather on generic projections in the setting of algebraic geometry Manuscr. Math. 74 391 412 10.1007/BF02567678 1152503 0794.14018
2. P. Aubry F. Rouillier M. Safey El Din 2002 Real Solving for positive dimensional systems J. Symb. Comput. 34 543 560 10.1006/jsco.2002.0563 1943042 1046.14031
3. Bank, B., Giusti, M., Heintz, J., Mbakop, G.M.: Polar varieties, real equation solving and data structures: The hypersurface case. J. Complex. 13, 5-27 (1997), Best Paper Award J. Complexity
4. B. Bank M. Giusti J. Heintz G.M. Mbakop 2001 Polar varieties and efficient real elimination Math. Z. 238 115 144 10.1007/PL00004896 1860738 1073.14554
5. B. Bank M. Giusti J. Heintz L.M. Pardo 2004 Generalized polar varieties and an efficient real elimination procedure Kybernetika 40 519 550 2120995
6. B. Bank M. Giusti J. Heintz L.M. Pardo 2005 Generalized polar varieties: Geometry and algorithms J. Complex. 21 377 412 10.1016/j.jco.2004.10.001 2152713 1085.14047 (Pubitemid 40951998)
7. Bank, B., Giusti, M., Heintz, J., Pardo, L.M.: Variétés bipolaires et résolution d'une équation polynomiale réelle. preprint 09-06, Humboldt-Universität zu Berlin, Institut für Mathematik, http://www.mathematik.hu-berlin.de/publ/pre/2009/p-list-09.html (2009)
8. Basu S., Pollack R., Roy M.-F.: A new algorithm to find a point in every cell defined by a family of polynomials. In: Caviness, B.F., Johnson, J.R. (eds) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 341-350. Springer, New York (1998)
9. Brasselet, J.P.: Milnor classes via polar varieties. In: Melles, C.G. et al. (eds.) Singularities in algebraic and analytic geometry, San Antonio, TX, 1999, pp. 181-187. Contemp. Math. 266 (2000)
10. Bruns W., Vetter U.: Determinantal rings. Lecture Notes in Mathematics 1327. Springer, Berlin (1988)
11. D. Castro M. Giusti J. Heintz G. Matera L.M. Pardo 2003 The hardness of polynomial equation solving Found. Comput. Math. 3 347 420 10.1007/s10208-002- 0065-7 2009683 1049.68070 (Pubitemid 37503685)
12. Demazure, M.: Bifurcations and catastrophes. Geometry of solutions to nonlinear problems. Transl. from the 1989 French original by David Chillingworth, Universitext. Springer, Berlin (2000)
13. Dubson, A.: Courants sous-analytiques, théorie d'intersection des ensembles analytiques, invariants numériques des singularités et applications. Thèse d'État, Université Paris VII (1982)
14. Fulton W.: Intersection theory. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer, Berlin (1984)
15. Giusti, M., Heintz, J.: Kronecker's smart, little black boxes. In: DeVore, R.A., Iserles, A., Süli, E. (eds.) Foundations of Computational Mathematics, Conference Oxford 1999, Lond. Math. Soc. Lect. Note Ser. 284, pp. 69-104. Cambridge University Press (2001)
16. D. Grigor'ev N. Vorobjov 1988 Solving systems of polynomial inequalities in subexponential time J. Symb. Comput. 5 37 64 10.1016/S0747-7171(88)80005-1 949112 0662.12001
17. J. Heintz 1983 Definability and fast quantifier elimination in algebraically closed fields Theoret. Comp. Sci. 24 239 277 10.1016/0304-3975(83) 90002-6 716823 0546.03017
18. Heintz, J., Roy, M.-F., Solernó, P.: On the complexity of semialgebraic sets. In: Ritter, G.X. (ed.), IFIP Information Processing 89, pp. 293-298 Elsevier (1989)
19. Henry, J.P.G., Merle, M.: Limites d' espaces tangents et transversalité de variétés polaires. In: Algebraic Geometry, Proceedings of International Conference, La Rabida/Spain 1981, Lect. Notes Math. 961, pp. 189-199 (1982)
20. Hirzebruch, F.: Topological methods in algebraic geometry. Translation from the German and appendix one by R. L. E. Schwarzenberger. Appendix two by A. Borel. Reprint of the 2nd, corr. print. of the 3rd edn. 1978. (English) [B] Classics in Mathematics. Springer, Berlin (1995)
21. G. Kempf 1973 On the geometry of a theorem of Riemann Ann. Math. 98 2 178 185 10.2307/1970910 349687
22. S.L. Kleiman 1973 Transversality of the general translate Compos. Math. 28 287 297 360616
23. D.T. Lê B. Teissier 1981 Variétés polaires locales et classes de Chern des variétés singulières Ann. Math. 114 2 457 491
24. J.N. Mather 1973 Generic projections Ann. Math. 98 2 226 245 10.2307/1970783 362393
25. Matsumura H.: Commutative Ring Theory. Cambridge University Press, Cambridge (1989)
26. Mork H.C., Piene R.: Polars of real singular plane curves. In: Dickenstein, A. (eds) Algorithms in Algebraic Geometry, pp. 99-115. Springer, New York (2008)
27. V. Navarro Aznar 1980 On the Chern classes and the Euler characteristic for nonsingular complete intersections Proc. Am. Math. Soc. 78 143 148 10.2307/2043058 548103 0473.14020
28. R. Piene 1978 Polar classes of singular varieties Ann. Scient. Éc. Norm. Sup. 4. Série, t. 11 247 276 510551 0401.14007
29. F. Rouillier M.-F. Roy M. Safey El Din 2000 Finding at least one point in each connected component of a real algebraic set defined by a single equation J. Complex. 167 16 750 1801591
30. Room T.G.: The Geometry of Determinantal Loci. Cambridge Univ. Press, Cambridge (1938)
31. Safey El Din, M., Schost, E.: Polar varieties and computation of one point in each connected component of a smooth real algebraic set. In: Sendra, J.R. (ed.) Proc. of ISSAC 2003, pp. 224-231. ACM Press (2003)
32. Safey El Din, M.: Finding sampling points on real hypersurfaces is easier in singular situations. MEGA Conference, 6 pp (2005)
33. M. Safey El Din 2007 Testing sign conditions on a multivariate polynomial and applications Math. Comput. Sci. 1 177 207 10.1007/s11786-007-0003-9 2384818 1126.14068
34. M. Safey El Din E. Schost 2004 Properness defects of projections and computation of at least one point in each connected component of a real algebraic set J. Discre. and Comput. Geom. 32 417 430 2081634 1067.14057
35. F. Severi 1932 La serie canonica e la teoria delle serie principali di gruppi di punti sopra una superficie algebrica Commentarii Math. Helvetici 4 268 326 10.1007/BF01202721 0005.17602
36. F. Severi 1902 Sulle intersezioni delle varieta algebriche e sopra i loro caratteri e singolarita proiettive Mem. Accad. Sci. Torino 52 2 61 118
37. Shafarevich I.R.: Basic Algebraic Geometry 1: Varieties in Projective Space (Transl. from the Russian by M. Reid.), 2nd edn. Springer, Berlin (1994)
38. Spivak M.: Calculus on Manifolds. A Modern Approach to Classical Theorems of Calculus. W. A. Benjamin, Inc, New York-Amsterdam (1965)
39. Teissier, B.: Variétés polaires II., Multiplicités polaires, sections planes, et conditions de Whitney. In: Algebraic Geometry, Proceedings of International Conference, La Rabida/Spain 1981, Lect. Notes Math. 961, pp. 314-491. Springer (1982)
40. Teissier, B.: Quelques points de l'histoire des variétés polaires, de Poncelet à nos jours. Sémin. Anal., Univ. Blaise Pascal 1987-1988, 4 (1988)
41. Thom, R.: Modèles mathématiques de la morphogenèse, Chapitre VIII, 5 (viii). Christian Bourgeois Editeur (1980)
42. J.A. Todd 1937 The geometrical invariants of algebraic loci Proc. London Math. Soc 43 127 138 10.1112/plms/s2-43.2.127 0017.08702
43. J.A. Todd 1937 The arithmetical invariants of algebraic loci Proc. London Mat. Soc. 43 190 225 10.1112/plms/s2-43.3.190 0017.18504
44. Vogel W.: Lectures on results on Bezout's theorem. Tata Institute of Fundamental Research, Bombay (1984)