language \(\mathcal L_K\)non-Archimedean fields with analytic structuresWeierstrass preparation, Weierstrass division
Integration on analytic sets and spaces, currents (32C30) Non-Archimedean analysis (32P05) Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Quantifier elimination, model completeness, and related topics (03C10) Analytic algebras and generalizations, preparation theorems (32B05) Applications of model theory (03C98)
Abstract: 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 -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 consisting of the language of valued fields together with all strictly convergent power series over a complete, rank one valued field 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 is algebraically closed, one does not have quantifier elimination in 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 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3857279 (Why is no real title available?)
- scientific article; zbMATH DE number 3973001 (Why is no real title available?)
- scientific article; zbMATH DE number 4035969 (Why is no real title available?)
- scientific article; zbMATH DE number 125222 (Why is no real title available?)
- scientific article; zbMATH DE number 755461 (Why is no real title available?)
- scientific article; zbMATH DE number 755463 (Why is no real title available?)
- scientific article; zbMATH DE number 1420848 (Why is no real title available?)
- scientific article; zbMATH DE number 1450828 (Why is no real title available?)
- Algebraic approximation of structures over complete local rings
- Algebraic properties of separated power series
- Analytic cell decomposition and analytic motivic integration
- Closure of rigid semianalytic sets
- Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields
- Fields with analytic structure
- Flattening and analytic continuation of affinoid morphisms: remarks on a paper of Gardener and Schoutens
- Maps on ultrametric spaces, Hensel's lemma, and differential equations over valued fields
- Model theory of the Frobenius on the Witt vectors
- OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
- On some definable sets over fields with analytic structure
- One-Dimensional p -Adic Subanalytic Sets
- Overconvergent subanalytic subsets in the framework of Berkovich spaces
- Parameterized stratification and piece number of D-semianalytic sets
- Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
- Real closed fields with non-standard and standard analytic structure
- Rigid Subanalytic Sets
- Some properties of analytic difference valued fields
- Uniform properties of rigid subanalytic sets
- \(p\)-adic and real subanalytic sets
Cited in
(21)- Non-Archimedean resonances of Łojasiewicz inequalities
- Strict convexity of sets in analytic terms
- Solutions of quasianalytic equations
- Local zero estimates and effective division in rings of algebraic power series
- \(p\)-adically closed fields with nonstandard analytic structure
- Uniform analysis on local fields and applications to orbital integrals
- A note on tropicalization in the context of Berkovich spaces
- Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields
- scientific article; zbMATH DE number 2204764 (Why is no real title available?)
- Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields
- A closedness theorem over Henselian fields with analytic structure and its applications
- On some definable sets over fields with analytic structure
- Distributions and wave front sets in the uniform non-archimedean setting
- Algebraic properties of separated power series
- Real closed fields with non-standard and standard analytic structure
- A closedness theorem and applications in geometry of rational points over Henselian valued fields
- Some results of algebraic geometry over Henselian rank one valued fields
- Unscrew, cut, burst and flatten Berkovich spaces
- Some properties of analytic difference valued fields
- Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
- Hensel minimality I
This page was built for publication: Strictly convergent analytic structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q509104)
