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

被引:4
作者
Adamus, Janusz [1 ]
Seyedinejad, Hadi [1 ]
机构
[1] Univ Western Ontario, Dept Math, London, ON N6A 5B7, Canada
基金
加拿大自然科学与工程研究理事会;
关键词
CHARACTERISTIC ZERO;
D O I
10.1007/s00208-017-1544-0
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:387 / 395
页数:9
相关论文
共 12 条
[1]   ARC-ANALYTIC FUNCTIONS [J].
BIERSTONE, E ;
MILMAN, PD .
INVENTIONES MATHEMATICAE, 1990, 101 (02) :411-424
[2]   Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant [J].
Bierstone, E ;
Milman, PD .
INVENTIONES MATHEMATICAE, 1997, 128 (02) :207-302
[3]  
BOCHNAK J., 1998, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) Results in Mathematics and Related Areas (3), V36
[4]  
EFROYMSON GA, 1982, LECT NOTES MATH, V959, P343
[5]   ON THE IRREDUCIBLE COMPONENTS OF A SEMIALGEBRAIC SET [J].
Fernando, Jose F. ;
Gamboa, J. M. .
INTERNATIONAL JOURNAL OF MATHEMATICS, 2012, 23 (04)
[6]   Regulous functions [J].
Fichou, Goulwen ;
Huisman, Johannes ;
Mangolte, Frederic ;
Monnier, Jean-Philippe .
JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2016, 718 :103-151
[8]   Curve-rational functions [J].
Kollar, Janos ;
Kucharz, Wojciech ;
Kurdyka, Krzysztof .
MATHEMATISCHE ANNALEN, 2018, 370 (1-2) :39-69
[9]  
Kollár J, 2015, MATH Z, V279, P85, DOI 10.1007/s00209-014-1358-7
[10]   Rational maps in real algebraic geometry [J].
Kucharz, Wojciech .
ADVANCES IN GEOMETRY, 2009, 9 (04) :517-539