OpenAlex ·
Finiteness of planar central configurations of five bodies for all positive masses
- Published
- Source
- OpenAlex
- Published in
- arXiv (Cornell University)
- DOI
- 10.48550/arxiv.2610.13100
- Original
- Read it at the publisher
- Topics
Abstract
We prove that for every choice of five positive masses the planar five-body problem has finitely many central configurations up to similarity. This settles Smale's sixth problem for five bodies in the plane. Albouy and Kaloshin proved it for masses outside a closed algebraic subset of codimension two. We follow their method. Infinitely many central configurations would give an algebraic curve of complex solutions. At the places at infinity of the curve the valuations of the mutual distances must balance. We determine the possible valuation vectors at all positive masses, together with the mass conditions under which each can occur. We treat limits in which four bodies form a cluster of zero potential energy by expanding the potential, which is constant along the curve, at a place. This excludes, at every positive mass, one of the two diagrams in which such clusters occur, and part of the other. The same expansion excludes one further diagram at every positive mass. What remains is an exact analysis, by computer algebra, of the sets of mass conditions that can hold together at positive masses. Exact rational certificates show that the balance fails under each of them, except on a few one-parameter families of masses, which we treat separately. On the rays through (1,4,4,4,4) and (1,1,4,4,4) the certificates do not apply. On the first ray they cannot apply: there the complex equations have a continuum of solutions, as Albouy and Kaloshin observed. On these rays we count the real central configurations: there are 306 and 294 up to orientation-preserving similarity. The certificates, the programs that check them and a proof of the theorem in the Lean proof assistant are available. Certificates, programs, and a Lean 4 formalization that proves the main theorem: doi:10.5281/zenodo.23202861. Mathematics Subject Classification (2020): 70F10, 70F15, 14Q20, 65G40. Version 2: new title (version 1 was titled Finiteness of planar central configurations of five bodies for all positive masses), and a note at the end of Section 1 on arXiv:2610.16107. The mathematics is unchanged. Version 3: a remark on Proposition 8 of Albouy and Kaloshin after Theorem 5.37; in the note at the end of Section 1, a sentence on version 1 of arXiv:2610.16107; comparisons with that version in Remark 5.44 and after Proposition G.1; and the DOI and theorem numbers of the cited paper Complex solution sets of the planar five-body problem at special masses (doi:10.5281/zenodo.23444949). The theorems and their proofs are unchanged.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Mathematical Physics
Get the few papers worth your time in Mathematical Physics every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.