Publications > Preprint server > Preprint Number 664
Preprint Number 664
664. Raf Cluckers and Leonard Lipshitz
Strictly convergent analytic structures
Submission date: 23 December 2013.
We give conclusive answers to some questions about definability in analytic languages that arose shortly after the work by Denef and van den Dries, [DD], on p-adic subanalytic sets, and we continue the study of non-archimedean fields with analytic structure of [LR3], [CLR1] and [CL1].
We show that the language L_K consisting of the language of valued fields together with all strictly convergent power series over a complete, rank one valued field K can be expanded, in a definitial way, to a larger language corresponding to an analytic structure (with separated power series) from [CL1], hence inheriting all properties from loc. cit., including geometric properties for the definable sets like certain forms of quantifier elimination.
Our expansion comes from adding specific, existentially definable functions, which are solutions of certain henselian systems of equations.
Moreover, we show that, even when K is algebraically closed, one does not have quantifier elimination in L_K itself, and hence, passing to expansions is unavoidable in general.
We pursue this study in the wider generality of extending non-separated power series rings to separated ones, and give new examples, in particular of the analytic structure over Z[[t]] that can be interpreted and understood now in all complete valued fields. In a separate direction, we show in rather large generality that Weierstrass preparation implies Weierstrass division.
Mathematics Subject Classification: 32P05, 32B05, 32B20, 03C10, 28B10, 03C64, 14P15
Keywords and phrases: Henselian valued fields, Tate algebras, strictly convergent power series, subanalytic sets, quantifier elimination, analytic structure, separated power series, non-archimedean geometry, Weierstrass preparation and division, Artin approximation, Weierstrass systems
|Last updated: March 23 2021 10:22||Please send your corrections to:|