Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1362

Preprint Number 1362

Previous Next Preprint server

1362. Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra
The tropical analogue of the Helton-Nie conjecture is true

Submission date: 6 January 2018


Helton and Nie conjectured that every convex semialgebraic set over the field of real numbers can be written as the projection of a spectrahedron. Recently, Scheiderer disproved this conjecture. We show, however, that the following result, which may be thought of as a tropical analogue of this conjecture, is true: over a real closed nonarchimedean field of Puiseux series, the convex semialgebraic sets and the projections of spectrahedra have precisely the same images by the nonarchimedean valuation. The proof relies on game theory methods.

Mathematics Subject Classification: 90C22, 14P10, 12J25, 14T05

Keywords and phrases:

Full text arXiv 1801.02089: pdf, ps.

Last updated: March 23 2021 09:20 Please send your corrections to: