Real schubert calculus: Polynomial systems and a conjecture of shapiro and shapiro

Experimental Mathematics

Volumn 9, Issue 2, 2000, Pages 161-182

  Sottile, Frank ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

Enumerative geometry; Grassmannian; Grobner basis; Over determined system; Total positivity

Indexed keywords

EID: 0034348603     PISSN: 10586458     EISSN: 1944950X     Source Type: Journal    
DOI: 10.1080/10586458.2000.10504644     Document Type: Article

References (54)

1. T. Ando, “Totally positive matrices”, Linear Algebra Appl. 90 (1987), 165-219.
2. A. Berenstein, S. Fomin, and A. Zelevinsky, “Parametrizations of canonical bases and totally positive matrices”, Adv. Math. 122: 1 (1996), 49-149.
3. R. W. Brockett and C. I. Byrnes, “Multivariable Nyquist criteria, root loci, and pole placement: a geometric viewpoint”, IEEE Trans. Automat. Control 26: 1 (1981), 271-284.
4. C. I. Byrnes, “Algebraic and geometric aspects of the analysis of feedback systems”, pp. 85-124 in Geometrical methods for the study of linear systems (Cambridge, MA, 1979), Proc. NATO Adv. Study Inst., Reidel, Dordrecht, 1980.
5. C. I. Byrnes, “Control theory, inverse spectral problems, and real algebraic geometry”, pp. 192-208 in Differential geometric control theory (Houghton, MI, 1982), edited by R. W. Brockett et al., Birkhauser, Boston, 1983.
6. C. I. Byrnes, “Pole assignment by output feedback”, pp. 31-78 in Three decades of mathematical system theory, edited by H. Nijmeijer and J. M. Schumacher, Lecture Notes in Control and Inform. Sci. 135, Springer, Berlin, 1989.
7. C. I. Byrnes and P. K. Stevens, “Global properties of the root-locus map”, pp. 9-29 in Feedback control of linear and nonlinear systems (Bielefeld/Rome, 1981), edited by D. Hinrich-sen and A. Isidori, Lecture Notes in Control and Inform. Sci. 39, Springer, Berlin, 1982.
8. M. D. Choi, T. Y. Lam, and B. Reznick, “Even symmetric sextics”, Math. Z. 195: 4 (1987), 559-580.
9. M. D. Choi, T. Y. Lam, and B. Reznick, “Sums of squares of real polynomials”, pp. 103-126 in K-theory and algebraic geometry: connections with quadratic forms and division algebras (Santa Barbara, CA, 1992), vol. 2, edited by B. Jacob and A. Rosenberg, Proc. Symp. Pure Math. 58, Amer. Math. Soc., Providence, RI, 1995.
10. D. Cox, J. Little, and D. O’Shea, Using algebraic geometry, Graduate Texts in Math. 185, Springer, New York, 1998.
11. P. Dietmaier, “The Stewart-Gough platform of general geometry can have 40 real postures”, pp. 7-16 in Advances in robot kinematics: analysis and control (Salzburg, 1998), edited by J. Lenar-cic and M. L. Husty, Kluwer Acad. Publ., Dordrecht, 1998.
12. D. Eisenbud and J. Harris, “Divisors on general curves and cuspidal rational curves”, Invent. Math. 74: 3 (1983), 371-418.
13. D. Eisenbud and J. Harris, “When ramification points meet”, Invent. Math. 87: 3 (1987), 485-493.
14. A. Eremenko and A. Gabrielov, “Rational functions with real critical points and B. and M. Shapiro conjecture in real enumerative geometry”, Dec 1999. Manuscript.
15. J.-C. Faugere, “FGb”, software. See http://posso.lip6.fr/-jcf.
16. J. C. Faugere, P. Gianni, D. Lazard, and T. Mora, “Efficient computation of zerodimensional Grobner bases by change of ordering”, J. Symbolic Comput. 16: 4 (1993), 329-344.
17. J.-C. Faugere, F. Rouillier, and P. Zimmerman, 1998. Personal communication.
18. W. Fulton, Introduction to intersection theory in algebraic geometry, 2nd ed., CBMS regional conference series in Mathematics, Amer. Math. Soc., Providence, RI, 1996.
19. W. Fulton, Young tableaux, London Math. Soc. Student Texts 35, Cambridge University Press, Cambridge, 1997.
20. L. Gonzalez-Vega, F. Rouillier, M.-F. Roy, and G. Trujillo, “Symbolic recipes for real solutions”, pp. 121-167 in Some tapas of computer algebra, edited by A. Cohen et al., Algorithms and Comp, in Math. 4, Springer, Berlin, 1999.
21. G.-M. Greuel, G. Pfister, and H. Schonemann, “Singular, a computer algebra system for polynomial computations (version 1.2)”, June 1998. See http: //www.singular.uni-kl.de.
22. J. Harris, “Galois groups of enumerative problems”, Duke Math. J. 46: 4 (1979), 685-724.
23. D. Hilbert, “Ueber die Darstellung definiter Formen als Summe von Formen-quadraten”, Math. Ann. 32 (1888), 342-350.
24. W. V. D. Hodge and D. Pedoe, Methods of algebraic geometry, vol. 2, Cambridge Univ. Press, Cambridge, 1952. Reprinted 1994 in the series Cambridge Mathematical Library.
25. B. Huber, F. Sottile, and B. Sturmfels, “Numerical Schubert calculus”, J. Symbolic Comput. 26: 6 (1998), 767-788.
26. S. L. Kleiman, “The transversality of a general translate”, Compositio Math. 28 (1974), 287-297.
27. S. L. Kleiman and D. Laksov, “Schubert calculus”, Amer. Math. Monthly 79 (1972), 1061-1082.
28. A. G. Kushnirenko, “A Newton polyhedron and the number of solutions of a system of k equations in k unknowns”, Usp. Math. Nauk. 30 (1975), 266-267.
29. C. Loewner, “On totally positive matrices”, Math. Z. 63 (1955), 338-340.
30. C. Martin and R. Hermann, “Applications of algebraic geometry to systems theory, III: The McMillan degree and Kronecker indices of transfer functions as topological and holomorphic system invariants”, SIAM J. Control Optim. 16: 5 (1978), 743-755.
31. A. S. Morse, W. A. Wolovich, and B. D. O. Anderson, “Generic pole assignment: Preliminary results”, in Proc. of the 20th IEEE Conference on Decision and Control, IEEE, San Diego, 1981.
32. M. S. Ravi, J. Rosenthal, and U. Helmke, “On output feedback invariants and cascade equivalence of systems”, pp. 4243-4248 in Proc. of the 36th IEEE Conference on Decision and Control, IEEE, San Diego, 1997.
33. F. Ronga, A. Tognoli, and T. Vust, “The number of conics tangent to five given conics: the real case”, Rev. Mat. Univ. Complut. Madrid 10: 2, 391-421.
34. J. Rosenthal and F. Sottile, “Some remarks on real and complex output feedback”, Systems Control Lett. 33: 2 (1998), 73-80. See http://www.nd.edu/-rosen/poleforadescriptionofcomputationalaspectsofthepaper.
35. J. Rosenthal, J. M. Schumacher, and J. C. Willems, “Generic eigenvalue assignment by memoryless real output feedback”, Systems Control Lett. 26: 4 (1995), 253-260.
36. F. Rouillier, “Solving zero-dimensional systems through the Rational Univariate Representation”, Technical report, Projet Polka, INRIA Lorraine, 1998.
37. F. Rouillier, “RealSolving”, software. See http://www.loria.fr/-rouillie.
38. H. Schubert, “Anzahl-Bestimmungen fur lineare Raume beliebiger Dimension”, Acta. Math. 8 (1886), 97-118.
39. B. Z. Shapiro and M. Z. Shapiro, “The M-property of flag varieties”, Topology Appl. 43: 1 (1992), 65-81.
40. B. Z. Shapiro and M. Z. Shapiro, “On the boundary of totally positive upper triangular matrices”, Linear Algebra Appl. 231 (1995), 105-109.
41. F. Sottile, “Enumerative geometry for real varieties”, pp. 435-447 in Algebraic geometry (Santa Cruz, 1995), vol. 1, edited by J. Kollar et al., Proc. Sympos. Pure Math. 62, Amer. Math. Soc., Providence, RI, 1997.
42. F. Sottile, “Enumerative geometry for the real Grassmannian of lines in projective space”, Duke Math. J. 87: 1 (1997), 59-85.
43. F. Sottile, “Real enumerative geometry and effective algebraic equivalence”, J. Pure Appl. Algebra 117/118 (1997), 601-615.
44. F. Sottile, “The conjecture of Shapiro and Shapiro”, summary and archive of computations, See http://www.expmath.Org/extra/9.2/sottile.
45. F. Sottile, “The special Schubert calculus is real”, Electron. Res. Announc. Amer. Math. Soc. 5 (1999), 35-39. See http://www.ams.org/era.
46. F. Sottile, “Real rational curves in Grassmannians”, J. Amer. Math. Soc. 13 (2000), 333-341.
47. F. Sottile, “Some real and unreal enumerative geometry for flag manifolds”, Mich. Math. J. (2000). To appear.
48. S. A. Strømme, “On parametrized rational curves in Grassmann varieties”, pp. 251-272 in Space curves (Rocca di Papa, 1985), edited by F. Ghione et al., Lecture Notes in Math. 1266, Springer, Berlin, 1987.
49. B. Sturmfels, “On the number of real roots of a sparse polynomial system”, pp. 137-143 in Hamiltonian and gradient flows, algorithms and control, edited by A. Bloch, Fields Inst. Commun. 3, Amer. Math. Soc., Providence, RI, 1994.
50. B. Sturmfels, “Polynomial equations and convex polytopes”, Amer. Math. Monthly 105: 10, 1998 907-922.
51. V. L. Syrmos, C. T. Abdallah, P. Dorato, and K. Grigoriadis, “Static output feedback— a survey”, Automatica (International Federation of Automatic Control) 33: 2 (1997), 125-137.
52. J. Verschelde, “PHC: A general-purpose solver for polynomial systems by homo-topy continuation”, ACM Trans. Math. Software 25: 2, 1999 251-276. Includes the associated software, available from http: //www.acm.org/calgo and, in a more recent version, from the author’s Web page.
53. J. Verschelde, “Numerical evidence of a conjecture in real algebraic geometry”, Experiment. Math. 9: 2 (2000), 183-196.
54. J. C. Willems and W. H. Hesselink, “Generic properties of the pole placement problem”, pp. 1725-1729 in Proc. of the 7th IFAC Congress, International Federation of Automatic Control, Pittsburgh, PA, 1978.