Betti numbers of sets defined by formulas with quantifiers
Seminar Room 1, Newton Institute
(Joint work with D. Novikov, B. Shapiro)
In his famous Treatise on Electricity and Magnetism (1873) J.C. Maxwell considered the following problem: How many equilibrium points a potential of n fixed point charges in R^3 may have? Maxwell applied Morse theory (developed 50 years later) to approach this problem. He claimed that there should be at most (n-1)^2 equilibrium points. In a footnote to the third edition (1891) of the Maxwell's book, J.J. Thomson stated that he could not find any proof of this. In the talk, recent progress in this direction will be reported, based on fewnomial theory and Voronoi diagrams.