A proof of Kurdyka's conjecture on arc-analytic functions

Janusz Adamus,Hadi Seyedinejad
DOI: https://doi.org/10.48550/arXiv.1701.02712
2017-01-10
Algebraic Geometry
Abstract:We prove a conjecture of Kurdyka stating that every arc-symmetric semialgebraic set is precisely the zero locus of an arc-analytic semialgebraic function. This implies, in particular, that arc-symmetric semialgebraic sets are in one-to-one correspondence with radical ideals of the ring of arc-analytic semialgebraic functions.
What problem does this paper attempt to address?